From fa15a450408181ffc50946ee56c4ae0fd8c5a61f Mon Sep 17 00:00:00 2001
From: David Banks <47112877+dbanks12@users.noreply.github.com>
Date: Sat, 29 Jun 2024 14:07:19 -0400
Subject: [PATCH] fix: reran pil->cpp codegen &
 encode_and_encrypt_event_with_randomness fix (#7247)

Co-authored-by: sklppy88 <esau@aztecprotocol.com>
---
 .../cpp/src/barretenberg/vm/generated/avm_verifier.cpp         | 3 ++-
 .../noir-contracts/contracts/test_log_contract/src/main.nr     | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp b/barretenberg/cpp/src/barretenberg/vm/generated/avm_verifier.cpp
index 6a23f8e56fd..b341ba30e09 100644
--- 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
index 26b1462de58..0d1d06b731d 100644
--- 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