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 mle_challenge(multivariate_challenge.begin(), multivariate_challenge.begin() + static_cast(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