Merge pull request #229 from 0xPolygonHermez/feature/no-ignore-modexp

modexp tests update
0xPolygonHermez · Mar 26, 2024 · 8299b99 · 8299b99
2 parents 85d3be5 + 7015da7
commit 8299b99
Show file tree

Hide file tree

Showing 343 changed files with 4,784 additions and 4,784 deletions.
diff --git a/inputs-executor/calldata/geth_0.json-ignore → inputs-executor/calldata/geth_0.json b/inputs-executor/calldata/geth_0.json-ignore → inputs-executor/calldata/geth_0.json
@@ -1,26 +1,26 @@
 {
   "oldStateRoot": "0x9dc6045e72a9449459cfd7698e8e3586a499dee7a82a2c7fd6870438201dfc1d",
   "newStateRoot": "0x64adf88449fcb68fa50731b9ea83e6fe649f9b7008896d66e544a1cb6ecdc4ed",
-  "oldAccInputHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
-  "newAccInputHash": "0x20ef5b0e9dbf4a56f8fe84df064cc3ea9182a5110c98d89e7e39635140bbe4a7",
+  "oldBatchAccInputHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "newBatchAccInputHash": "0xd496af69bf6471772ad0dc737548ab9eebd0fdc72a422212f3aaa3368a94e691",
   "newLocalExitRoot": "0x0000000000000000000000000000000000000000000000000000000000000000",
-  "oldNumBatch": 0,
-  "newNumBatch": 1,
+  "newTimestamp": "1944498031",
   "chainID": 1000,
-  "forkID": 8,
-  "forcedBlockHashL1": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "forkID": 9,
+  "forcedHashData": "0x0000000000000000000000000000000000000000000000000000000000000000",
   "batchL2Data": "0x0b73e6af6f00000000f90128800183989680941275fbb540c8efc58b812ba83b0d0b8b9917ae9880b90104d5665d6f000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000a100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002003fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2efffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f000000000000000000000000000000000000000000000000000000000000008203e88080df69946379b3ca728380bbfd51d20fee3f7ba8344e6b5b3da63db78deb4891a16e71c31b4724554a594bd175fbfd15b517d03c4e3555b301c5ddfa7f279e85b71bff",
-  "l1InfoRoot": "0x090bcaf734c4f06c93954a827b45a6e8c67b8e0fd1e0a35a1c5982d6961828f9",
-  "timestampLimit": "1944498031",
   "sequencerAddr": "0x617b3a3528F9cDd6630fd3301B9c8911F7Bf063D",
-  "batchHashData": "0xb3ba94257376ca99faca56b1f7dd8b87a626a9b7a4895fc9cd3b0fee26f7d4ba",
+  "batchHashData": "0x4abaceae9798fd2ad6239e089794ef9b6d619bdbca666a886dc623d88bade4dc",
   "contractsBytecode": {
     "0xf50471610e6e5948c5a4fe0d554def56fc511f556301f8ab8faa8e732bcf89c4": "0x608060405234801561001057600080fd5b50600436106100885760003560e01c8063ca8b6b0c1161005b578063ca8b6b0c146100d9578063d5665d6f146100e3578063ddff382f146100ff578063f3e5787c1461010957610088565b80634ab7453a1461008d5780637c5d155c146100a95780639737c9b7146100b357806399023de6146100cf575b600080fd5b6100a760048036038101906100a29190610695565b610113565b005b6100b1610172565b005b6100cd60048036038101906100c89190610642565b610214565b005b6100d7610272565b005b6100e1610330565b005b6100fd60048036038101906100f89190610722565b610395565b005b61010761040b565b005b610111610516565b005b60606040518781528660208201528560408201528460608201528360808201528260a082015260208160c083600060055af180600081146101605782519350836001556001600355610166565b60026003555b50505050505050505050565b6060604051604081526020808201526022604082015260006060820152610111608082015261100060a082015260ff60c08201527fffff00000000000000000000000000000000000000000000000000000000000060e08201526022610100820161010083600060055af1806000811461020857610100830151935083600055610120830151935083600155600160035561020e565b60026003555b50505050565b606060405160208152602080820152602060408201528460608201528360808201528260a082015260208160c083600060055af180600081146102635782519350836001556001600355610269565b60026003555b50505050505050565b60606040516040815260208082015260226040820152600060608201527f10000000000000000000000000000000000000000000000000000000000000006080820152600160a0820152600060c08201527e0900000000000000000000000000000000000000000000000000000000000060e08201526022610100820161010083600060055af1806000811461032457610100830151935083600055610120830151935083600155600160035561032a565b60026003555b50505050565b606060405160408152602080820152602060408201526001606082015260006080820152600160a0820152600960c082015260208160e083600060055af18060008114610389578251935083600155600160035561038f565b60026003555b50505050565b61039d61059a565b6101408183516020850160055afa80600055503d806000555060005b6020811015610406578181602081106103d5576103d461088d565b5b6020020151600582602081106103ee576103ed61088d565b5b018190555080806103fe90610815565b9150506103b9565b505050565b60606040516080815260208082015260806040820152654339f6e1061a606082015260006080820152622b32af60a0820152606460c08201527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60e082015264056101669d6101008201526401eb07e0ea6101208201526000610140820152600061016082015260808161018083600060055af180600081146104d65782519350836001556020830151935083600255604083015193508360035560608301519350836004556104dc565b60026003555b506080600060c83e60c851925082600555602060c80151925082600655604060c80151925082600755606060c80151925082600855505050565b60606040516040815260208082015260206040820152600060608201527f10000000000000000000000000000000000000000000000000000000000000006080820152600160a0820152600960c082015260208160e083600060055af1806000811461058e5782519350836001556001600355610594565b60026003555b50505050565b604051806104000160405280602090602082028036833780820191505090505090565b60006105d06105cb84610790565b61076b565b9050828152602081018484840111156105ec576105eb6108f0565b5b6105f78482856107d5565b509392505050565b60008135905061060e81610910565b92915050565b600082601f830112610629576106286108eb565b5b81356106398482602086016105bd565b91505092915050565b60008060006060848603121561065b5761065a6108fa565b5b6000610669868287016105ff565b935050602061067a868287016105ff565b925050604061068b868287016105ff565b9150509250925092565b60008060008060008060c087890312156106b2576106b16108fa565b5b60006106c089828a016105ff565b96505060206106d189828a016105ff565b95505060406106e289828a016105ff565b94505060606106f389828a016105ff565b935050608061070489828a016105ff565b92505060a061071589828a016105ff565b9150509295509295509295565b600060208284031215610738576107376108fa565b5b600082013567ffffffffffffffff811115610756576107556108f5565b5b61076284828501610614565b91505092915050565b6000610775610786565b905061078182826107e4565b919050565b6000604051905090565b600067ffffffffffffffff8211156107ab576107aa6108bc565b5b6107b4826108ff565b9050602081019050919050565b6000819050919050565b6000819050919050565b82818337600083830152505050565b6107ed826108ff565b810181811067ffffffffffffffff8211171561080c5761080b6108bc565b5b80604052505050565b6000610820826107cb565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156108535761085261085e565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b610919816107c1565b811461092457600080fd5b5056fea26469706673582212201a137ecfda4c98540ddaa703d707ab04b368c098745623a03137ecc1155d9aa164736f6c63430008070033",
     "0x1275fbb540c8efc58b812ba83b0d0b8b9917ae98": "0xf50471610e6e5948c5a4fe0d554def56fc511f556301f8ab8faa8e732bcf89c4"
   },
-  "l1InfoTree": {
-    "skipVerifyL1InfoRoot": true
-  },
+  "forcedData": {},
+  "previousL1InfoTreeRoot": "0x4a9bfcb163ec91c5beb22e6aca41592433092c8c7821b01d37fd0de483f9265d",
+  "previousL1InfoTreeIndex": 1,
+  "newL1InfoTreeRoot": "0x4a9bfcb163ec91c5beb22e6aca41592433092c8c7821b01d37fd0de483f9265d",
+  "newL1InfoTreeIndex": 1,
+  "l1InfoTree": {},
   "db": {
     "0x9dc6045e72a9449459cfd7698e8e3586a499dee7a82a2c7fd6870438201dfc1d": [
       "66cc9bc94a8e248c",
@@ -242,9 +242,9 @@
     ]
   },
   "virtualCounters": {
-    "steps": 571058,
+    "steps": 487491,
     "arith": 4762,
-    "binary": 32794,
+    "binary": 27142,
     "memAlign": 144,
     "keccaks": 45,
     "padding": 61,

diff --git a/inputs-executor/calldata/geth_1.json-ignore → inputs-executor/calldata/geth_1.json b/inputs-executor/calldata/geth_1.json-ignore → inputs-executor/calldata/geth_1.json
@@ -1,26 +1,26 @@
 {
   "oldStateRoot": "0x9dc6045e72a9449459cfd7698e8e3586a499dee7a82a2c7fd6870438201dfc1d",
   "newStateRoot": "0x3532c8b2448b1a134c76c484fc4a6702dd81c84f456e1bdc741ab4ee8c3e0741",
-  "oldAccInputHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
-  "newAccInputHash": "0xff1d7797342fa07b3142ea52d0f07ee8923c4d2beac291b2d93f3c567ecef96c",
+  "oldBatchAccInputHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "newBatchAccInputHash": "0x1469e424853d11d06f937eed090cbbd6b5ef55d96abb5675b67039895d9e2698",
   "newLocalExitRoot": "0x0000000000000000000000000000000000000000000000000000000000000000",
-  "oldNumBatch": 0,
-  "newNumBatch": 1,
+  "newTimestamp": "1944498031",
   "chainID": 1000,
-  "forkID": 8,
-  "forcedBlockHashL1": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "forkID": 9,
+  "forcedHashData": "0x0000000000000000000000000000000000000000000000000000000000000000",
   "batchL2Data": "0x0b73e6af6f00000000f90107800183989680941275fbb540c8efc58b812ba83b0d0b8b9917ae9880b8e4d5665d6f000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000020fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2efffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f8203e8808025dffb93857ca809ba276ca230cb7e1d0f8f17bd3714cad9656e7c759c8a7ff355671811118ea4d74ee6f8f0c326e5be88f3e20171480b28526087447b42b0981bff",
-  "l1InfoRoot": "0x090bcaf734c4f06c93954a827b45a6e8c67b8e0fd1e0a35a1c5982d6961828f9",
-  "timestampLimit": "1944498031",
   "sequencerAddr": "0x617b3a3528F9cDd6630fd3301B9c8911F7Bf063D",
-  "batchHashData": "0x2b1061ae55eb20e1f3e51985484a61c7d64a72449744da9327e1e7f8b1ba680b",
+  "batchHashData": "0x2f43d668d2eb11a91733d700429814b471276243a115b4814d1843913c70b37b",
   "contractsBytecode": {
     "0xf50471610e6e5948c5a4fe0d554def56fc511f556301f8ab8faa8e732bcf89c4": "0x608060405234801561001057600080fd5b50600436106100885760003560e01c8063ca8b6b0c1161005b578063ca8b6b0c146100d9578063d5665d6f146100e3578063ddff382f146100ff578063f3e5787c1461010957610088565b80634ab7453a1461008d5780637c5d155c146100a95780639737c9b7146100b357806399023de6146100cf575b600080fd5b6100a760048036038101906100a29190610695565b610113565b005b6100b1610172565b005b6100cd60048036038101906100c89190610642565b610214565b005b6100d7610272565b005b6100e1610330565b005b6100fd60048036038101906100f89190610722565b610395565b005b61010761040b565b005b610111610516565b005b60606040518781528660208201528560408201528460608201528360808201528260a082015260208160c083600060055af180600081146101605782519350836001556001600355610166565b60026003555b50505050505050505050565b6060604051604081526020808201526022604082015260006060820152610111608082015261100060a082015260ff60c08201527fffff00000000000000000000000000000000000000000000000000000000000060e08201526022610100820161010083600060055af1806000811461020857610100830151935083600055610120830151935083600155600160035561020e565b60026003555b50505050565b606060405160208152602080820152602060408201528460608201528360808201528260a082015260208160c083600060055af180600081146102635782519350836001556001600355610269565b60026003555b50505050505050565b60606040516040815260208082015260226040820152600060608201527f10000000000000000000000000000000000000000000000000000000000000006080820152600160a0820152600060c08201527e0900000000000000000000000000000000000000000000000000000000000060e08201526022610100820161010083600060055af1806000811461032457610100830151935083600055610120830151935083600155600160035561032a565b60026003555b50505050565b606060405160408152602080820152602060408201526001606082015260006080820152600160a0820152600960c082015260208160e083600060055af18060008114610389578251935083600155600160035561038f565b60026003555b50505050565b61039d61059a565b6101408183516020850160055afa80600055503d806000555060005b6020811015610406578181602081106103d5576103d461088d565b5b6020020151600582602081106103ee576103ed61088d565b5b018190555080806103fe90610815565b9150506103b9565b505050565b60606040516080815260208082015260806040820152654339f6e1061a606082015260006080820152622b32af60a0820152606460c08201527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60e082015264056101669d6101008201526401eb07e0ea6101208201526000610140820152600061016082015260808161018083600060055af180600081146104d65782519350836001556020830151935083600255604083015193508360035560608301519350836004556104dc565b60026003555b506080600060c83e60c851925082600555602060c80151925082600655604060c80151925082600755606060c80151925082600855505050565b60606040516040815260208082015260206040820152600060608201527f10000000000000000000000000000000000000000000000000000000000000006080820152600160a0820152600960c082015260208160e083600060055af1806000811461058e5782519350836001556001600355610594565b60026003555b50505050565b604051806104000160405280602090602082028036833780820191505090505090565b60006105d06105cb84610790565b61076b565b9050828152602081018484840111156105ec576105eb6108f0565b5b6105f78482856107d5565b509392505050565b60008135905061060e81610910565b92915050565b600082601f830112610629576106286108eb565b5b81356106398482602086016105bd565b91505092915050565b60008060006060848603121561065b5761065a6108fa565b5b6000610669868287016105ff565b935050602061067a868287016105ff565b925050604061068b868287016105ff565b9150509250925092565b60008060008060008060c087890312156106b2576106b16108fa565b5b60006106c089828a016105ff565b96505060206106d189828a016105ff565b95505060406106e289828a016105ff565b94505060606106f389828a016105ff565b935050608061070489828a016105ff565b92505060a061071589828a016105ff565b9150509295509295509295565b600060208284031215610738576107376108fa565b5b600082013567ffffffffffffffff811115610756576107556108f5565b5b61076284828501610614565b91505092915050565b6000610775610786565b905061078182826107e4565b919050565b6000604051905090565b600067ffffffffffffffff8211156107ab576107aa6108bc565b5b6107b4826108ff565b9050602081019050919050565b6000819050919050565b6000819050919050565b82818337600083830152505050565b6107ed826108ff565b810181811067ffffffffffffffff8211171561080c5761080b6108bc565b5b80604052505050565b6000610820826107cb565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156108535761085261085e565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b610919816107c1565b811461092457600080fd5b5056fea26469706673582212201a137ecfda4c98540ddaa703d707ab04b368c098745623a03137ecc1155d9aa164736f6c63430008070033",
     "0x1275fbb540c8efc58b812ba83b0d0b8b9917ae98": "0xf50471610e6e5948c5a4fe0d554def56fc511f556301f8ab8faa8e732bcf89c4"
   },
-  "l1InfoTree": {
-    "skipVerifyL1InfoRoot": true
-  },
+  "forcedData": {},
+  "previousL1InfoTreeRoot": "0x4a9bfcb163ec91c5beb22e6aca41592433092c8c7821b01d37fd0de483f9265d",
+  "previousL1InfoTreeIndex": 1,
+  "newL1InfoTreeRoot": "0x4a9bfcb163ec91c5beb22e6aca41592433092c8c7821b01d37fd0de483f9265d",
+  "newL1InfoTreeIndex": 1,
+  "l1InfoTree": {},
   "db": {
     "0x9dc6045e72a9449459cfd7698e8e3586a499dee7a82a2c7fd6870438201dfc1d": [
       "66cc9bc94a8e248c",
@@ -242,9 +242,9 @@
     ]
   },
   "virtualCounters": {
-    "steps": 246218,
+    "steps": 162651,
     "arith": 1936,
-    "binary": 11662,
+    "binary": 6010,
     "memAlign": 123,
     "keccaks": 45,
     "padding": 60,