fix: reran pil->cpp codegen & encode_and_encrypt_event_with_randomnes…

…s fix (#7247) Co-authored-by: sklppy88 <esau@aztecprotocol.com>
AztecProtocol · Jun 29, 2024 · fa15a45 · fa15a45
1 parent 3b18796
commit fa15a45
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp b/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp
@@ -715,6 +715,7 @@ bool AvmVerifier::verify_proof(const HonkProof& proof, const std::vector<std::ve
     // Public columns evaluation checks
     std::vector<FF> mle_challenge(multivariate_challenge.begin(),
                                   multivariate_challenge.begin() + static_cast<int>(log_circuit_size));
+
     FF kernel_kernel_inputs_evaluation = evaluate_public_input_column(public_inputs[0], circuit_size, mle_challenge);
     if (kernel_kernel_inputs_evaluation != claimed_evaluations.kernel_kernel_inputs) {
         return false;
@@ -737,7 +738,7 @@ bool AvmVerifier::verify_proof(const HonkProof& proof, const std::vector<std::ve
         return false;
     }
 
-    FF main_calldata_evaluation = evaluate_public_input_column(public_inputs[4], circuit_size, multivariate_challenge);
+    FF main_calldata_evaluation = evaluate_public_input_column(public_inputs[4], circuit_size, mle_challenge);
     if (main_calldata_evaluation != claimed_evaluations.main_calldata) {
         return false;
     }

diff --git a/noir-projects/noir-contracts/contracts/test_log_contract/src/main.nr b/noir-projects/noir-contracts/contracts/test_log_contract/src/main.nr
@@ -60,7 +60,7 @@ contract TestLog {
 
         // We duplicate the emission, but specifying different incoming and outgoing parties
         event0.emit(
-            encode_and_encrypt_event(
+            encode_and_encrypt_event_with_randomness(
                 &mut context,
                 randomness[0],
                 // outgoing is set to msg sender, incoming is set to other