websnark/test/data/verification_key.json
test/data/verification_key.jsonRaw
1{
2 "protocol": "groth",
3 "nPublic": 58,
4 "IC": [
5 [
6 "19526011409366579990588025301030213951715906703577073975290871624466881592401",
7 "19704225241808120619466308438935447262963873917264064669080753233318969572957",
8 "1"
9 ],
10 [
11 "7218481415766897306762916767110075847697992625643495798846732092896344771677",
12 "1810734562057506037864970683351135446505342561419524855305385566525430554608",
13 "1"
14 ],
15 [
16 "1640189422982581804826644035748296239719141803014116052080598186211151031797",
17 "7781696247496343071100255748895449136227964112761638882773761539066568268925",
18 "1"
19 ],
20 [
21 "1019783362851718589135884871584846731091007700702318392055072177004648561589",
22 "18812499958741900484687753662765966120897029726834689506634674431261159346840",
23 "1"
24 ],
25 [
26 "15561759052567336872552966722770915260975101273887034098005539514081530527925",
27 "11730428660167585547193351712992338394459044787769016092386316685070099352472",
28 "1"
29 ],
30 [
31 "1024450630178286178450853989597618731194658350885429138953206234739921258345",
32 "7948069502311904001229660361963340784026126140723442378626252475516635024822",
33 "1"
34 ],
35 [
36 "8134630773713074896857037173371019670883865326581932178449629660512993310425",
37 "6162538535380093935174079566719686610557565288806461488942825301577983962127",
38 "1"
39 ],
40 [
41 "8713144302139572077210052963377568333718037671811574593525902475107121219071",
42 "13618940145565575426081729012812756247313835929620966248623806311505567102432",
43 "1"
44 ],
45 [
46 "2208161957288886407409949471646360867727094427710349204075749603229409811551",
47 "19165194795626512061280419859788136098199019550268978813401285308580039446381",
48 "1"
49 ],
50 [
51 "1481335695502173099248239238900758768801091349137030249276629661318408132871",
52 "5156686038021439018308366275250160506883007416398589471786874665591845100113",
53 "1"
54 ],
55 [
56 "20337511777673950886185756823107347060969023608337968294278846656718023200150",
57 "3997644781553846440387918107564571745476924483850609244466307282628877247562",
58 "1"
59 ],
60 [
61 "10588095668159724333142658097242748201084821311539505166654240692525635653949",
62 "1183100960889281823631938371556943968916169482989513163517955652814147785270",
63 "1"
64 ],
65 [
66 "14899200894902404684338252010495693209614589615201102355683265977943244426004",
67 "6733181143166489149612223364873851869451680106085133952329639843716177370522",
68 "1"
69 ],
70 [
71 "1683537073912953978091278971997049690818520143499563010072565648446561661056",
72 "19419929908654053003650694876848111465754667348310947518133436565700017002483",
73 "1"
74 ],
75 [
76 "14657090907982846377445922373510406393589381865954917955559100596313207100861",
77 "13642650140642299314216565478747411703974469867765487295597972222030646618581",
78 "1"
79 ],
80 [
81 "16529622819344543978903257968152672100303712811187008674706734962518660200534",
82 "9047308189580806381060024072651025924757275727793326189939157176373582276423",
83 "1"
84 ],
85 [
86 "3080248660073481279234987580633467131838554544589313213304320336447912874502",
87 "12178549914181501174961289691127530013023904264051503031309740303517490947766",
88 "1"
89 ],
90 [
91 "15487788123318013174142216619036794699452999597075149645621900875574186695610",
92 "1626752354094836838615855864490581912181205603023556119206923761362325487488",
93 "1"
94 ],
95 [
96 "1666930804642622665542570167075210228582250288184353798587314779395900191926",
97 "19705035825701732447104451708888835197574105722528610005429830999713513944135",
98 "1"
99 ],
100 [
101 "6864231653145100847184101019813757441375546934931929553137150578511457821468",
102 "11030717897717091434566238005756773466216938437645365639326676041449665933687",
103 "1"
104 ],
105 [
106 "17708960029000737859399187469088839058910680034659542429747423649838721586318",
107 "17966398620544733014948000033194587396780241478697380962648049866838729264654",
108 "1"
109 ],
110 [
111 "13757192009142934986497800326740625614298535990393743419508862715438850214278",
112 "21608544818365956429804089572501400134306590793845664759121305528719014468539",
113 "1"
114 ],
115 [
116 "2387150367018947723453720841613212674042625869787597370012597855542196564772",
117 "11695602459063663755646871470499162454273937998667584326916784819522675676030",
118 "1"
119 ],
120 [
121 "3969932184785511719481056173532036069678557655561039720091342741570026295152",
122 "17993913767992706963197080864583362193024219058878156591482644926890948868797",
123 "1"
124 ],
125 [
126 "9423946557684255938323840651123017285324730158168043839780806631003806918939",
127 "20601140822008955908584760520762447153677611366925313301286794723328845538334",
128 "1"
129 ],
130 [
131 "12962476762153853692961359313770195651287320370991012193410923729342519400410",
132 "16790095546018287000758153406357558316483550179182040426959851702714662233350",
133 "1"
134 ],
135 [
136 "11513038453371099732062533711296648120504101464641839310671168933784980314882",
137 "19906375207605336857368669180394946464921182728087574346715161382734582996091",
138 "1"
139 ],
140 [
141 "2121497929168641193320430463750735744335423634358969475213438628839145775097",
142 "14279619451032406093176776946256910631214549125624592712768709224713246159330",
143 "1"
144 ],
145 [
146 "11226191782273968706267268899222700962751661296528346044234995849296626637818",
147 "13010144704231455483130550798892383439128876102102878476813890284532924199082",
148 "1"
149 ],
150 [
151 "11110550860460015317490388108081233932145530993142470924675507899413835184448",
152 "16564127121244024114702603123214129039853156994745132309985985728814892932482",
153 "1"
154 ],
155 [
156 "16778941937031321722070777716071699346818608459977560423095851882699057661238",
157 "4697439800149822368300068885116892100711854565071104448591753229703512600800",
158 "1"
159 ],
160 [
161 "15872083856166627537790395064677676672858055702693032209281782235450963069960",
162 "10359824654894233948940829295414182326916813602184261612555323269593953713959",
163 "1"
164 ],
165 [
166 "15247415861798118260310199809217153579347967502938862593203253520242564857778",
167 "17943608471215894498734622964827265729455290707752355804444644415538765187171",
168 "1"
169 ],
170 [
171 "19910646054904277798554639079332859903830938020106054338361835817749036204289",
172 "14251173391661908313942511660900252216342610385205017933107964019360045794603",
173 "1"
174 ],
175 [
176 "15617270263010441782314109350958570541215852291212818016021084008333418208875",
177 "21881089065537370063139940701535262435555591536651612422900371838614353113281",
178 "1"
179 ],
180 [
181 "6421115626779256473944138173048502514066702768381496596650324103983916504835",
182 "3477316365965567489844246613122076671753354745444827471590577962440540253825",
183 "1"
184 ],
185 [
186 "16473272305165140318293304721756072118952895979824993476741656445985532109687",
187 "11966737459889574739163354519745663782810240444604837406970095410044504857114",
188 "1"
189 ],
190 [
191 "5372377827028613665959777806978819222622231879950628237059135069445403406617",
192 "10754772058946143812874307806006613255761709338906946759757401504859407645417",
193 "1"
194 ],
195 [
196 "14186175579895909616185878057026760618866356046925560400399807036820346884046",
197 "4815071274998802335087493250322971182140859271153573841178680570745042169758",
198 "1"
199 ],
200 [
201 "18587428576009373156679145442597168345936336951096103073893982856175630643693",
202 "16551515971501720092878042838225840381462545412649977468782450446861560095079",
203 "1"
204 ],
205 [
206 "20092704064518140906336001291719220397791993391927049447238747943557979137332",
207 "14309044514703625249681667739033504979034764749598333744088213698477089190167",
208 "1"
209 ],
210 [
211 "18094211252427269277727737867758525438768651774457808013501513791100524400111",
212 "1953616651202224570087320348179078176455230140050934991264156573541656440177",
213 "1"
214 ],
215 [
216 "8306150994125890187737385803981541016404020628778896850769772941676552580695",
217 "9692340394713555790690111046383485596714503094426824962694563185658648842716",
218 "1"
219 ],
220 [
221 "2310757642461495319988919139078520159193510139788049016019877513576089825606",
222 "8889867579822094460826499233108459267599315072851707155589562022968565836877",
223 "1"
224 ],
225 [
226 "18308698969834252376687927943697318806874330259437519073367865794809196122421",
227 "14739033668305736376862695711443548284923118719280017423642214528572384515934",
228 "1"
229 ],
230 [
231 "21281456929816658128965712205802466600645879143675783709584584463978062814070",
232 "11318407702446502058218573109267233739777220569151759825244543584735350643466",
233 "1"
234 ],
235 [
236 "7520703426805357030477495741143669754535245601456768825659455316560615971189",
237 "11716692431794868904945130966329488889062393077100622718344498934379412336473",
238 "1"
239 ],
240 [
241 "12755699673150967843636678152611549820209710341861685811272938968227849444490",
242 "8041405236201023920708302321965742245298279037603394500679202870952036944455",
243 "1"
244 ],
245 [
246 "4767324308822656869298992811825434492721876454715254600244690065028848020971",
247 "7698254074025215726826011606321771959580174521108656914865701606041868015929",
248 "1"
249 ],
250 [
251 "5069108519819643877425272525791845153259463918796090785858826854873469677567",
252 "19441624293073788344676145862916585919555281266024685026467295031220552700054",
253 "1"
254 ],
255 [
256 "19615829997657139098357071858533416653704257439734430213792369647973566826347",
257 "20354691099796661979686973753889173391948033275751613338970065504168017804337",
258 "1"
259 ],
260 [
261 "11027190822371723497281530686863090859613245206871440157541315964572815271179",
262 "10675136011261330036038351905981966853190049667679786632322902689639273096714",
263 "1"
264 ],
265 [
266 "6073908302198369305254211170927314788182979554648782100497505455266731015204",
267 "230783342774856919928214058753287925592697137855334446779967352493825837423",
268 "1"
269 ],
270 [
271 "8065349080015031289241881658385531453814503979517539346801510330252327420241",
272 "14735126201189209265547932564409552262152445686850481557202138107408115327464",
273 "1"
274 ],
275 [
276 "6452037663171386579712621793513191966255625190206245575651250486849182460440",
277 "7209242914697571385995884156916495284148841850843926922191745144563603631497",
278 "1"
279 ],
280 [
281 "10593401732655136290887720645830905766352213200230343334980873391309958939320",
282 "666955912278201937315337912832661869841839611440234361211929441370598456858",
283 "1"
284 ],
285 [
286 "3479342154509588972525995110657563238207085236375361439444008581380409197198",
287 "2842082156517941562270865475681450943187927072014071620218399830230257691351",
288 "1"
289 ],
290 [
291 "692434019399694517146046655769177702432905351223416354821366078192182076820",
292 "3395628146877374571895195099601711702304342467654447561346689703803124051395",
293 "1"
294 ],
295 [
296 "897877668313362010234827860073421630587020756077760567259587493004095744184",
297 "7566955279869906474734064013485588345675973359196540621993138844162613375198",
298 "1"
299 ]
300 ],
301 "vk_alfa_1": [
302 "8354125022402491146096524632602954406606496454803779043544940201207527912027",
303 "719066282644331645717102069170608708195162774370272260015202086661089311234",
304 "1"
305 ],
306 "vk_beta_2": [
307 [
308 "15819609270299917787101227421057497064555252095398692710896314899171935449228",
309 "12410557311433316645833461472858428751547879560031808599488331029313135860054"
310 ],
311 [
312 "5915247915713704640408458318654604569396223348462269801166279014325877172920",
313 "3151765353208434115856893997427239125947497909307782934497369635848305207349"
314 ],
315 [
316 "1",
317 "0"
318 ]
319 ],
320 "vk_gamma_2": [
321 [
322 "20998635465704765944234729848213271190298703821739579245252166965359275379567",
323 "18569698049261699868049342823691041461765011065833511061731150982712719058931"
324 ],
325 [
326 "19643309731014428269860044007048729642835975708160558919248553748448226867008",
327 "4057552944219884903616160090555822269203226833340888130271232201855723185188"
328 ],
329 [
330 "1",
331 "0"
332 ]
333 ],
334 "vk_delta_2": [
335 [
336 "1699455723545013724352264641481223849638169293269636387255739145105164643572",
337 "10951443100057856372062056768155654835091940387457226546452206121970064287769"
338 ],
339 [
340 "18091804447302921360663814931698141642678950451776128240905512956330370630584",
341 "11051171602925343050692043383444760908270199727214620699742880132687007451610"
342 ],
343 [
344 "1",
345 "0"
346 ]
347 ],
348 "vk_alfabeta_12": [
349 [
350 [
351 "18723835367546013216669396584879552615309554640417855595864851968454850794686",
352 "2751734539677780406895433411352652269903002350864560518448916000577298711044"
353 ],
354 [
355 "6091631998457053869677482825687515224140938572474416320681319181954212930660",
356 "14750817718913847167640471421588191103071235885472070890891565424818957616506"
357 ],
358 [
359 "1503045325833070525242109471593215150873992909765587341806427485400509901763",
360 "19595263023959996895029566929430291188201738108321510303592033282761719078927"
361 ]
362 ],
363 [
364 [
365 "14243067455511068097745434183222546746125426041491764346913202956845188552019",
366 "17462170864881388598981702392557723387786493323913878401432726985509236575485"
367 ],
368 [
369 "15670136540447067653418982806709348681767811130611329178707663135867906047157",
370 "8632459998104744185409696090239906876607793844814496641442049837459287937900"
371 ],
372 [
373 "1147927280145543088837981995583243716796018112475088793287724642814036528129",
374 "15939953021942181393804832630429756290981160876828402349069996652097158880389"
375 ]
376 ]
377 ]
378}