chore: auto-update verifier binaries

Author: github-actions[bot]

tools/verifier/base_layer.reduced.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "Reduced",
-  "bytecode_hash_hex": "c6fd6e599cbaa5f541ab325bd85c67db55cf7fb13b141f5332e1e6c057616d6a",
+  "bytecode_hash_hex": "4f81b15d5d7fdd3af8040530451031448fe34e09c01524a6a135e6e514b353d6",
   "params": [
-    3923609751,
-    1304046826,
-    3232639604,
-    2642634055,
-    1368743670,
-    1688567329,
-    2320066549,
-    2047014419
+    1735789634,
+    115685551,
+    3363819233,
+    3484937563,
+    1889118304,
+    2302803193,
+    548666561,
+    3670203660
   ],
-  "params_hex": "e9dd88974dba2ceac0ae2a749d83654751955ef664a57e218a4967f57a02f613"
+  "params_hex": "67760c4206e538afc87fcee1cfb7ed5b7099a8608941fcf920b3fcc1dac2dd0c"
 }

tools/verifier/final_recursion_layer.final.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "ReducedFinal",
-  "bytecode_hash_hex": "f88f26410ef21e35961978679e13079127ac2d9e878f233004c5b80f9c3324dc",
+  "bytecode_hash_hex": "e0b9942af124095bb59894e4975c7aa290b8876687895859a45aa9920785c0c2",
   "params": [
-    2830546859,
-    3484650867,
-    151898344,
-    833640540,
-    2369090129,
-    2667078322,
-    1001406762,
-    3296213935
+    3769740683,
+    2456730647,
+    825631840,
+    161443453,
+    2916904590,
+    3144317553,
+    3432298977,
+    2670239885
   ],
-  "params_hex": "a8b6b7abcfb38d73090dc8e831b0585c8d3572519ef862b23bb0412ac4783baf"
+  "params_hex": "e0b1ad8b926ebc1731362460099f6e7daddc6e8ebb6a7a71cc94b9e19f28a08d"
 }

tools/verifier/recursion_layer.reduced.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "Reduced",
-  "bytecode_hash_hex": "4dfea7445f964586f03a34b4133c1ce441cdc9dfd544be8b62b0125d40780e5e",
+  "bytecode_hash_hex": "9495786c9c47380fd55d60cd33a977716aa3c64804b7bfb3c92750e8298b4db8",
   "params": [
-    3166773391,
-    3938954794,
-    1467248202,
-    3888573600,
-    2390814098,
-    4031083981,
-    1412798509,
-    4063195407
+    1089116147,
+    2372742907,
+    1974220215,
+    2585908927,
+    428813046,
+    936896885,
+    440563928,
+    3935604742
   ],
-  "params_hex": "bcc1208feac7ae2a57746e4ae7c6eca08e80ed92f04575cd5435982df22f710f"
+  "params_hex": "40ea97f38d6d2efb75ac35b79a21d6bf198f2af637d7e9751a4278d8ea949006"
 }

tools/verifier/recursion_layer_no_delegation.final.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "ReducedFinal",
-  "bytecode_hash_hex": "1cb039c9ab3b52b18885bebd84ad914732cbd3f3f707448d09fde58d203b9ba4",
+  "bytecode_hash_hex": "a6a03a07ff2ea279deff84079d2cd1235d4684e173f55e1d9de882d70a42d1f3",
   "params": [
-    1094511256,
-    121005903,
-    2800285697,
-    3739431115,
-    3338105067,
-    2877270963,
-    4089101326,
-    2401401534
+    1678521549,
+    2020980786,
+    1100443770,
+    1396139481,
+    657576862,
+    1424853705,
+    3926497200,
+    3926830112
   ],
-  "params_hex": "413cea980736674fa6e8f801dee330cbc6f770ebab7fabb3f3babc0e8f227abe"
+  "params_hex": "640c34cd7875b8324197707a533765d92731d39e54ed8ac9ea0997b0ea0eac20"
 }

tools/verifier/universal.reduced_log23.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "ReducedLog23",
-  "bytecode_hash_hex": "3e40590f0f0478f4e85d16a1578f8d713835e94b6cfd71b41957b8bd3ddeb826",
+  "bytecode_hash_hex": "8bcefa91e1af596d9b032e6895d5e63952e10d92c8254ab6b54831a6ccb6974b",
   "params": [
-    282507507,
-    607587464,
-    3766030280,
-    1360370472,
-    2902982658,
-    2185610689,
-    16802553,
-    1772446531
+    858462484,
+    317298003,
+    2215286219,
+    514690505,
+    3651878427,
+    2542166287,
+    403279798,
+    264130049
   ],
-  "params_hex": "10d6b8f324370c88e0790fc851159b28ad0800028245c5c1010062f969a56343"
+  "params_hex": "332b191412e99553840a95cb1ead8dc9d9ab3e1b9786610f18098fb60fbe4e01"
 }

tools/verifier/universal_no_delegation.final.vk.json

@@ -1,15 +1,15 @@
 {
   "machine_type": "ReducedFinal",
-  "bytecode_hash_hex": "2e953c01d1ad99278f37877a948cc4a3e4316679083ee88be80f54e730ac069f",
+  "bytecode_hash_hex": "b456f9be243a6d34a2a94469780ff7fe568a6a28fb3dc404b85c75cbb88ec619",
   "params": [
-    2890658028,
-    2717942970,
-    2144714110,
-    3459721873,
-    22959403,
-    285855793,
-    3063163943,
-    2866418164
+    1564565198,
+    1727896253,
+    747514736,
+    256268948,
+    2435094613,
+    3654702051,
+    1176068389,
+    626573530
   ],
-  "params_hex": "ac4bf0eca20084ba7fd5bd7ece372a91015e552b1109d031b6942c27aada11f4"
+  "params_hex": "5d415ece66fd9abd2c8e2b700f465a9491249855d9d653e3461961252558c0da"
 }