Skip to content

Commit

Permalink
fix(avm): Bugfix related to pc increment in calldatacopy of avm circu…
Browse files Browse the repository at this point in the history
…it (#6891)
  • Loading branch information
jeanmon authored Jun 5, 2024
1 parent e61c40e commit 5fe59d2
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -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),
Expand All @@ -1865,6 +1865,8 @@ void AvmTraceBuilder::calldata_copy(
pos = copy_size;
}
}

pc++;
}

/**
Expand Down

0 comments on commit 5fe59d2

Please sign in to comment.