From 5fe59d2ed96a5b966efc9e3619c87b4a23c502f4 Mon Sep 17 00:00:00 2001 From: Jean M <132435771+jeanmon@users.noreply.github.com> Date: Wed, 5 Jun 2024 15:00:53 +0200 Subject: [PATCH] fix(avm): Bugfix related to pc increment in calldatacopy of avm circuit (#6891) --- barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp b/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp index 8bf506ee5ac..8599f13b0b7 100644 --- a/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp +++ b/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp @@ -1851,7 +1851,7 @@ void AvmTraceBuilder::calldata_copy( pos == 0)), // TODO: remove in the long term. This activate gas only for the first row. .avm_main_mem_op_b = FF(mem_op_b), .avm_main_mem_op_c = FF(mem_op_c), - .avm_main_pc = FF(pc++), + .avm_main_pc = FF(pc), .avm_main_rwa = FF(rwa), .avm_main_rwb = FF(rwb), .avm_main_rwc = FF(rwc), @@ -1865,6 +1865,8 @@ void AvmTraceBuilder::calldata_copy( pos = copy_size; } } + + pc++; } /**