Skip to content

Commit 2fac61d

Browse files
chore: auto-update verifier binaries
1 parent 5080fa6 commit 2fac61d

20 files changed

+80
-80
lines changed

tools/verifier/base_layer.bin

36 Bytes
Binary file not shown.
Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
{
22
"machine_type": "Reduced",
3-
"bytecode_hash_hex": "c6fd6e599cbaa5f541ab325bd85c67db55cf7fb13b141f5332e1e6c057616d6a",
3+
"bytecode_hash_hex": "4f81b15d5d7fdd3af8040530451031448fe34e09c01524a6a135e6e514b353d6",
44
"params": [
5-
3923609751,
6-
1304046826,
7-
3232639604,
8-
2642634055,
9-
1368743670,
10-
1688567329,
11-
2320066549,
12-
2047014419
5+
1735789634,
6+
115685551,
7+
3363819233,
8+
3484937563,
9+
1889118304,
10+
2302803193,
11+
548666561,
12+
3670203660
1313
],
14-
"params_hex": "e9dd88974dba2ceac0ae2a749d83654751955ef664a57e218a4967f57a02f613"
14+
"params_hex": "67760c4206e538afc87fcee1cfb7ed5b7099a8608941fcf920b3fcc1dac2dd0c"
1515
}
36 Bytes
Binary file not shown.
36 Bytes
Binary file not shown.
Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
{
22
"machine_type": "ReducedFinal",
3-
"bytecode_hash_hex": "f88f26410ef21e35961978679e13079127ac2d9e878f233004c5b80f9c3324dc",
3+
"bytecode_hash_hex": "e0b9942af124095bb59894e4975c7aa290b8876687895859a45aa9920785c0c2",
44
"params": [
5-
2830546859,
6-
3484650867,
7-
151898344,
8-
833640540,
9-
2369090129,
10-
2667078322,
11-
1001406762,
12-
3296213935
5+
3769740683,
6+
2456730647,
7+
825631840,
8+
161443453,
9+
2916904590,
10+
3144317553,
11+
3432298977,
12+
2670239885
1313
],
14-
"params_hex": "a8b6b7abcfb38d73090dc8e831b0585c8d3572519ef862b23bb0412ac4783baf"
14+
"params_hex": "e0b1ad8b926ebc1731362460099f6e7daddc6e8ebb6a7a71cc94b9e19f28a08d"
1515
}
36 Bytes
Binary file not shown.

tools/verifier/recursion_layer.bin

36 Bytes
Binary file not shown.
Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
{
22
"machine_type": "Reduced",
3-
"bytecode_hash_hex": "4dfea7445f964586f03a34b4133c1ce441cdc9dfd544be8b62b0125d40780e5e",
3+
"bytecode_hash_hex": "9495786c9c47380fd55d60cd33a977716aa3c64804b7bfb3c92750e8298b4db8",
44
"params": [
5-
3166773391,
6-
3938954794,
7-
1467248202,
8-
3888573600,
9-
2390814098,
10-
4031083981,
11-
1412798509,
12-
4063195407
5+
1089116147,
6+
2372742907,
7+
1974220215,
8+
2585908927,
9+
428813046,
10+
936896885,
11+
440563928,
12+
3935604742
1313
],
14-
"params_hex": "bcc1208feac7ae2a57746e4ae7c6eca08e80ed92f04575cd5435982df22f710f"
14+
"params_hex": "40ea97f38d6d2efb75ac35b79a21d6bf198f2af637d7e9751a4278d8ea949006"
1515
}
36 Bytes
Binary file not shown.
Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
{
22
"machine_type": "ReducedFinal",
3-
"bytecode_hash_hex": "1cb039c9ab3b52b18885bebd84ad914732cbd3f3f707448d09fde58d203b9ba4",
3+
"bytecode_hash_hex": "a6a03a07ff2ea279deff84079d2cd1235d4684e173f55e1d9de882d70a42d1f3",
44
"params": [
5-
1094511256,
6-
121005903,
7-
2800285697,
8-
3739431115,
9-
3338105067,
10-
2877270963,
11-
4089101326,
12-
2401401534
5+
1678521549,
6+
2020980786,
7+
1100443770,
8+
1396139481,
9+
657576862,
10+
1424853705,
11+
3926497200,
12+
3926830112
1313
],
14-
"params_hex": "413cea980736674fa6e8f801dee330cbc6f770ebab7fabb3f3babc0e8f227abe"
14+
"params_hex": "640c34cd7875b8324197707a533765d92731d39e54ed8ac9ea0997b0ea0eac20"
1515
}

0 commit comments

Comments
 (0)