Skip to content

Commit

Permalink
99% coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
codygunton committed Feb 27, 2024
1 parent 9276cd4 commit 67b79cc
Show file tree
Hide file tree
Showing 6 changed files with 8 additions and 6 deletions.
5 changes: 3 additions & 2 deletions barretenberg/cpp/scripts/analyze_client_ivc_bench.py
Original file line number Diff line number Diff line change
Expand Up @@ -10,12 +10,13 @@
to_keep = [
"construct_mock_function_circuit(t)",
"construct_mock_folding_kernel(t)",
"UltraComposer::create_prover_instance(t)",
"ProtogalaxyProver::fold_instances(t)",
"Decider::construct_proof(t)",
"ECCVMComposer::create_prover(t)",
"GoblinTranslatorComposer::create_prover(t)",
"eccvm::construct_proof(t)",
"translator::construct_proof(t)",
"ECCVMProver::construct_proof(t)",
"GoblinTranslatorProver::construct_proof(t)",
"Goblin::merge(t)"
]

Expand Down
2 changes: 1 addition & 1 deletion barretenberg/cpp/scripts/benchmark_client_ivc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ cd $(dirname $0)/..

# Measure the benchmarks with ops time counting
./scripts/benchmark_remote.sh client_ivc_bench\
"./client_ivc_bench --benchmark_filter=Full/6$\
"./client_ivc_bench --benchmark_filter=$FILTER\
--benchmark_out=$TARGET.json\
--benchmark_out_format=json"\
op-count-time\
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,6 @@ void ClientIVC::initialize(ClientCircuit& circuit)
*/
ClientIVC::FoldProof ClientIVC::accumulate(ClientCircuit& circuit)
{
BB_OP_COUNT_TIME_NAME("ClientIVC::accumulate");
goblin.merge(circuit); // Add recursive merge verifier and construct new merge proof
Composer composer;
prover_instance = composer.create_prover_instance(circuit);
Expand Down
2 changes: 1 addition & 1 deletion barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -282,7 +282,7 @@ template <IsECCVMFlavor Flavor> HonkProof& ECCVMProver_<Flavor>::export_proof()

template <IsECCVMFlavor Flavor> HonkProof& ECCVMProver_<Flavor>::construct_proof()
{
BB_OP_COUNT_TIME_NAME("eccvm::construct_proof");
BB_OP_COUNT_TIME_NAME("ECCVMProver::construct_proof");

execute_preamble_round();

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ HonkProof& GoblinTranslatorProver::export_proof()

HonkProof& GoblinTranslatorProver::construct_proof()
{
BB_OP_COUNT_TIME_NAME("translator::construct_proof");
BB_OP_COUNT_TIME_NAME("GoblinTranslatorProver::construct_proof");

// Add circuit size public input size and public inputs to transcript.
execute_preamble_round();
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,8 @@ std::shared_ptr<typename Flavor::VerificationKey> UltraComposer_<Flavor>::comput
template <IsUltraFlavor Flavor>
std::shared_ptr<ProverInstance_<Flavor>> UltraComposer_<Flavor>::create_prover_instance(CircuitBuilder& circuit)
{
BB_OP_COUNT_TIME_NAME("UltraComposer::create_prover_instance");

circuit.add_gates_to_ensure_all_polys_are_non_zero();
circuit.finalize_circuit();
auto instance = std::make_shared<ProverInstance>(circuit);
Expand Down

0 comments on commit 67b79cc

Please sign in to comment.