From e85b4d77ae79c5084260afdfed9b6c7e825e434c Mon Sep 17 00:00:00 2001 From: Cody Gunton Date: Thu, 24 Oct 2024 13:01:02 -0400 Subject: [PATCH] Print finalized size and log dyadic size --- .../cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp b/barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp index 0d6eab716e2..6ccd39446c2 100644 --- a/barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp +++ b/barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp @@ -56,6 +56,8 @@ template class DeciderProvingKey_ { circuit.finalize_circuit(/* ensure_nonzero = */ true); + info("Finalized circuit size: ", circuit.num_gates); + // If using a structured trace, set fixed block sizes, check their validity, and set the dyadic circuit size if (is_structured) { circuit.blocks.set_fixed_block_sizes(trace_structure); // set the fixed sizes for each block @@ -65,6 +67,8 @@ template class DeciderProvingKey_ { dyadic_circuit_size = compute_dyadic_size(circuit); // set dyadic size directly from circuit block sizes } + info("Log dyadic circuit size: ", numeric::get_msb(dyadic_circuit_size)); + // Complete the public inputs execution trace block from circuit.public_inputs Trace::populate_public_inputs_block(circuit); circuit.blocks.compute_offsets(is_structured);