Skip to content

Commit b113c17

Browse files
chore: auto-update verifier binaries
1 parent c42cfb3 commit b113c17

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": "6e76331e962f0d5dffa25b21276296fcf96d4890272018a989d28f5ace491e63",
3+
"bytecode_hash_hex": "4b7203932783159c48cc43cb1139c5156697d73c6c0b130640f677f0e6f7f2d4",
44
"params": [
5-
1503040098,
6-
4215699226,
7-
2017225750,
8-
2651109157,
9-
13103954,
10-
86424153,
11-
2246580420,
12-
4055292153
5+
1742862739,
6+
2054196298,
7+
3992237103,
8+
2624353922,
9+
1445814132,
10+
1743517346,
11+
1968670208,
12+
2416818837
1313
],
14-
"params_hex": "59969262fb46771a783c6c169e04b72500c7f3520526ba5985e818c4f1b6d8f9"
14+
"params_hex": "67e1f9937a708c4aedf4b42f9c6c7682562d5f7467ebf6a275578600900dba95"
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": "b8749fdec85e44ac773d75265187f1c055f6fc36051c9541ac23d91b9cd678bf",
3+
"bytecode_hash_hex": "03a3b21da190ccef5cab36854dfde994ac0cafe72c584aee38a9a044bfa54922",
44
"params": [
5-
4066937387,
6-
2968710192,
7-
1044530528,
8-
2031792993,
9-
842952069,
10-
4230516830,
11-
2917931802,
12-
2533265646
5+
3242033644,
6+
3048195710,
7+
1337453984,
8+
619282302,
9+
1268913589,
10+
1102518883,
11+
1916899583,
12+
4152938801
1313
],
14-
"params_hex": "f2688a2bb0f2ec303e424560791ab361323e6d85fc28905eadec1b1a96fe90ee"
14+
"params_hex": "c13d81ecb5afc67e4fb7eda024e97f7e4ba215b541b71a63724190fff788d131"
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": "be47579000570ebd9cd65602939c05c6661ec8554418b3954670d7304d336949",
3+
"bytecode_hash_hex": "26a08b32c8895344e1d592f549804307092f906438b5d1dd3592c3b34bcf38a0",
44
"params": [
5-
1273764681,
6-
3283117427,
7-
2311065517,
8-
2753943270,
9-
2241835076,
10-
930387060,
11-
4223816505,
12-
866191144
5+
1463204384,
6+
4088982648,
7+
3637016449,
8+
2558999117,
9+
3252539606,
10+
3746793385,
11+
1889633210,
12+
2299360267
1313
],
14-
"params_hex": "4bec1b49c3b0657389c00fada425d6e6859fb04437749474fbc2533933a10728"
14+
"params_hex": "5736ba20f3b8ec78d8c8778198873a4dc1ddd0d6df5387a970a183ba890d740b"
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": "da7fe91bd699fe927ae782761b30d2c2dc6d018f790150008eb4d40ee34625fe",
3+
"bytecode_hash_hex": "e9c8ec4a8ef22f113a20584dd1a028f4c11045862c2501c581d8152f4757b5e5",
44
"params": [
5-
492132458,
6-
3000861315,
7-
3565836757,
8-
2185042515,
9-
1407086205,
10-
2632110902,
11-
4063630414,
12-
639174793
5+
844727740,
6+
1379124395,
7+
2307359121,
8+
1196921438,
9+
1769303654,
10+
802594396,
11+
2606795692,
12+
1182326777
1313
],
14-
"params_hex": "1d55586ab2dd8283d48a59d5823d1a5353de6e7d9ce2d336f236144e26190889"
14+
"params_hex": "325985bc5233c4ab898781914757925e69756e662fd69e5c9b608bac4678dff9"
1515
}

0 commit comments

Comments
 (0)