Merge pull request #326 from 0xPolygonHermez/feature/zk73-push

Feature/zk73 push
0xPolygonHermez · Feb 7, 2024 · f41e59a · f41e59a
2 parents af93940 + 100d364
commit f41e59a
Show file tree

Hide file tree

Showing 4 changed files with 311 additions and 127 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -6,7 +6,7 @@ name: Test executor inputs
 on:
   workflow_dispatch:
   pull_request:
-    branches: [main, develop, develop-etrog, feature/fork-etrog, feature/l1-info-tree]
+    branches: [main, develop, develop-feijoa]
 
 jobs:
   build:

diff --git a/main/opcodes/stack-operations.zkasm b/main/opcodes/stack-operations.zkasm
@@ -169,7 +169,7 @@ opAuxPUSHA2:
     ; check out-of-gas
     GAS - %GAS_FASTEST_STEP => GAS      :JMPN(outOfGas)
     ; read bytes from calldata
-                        :CALL(readPush); in: [D: bytes to read] out: [E: value read]
+    D => E              :CALL(readPush); in: [D,E: bytes to read] out: [E: value read]
     ; store stack output
     E                   :MSTORE(SP++); [pushed_value(E) => SP]
     ; check stack overflow