Skip to content

Commit 50565b1

Browse files
chore: Update generated Prover FRI GPU setup-data keys from branch evl-update-deps (#4622)
"Update generated Prover FRI GPU setup-data keys from branch evl-update-deps"
1 parent d5618f9 commit 50565b1

10 files changed

+1343
-1343
lines changed

prover/data/keys/commitments.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
2-
"leaf": "0x79559c34f167eba5304484518b1d27115c8a300aa1be2095d918adcfe37979f7",
2+
"leaf": "0xdb89aab4580d67e1c499b864571740cab7413c2dc53cfe81fd2934e806e1fe67",
33
"node": "0x96803f6a9b4a92f38284b59c2feb1ce1c1f6335e65ef1f48ee57e14b30adce9d",
4-
"scheduler": "0x5b8e3db38de6e41128afd67358814b9cc6d73a9243bcb1d7ae69d6103fc4f048",
5-
"snark_wrapper": "0x1ffc56111a5cfaf5db387f6a31408ad20217e9bc1f31f2f5c1bd38b0d6d7968b",
6-
"fflonk_snark_wrapper": "0x49eae0bf5c7ea580f4979b366e52b386adc5f42e2ce50fc1d3c4de9a86052bff"
4+
"scheduler": "0xb0bcfa2066de4e38995c30e5c5e103157a455830a2a4a0a73c2fe95604297d5b",
5+
"snark_wrapper": "0x93e83aa1ec05a2ac4de1f0b241394efb9f94a4e7c1784a5a9bf6b85eb930c62a",
6+
"fflonk_snark_wrapper": "0xe4503cf38485e3d728a7362155d53d3d63293e2fa48dca4f5588aa4625de251f"
77
}

prover/data/keys/fflonk_verification_snark_key.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,16 +2,16 @@
22
"n": 8388607,
33
"c0": {
44
"x": [
5-
8670160366932769357,
6-
3043704155191953731,
7-
16789914239077743066,
8-
1828482548060314716
5+
12938105404377664411,
6+
6489504485945320285,
7+
12869070051998056770,
8+
774680849399916247
99
],
1010
"y": [
11-
14803633934522456208,
12-
2934071693764210550,
13-
12639648040013144876,
14-
2092192559944957544
11+
16958997684630495899,
12+
14467438315364241100,
13+
9052191284110899355,
14+
1383589758309537490
1515
],
1616
"infinity": false
1717
},

prover/data/keys/verification_compression_1_key.json

Lines changed: 64 additions & 64 deletions
Original file line numberDiff line numberDiff line change
@@ -161,100 +161,100 @@
161161
},
162162
"setup_merkle_tree_cap": [
163163
[
164-
12985899682316333835,
165-
5760975182130835849,
166-
4120676665009927061,
167-
9428692432819799740
164+
10804333981259728476,
165+
7549149701754219399,
166+
7739051228964510947,
167+
9908883709487661381
168168
],
169169
[
170-
1105593882738296659,
171-
6963704586356317963,
172-
15416227879409076515,
173-
12186906915777417120
170+
3978498726726348715,
171+
4757626847043535224,
172+
6980194446102320736,
173+
8114974273230258526
174174
],
175175
[
176-
6117123823684561193,
177-
13573385474176242900,
178-
14267371722183709823,
179-
8193367714913844295
176+
13520148664833221402,
177+
7337103409256611266,
178+
16531285866927248104,
179+
17341511184814046834
180180
],
181181
[
182-
2534989673899648573,
183-
6590906925773965270,
184-
3001972258345572337,
185-
1018457502869471658
182+
7688531705615209381,
183+
10038842936317056069,
184+
861672849247122176,
185+
1211309869784305945
186186
],
187187
[
188-
12592556246697613898,
189-
17020119013010110195,
190-
13507791689255967750,
191-
16885444744625265214
188+
1870507719220043415,
189+
17209607595901916889,
190+
7783733383293717233,
191+
16658158407298269910
192192
],
193193
[
194-
7343702187486388800,
195-
4376888023428454835,
196-
10626390179294809927,
197-
1785190019162034136
194+
17218390920420638006,
195+
9027005728293085390,
196+
11179119261664157136,
197+
18419157084475607647
198198
],
199199
[
200-
5612420191970189637,
201-
12031484234579379423,
202-
297412003657653469,
203-
8349731847933365412
200+
18129647409165802715,
201+
12333931075240040077,
202+
5618245150421988338,
203+
3039411021916896324
204204
],
205205
[
206-
17952110468906927632,
207-
1829790954907928673,
208-
4744991828532592271,
209-
17505017229035942753
206+
5763187973715242953,
207+
10627562478387635547,
208+
13943932714841314732,
209+
14381931619372694894
210210
],
211211
[
212-
8582644663528346376,
213-
2654267874667644737,
214-
7841854380317215257,
215-
13225138075358890016
212+
5564125482953123042,
213+
7433173959025383706,
214+
2911219036096720582,
215+
8263068929492378446
216216
],
217217
[
218-
8585505136534648010,
219-
12251831613418630183,
220-
6146063587138950293,
221-
7810229066856366717
218+
1411498028099636565,
219+
4875590483329138296,
220+
18207927432088507205,
221+
14881590321403643211
222222
],
223223
[
224-
11525866804565699746,
225-
16980097424289861156,
226-
14360497710503048329,
227-
9534084300901213874
224+
8394117754165490776,
225+
11802871379581260061,
226+
157947370266138605,
227+
18006407929453985275
228228
],
229229
[
230-
7980749090375747203,
231-
13193747852648674400,
232-
6050657569993361735,
233-
3845325708013267759
230+
16628143917549853903,
231+
5764618132564346528,
232+
12615502206403988319,
233+
1013492182149224417
234234
],
235235
[
236-
17300861230870145823,
237-
11935229123763240871,
238-
13599972474503824190,
239-
13693507812854206856
236+
6812545788947454939,
237+
16907079543106850923,
238+
3306919218610649336,
239+
4292550369519914327
240240
],
241241
[
242-
14209276610893145705,
243-
8107711950641402448,
244-
17591965191541753001,
245-
17625791366475943615
242+
2827523255810676312,
243+
12999352216366704568,
244+
10367486480599532005,
245+
10573447666537699097
246246
],
247247
[
248-
5578713287747356868,
249-
5891673614442787697,
250-
2796994022390766263,
251-
11011481995667600409
248+
15712477857570223906,
249+
14088565388625271036,
250+
1451962145523565916,
251+
4828880898643753364
252252
],
253253
[
254-
11128483384230825488,
255-
17896410454521214275,
256-
5431081612480689774,
257-
6778609899340383437
254+
6326013608235971482,
255+
10384880929117154028,
256+
2863438818171882100,
257+
12238887815943410964
258258
]
259259
]
260260
}

prover/data/keys/verification_compression_2_key.json

Lines changed: 64 additions & 64 deletions
Original file line numberDiff line numberDiff line change
@@ -174,100 +174,100 @@
174174
},
175175
"setup_merkle_tree_cap": [
176176
[
177-
13232687409575241527,
178-
15568432703998499744,
179-
3875678164802327052,
180-
1566459938769087445
177+
8745707101125450142,
178+
683471010288033227,
179+
9813046649588462468,
180+
18273229295926059859
181181
],
182182
[
183-
17507388416812085928,
184-
1745443904015003227,
185-
8781301569807218088,
186-
87938419660219212
183+
10580514751432098822,
184+
7162117428749313521,
185+
11314049678199227938,
186+
1709276667903404518
187187
],
188188
[
189-
16065698923980349250,
190-
12479118093981325959,
191-
14632017636786358332,
192-
9747475319327002999
189+
11842927800901269309,
190+
10242769086102340955,
191+
1090158604987500824,
192+
13447310360497456543
193193
],
194194
[
195-
11530131251320423089,
196-
13803260503894131586,
197-
377470998335865672,
198-
12109937083022669612
195+
15971179117746682143,
196+
11985530833213094841,
197+
4202072629427799054,
198+
108717506005057664
199199
],
200200
[
201-
17885956651690177541,
202-
17316804201056397963,
203-
3565450334369979460,
204-
6866357021026377938
201+
9002798512052077373,
202+
2631619377710467809,
203+
9655405225943830076,
204+
4927563667502887046
205205
],
206206
[
207-
14861855549107320342,
208-
16810355516223344743,
209-
14359587051978787412,
210-
14509275024681855517
207+
14828086693317649952,
208+
4952993265308408389,
209+
321836834168857264,
210+
15808772409147388796
211211
],
212212
[
213-
14484497673155677140,
214-
14423056474781914837,
215-
8933074099757136308,
216-
17766242471491684681
213+
18106172685440646143,
214+
13520483903025344036,
215+
4457850926945448875,
216+
8486252608923658301
217217
],
218218
[
219-
12321777156208279589,
220-
4274133641260628256,
221-
13226504726698977103,
222-
17075105041072226660
219+
174395958712470312,
220+
4874248492374000861,
221+
14460781069076549374,
222+
12986481899823905923
223223
],
224224
[
225-
14216554666044065210,
226-
15897857174184239754,
227-
622536011290007054,
228-
14805028415128319144
225+
18261440000556960952,
226+
13292052468926986782,
227+
17722265290457426835,
228+
5483708235646720779
229229
],
230230
[
231-
5171726466878071366,
232-
7831353014895561841,
233-
18180245024098012048,
234-
5155596437829175136
231+
10326958230999726583,
232+
16310949699903782999,
233+
3073702242345821661,
234+
12374144771452255546
235235
],
236236
[
237-
12384974511404858698,
238-
9214526964938869201,
239-
18408597616404772327,
240-
2112860415239582565
237+
12012677565228063074,
238+
2793589031600644614,
239+
9676272846586322353,
240+
11965520798155313253
241241
],
242242
[
243-
6263827639207083550,
244-
6469775398147838649,
245-
9889681679550059341,
246-
3737837567052273227
243+
15425824498428740052,
244+
4188710437566356739,
245+
4974737057969167975,
246+
8374134987815957951
247247
],
248248
[
249-
18075615343287572678,
250-
17859239544264703258,
251-
1250281807843469475,
252-
18328837918947036304
249+
4274739929810703935,
250+
2632510853454860652,
251+
14545040444838651637,
252+
13259904453726394726
253253
],
254254
[
255-
2263318862481448803,
256-
16798036929096218148,
257-
17518190966987977418,
258-
10144344323336020878
255+
13611102226376417383,
256+
12627201160094097418,
257+
15140116573383454447,
258+
9681660529297526860
259259
],
260260
[
261-
18330145427605476400,
262-
853845813408739160,
263-
9531165285659129237,
264-
4584073158955539364
261+
8436166871600682858,
262+
16416576054438654906,
263+
15838599713313809014,
264+
606968643714962595
265265
],
266266
[
267-
9170805710387381699,
268-
8860888749687206497,
269-
4301465329659155034,
270-
2069581439548963446
267+
14449793963907010540,
268+
369791678903364663,
269+
4194022826703635001,
270+
14902102557143718606
271271
]
272272
]
273273
}

0 commit comments

Comments
 (0)