fix: EXTCODECOPY stack pattern was off

Consensys · Nov 1, 2024 · 6853bb2 · 6853bb2
1 parent 3e73fb7
commit 6853bb2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/arithmetization/src/main/java/net/consensys/linea/zktracer/runtime/stack/Stack.java b/arithmetization/src/main/java/net/consensys/linea/zktracer/runtime/stack/Stack.java
@@ -239,7 +239,8 @@ private void log(MessageFrame frame, StackContext pending) {
   }
 
   private void copy(MessageFrame frame, StackContext pending) {
-    if (currentOpcodeData.stackSettings().addressTrimmingInstruction()) {
+    if (currentOpcodeData.numberOfArguments() == 4) {
+      // this is the EXTCODECOPY case
       Bytes val0 = getStack(frame, 0);
       Bytes val1 = getStack(frame, 1);
       Bytes val2 = getStack(frame, 2);
@@ -253,7 +254,9 @@ private void copy(MessageFrame frame, StackContext pending) {
           new IndexedStackOperation(
               3, StackItem.pop((short) (height - 2), val2, stackStampWithOffset(3))),
           new IndexedStackOperation(4, StackItem.pop(height, val0, stamp)));
+
     } else {
+      // this is the CALLDATACOPY, CODECOPY and RETURNDATACOPY case
       Bytes val1 = getStack(frame, 0);
       Bytes val2 = getStack(frame, 2);
       Bytes val3 = getStack(frame, 1);