fix(avm): update generated verifier (#7492)

Please read [contributing guidelines](CONTRIBUTING.md) and remove this
line.

barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp

@@ -226,18 +226,19 @@ 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]);
     // return sumcheck_verified.value() && verified;
     return sumcheck_verified.value();
 }
 
-} // namespace bb
+} // namespace bb

bb-pilcom/bb-pil-backend/templates/verifier.cpp.hbs

@@ -116,18 +116,19 @@ 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]);
     // return sumcheck_verified.value() && verified;
     return sumcheck_verified.value();
 }
 
-} // namespace bb
+} // namespace bb