enable merge recursive verifier in goblin recursive verifier

AztecProtocol · Jun 25, 2024 · 6be383e · 6be383e
1 parent bb38246
commit 6be383e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/...pp/src/barretenberg/stdlib/honk_recursion/verifier/client_ivc_recursive_verifier.test.cpp b/...pp/src/barretenberg/stdlib/honk_recursion/verifier/client_ivc_recursive_verifier.test.cpp
@@ -88,6 +88,10 @@ TEST_F(ClientIVCRecursionTests, Basic)
     // Generate the recursive verification circuit
     verifier.verify(proof);
 
+    info("Recursive Verifier: num gates = ", builder->num_gates);
+
+    EXPECT_EQ(builder->failed(), false) << builder->err();
+
     EXPECT_TRUE(CircuitChecker::check(*builder));
 }
 

diff --git a/...tenberg/cpp/src/barretenberg/stdlib/honk_recursion/verifier/goblin_recursive_verifier.cpp b/...tenberg/cpp/src/barretenberg/stdlib/honk_recursion/verifier/goblin_recursive_verifier.cpp
@@ -28,9 +28,7 @@ void GoblinRecursiveVerifier::verify(const GoblinProof& proof)
         };
     translator_verifier.verify_translation(translation_evaluations);
 
-    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1024): Perform recursive merge verification once it
-    // works with Ultra arithmetization
-    // MergeVerifier merge_verified{ builder };
-    // [[maybe_unused]] auto merge_pairing_points = merge_verifier.verify_proof(proof.merge_proof);
+    MergeVerifier merge_verifier{ builder };
+    merge_verifier.verify_proof(proof.merge_proof);
 }
 } // namespace bb::stdlib::recursion::honk