Skip to content

Commit

Permalink
mac bb fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
ludamad committed Aug 28, 2024
1 parent 97e5e25 commit 3093167
Show file tree
Hide file tree
Showing 4 changed files with 10 additions and 7 deletions.
6 changes: 3 additions & 3 deletions barretenberg/cpp/src/barretenberg/aztec_ivc/aztec_ivc.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -113,15 +113,15 @@ void AztecIVC::accumulate(ClientCircuit& circuit, const std::shared_ptr<Verifica
fold_output.accumulator = prover_instance; // initialize the prover accum with the completed instance

// Add oink proof and corresponding verification key to the verification queue
verification_queue.emplace_back(oink_prover.transcript->proof_data, instance_vk, QUEUE_TYPE::OINK);
verification_queue.push_back(bb::AztecIVC::RecursiveVerifierInputs {oink_prover.transcript->proof_data, instance_vk, QUEUE_TYPE::OINK});

initialized = true;
} else { // Otherwise, fold the new instance into the accumulator
FoldingProver folding_prover({ fold_output.accumulator, prover_instance });
fold_output = folding_prover.prove();

// Add fold proof and corresponding verification key to the verification queue
verification_queue.emplace_back(fold_output.proof, instance_vk, QUEUE_TYPE::PG);
verification_queue.push_back(bb::AztecIVC::RecursiveVerifierInputs {fold_output.proof, instance_vk, QUEUE_TYPE::PG});
}

// Track the maximum size of each block for all circuits porcessed (for debugging purposes only)
Expand Down Expand Up @@ -201,4 +201,4 @@ bool AztecIVC::prove_and_verify()
return verify(proof, { this->verifier_accumulator, verifier_inst });
}

} // namespace bb
} // namespace bb
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ LMDBEnvironment::LMDBEnvironment(const std::string& directory,
uint64_t totalMapSize = kb * mapSizeKB;
uint32_t flags = MDB_NOTLS;
try {
call_lmdb_func("mdb_env_set_mapsize", mdb_env_set_mapsize, _mdbEnv, totalMapSize);
call_lmdb_func("mdb_env_set_mapsize", mdb_env_set_mapsize, _mdbEnv, static_cast<size_t>(totalMapSize));
call_lmdb_func("mdb_env_set_maxdbs", mdb_env_set_maxdbs, _mdbEnv, static_cast<MDB_dbi>(maxNumDBs));
call_lmdb_func("mdb_env_set_maxreaders", mdb_env_set_maxreaders, _mdbEnv, maxNumReaders);
call_lmdb_func("mdb_env_open",
Expand Down Expand Up @@ -56,4 +56,4 @@ MDB_env* LMDBEnvironment::underlying() const
{
return _mdbEnv;
}
} // namespace bb::crypto::merkle_tree
} // namespace bb::crypto::merkle_tree
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
#include <algorithm>
#include <execution>
#include "barretenberg/ecc/scalar_multiplication/sorted_msm.hpp"

namespace bb {
Expand Down Expand Up @@ -215,4 +217,4 @@ template <typename Curve> void MsmSorter<Curve>::batched_affine_add_in_place(Add

template class MsmSorter<curve::Grumpkin>;
template class MsmSorter<curve::BN254>;
} // namespace bb
} // namespace bb
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#pragma once
#include <execution>
#include "barretenberg/common/ref_vector.hpp"
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
Expand Down Expand Up @@ -197,4 +198,4 @@ void compute_translator_range_constraint_ordered_polynomials(typename Flavor::Pr
[](uint32_t in) { return FF(in); });
}

} // namespace bb
} // namespace bb

0 comments on commit 3093167

Please sign in to comment.