Skip to content

chore: Update generated Prover FRI GPU setup-data keys from branch evl-update-deps #4622

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
EmilLuta merged 1 commit into from
Jan 21, 2026
+1,343 −1,343
Merged

chore: Update generated Prover FRI GPU setup-data keys from branch evl-update-deps #4622

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions prover/data/keys/commitments.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"leaf": "0x79559c34f167eba5304484518b1d27115c8a300aa1be2095d918adcfe37979f7",
"leaf": "0xdb89aab4580d67e1c499b864571740cab7413c2dc53cfe81fd2934e806e1fe67",
"node": "0x96803f6a9b4a92f38284b59c2feb1ce1c1f6335e65ef1f48ee57e14b30adce9d",
"scheduler": "0x5b8e3db38de6e41128afd67358814b9cc6d73a9243bcb1d7ae69d6103fc4f048",
"snark_wrapper": "0x1ffc56111a5cfaf5db387f6a31408ad20217e9bc1f31f2f5c1bd38b0d6d7968b",
"fflonk_snark_wrapper": "0x49eae0bf5c7ea580f4979b366e52b386adc5f42e2ce50fc1d3c4de9a86052bff"
"scheduler": "0xb0bcfa2066de4e38995c30e5c5e103157a455830a2a4a0a73c2fe95604297d5b",
"snark_wrapper": "0x93e83aa1ec05a2ac4de1f0b241394efb9f94a4e7c1784a5a9bf6b85eb930c62a",
"fflonk_snark_wrapper": "0xe4503cf38485e3d728a7362155d53d3d63293e2fa48dca4f5588aa4625de251f"
}
16 changes: 8 additions & 8 deletions prover/data/keys/fflonk_verification_snark_key.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,16 +2,16 @@
"n": 8388607,
"c0": {
"x": [
8670160366932769357,
3043704155191953731,
16789914239077743066,
1828482548060314716
12938105404377664411,
6489504485945320285,
12869070051998056770,
774680849399916247
],
"y": [
14803633934522456208,
2934071693764210550,
12639648040013144876,
2092192559944957544
16958997684630495899,
14467438315364241100,
9052191284110899355,
1383589758309537490
],
"infinity": false
},
Expand Down
128 changes: 64 additions & 64 deletions prover/data/keys/verification_compression_1_key.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -161,100 +161,100 @@
},
"setup_merkle_tree_cap": [
[
12985899682316333835,
5760975182130835849,
4120676665009927061,
9428692432819799740
10804333981259728476,
7549149701754219399,
7739051228964510947,
9908883709487661381
],
[
1105593882738296659,
6963704586356317963,
15416227879409076515,
12186906915777417120
3978498726726348715,
4757626847043535224,
6980194446102320736,
8114974273230258526
],
[
6117123823684561193,
13573385474176242900,
14267371722183709823,
8193367714913844295
13520148664833221402,
7337103409256611266,
16531285866927248104,
17341511184814046834
],
[
2534989673899648573,
6590906925773965270,
3001972258345572337,
1018457502869471658
7688531705615209381,
10038842936317056069,
861672849247122176,
1211309869784305945
],
[
12592556246697613898,
17020119013010110195,
13507791689255967750,
16885444744625265214
1870507719220043415,
17209607595901916889,
7783733383293717233,
16658158407298269910
],
[
7343702187486388800,
4376888023428454835,
10626390179294809927,
1785190019162034136
17218390920420638006,
9027005728293085390,
11179119261664157136,
18419157084475607647
],
[
5612420191970189637,
12031484234579379423,
297412003657653469,
8349731847933365412
18129647409165802715,
12333931075240040077,
5618245150421988338,
3039411021916896324
],
[
17952110468906927632,
1829790954907928673,
4744991828532592271,
17505017229035942753
5763187973715242953,
10627562478387635547,
13943932714841314732,
14381931619372694894
],
[
8582644663528346376,
2654267874667644737,
7841854380317215257,
13225138075358890016
5564125482953123042,
7433173959025383706,
2911219036096720582,
8263068929492378446
],
[
8585505136534648010,
12251831613418630183,
6146063587138950293,
7810229066856366717
1411498028099636565,
4875590483329138296,
18207927432088507205,
14881590321403643211
],
[
11525866804565699746,
16980097424289861156,
14360497710503048329,
9534084300901213874
8394117754165490776,
11802871379581260061,
157947370266138605,
18006407929453985275
],
[
7980749090375747203,
13193747852648674400,
6050657569993361735,
3845325708013267759
16628143917549853903,
5764618132564346528,
12615502206403988319,
1013492182149224417
],
[
17300861230870145823,
11935229123763240871,
13599972474503824190,
13693507812854206856
6812545788947454939,
16907079543106850923,
3306919218610649336,
4292550369519914327
],
[
14209276610893145705,
8107711950641402448,
17591965191541753001,
17625791366475943615
2827523255810676312,
12999352216366704568,
10367486480599532005,
10573447666537699097
],
[
5578713287747356868,
5891673614442787697,
2796994022390766263,
11011481995667600409
15712477857570223906,
14088565388625271036,
1451962145523565916,
4828880898643753364
],
[
11128483384230825488,
17896410454521214275,
5431081612480689774,
6778609899340383437
6326013608235971482,
10384880929117154028,
2863438818171882100,
12238887815943410964
]
]
}
128 changes: 64 additions & 64 deletions prover/data/keys/verification_compression_2_key.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -174,100 +174,100 @@
},
"setup_merkle_tree_cap": [
[
13232687409575241527,
15568432703998499744,
3875678164802327052,
1566459938769087445
8745707101125450142,
683471010288033227,
9813046649588462468,
18273229295926059859
],
[
17507388416812085928,
1745443904015003227,
8781301569807218088,
87938419660219212
10580514751432098822,
7162117428749313521,
11314049678199227938,
1709276667903404518
],
[
16065698923980349250,
12479118093981325959,
14632017636786358332,
9747475319327002999
11842927800901269309,
10242769086102340955,
1090158604987500824,
13447310360497456543
],
[
11530131251320423089,
13803260503894131586,
377470998335865672,
12109937083022669612
15971179117746682143,
11985530833213094841,
4202072629427799054,
108717506005057664
],
[
17885956651690177541,
17316804201056397963,
3565450334369979460,
6866357021026377938
9002798512052077373,
2631619377710467809,
9655405225943830076,
4927563667502887046
],
[
14861855549107320342,
16810355516223344743,
14359587051978787412,
14509275024681855517
14828086693317649952,
4952993265308408389,
321836834168857264,
15808772409147388796
],
[
14484497673155677140,
14423056474781914837,
8933074099757136308,
17766242471491684681
18106172685440646143,
13520483903025344036,
4457850926945448875,
8486252608923658301
],
[
12321777156208279589,
4274133641260628256,
13226504726698977103,
17075105041072226660
174395958712470312,
4874248492374000861,
14460781069076549374,
12986481899823905923
],
[
14216554666044065210,
15897857174184239754,
622536011290007054,
14805028415128319144
18261440000556960952,
13292052468926986782,
17722265290457426835,
5483708235646720779
],
[
5171726466878071366,
7831353014895561841,
18180245024098012048,
5155596437829175136
10326958230999726583,
16310949699903782999,
3073702242345821661,
12374144771452255546
],
[
12384974511404858698,
9214526964938869201,
18408597616404772327,
2112860415239582565
12012677565228063074,
2793589031600644614,
9676272846586322353,
11965520798155313253
],
[
6263827639207083550,
6469775398147838649,
9889681679550059341,
3737837567052273227
15425824498428740052,
4188710437566356739,
4974737057969167975,
8374134987815957951
],
[
18075615343287572678,
17859239544264703258,
1250281807843469475,
18328837918947036304
4274739929810703935,
2632510853454860652,
14545040444838651637,
13259904453726394726
],
[
2263318862481448803,
16798036929096218148,
17518190966987977418,
10144344323336020878
13611102226376417383,
12627201160094097418,
15140116573383454447,
9681660529297526860
],
[
18330145427605476400,
853845813408739160,
9531165285659129237,
4584073158955539364
8436166871600682858,
16416576054438654906,
15838599713313809014,
606968643714962595
],
[
9170805710387381699,
8860888749687206497,
4301465329659155034,
2069581439548963446
14449793963907010540,
369791678903364663,
4194022826703635001,
14902102557143718606
]
]
}
Loading
Loading