From 70649140a4aaa5561689d1820536fcde55f8a6ba Mon Sep 17 00:00:00 2001 From: IlyasRidhuan Date: Tue, 10 Sep 2024 08:51:11 +0000 Subject: [PATCH] fix(avm): full proving kernel fix --- .../cpp/src/barretenberg/vm/avm/tests/execution.test.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/tests/execution.test.cpp b/barretenberg/cpp/src/barretenberg/vm/avm/tests/execution.test.cpp index cc3d5832363..f983abe2e16 100644 --- a/barretenberg/cpp/src/barretenberg/vm/avm/tests/execution.test.cpp +++ b/barretenberg/cpp/src/barretenberg/vm/avm/tests/execution.test.cpp @@ -2113,9 +2113,9 @@ TEST_F(AvmExecutionTests, kernelOutputHashExistsOpcodes) trace.begin(), trace.end(), [&](Row r) { return r.main_clk == START_NULLIFIER_EXISTS_OFFSET; }); EXPECT_EQ(nullifier_out_row->main_kernel_value_out, 1); // value // TODO(#8287) - // EXPECT_EQ(nullifier_out_row->main_kernel_side_effect_out, 1); + EXPECT_EQ(nullifier_out_row->main_kernel_side_effect_out, 0); EXPECT_EQ(nullifier_out_row->main_kernel_metadata_out, 1); // exists - feed_output(START_NULLIFIER_EXISTS_OFFSET, 1, 1, 1); + feed_output(START_NULLIFIER_EXISTS_OFFSET, 1, 0, 1); // CHECK L1TOL2MSGEXISTS auto l1_to_l2_row = @@ -2128,9 +2128,9 @@ TEST_F(AvmExecutionTests, kernelOutputHashExistsOpcodes) trace.begin(), trace.end(), [&](Row r) { return r.main_clk == START_L1_TO_L2_MSG_EXISTS_WRITE_OFFSET; }); EXPECT_EQ(msg_out_row->main_kernel_value_out, 1); // value // TODO(#8287) - // EXPECT_EQ(msg_out_row->main_kernel_side_effect_out, 2); + EXPECT_EQ(msg_out_row->main_kernel_side_effect_out, 0); EXPECT_EQ(msg_out_row->main_kernel_metadata_out, 1); // exists - feed_output(START_L1_TO_L2_MSG_EXISTS_WRITE_OFFSET, 1, 2, 1); + feed_output(START_L1_TO_L2_MSG_EXISTS_WRITE_OFFSET, 1, 0, 1); validate_trace(std::move(trace), public_inputs); }