Merge pull request #261 from 0xPolygonHermez/feature/add-rip7212

add tests p256verify
0xPolygonHermez · Oct 14, 2024 · d589ca7 · d589ca7
2 parents d97339c + b28c884
commit d589ca7
Show file tree

Hide file tree

Showing 1,271 changed files with 800,999 additions and 458,812 deletions.
diff --git a/inputs-executor/calldata/pre-rip7212_0.json b/inputs-executor/calldata/pre-rip7212_0.json
@@ -0,0 +1,254 @@
+{
+  "oldStateRoot": "0xa46136c776183e59dfb8fdfcf26a69ddb564dd56fe5eaa8dc2c6145baf0372de",
+  "newStateRoot": "0x3425143e5d5edb67acb74ff8bdd6a5a7e323e9d59c699d9606d1bc7d38544b1d",
+  "oldAccInputHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "newAccInputHash": "0x08db75a86691d3eb8c9386f9e5399c3fa352270f342ada82db7afeb45884fa94",
+  "newLocalExitRoot": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "oldNumBatch": 0,
+  "newNumBatch": 1,
+  "chainID": 1000,
+  "forkID": 13,
+  "forcedBlockHashL1": "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "batchL2Data": "0x0b73e6af6f00000000f8cb80843b9aca00830186a0941275fbb540c8efc58b812ba83b0d0b8b9917ae9880b8a462d14a79bb5a52f42f9c9261ed4361f59422a1e30036e7c32b270c8807a419feca6050232ba3a8be6b94d5ec80a6d9d1190a436effe50d85a1eee859b8cc6af9bd5c2e184cd60b855d442f5b3c7b11eb6c4e0ae7525fe710fab9aa7c77a67f79e6fadd762927b10512bae3eddcfe467828128bad2903269919f7086069c8c4df6c732838c7787964eaac00e5921fb1498a60f4606766b3d9685001558d1a974e7341513e8203e88080b556301ee37b626b831772c15f9c611e5ee437abce3f84dbb7e867a3bc961f7d323e9f6ae3c56e4a7b609933531abcc048133bb1b81071a06d881a9f504301d71cff",
+  "l1InfoRoot": "0x090bcaf734c4f06c93954a827b45a6e8c67b8e0fd1e0a35a1c5982d6961828f9",
+  "timestampLimit": "1944498031",
+  "sequencerAddr": "0x617b3a3528F9cDd6630fd3301B9c8911F7Bf063D",
+  "batchHashData": "0x3dbedc755794b4e3c321aece7975af73c35e74d83b6bf42c6ac051191b2ac223",
+  "contractsBytecode": {
+    "0xa8928873f15be03ccce34cb3f1ee43b86228aa2dc21736735d99c8c54a129563": "0x608060405234801561001057600080fd5b506004361061002b5760003560e01c806362d14a7914610030575b600080fd5b61004a600480360381019061004591906100a0565b61004c565b005b606060405186815285602082015284604082015283606082015282608082015260208160a08360006101005af181519250826001555050505050505050565b60008135905061009a8161012a565b92915050565b600080600080600060a086880312156100bc576100bb610125565b5b60006100ca8882890161008b565b95505060206100db8882890161008b565b94505060406100ec8882890161008b565b93505060606100fd8882890161008b565b925050608061010e8882890161008b565b9150509295509295909350565b6000819050919050565b600080fd5b6101338161011b565b811461013e57600080fd5b5056fea2646970667358221220f4b841428122f4fb17ae2c9796202c44c0df046b368b2f8f01cad31d435d2ca764736f6c63430008070033",
+    "0x1275fbb540c8efc58b812ba83b0d0b8b9917ae98": "0xa8928873f15be03ccce34cb3f1ee43b86228aa2dc21736735d99c8c54a129563"
+  },
+  "l1InfoTree": {
+    "skipVerifyL1InfoRoot": true
+  },
+  "db": {
+    "0xa46136c776183e59dfb8fdfcf26a69ddb564dd56fe5eaa8dc2c6145baf0372de": [
+      "199393b6aad4fde8",
+      "6f61c64e70f8dbd1",
+      "59c28532d79436b3",
+      "64528623d202d0ec",
+      "c59fda49610a1896",
+      "60c49cc2c8ddca8d",
+      "41cbb3bb803f95c4",
+      "6cbd3a26de8c295e",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x64528623d202d0ec59c28532d79436b36f61c64e70f8dbd1199393b6aad4fde8": [
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "d29f95669770d5b1",
+      "329c05834d42fe67",
+      "a27b319394da049c",
+      "6ac5a65a568eda8a",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x6ac5a65a568eda8aa27b319394da049c329c05834d42fe67d29f95669770d5b1": [
+      "1baeee07cadec004",
+      "99f5931a96dacdaa",
+      "fc3570bcf0bf7c9e",
+      "ca0f755a7f970e76",
+      "40a086c5e5d10e41",
+      "bc51580327fcce3b",
+      "bbd57a78ef949bda",
+      "555acc38f298a1c2",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0xca0f755a7f970e76fc3570bcf0bf7c9e99f5931a96dacdaa1baeee07cadec004": [
+      "25928440032faa48",
+      "7603eeedd4b5445e",
+      "553f6707e9e92083",
+      "c86ee7583a0df9c1",
+      "d074b8cee5dcf415",
+      "2346a1b4c0f390e8",
+      "47969c1f5a6a25b1",
+      "da62fdf84a21108e",
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0xda62fdf84a21108e47969c1f5a6a25b12346a1b4c0f390e8d074b8cee5dcf415": [
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x555acc38f298a1c2bbd57a78ef949bdabc51580327fcce3b40a086c5e5d10e41": [
+      "14945417c9b957d1",
+      "1af1a1e389f5d2bf",
+      "33fbf3cd8d9bb1e0",
+      "13060509db26d4ff",
+      "86ade8f0d9477a50",
+      "8c3a3c78d549e6c5",
+      "0bde17f2234c2d55",
+      "ecfdef2ab38b771c",
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0xecfdef2ab38b771c0bde17f2234c2d558c3a3c78d549e6c586ade8f0d9477a50": [
+      "0000000000000177",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x6cbd3a26de8c295e41cbb3bb803f95c460c49cc2c8ddca8dc59fda49610a1896": [
+      "32080342b8797170",
+      "43459a924a047968",
+      "61a96111617886b4",
+      "014aaed5bd38ba32",
+      "ebb05ed2082602b9",
+      "c538204eb07f3d6c",
+      "a5ed480ede7b8f0e",
+      "52621f81fded9c35",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x014aaed5bd38ba3261a96111617886b443459a924a04796832080342b8797170": [
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "ea4c7febb47238ce",
+      "ae6ae5619e341d3f",
+      "294ccbe0dc11d68c",
+      "5bef37cdc8d2a96e",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x5bef37cdc8d2a96e294ccbe0dc11d68cae6ae5619e341d3fea4c7febb47238ce": [
+      "39bf99b039ee7f9c",
+      "650c8b07798da9ff",
+      "616c7f4262bc9bb7",
+      "04446bd0b2f11150",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x04446bd0b2f11150616c7f4262bc9bb7650c8b07798da9ff39bf99b039ee7f9c": [
+      "356d68ec105e113b",
+      "b8c3ecf7ffd766d9",
+      "ecaae95d07bded7f",
+      "25ed1f939564a14f",
+      "e1aabc6f2c5fa877",
+      "2966d19048f9e3e2",
+      "e42b711969ac7931",
+      "4453bbc393e06651",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x25ed1f939564a14fecaae95d07bded7fb8c3ecf7ffd766d9356d68ec105e113b": [
+      "0b6ef212cb5c83f8",
+      "49015d7e991a1528",
+      "4a6eced6e8304885",
+      "305a6af4d7a8a00c",
+      "494f9491c8507dc3",
+      "e92914c00b37a1cd",
+      "f6b613135380bd5f",
+      "b487e2e7e1d98168",
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0xb487e2e7e1d98168f6b613135380bd5fe92914c00b37a1cd494f9491c8507dc3": [
+      "00000000c6200000",
+      "00000000d78ebc5a",
+      "000000000000000a",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x4453bbc393e06651e42b711969ac79312966d19048f9e3e2e1aabc6f2c5fa877": [
+      "3220d02477c5569c",
+      "0dfe002ac222af8c",
+      "6f01200bb557e8ae",
+      "2890f215f2c6b9f7",
+      "df0d56a3ec355a87",
+      "d0b86553c11b1dc1",
+      "1b3dd3d46520df7e",
+      "5e5c63d2e8081d33",
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x5e5c63d2e8081d331b3dd3d46520df7ed0b86553c11b1dc1df0d56a3ec355a87": [
+      "000000004a129563",
+      "000000005d99c8c5",
+      "00000000c2173673",
+      "000000006228aa2d",
+      "00000000f1ee43b8",
+      "00000000cce34cb3",
+      "00000000f15be03c",
+      "00000000a8928873"
+    ],
+    "0x52621f81fded9c35a5ed480ede7b8f0ec538204eb07f3d6cebb05ed2082602b9": [
+      "66ee2be0687eea76",
+      "6926f8ca8796c78a",
+      "4c2f3e938869b82d",
+      "649e63bfe1247ba4",
+      "35f28afeae0ff489",
+      "b6d75a1b213c2f7c",
+      "521f1ce7fca92f45",
+      "2afffacb569cf689",
+      "0000000000000001",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ],
+    "0x2afffacb569cf689521f1ce7fca92f45b6d75a1b213c2f7c35f28afeae0ff489": [
+      "0000000063100000",
+      "000000006bc75e2d",
+      "0000000000000005",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000",
+      "0000000000000000"
+    ]
+  },
+  "virtualCounters": {
+    "steps": 54011,
+    "arith": 1277,
+    "binary": 2945,
+    "memAlign": 14,
+    "keccaks": 11,
+    "padding": 23,
+    "poseidon": 1241,
+    "sha256": 0
+  }
+}