Skip to content

Commit 4cae870

Browse files
update generated verification keys
1 parent f34c59e commit 4cae870

10 files changed

+392
-418
lines changed

prover/Cargo.lock

Lines changed: 0 additions & 26 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 Bytes
Binary file not shown.
0 Bytes
Binary file not shown.
0 Bytes
Binary file not shown.

prover/data/keys/verification_basic_10_key.json

Lines changed: 64 additions & 64 deletions
Original file line numberDiff line numberDiff line change
@@ -157,100 +157,100 @@
157157
},
158158
"setup_merkle_tree_cap": [
159159
[
160-
7558138323706007574,
161-
12969595265128000405,
162-
10247157366417656776,
163-
11452454503675757168
160+
13424224289778956088,
161+
7894868804987626676,
162+
12664902509858868359,
163+
13141061096557930532
164164
],
165165
[
166-
17429337073131250617,
167-
7457849441716697494,
168-
5112893417922462273,
169-
496200283241775267
166+
11409520220312036569,
167+
11495220647843900654,
168+
11629034902262335301,
169+
8435554732532851373
170170
],
171171
[
172-
17447322157867846892,
173-
15323749087137848942,
174-
11007706339747390033,
175-
2559926599291495997
172+
814231585927006908,
173+
15275195861506184890,
174+
5497448951281312156,
175+
16037055045297109320
176176
],
177177
[
178-
3983915635953114367,
179-
16928324152671907645,
180-
10636999213916896078,
181-
7771435767924282507
178+
4296630576828795110,
179+
869655019624308114,
180+
5372872438281265820,
181+
9404365982999222755
182182
],
183183
[
184-
11579893307336912724,
185-
847171638038829674,
186-
15291733464459187902,
187-
15046235040085805134
184+
5344004796985686596,
185+
6620299659159982387,
186+
14585812966505996583,
187+
11287604545821747243
188188
],
189189
[
190-
4990586123653203357,
191-
3793199441834820506,
192-
10699099703838900883,
193-
7978052073580319422
190+
17455661700713128284,
191+
13175224772820645638,
192+
9799382589184218324,
193+
9783338459951750649
194194
],
195195
[
196-
5722361361292654735,
197-
9384930850611500310,
198-
1416717301506260901,
199-
1971554044868653016
196+
13543881694243575900,
197+
15627844328906540586,
198+
12392619053495177935,
199+
11784739036887372495
200200
],
201201
[
202-
16268437079241262969,
203-
4334828765118555657,
204-
4034075939448376982,
205-
13822517031795674955
202+
6382530109424195594,
203+
8876824184061290462,
204+
11119222344833436196,
205+
7744957047656317029
206206
],
207207
[
208-
7930453400343529426,
209-
7256124114130263370,
210-
4482279555971785656,
211-
16461954760414684865
208+
8426423027042469982,
209+
7490545723798800261,
210+
7654986000823321678,
211+
9077221950082518809
212212
],
213213
[
214-
8045561163275390528,
215-
15797958563591460735,
216-
12523204029125732526,
217-
5048548183336391275
214+
6221730929206403004,
215+
17158569992070864459,
216+
17728553322566916421,
217+
1967759405228608099
218218
],
219219
[
220-
12828905138943809399,
221-
18435405199398881498,
222-
12421960221957136976,
223-
6702685206770194171
220+
8315405920671681780,
221+
3256524383884899171,
222+
15803042138112580240,
223+
3513725247702522152
224224
],
225225
[
226-
3001674808322787455,
227-
5905393981415504263,
228-
1316939238709297310,
229-
10597963802383624980
226+
13641783782647950303,
227+
277098262645513647,
228+
4279661490773950378,
229+
12267124262990779989
230230
],
231231
[
232-
4123180602803337193,
233-
10512496115678517029,
234-
12852147185562327342,
235-
16851303073113223205
232+
3715225469636403777,
233+
5741048608554090676,
234+
3094527123553483878,
235+
5641228545187274066
236236
],
237237
[
238-
16034054991636706170,
239-
619332971078904241,
240-
3892320628591779889,
241-
17297570563792198971
238+
1631324371598870603,
239+
5199276381793054691,
240+
10479516871150866642,
241+
4438138280843984574
242242
],
243243
[
244-
8870736041560054927,
245-
3551101889224387744,
246-
9083642111052463535,
247-
16221087018527831018
244+
12652523046593884477,
245+
14647081359101254806,
246+
15522731067565315828,
247+
12790376969375541756
248248
],
249249
[
250-
14480380312113375840,
251-
5704134099114072566,
252-
3875309101160340046,
253-
16096183404734373644
250+
11684208548765571222,
251+
5948077473083492524,
252+
12997406286301463434,
253+
3997107865877358058
254254
]
255255
]
256256
}

prover/data/keys/verification_basic_16_key.json

Lines changed: 68 additions & 68 deletions
Original file line numberDiff line numberDiff line change
@@ -19,19 +19,19 @@
1919
"public_inputs_locations": [
2020
[
2121
0,
22-
1037563
22+
1037998
2323
],
2424
[
2525
1,
26-
1037563
26+
1037998
2727
],
2828
[
2929
2,
30-
1037563
30+
1037998
3131
],
3232
[
3333
3,
34-
1037563
34+
1037998
3535
]
3636
],
3737
"extra_constant_polys_for_selectors": 2,
@@ -157,100 +157,100 @@
157157
},
158158
"setup_merkle_tree_cap": [
159159
[
160-
887548393451923719,
161-
1284374465883965919,
162-
16285353120919311444,
163-
9599926488537731487
160+
17441312981064143934,
161+
10278813806467789978,
162+
9781695755721931375,
163+
4546554517294552753
164164
],
165165
[
166-
9008591933840703214,
167-
17264799372532049215,
168-
12520861480384230880,
169-
3542135584597252154
166+
12643373103221587900,
167+
13054825566309335598,
168+
12626144571511568440,
169+
10507155176459501797
170170
],
171171
[
172-
8433191965836182413,
173-
5270827974988483604,
174-
3695900956838190164,
175-
877682576128687332
172+
12955070801736800967,
173+
4712639565017083342,
174+
5053982115156847017,
175+
2625485588266721945
176176
],
177177
[
178-
17840400913459960998,
179-
6736376978573646570,
180-
3083868110913888237,
181-
4143300655496687613
178+
4712250338715297489,
179+
1661067883185687622,
180+
5805650478974159237,
181+
8812653747383774727
182182
],
183183
[
184-
9365207288103974968,
185-
14370029879967860757,
186-
6583886889397813995,
187-
813178325845607874
184+
14767994674361034097,
185+
9398854543703806138,
186+
7845996987150035047,
187+
9241868760196592885
188188
],
189189
[
190-
6796687725289178288,
191-
5278333635547218628,
192-
15552238583119033290,
193-
8766301476970290710
190+
12183632468463009144,
191+
13454033994242261013,
192+
14542456025542957893,
193+
18323945545818627425
194194
],
195195
[
196-
18076319211252021147,
197-
9973416580887374127,
198-
5634528468045717772,
199-
1649308941400292089
196+
13856392071110626158,
197+
9329520659850310348,
198+
18147093464811882872,
199+
10557686557154775965
200200
],
201201
[
202-
9989167440533806861,
203-
13345790743498435195,
204-
15397994891914560396,
205-
17943673155373576099
202+
12671975073454120060,
203+
16286279898949898567,
204+
16143751858571108601,
205+
2241757836329062881
206206
],
207207
[
208-
5479372583569096249,
209-
2187148842054967358,
210-
3948700175923457524,
211-
9926835259422028695
208+
10997976704271146015,
209+
11935469890026832401,
210+
14618528921251673322,
211+
7771768904263720753
212212
],
213213
[
214-
9324491420340918802,
215-
11433690089345849181,
216-
4486301603940597496,
217-
4814584560770959230
214+
10607869024629644378,
215+
2132945408583176711,
216+
3066621476487638327,
217+
17365550361281494609
218218
],
219219
[
220-
16918994533205184433,
221-
5343596851374588906,
222-
1152710538873323913,
223-
136282982037297281
220+
13301959018262707993,
221+
7927000870254047967,
222+
1189441128777670898,
223+
11797844217814441500
224224
],
225225
[
226-
14717944873704910054,
227-
3717211311678401296,
228-
2320603100701633125,
229-
7634861782451511303
226+
13967973295379754806,
227+
18338301620219819812,
228+
10466207840985018718,
229+
17901510419217559459
230230
],
231231
[
232-
11723551882403877442,
233-
9492180089452021866,
234-
849575656615175915,
235-
3679879286995351619
232+
12204168530316632907,
233+
15316750322095095095,
234+
17698790479239941681,
235+
6123339968199515816
236236
],
237237
[
238-
4126579265877376819,
239-
5685373080100544249,
240-
945490280855847191,
241-
17668658275424822938
238+
11068204680411070185,
239+
969253468307064103,
240+
10202690869805926834,
241+
9536544153757492723
242242
],
243243
[
244-
6746583846309683402,
245-
16861461870887672730,
246-
7324622686427107157,
247-
1750125482397394830
244+
6648425453007668803,
245+
8303778551149062948,
246+
994550091006586,
247+
4751042170142033074
248248
],
249249
[
250-
11707642907209529175,
251-
13659952321546796990,
252-
13640861968234113154,
253-
14061799812833837869
250+
9360783393466629864,
251+
1745375700268710633,
252+
8766664360055608335,
253+
6874518607398049555
254254
]
255255
]
256256
}

0 commit comments

Comments
 (0)