From c00ebdd60373aa579587b03eeb4b44ada0bb1155 Mon Sep 17 00:00:00 2001 From: Cody Gunton Date: Thu, 5 Dec 2024 17:57:13 -0500 Subject: [PATCH] chore: Don't generate proofs of verifier circuits in test (#10405) To test circuit logic we don't need to generate proofs. Running the circuit checker is much faster and more memory efficient. --- .../stdlib/plonk_recursion/verifier/verifier.test.cpp | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/barretenberg/cpp/src/barretenberg/stdlib/plonk_recursion/verifier/verifier.test.cpp b/barretenberg/cpp/src/barretenberg/stdlib/plonk_recursion/verifier/verifier.test.cpp index 02efc92c2cd..c1772d50f7c 100644 --- a/barretenberg/cpp/src/barretenberg/stdlib/plonk_recursion/verifier/verifier.test.cpp +++ b/barretenberg/cpp/src/barretenberg/stdlib/plonk_recursion/verifier/verifier.test.cpp @@ -345,14 +345,8 @@ template class stdlib_verifier : public testing::Test { static void check_recursive_verification_circuit(OuterBuilder& outer_circuit, bool expected_result) { info("number of gates in recursive verification circuit = ", outer_circuit.get_estimated_num_finalized_gates()); - OuterComposer outer_composer; - auto prover = outer_composer.create_prover(outer_circuit); - auto verifier = outer_composer.create_verifier(outer_circuit); - auto proof = prover.construct_proof(); - auto result = verifier.verify_proof(proof); - // bool result = CircuitChecker::check(outer_circuit); + const bool result = CircuitChecker::check(outer_circuit); EXPECT_EQ(result, expected_result); - static_cast(expected_result); auto g2_lines = srs::get_bn254_crs_factory()->get_verifier_crs()->get_precomputed_g2_lines(); EXPECT_EQ(check_pairing_point_accum_public_inputs(outer_circuit, g2_lines), true); }