From 82d98c7ded48fd54c88635e91b7d4bc83b37510f Mon Sep 17 00:00:00 2001
From: IlyasRidhuan <ilyasridhuan@gmail.com>
Date: Tue, 16 Jul 2024 12:04:09 +0000
Subject: [PATCH] fix(avm): update generated verifier

---
 .../barretenberg/vm/generated/avm_verifier.cpp  | 17 +++++++++--------
 .../bb-pil-backend/templates/verifier.cpp.hbs   | 17 +++++++++--------
 2 files changed, 18 insertions(+), 16 deletions(-)

diff --git a/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp b/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp
index a795633e1e3..e31a545d167 100644
--- a/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp
+++ b/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp
@@ -226,13 +226,14 @@ bool AvmVerifier::verify_proof(const HonkProof& proof, const std::vector<std::ve
     // Execute ZeroMorph rounds. See https://hackmd.io/dlf9xEwhTQyE3hiGbq4FsA?view for a complete description of the
     // unrolled protocol.
     // NOTE: temporarily disabled - facing integration issues
-    // auto opening_claim = ZeroMorph::verify(commitments.get_unshifted(),
-    //                                         commitments.get_to_be_shifted(),
-    //                                         claimed_evaluations.get_unshifted(),
-    //                                         claimed_evaluations.get_shifted(),
-    //                                         multivariate_challenge,
-    //                                         pcs_verification_key->get_g1_identity(),
-    //                                         transcript);
+    // auto opening_claim = ZeroMorph::verify(circuit_size,
+    //                                        commitments.get_unshifted(),
+    //                                        commitments.get_to_be_shifted(),
+    //                                        claimed_evaluations.get_unshifted(),
+    //                                        claimed_evaluations.get_shifted(),
+    //                                        multivariate_challenge,
+    //                                        pcs_verification_key->get_g1_identity(),
+    //                                        transcript);
 
     // auto pairing_points = PCS::reduce_verify(opening_claim, transcript);
     // auto verified = pcs_verification_key->pairing_check(pairing_points[0], pairing_points[1]);
@@ -240,4 +241,4 @@ bool AvmVerifier::verify_proof(const HonkProof& proof, const std::vector<std::ve
     return sumcheck_verified.value();
 }
 
-} // namespace bb
\ No newline at end of file
+} // namespace bb
diff --git a/bb-pilcom/bb-pil-backend/templates/verifier.cpp.hbs b/bb-pilcom/bb-pil-backend/templates/verifier.cpp.hbs
index 264f38b1908..b87d27aa177 100644
--- a/bb-pilcom/bb-pil-backend/templates/verifier.cpp.hbs
+++ b/bb-pilcom/bb-pil-backend/templates/verifier.cpp.hbs
@@ -116,13 +116,14 @@ bool {{name}}Verifier::verify_proof(const HonkProof& proof, const std::vector<st
     // Execute ZeroMorph rounds. See https://hackmd.io/dlf9xEwhTQyE3hiGbq4FsA?view for a complete description of the
     // unrolled protocol.
     // NOTE: temporarily disabled - facing integration issues
-    // auto opening_claim = ZeroMorph::verify(commitments.get_unshifted(),
-    //                                         commitments.get_to_be_shifted(),
-    //                                         claimed_evaluations.get_unshifted(),
-    //                                         claimed_evaluations.get_shifted(),
-    //                                         multivariate_challenge,
-    //                                         pcs_verification_key->get_g1_identity(),
-    //                                         transcript);
+    // auto opening_claim = ZeroMorph::verify(circuit_size,
+    //                                        commitments.get_unshifted(),
+    //                                        commitments.get_to_be_shifted(),
+    //                                        claimed_evaluations.get_unshifted(),
+    //                                        claimed_evaluations.get_shifted(),
+    //                                        multivariate_challenge,
+    //                                        pcs_verification_key->get_g1_identity(),
+    //                                        transcript);
 
     // auto pairing_points = PCS::reduce_verify(opening_claim, transcript);
     // auto verified = pcs_verification_key->pairing_check(pairing_points[0], pairing_points[1]);
@@ -130,4 +131,4 @@ bool {{name}}Verifier::verify_proof(const HonkProof& proof, const std::vector<st
     return sumcheck_verified.value();
 }
 
-} // namespace bb
\ No newline at end of file
+} // namespace bb