diff --git a/barretenberg/cpp/src/barretenberg/client_ivc/mock_kernel_pinning.test.cpp b/barretenberg/cpp/src/barretenberg/client_ivc/mock_kernel_pinning.test.cpp index b19261d153a4..d3645fe9f414 100644 --- a/barretenberg/cpp/src/barretenberg/client_ivc/mock_kernel_pinning.test.cpp +++ b/barretenberg/cpp/src/barretenberg/client_ivc/mock_kernel_pinning.test.cpp @@ -32,6 +32,9 @@ TEST_F(MockKernelTest, PinFoldingKernelSizes) GoblinMockCircuits::construct_mock_function_circuit(circuit_2); GoblinMockCircuits::construct_mock_folding_kernel(kernel_circuit); + info("num gates: ", kernel_circuit.get_num_gates()); + kernel_circuit.blocks.summarize(); + // Accumulate all three; The kernel will contain a single recursive folding verifier ivc.accumulate(circuit_1); ivc.accumulate(circuit_2); diff --git a/barretenberg/cpp/src/barretenberg/goblin/mock_circuits.hpp b/barretenberg/cpp/src/barretenberg/goblin/mock_circuits.hpp index 9e696ae35802..0c9a901e7238 100644 --- a/barretenberg/cpp/src/barretenberg/goblin/mock_circuits.hpp +++ b/barretenberg/cpp/src/barretenberg/goblin/mock_circuits.hpp @@ -58,11 +58,11 @@ class GoblinMockCircuits { if (large) { stdlib::generate_sha256_test_circuit(builder, NUM_ITERATIONS_LARGE); - stdlib::generate_ecdsa_verification_test_circuit(builder, NUM_ITERATIONS_LARGE / 2); + stdlib::generate_ecdsa_verification_test_circuit(builder, NUM_ITERATIONS_LARGE - 1); stdlib::generate_merkle_membership_test_circuit(builder, NUM_ITERATIONS_LARGE); } else { // Results in circuit size 2^17 when accumulated via ClientIvc stdlib::generate_sha256_test_circuit(builder, 5); - stdlib::generate_ecdsa_verification_test_circuit(builder, 1); + stdlib::generate_ecdsa_verification_test_circuit(builder, 2); stdlib::generate_merkle_membership_test_circuit(builder, 10); } @@ -149,8 +149,8 @@ class GoblinMockCircuits { { // Add operations representing general kernel logic e.g. state updates. Note: these are structured to make // the kernel "full" within the dyadic size 2^17 - const size_t NUM_MERKLE_CHECKS = 20; - const size_t NUM_ECDSA_VERIFICATIONS = 1; + const size_t NUM_MERKLE_CHECKS = 15; + const size_t NUM_ECDSA_VERIFICATIONS = 2; const size_t NUM_SHA_HASHES = 1; stdlib::generate_merkle_membership_test_circuit(builder, NUM_MERKLE_CHECKS); stdlib::generate_ecdsa_verification_test_circuit(builder, NUM_ECDSA_VERIFICATIONS); diff --git a/barretenberg/cpp/src/barretenberg/goblin/mock_circuits_pinning.test.cpp b/barretenberg/cpp/src/barretenberg/goblin/mock_circuits_pinning.test.cpp index b37cdd162062..ce86bfffea7f 100644 --- a/barretenberg/cpp/src/barretenberg/goblin/mock_circuits_pinning.test.cpp +++ b/barretenberg/cpp/src/barretenberg/goblin/mock_circuits_pinning.test.cpp @@ -23,6 +23,8 @@ TEST_F(MegaMockCircuitsPinning, FunctionSizes) GoblinProver goblin; MegaCircuitBuilder app_circuit{ goblin.op_queue }; GoblinMockCircuits::construct_mock_function_circuit(app_circuit, large); + info("num gates: ", app_circuit.get_num_gates()); + app_circuit.blocks.summarize(); auto instance = std::make_shared(app_circuit); if (large) { EXPECT_EQ(instance->proving_key.log_circuit_size, 19);