zkrunner: regenerate all proof witness json files

darkrenaissance · Apr 10, 2024 · e1b259c · e1b259c
1 parent 5c98b28
commit e1b259c
Show file tree

Hide file tree

Showing 15 changed files with 1,005 additions and 485 deletions.
diff --git a/proof/witness/arithmetic.json b/proof/witness/arithmetic.json
@@ -1,15 +1,15 @@
 {
-  "instances": [
-    "0000000000000000000000000000000000000000000000000000000000000072",
-    "00000000000000000000000000000000000000000000000000000000000001b8",
-    "40000000000000000000000000000000224698fc094cf91b992d30ecffffff97"
-  ],
   "witnesses": [
     {
-      "Base": "0000000000000000000000000000000000000000000000000000000000000004"
+      "Base": "0x0000000000000000000000000000000000000000000000000000000000000004"
     },
     {
-      "Base": "000000000000000000000000000000000000000000000000000000000000006e"
+      "Base": "0x000000000000000000000000000000000000000000000000000000000000006e"
     }
+  ],
+  "instances": [
+    "0x0000000000000000000000000000000000000000000000000000000000000072",
+    "0x00000000000000000000000000000000000000000000000000000000000001b8",
+    "0x40000000000000000000000000000000224698fc094cf91b992d30ecffffff97"
   ]
 }
diff --git a/proof/witness/opcodes.json b/proof/witness/opcodes.json
@@ -1,86 +1,86 @@
 {
   "witnesses": [
     {
-      "Base": "000000000000000000000000000000000000000000000000000000000000029a"
+      "Base": "0x000000000000000000000000000000000000000000000000000000000000029a"
     },
     {
-      "Scalar": "3ea15fc0727f348299fd3f42a8f40f270a9edd0dea819100839f20105c6b5e4e"
+      "Scalar": "0x09b8844896262d7a83ee09fdecb03400c09e292cac57cd75567c9fd955110071"
     },
     {
-      "Base": "32cbc98dd3f7202eb5710577a94cc9b9863675302180cb83b021b6c58a15f77f"
+      "Base": "0x03f28ddd4979ada297c0e677551ab646a941be63ba37a23d7773395fc7b59d81"
     },
     {
-      "Base": "000000000000000000000000000000000000000000000000000000000000002a"
+      "Base": "0x000000000000000000000000000000000000000000000000000000000000002a"
     },
     {
-      "Base": "0000000000000000000000000000000000000000000000000000000000000045"
+      "Base": "0x0000000000000000000000000000000000000000000000000000000000000045"
     },
     {
-      "Base": "18ba7cfa088871f85824d8e64e6700bcf7570284a40ed1230cad72a4b8e61c05"
+      "Base": "0x27b82ae2a41cc4659cf9fe726b4da9470a97bfa053302e6e630db6ea836d1322"
     },
     {
       "EcNiPoint": [
-        "2a1d0c3fc137f43b0cac67991160d2a465bcaeb76dc633a5e91b462b3a3db9ec",
-        "1a47ccee19855fb218249222d8b2d04ec05efcd7077086fa6ec68943379e7595"
+        "0x316222369ee6496e10e032dff7c6df2e098f4553488c1c1f3ac56b915db4300c",
+        "0x10c127968898b4e23e15e271653a5d8eba540fe1092ab557ab1fa1cbfc1a502a"
       ]
     },
     {
-      "Base": "3301594bae9da203607525104a8ac961674b0cba99b2f7b2cb21d7810d0d43dd"
+      "Base": "0x315b119804ed8d607acfc280743c975c1d4dfa9dc8875083168d953b52e7b2c3"
     },
     {
       "Uint32": 2
     },
     {
       "MerklePath": [
-        "006d1cc1f8fbb96c0151fd986f9e07cf30d51a3f7ac20332e1fd7ea54554dfe6",
-        "311c46ebd03ee9c8702b569442f9a16bf549dc1ca0288c21715b35de8ad2a939",
-        "30d056957683dfe0c3e289ea1c2304b19b5c09c17cabbb3a0464cd14463f41c7",
-        "044279ac8f3c57b2aa1638aca9d27eda6a7df26d8174ec50fde5537739fc1121",
-        "31b4ea3aced9464a3daba756ae9945b86407f3ef514c38f2d4645cb4fefb6a80",
-        "18abed52ed3002af2798f51bc19bedd2c9fc69003699e845c6f0c0f257413e87",
-        "02c4ff95a4f8937220846aa30a8abc6fa8a053125ac1c870ade13a952013ab27",
-        "3b13f3906f701d1f8e4ad7221b0555056830523b11374b5ba6a291f13d56144e",
-        "1f3707da6df0e41c6f67045d859633ce55851d4b17f4b74e0f8ad193f9e4bbb3",
-        "0e17bd4c92572b5a39b8bc1c99cbdf79c628ba3fe9279eeb6ad7f0c6e9bdf54e",
-        "0743b7c639f9a56294bf11831b6a7da417d27c7d6a0dc31ecaf5ebac6825c0a3",
-        "390dd1d2c5662b30f61c6ca9ca404d1db4495decd6ba0516da2261ae0bb3f93e",
-        "0b9ed98ef64fa6a78488390038e530982d3670de72c1703be6ab93cb0028ae22",
-        "1b66b7651dbb92721c035c140d313b05a617c9df9c97b0ed4cc27226d9107118",
-        "3b4564b91762fb4b354bab9090e3fa6611bec6af2c04c20c8b144f36bead983f",
-        "0fec4763bc96f603590823c9660544edf425bdb3e0734973f136f90dd1dbf863",
-        "34dcf5b7ecb1dda089e3cb6d0678e464e5fa8d146835315a886140ac3e168221",
-        "31d3a638278b57a2923bc1ac63da2789d61aaa069e1fcdf9f3a3181968c09dbd",
-        "2e8d63c774216c4b093197923c2255d39ce6a93d3386a93b5eb97f3b95ed2cca",
-        "1a4e1a33a59cc1c3bd78771168f6ab8d24ee714d09e0e1aa459e6fb5964b3555",
-        "05f71033d378bb729e90f578654694e692acc541cacaffdea045a02a4cb09770",
-        "012e36772839eb54c3f50a619a59c57acbe5e8223f7a8610d43b81ff21681de8",
-        "24d86d9aaaad5838a6d179cb5c2a3b8c80fd3849c9fdc4b896497c7f56e87d15",
-        "0b5d7773fe73ed739820ebe6eafc1859278bf9c49546122cc12061cd51ce1ffe",
-        "2d0a3ab6ae0a5a33b346835b4e3252b137ff3010fa0c4df7692601122998911f",
-        "22559754c745c606ec0a54140795eda7bebfbb3c18961393a37df12af515ec5d",
-        "258a081b5900f6074c3a94da3cc613b61758cc331d94ee75ab3b461dd92aaee8",
-        "0f06d046da76daf00097e8af438215b183a518a5f423687696f5ce71e3de3fd5",
-        "2ed66b6b6f8f29b6b3f625e8fe886221ebec30c729e8619a4c91e7ef4c44d215",
-        "3f25121b0218dc6cf514fdb8e5d9a3b685d60e6b6baa837aea10aaa017a6574c",
-        "27ba14a06cf07323de77da59259e3523acb269d955be20791a83bd195c91d43f",
-        "2a4c109fe28f5c71f7bda83f74ec8b684cb90e8462772b224449ee07cd63d087"
+        "0x2198334c1382e6533aa61af4eaee52de119a7bddb1c67abd63def03e62d62222",
+        "0x1dd879a4c40d77e1dfaa1bbeb17974a6323eadf8263736e31eac715f3c5cc362",
+        "0x30d056957683dfe0c3e289ea1c2304b19b5c09c17cabbb3a0464cd14463f41c7",
+        "0x044279ac8f3c57b2aa1638aca9d27eda6a7df26d8174ec50fde5537739fc1121",
+        "0x31b4ea3aced9464a3daba756ae9945b86407f3ef514c38f2d4645cb4fefb6a80",
+        "0x18abed52ed3002af2798f51bc19bedd2c9fc69003699e845c6f0c0f257413e87",
+        "0x02c4ff95a4f8937220846aa30a8abc6fa8a053125ac1c870ade13a952013ab27",
+        "0x3b13f3906f701d1f8e4ad7221b0555056830523b11374b5ba6a291f13d56144e",
+        "0x1f3707da6df0e41c6f67045d859633ce55851d4b17f4b74e0f8ad193f9e4bbb3",
+        "0x0e17bd4c92572b5a39b8bc1c99cbdf79c628ba3fe9279eeb6ad7f0c6e9bdf54e",
+        "0x0743b7c639f9a56294bf11831b6a7da417d27c7d6a0dc31ecaf5ebac6825c0a3",
+        "0x390dd1d2c5662b30f61c6ca9ca404d1db4495decd6ba0516da2261ae0bb3f93e",
+        "0x0b9ed98ef64fa6a78488390038e530982d3670de72c1703be6ab93cb0028ae22",
+        "0x1b66b7651dbb92721c035c140d313b05a617c9df9c97b0ed4cc27226d9107118",
+        "0x3b4564b91762fb4b354bab9090e3fa6611bec6af2c04c20c8b144f36bead983f",
+        "0x0fec4763bc96f603590823c9660544edf425bdb3e0734973f136f90dd1dbf863",
+        "0x34dcf5b7ecb1dda089e3cb6d0678e464e5fa8d146835315a886140ac3e168221",
+        "0x31d3a638278b57a2923bc1ac63da2789d61aaa069e1fcdf9f3a3181968c09dbd",
+        "0x2e8d63c774216c4b093197923c2255d39ce6a93d3386a93b5eb97f3b95ed2cca",
+        "0x1a4e1a33a59cc1c3bd78771168f6ab8d24ee714d09e0e1aa459e6fb5964b3555",
+        "0x05f71033d378bb729e90f578654694e692acc541cacaffdea045a02a4cb09770",
+        "0x012e36772839eb54c3f50a619a59c57acbe5e8223f7a8610d43b81ff21681de8",
+        "0x24d86d9aaaad5838a6d179cb5c2a3b8c80fd3849c9fdc4b896497c7f56e87d15",
+        "0x0b5d7773fe73ed739820ebe6eafc1859278bf9c49546122cc12061cd51ce1ffe",
+        "0x2d0a3ab6ae0a5a33b346835b4e3252b137ff3010fa0c4df7692601122998911f",
+        "0x22559754c745c606ec0a54140795eda7bebfbb3c18961393a37df12af515ec5d",
+        "0x258a081b5900f6074c3a94da3cc613b61758cc331d94ee75ab3b461dd92aaee8",
+        "0x0f06d046da76daf00097e8af438215b183a518a5f423687696f5ce71e3de3fd5",
+        "0x2ed66b6b6f8f29b6b3f625e8fe886221ebec30c729e8619a4c91e7ef4c44d215",
+        "0x3f25121b0218dc6cf514fdb8e5d9a3b685d60e6b6baa837aea10aaa017a6574c",
+        "0x27ba14a06cf07323de77da59259e3523acb269d955be20791a83bd195c91d43f",
+        "0x2a4c109fe28f5c71f7bda83f74ec8b684cb90e8462772b224449ee07cd63d087"
       ]
     },
     {
-      "Base": "0000000000000000000000000000000000000000000000000000000000000001"
+      "Base": "0x0000000000000000000000000000000000000000000000000000000000000001"
     }
   ],
   "instances": [
-    "1b009f66d669c390564fe6bda3df06d0226598c222c7bc4d67b603d2d7b15d59",
-    "316762ff5d96da5c63cc938663e9f66cfbae492057a82fa391042395b8950c4e",
-    "2ebcc5a2ef7ed3428ed9dfe6aa08e708d54196642ba5ea6c7286a1099bf62259",
-    "108382667ba2e39474895ddbe16c22d252e768eb815492bdcb8a313434de8b1c",
-    "287b272e9e60bcf16b24b8572023aeb9686f80485ad843c9fd511d47248a1971",
-    "3dcfe08d10fd4ece01ef9012d24f0d2e143831920c1fe026901736c9f2aaaac0",
-    "2b0d11600d6758de885dc43d16d7ae979b21721d1956d8af7e8f0c816736b79e",
-    "3baa717c517f07e8dd120b77bbf52818bbbd93b71c93d7d158f8228eb390ccab",
-    "1301e889d297056a5f934af4bc242b4cbccf7c91075da2a6a67d6915f5bccb30",
-    "000000000000000000000000000000000000000000000000000000000000002a",
-    "0000000000000000000000000000000000000000000000000000000000000000"
+    "0x22d1f62c49169dd73ff64b94ca18580d6a6b96f312f41e4af262e433ed25cfee",
+    "0x0b211fafacc55281ad900c9641528303a89c535389ee735c428ef0398320325d",
+    "0x3e41a18d0a031de6b397e7573ad191fd0c2d48565d359e3bf955ca27987b21cb",
+    "0x080f4dc3386120e18acdf1a0c7328527bc11d43d9eb46b015e666f825e95d100",
+    "0x2ce3808a7a4c5b2cd740ef44923fbbe849544abc1de58fd69e0b801762def790",
+    "0x2956783adb890de09a5ed057a43f4813d2e556402b880ff289fa6d5681430aa9",
+    "0x17be2663ed333bef4eb12e6bccd5dbc5f6840e5cc52a8b2b8e96d0d5d61bf77b",
+    "0x1e80411f3e63b0afbcbb686d1499d3d0f3b7b13a934df03f0dae492b23159a7a",
+    "0x27b5a076d715281ce52306d369a8ba85d6c7e07ebbe1ad2848794d95af222ecf",
+    "0x000000000000000000000000000000000000000000000000000000000000002a",
+    "0x0000000000000000000000000000000000000000000000000000000000000000"
   ]
 }