@semaphore-protocol/proof 4.13.0-beta.0 → 4.13.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.browser.js +132 -132
- package/dist/index.node.cjs +132 -132
- package/dist/index.node.js +132 -132
- package/package.json +4 -4
- package/src/generate-proof.ts +1 -1
- package/src/hash.ts +1 -1
- package/src/to-bigint.ts +1 -1
- package/src/verification-keys.json +128 -128
package/dist/index.node.cjs
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @module @semaphore-protocol/proof
|
|
3
|
-
* @version 4.13.0
|
|
3
|
+
* @version 4.13.0
|
|
4
4
|
* @file A library to generate and verify Semaphore proofs.
|
|
5
5
|
* @copyright Ethereum Foundation 2025
|
|
6
6
|
* @license MIT
|
|
@@ -23,7 +23,7 @@ var abi = require('ethers/abi');
|
|
|
23
23
|
* @returns The message digest.
|
|
24
24
|
*/
|
|
25
25
|
function hash(message) {
|
|
26
|
-
return (BigInt(crypto.keccak256(utils.toBeHex(message, 32))) >>
|
|
26
|
+
return (BigInt(crypto.keccak256(utils.toBeHex(message, 32))) >> 8n).toString();
|
|
27
27
|
}
|
|
28
28
|
|
|
29
29
|
/**
|
|
@@ -39,7 +39,7 @@ function toBigInt(value) {
|
|
|
39
39
|
if (typeof value === "string") {
|
|
40
40
|
return utils.toBigInt(abi.encodeBytes32String(value));
|
|
41
41
|
}
|
|
42
|
-
throw TypeError(error.message);
|
|
42
|
+
throw TypeError(error instanceof Error ? error.message : error.toString());
|
|
43
43
|
}
|
|
44
44
|
}
|
|
45
45
|
|
|
@@ -105,7 +105,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
|
|
|
105
105
|
// If the Snark artifacts are not defined they will be automatically downloaded.
|
|
106
106
|
snarkArtifacts ?? (snarkArtifacts = await artifacts.maybeGetSnarkArtifacts(artifacts.Project.SEMAPHORE, {
|
|
107
107
|
parameters: [merkleTreeDepth],
|
|
108
|
-
version: "4.13.0
|
|
108
|
+
version: "4.13.0"
|
|
109
109
|
}));
|
|
110
110
|
const { wasm, zkey } = snarkArtifacts;
|
|
111
111
|
// The missing siblings can be set to 0, as they won't be used in the circuit.
|
|
@@ -172,12 +172,12 @@ var vk_gamma_2 = [
|
|
|
172
172
|
var vk_delta_2 = [
|
|
173
173
|
[
|
|
174
174
|
[
|
|
175
|
-
"
|
|
176
|
-
"
|
|
175
|
+
"16408413417242390422091814167027427493277171619879801311231535488230631233228",
|
|
176
|
+
"9945686348046960753877586492918972777825246677018826948161896201170445700125"
|
|
177
177
|
],
|
|
178
178
|
[
|
|
179
|
-
"
|
|
180
|
-
"
|
|
179
|
+
"19805828691744104303828611788576365088245444900313217510847939816134147892073",
|
|
180
|
+
"6584315070644963867508873956596397181930928138233362569920493830977850569249"
|
|
181
181
|
],
|
|
182
182
|
[
|
|
183
183
|
"1",
|
|
@@ -186,12 +186,12 @@ var vk_delta_2 = [
|
|
|
186
186
|
],
|
|
187
187
|
[
|
|
188
188
|
[
|
|
189
|
-
"
|
|
190
|
-
"
|
|
189
|
+
"2387596915721059240380306703756745594941774836392065901920862076482873617696",
|
|
190
|
+
"4137034247026796121567786020569192018542087029679792022186664106005314607992"
|
|
191
191
|
],
|
|
192
192
|
[
|
|
193
|
-
"
|
|
194
|
-
"
|
|
193
|
+
"16447312158069665668196107037746726091322857767125704694225455151423385234420",
|
|
194
|
+
"12207258509226852403095283170696450586325894259341619206879136573430824179219"
|
|
195
195
|
],
|
|
196
196
|
[
|
|
197
197
|
"1",
|
|
@@ -200,12 +200,12 @@ var vk_delta_2 = [
|
|
|
200
200
|
],
|
|
201
201
|
[
|
|
202
202
|
[
|
|
203
|
-
"
|
|
204
|
-
"
|
|
203
|
+
"14294733923974082563700679538239516855779956462219064242234075098094333560871",
|
|
204
|
+
"16330999452311032943437085246396144436976596572620326866448611437534258631396"
|
|
205
205
|
],
|
|
206
206
|
[
|
|
207
|
-
"
|
|
208
|
-
"
|
|
207
|
+
"5856262630305079046154806623452275669069805844550622864468698349954335808342",
|
|
208
|
+
"4077511428936129071924927150420083045813488070428429073817813611424925121688"
|
|
209
209
|
],
|
|
210
210
|
[
|
|
211
211
|
"1",
|
|
@@ -214,12 +214,12 @@ var vk_delta_2 = [
|
|
|
214
214
|
],
|
|
215
215
|
[
|
|
216
216
|
[
|
|
217
|
-
"
|
|
218
|
-
"
|
|
217
|
+
"13071886307519653591557928522141791177727944387325349731338730220121865486426",
|
|
218
|
+
"9147362984584117589896461943832229407742734559244362782131452071313721467022"
|
|
219
219
|
],
|
|
220
220
|
[
|
|
221
|
-
"
|
|
222
|
-
"
|
|
221
|
+
"16267462216178612321501515020484989961063147873263196484923037425712997371544",
|
|
222
|
+
"12092490337916442957475513586469567371361906149803313377280821909723439581377"
|
|
223
223
|
],
|
|
224
224
|
[
|
|
225
225
|
"1",
|
|
@@ -228,12 +228,12 @@ var vk_delta_2 = [
|
|
|
228
228
|
],
|
|
229
229
|
[
|
|
230
230
|
[
|
|
231
|
-
"
|
|
232
|
-
"
|
|
231
|
+
"2357551468752810995913393842537718192839284870946471706329338268293755997329",
|
|
232
|
+
"17699476683290927561681064863977135617971404674836959835621062864295611403648"
|
|
233
233
|
],
|
|
234
234
|
[
|
|
235
|
-
"
|
|
236
|
-
"
|
|
235
|
+
"15371001085051472569179708936226706149881484173472097333879881486489180490983",
|
|
236
|
+
"12792428623738700989382805503922676104149362420071951662089713970685402064920"
|
|
237
237
|
],
|
|
238
238
|
[
|
|
239
239
|
"1",
|
|
@@ -242,12 +242,12 @@ var vk_delta_2 = [
|
|
|
242
242
|
],
|
|
243
243
|
[
|
|
244
244
|
[
|
|
245
|
-
"
|
|
246
|
-
"
|
|
245
|
+
"20616939609237548459795216165583176879544143113522163138782264749253509627258",
|
|
246
|
+
"13987713805540595141538231036659236350125001216593964477223521911968346527102"
|
|
247
247
|
],
|
|
248
248
|
[
|
|
249
|
-
"
|
|
250
|
-
"
|
|
249
|
+
"3162343948407473104608991225811079906200146990821363658345349028119611644709",
|
|
250
|
+
"3320292317142377941283260904789121584245307520705790709070006866620962533715"
|
|
251
251
|
],
|
|
252
252
|
[
|
|
253
253
|
"1",
|
|
@@ -256,12 +256,12 @@ var vk_delta_2 = [
|
|
|
256
256
|
],
|
|
257
257
|
[
|
|
258
258
|
[
|
|
259
|
-
"
|
|
260
|
-
"
|
|
259
|
+
"13096135091972781998384533354315732588511252434443280959953028720792091894439",
|
|
260
|
+
"17599645347125110170634377768144829252609553303778272999874612657176247663979"
|
|
261
261
|
],
|
|
262
262
|
[
|
|
263
|
-
"
|
|
264
|
-
"
|
|
263
|
+
"5497049490564113461392112545148903724371578431098493139775449857623325296586",
|
|
264
|
+
"7686421875467730512006088099126520544317589903732886932992767694569986256779"
|
|
265
265
|
],
|
|
266
266
|
[
|
|
267
267
|
"1",
|
|
@@ -270,12 +270,12 @@ var vk_delta_2 = [
|
|
|
270
270
|
],
|
|
271
271
|
[
|
|
272
272
|
[
|
|
273
|
-
"
|
|
274
|
-
"
|
|
273
|
+
"19498497257631907587214071284377177236513238877478254784158949106613204394809",
|
|
274
|
+
"4201858703580495907616071164434098089411977757935963172911584461484497089823"
|
|
275
275
|
],
|
|
276
276
|
[
|
|
277
|
-
"
|
|
278
|
-
"
|
|
277
|
+
"14220658082972513690837811349990790459391670015439493604844277256709703968946",
|
|
278
|
+
"725072098700696182710385988528309000847717684428652699032837799281837303309"
|
|
279
279
|
],
|
|
280
280
|
[
|
|
281
281
|
"1",
|
|
@@ -284,12 +284,12 @@ var vk_delta_2 = [
|
|
|
284
284
|
],
|
|
285
285
|
[
|
|
286
286
|
[
|
|
287
|
-
"
|
|
288
|
-
"
|
|
287
|
+
"14886882169839625604512011386316801918767995818481638031200219618637435317046",
|
|
288
|
+
"4045148753719902607466865114862064444702845131168750813732988685843265272714"
|
|
289
289
|
],
|
|
290
290
|
[
|
|
291
|
-
"
|
|
292
|
-
"
|
|
291
|
+
"6080842004111306921355576610508287032807092958050574806583173765232646608130",
|
|
292
|
+
"10694987061719986731524904780077663994960386767617837357890167696777886594429"
|
|
293
293
|
],
|
|
294
294
|
[
|
|
295
295
|
"1",
|
|
@@ -298,12 +298,12 @@ var vk_delta_2 = [
|
|
|
298
298
|
],
|
|
299
299
|
[
|
|
300
300
|
[
|
|
301
|
-
"
|
|
302
|
-
"
|
|
301
|
+
"19724067353675840213140371880930169181883810789843127137211427073528097386069",
|
|
302
|
+
"21713798113403639943129465020431058408875932630108492210073762207187255107633"
|
|
303
303
|
],
|
|
304
304
|
[
|
|
305
|
-
"
|
|
306
|
-
"
|
|
305
|
+
"17930796050321483178126019717582390671874641297920957330301826849122897776475",
|
|
306
|
+
"12206390446835120782025093868584394872476245212887793139718936402859799461128"
|
|
307
307
|
],
|
|
308
308
|
[
|
|
309
309
|
"1",
|
|
@@ -312,12 +312,12 @@ var vk_delta_2 = [
|
|
|
312
312
|
],
|
|
313
313
|
[
|
|
314
314
|
[
|
|
315
|
-
"
|
|
316
|
-
"
|
|
315
|
+
"17328756557422910934818164024947081727797919847622394659808852744488487561121",
|
|
316
|
+
"6970640849385862299695602095231000533615427942238133481753115580290886282663"
|
|
317
317
|
],
|
|
318
318
|
[
|
|
319
|
-
"
|
|
320
|
-
"
|
|
319
|
+
"17551529991224202267708263974810363449203041333779078351019896570513260547078",
|
|
320
|
+
"803200290296994529393040192875391266206144602742874360276093971196637285110"
|
|
321
321
|
],
|
|
322
322
|
[
|
|
323
323
|
"1",
|
|
@@ -326,12 +326,12 @@ var vk_delta_2 = [
|
|
|
326
326
|
],
|
|
327
327
|
[
|
|
328
328
|
[
|
|
329
|
-
"
|
|
330
|
-
"
|
|
329
|
+
"2119776875486510261156090816054891852076653981738105921239014174885904246433",
|
|
330
|
+
"14572605232309338398194614880225630634521363940715728597124701672171876503457"
|
|
331
331
|
],
|
|
332
332
|
[
|
|
333
|
-
"
|
|
334
|
-
"
|
|
333
|
+
"15641680856161902645414137445124067424307682451191794724349887359826084586070",
|
|
334
|
+
"14764068940615290963682432521466414132081301332432973819150185889917259656516"
|
|
335
335
|
],
|
|
336
336
|
[
|
|
337
337
|
"1",
|
|
@@ -340,12 +340,12 @@ var vk_delta_2 = [
|
|
|
340
340
|
],
|
|
341
341
|
[
|
|
342
342
|
[
|
|
343
|
-
"
|
|
344
|
-
"
|
|
343
|
+
"12585047581981016758713642748813698038343438252986565458259773061683123989258",
|
|
344
|
+
"9669145368105243899354639562088264940980627266994489740805405384333753923552"
|
|
345
345
|
],
|
|
346
346
|
[
|
|
347
|
-
"
|
|
348
|
-
"
|
|
347
|
+
"15854293065825437298487041414058911622298657451488894851139274730870355353259",
|
|
348
|
+
"19565158032720127045649170359766073929463698598471410254463656922079352510393"
|
|
349
349
|
],
|
|
350
350
|
[
|
|
351
351
|
"1",
|
|
@@ -354,12 +354,12 @@ var vk_delta_2 = [
|
|
|
354
354
|
],
|
|
355
355
|
[
|
|
356
356
|
[
|
|
357
|
-
"
|
|
358
|
-
"
|
|
357
|
+
"2288843848207548606244913096831590643237758110674559319081495071409127772262",
|
|
358
|
+
"3252788368686342394845916051738261897651617073407759249108275286346858326943"
|
|
359
359
|
],
|
|
360
360
|
[
|
|
361
|
-
"
|
|
362
|
-
"
|
|
361
|
+
"16683359175825972027599519332179172395722103735125140270260256591403685239266",
|
|
362
|
+
"19124363906021798265340471177011752439360196612765215264076386186223672631683"
|
|
363
363
|
],
|
|
364
364
|
[
|
|
365
365
|
"1",
|
|
@@ -368,12 +368,12 @@ var vk_delta_2 = [
|
|
|
368
368
|
],
|
|
369
369
|
[
|
|
370
370
|
[
|
|
371
|
-
"
|
|
372
|
-
"
|
|
371
|
+
"21778698515108811822570997836350239604460537154789740349136154088410673666440",
|
|
372
|
+
"5780031105796026218614860731746179146574862839671481989139051367514008242236"
|
|
373
373
|
],
|
|
374
374
|
[
|
|
375
|
-
"
|
|
376
|
-
"
|
|
375
|
+
"8140325513003421209811483931164219330248830428283659149673491359622349624487",
|
|
376
|
+
"18469505026450614999435662120574344885993110615313266080469284549107734127701"
|
|
377
377
|
],
|
|
378
378
|
[
|
|
379
379
|
"1",
|
|
@@ -382,12 +382,12 @@ var vk_delta_2 = [
|
|
|
382
382
|
],
|
|
383
383
|
[
|
|
384
384
|
[
|
|
385
|
-
"
|
|
386
|
-
"
|
|
385
|
+
"15964849500928959236136513927877106396819701524466507680781856032238559291702",
|
|
386
|
+
"7548740869127800000959433269529906329291042176659702797114735805029076243809"
|
|
387
387
|
],
|
|
388
388
|
[
|
|
389
|
-
"
|
|
390
|
-
"
|
|
389
|
+
"20366134800430281137974350328157690756475407434441379325123050644263700762747",
|
|
390
|
+
"1672355735830681474636413865943106063110582489546868908540192561642173045849"
|
|
391
391
|
],
|
|
392
392
|
[
|
|
393
393
|
"1",
|
|
@@ -396,12 +396,12 @@ var vk_delta_2 = [
|
|
|
396
396
|
],
|
|
397
397
|
[
|
|
398
398
|
[
|
|
399
|
-
"
|
|
400
|
-
"
|
|
399
|
+
"15604113119818398859105083663101672704426630802104461803147745295915420543514",
|
|
400
|
+
"16114472716989861379676896506941964225302064637372698367976925741668156508052"
|
|
401
401
|
],
|
|
402
402
|
[
|
|
403
|
-
"
|
|
404
|
-
"
|
|
403
|
+
"7939071742082619319458149641163972961008977339800237806212608589725584130020",
|
|
404
|
+
"10165003310380856542064932579929053283069946501185445302343404661722980895662"
|
|
405
405
|
],
|
|
406
406
|
[
|
|
407
407
|
"1",
|
|
@@ -410,12 +410,12 @@ var vk_delta_2 = [
|
|
|
410
410
|
],
|
|
411
411
|
[
|
|
412
412
|
[
|
|
413
|
-
"
|
|
414
|
-
"
|
|
413
|
+
"12959426659056731977096261077158897117816984776686970177641451566537475330762",
|
|
414
|
+
"12686597458456839559095621904427573493459559345644733657026411666208793605782"
|
|
415
415
|
],
|
|
416
416
|
[
|
|
417
|
-
"
|
|
418
|
-
"
|
|
417
|
+
"2556822501937414965915732176313294354334696604955778975945258036864927305135",
|
|
418
|
+
"19835071153104544039790862095812156602791894702605430971509518717702362964947"
|
|
419
419
|
],
|
|
420
420
|
[
|
|
421
421
|
"1",
|
|
@@ -424,12 +424,12 @@ var vk_delta_2 = [
|
|
|
424
424
|
],
|
|
425
425
|
[
|
|
426
426
|
[
|
|
427
|
-
"
|
|
428
|
-
"
|
|
427
|
+
"501939956853020624053826043023206795744298239687467453170002552066896316735",
|
|
428
|
+
"15282288821286986303443436438438118467123854134079934970632941246943744947634"
|
|
429
429
|
],
|
|
430
430
|
[
|
|
431
|
-
"
|
|
432
|
-
"
|
|
431
|
+
"8268832261269721951642392857400064988994240365232333730985870709113231577748",
|
|
432
|
+
"17306268320069329930053046486191119384709698006779409787629519770624845846895"
|
|
433
433
|
],
|
|
434
434
|
[
|
|
435
435
|
"1",
|
|
@@ -438,12 +438,12 @@ var vk_delta_2 = [
|
|
|
438
438
|
],
|
|
439
439
|
[
|
|
440
440
|
[
|
|
441
|
-
"
|
|
442
|
-
"
|
|
441
|
+
"10155645986889866254983794183798376982702094196823662035160585060891538132313",
|
|
442
|
+
"8227572988834008904680469166048218402014791963974296824179448357074224817728"
|
|
443
443
|
],
|
|
444
444
|
[
|
|
445
|
-
"
|
|
446
|
-
"
|
|
445
|
+
"21066066529531022287482896734705560568307576550088195620554036170201413152935",
|
|
446
|
+
"2766194785450921673319752274493654480922324316669506712863711606971264837815"
|
|
447
447
|
],
|
|
448
448
|
[
|
|
449
449
|
"1",
|
|
@@ -452,12 +452,12 @@ var vk_delta_2 = [
|
|
|
452
452
|
],
|
|
453
453
|
[
|
|
454
454
|
[
|
|
455
|
-
"
|
|
456
|
-
"
|
|
455
|
+
"1989924837531089847846387969204339029084060271880315693828877510016009048244",
|
|
456
|
+
"7352603086778020593401803196166503749868671550890770670813014453861490868474"
|
|
457
457
|
],
|
|
458
458
|
[
|
|
459
|
-
"
|
|
460
|
-
"
|
|
459
|
+
"6428463624222837400592542960880514502148047005367618559502923200431303417626",
|
|
460
|
+
"2160048101436923431950651945741915095581265616792410900406773465080133187326"
|
|
461
461
|
],
|
|
462
462
|
[
|
|
463
463
|
"1",
|
|
@@ -466,12 +466,12 @@ var vk_delta_2 = [
|
|
|
466
466
|
],
|
|
467
467
|
[
|
|
468
468
|
[
|
|
469
|
-
"
|
|
470
|
-
"
|
|
469
|
+
"19303607623375189361174333168663340845013627094607738353031532282040550902377",
|
|
470
|
+
"3195542343326523127590636511134614410335800104671557720021340738104811702387"
|
|
471
471
|
],
|
|
472
472
|
[
|
|
473
|
-
"
|
|
474
|
-
"
|
|
473
|
+
"4747193399637226139967607070154314368157241370565382819691031533975814254142",
|
|
474
|
+
"606780685077871587284472254405037298745588560970946322961435429383314118646"
|
|
475
475
|
],
|
|
476
476
|
[
|
|
477
477
|
"1",
|
|
@@ -480,12 +480,12 @@ var vk_delta_2 = [
|
|
|
480
480
|
],
|
|
481
481
|
[
|
|
482
482
|
[
|
|
483
|
-
"
|
|
484
|
-
"
|
|
483
|
+
"14558408330551331658217821972088118480910056101659366480914289399602315516831",
|
|
484
|
+
"9568204816014179577619529844284430743063545941195246216889646276674433402461"
|
|
485
485
|
],
|
|
486
486
|
[
|
|
487
|
-
"
|
|
488
|
-
"
|
|
487
|
+
"4997879817697325140190126125496746317991855622313321171930774136969925165261",
|
|
488
|
+
"12942855016996583214204134800269377810677680516245639526261311120541522533623"
|
|
489
489
|
],
|
|
490
490
|
[
|
|
491
491
|
"1",
|
|
@@ -494,12 +494,12 @@ var vk_delta_2 = [
|
|
|
494
494
|
],
|
|
495
495
|
[
|
|
496
496
|
[
|
|
497
|
-
"
|
|
498
|
-
"
|
|
497
|
+
"13783310291132286501486061315182503677055944149861104676633788059711246063985",
|
|
498
|
+
"19190093413956851541449387374199799048221744576578891593940876486082568836726"
|
|
499
499
|
],
|
|
500
500
|
[
|
|
501
|
-
"
|
|
502
|
-
"
|
|
501
|
+
"15697318658529146415938553904765473201636399656961560956897831706453611373390",
|
|
502
|
+
"11337992225169061295633901814645251777656165320625910201890812012309200609498"
|
|
503
503
|
],
|
|
504
504
|
[
|
|
505
505
|
"1",
|
|
@@ -508,12 +508,12 @@ var vk_delta_2 = [
|
|
|
508
508
|
],
|
|
509
509
|
[
|
|
510
510
|
[
|
|
511
|
-
"
|
|
512
|
-
"
|
|
511
|
+
"18172524094647563702792071405521064148027777374146622596440895328066214725333",
|
|
512
|
+
"21569450500189435887199679551535725246094753831124106295990566904036497813254"
|
|
513
513
|
],
|
|
514
514
|
[
|
|
515
|
-
"
|
|
516
|
-
"
|
|
515
|
+
"9819178401638123792202514084265624499907335293369606938734047198656926777909",
|
|
516
|
+
"3145315298367926043213663632718527591959511677826683294840754237808062567112"
|
|
517
517
|
],
|
|
518
518
|
[
|
|
519
519
|
"1",
|
|
@@ -522,12 +522,12 @@ var vk_delta_2 = [
|
|
|
522
522
|
],
|
|
523
523
|
[
|
|
524
524
|
[
|
|
525
|
-
"
|
|
526
|
-
"
|
|
525
|
+
"8746072717767095707814429468799090500392250697821275811590378893588767597917",
|
|
526
|
+
"18802634026897129713917723325543619649182522727835118188707427828679759584422"
|
|
527
527
|
],
|
|
528
528
|
[
|
|
529
|
-
"
|
|
530
|
-
"
|
|
529
|
+
"7219832117754966106192534848766622469189809645310297510974348973233245025369",
|
|
530
|
+
"18704375927500385275425299458226317326347431199233436591432711644245604239077"
|
|
531
531
|
],
|
|
532
532
|
[
|
|
533
533
|
"1",
|
|
@@ -536,12 +536,12 @@ var vk_delta_2 = [
|
|
|
536
536
|
],
|
|
537
537
|
[
|
|
538
538
|
[
|
|
539
|
-
"
|
|
540
|
-
"
|
|
539
|
+
"13708720001690920974531975083269227589906005357046540542256166004868494493957",
|
|
540
|
+
"17438285563716107537313028987468968480486147502509455852617046032572641428099"
|
|
541
541
|
],
|
|
542
542
|
[
|
|
543
|
-
"
|
|
544
|
-
"
|
|
543
|
+
"11101887644093498136963322545128841855068486606253334583797745666239266446972",
|
|
544
|
+
"20460486971944339166023854053015474903256211559095327365767233192985351503994"
|
|
545
545
|
],
|
|
546
546
|
[
|
|
547
547
|
"1",
|
|
@@ -550,12 +550,12 @@ var vk_delta_2 = [
|
|
|
550
550
|
],
|
|
551
551
|
[
|
|
552
552
|
[
|
|
553
|
-
"
|
|
554
|
-
"
|
|
553
|
+
"132171351540181208752598355011806514484978442078160242634962060418757137902",
|
|
554
|
+
"13354046131540785149549755824616257951646671953336984957173828198477971391435"
|
|
555
555
|
],
|
|
556
556
|
[
|
|
557
|
-
"
|
|
558
|
-
"
|
|
557
|
+
"21669184698178807916508930565726714051772558794823048975473358705382732801596",
|
|
558
|
+
"9635523530117598655810969112395005213391266499466713636714826152431721391097"
|
|
559
559
|
],
|
|
560
560
|
[
|
|
561
561
|
"1",
|
|
@@ -564,12 +564,12 @@ var vk_delta_2 = [
|
|
|
564
564
|
],
|
|
565
565
|
[
|
|
566
566
|
[
|
|
567
|
-
"
|
|
568
|
-
"
|
|
567
|
+
"1817209170269917594978846294744086522596256114711933397300588502829438536106",
|
|
568
|
+
"6855256699562883536928701758472081428223522076535727620422471711268239634308"
|
|
569
569
|
],
|
|
570
570
|
[
|
|
571
|
-
"
|
|
572
|
-
"
|
|
571
|
+
"21773055244640460218409135038646161676097355933318612827708333265587791702761",
|
|
572
|
+
"4880541329774392852243411920559969839321972249482564734670937681914115129863"
|
|
573
573
|
],
|
|
574
574
|
[
|
|
575
575
|
"1",
|
|
@@ -578,12 +578,12 @@ var vk_delta_2 = [
|
|
|
578
578
|
],
|
|
579
579
|
[
|
|
580
580
|
[
|
|
581
|
-
"
|
|
582
|
-
"
|
|
581
|
+
"2268676832521011389605833228499733106004721523029486634934922586295864710389",
|
|
582
|
+
"8102913435692743300910502697459995333988046387043253689269460988879348357821"
|
|
583
583
|
],
|
|
584
584
|
[
|
|
585
|
-
"
|
|
586
|
-
"
|
|
585
|
+
"20309588746697349568949048390517274459537703018546300964903000505784921108425",
|
|
586
|
+
"4291401834465838169107131630619002425334621571862337210064229894382878193958"
|
|
587
587
|
],
|
|
588
588
|
[
|
|
589
589
|
"1",
|
|
@@ -592,12 +592,12 @@ var vk_delta_2 = [
|
|
|
592
592
|
],
|
|
593
593
|
[
|
|
594
594
|
[
|
|
595
|
-
"
|
|
596
|
-
"
|
|
595
|
+
"10311012528118027945397529231050612295259038290206749112146827480766291632622",
|
|
596
|
+
"14263915192420789008257078016040368451751565013845409244574826505356681905483"
|
|
597
597
|
],
|
|
598
598
|
[
|
|
599
|
-
"
|
|
600
|
-
"
|
|
599
|
+
"14352495558770414119917297125905421752955375327125069951920582428689643657147",
|
|
600
|
+
"13732820742602026577147919232809575149719811385820138732151195012323892622807"
|
|
601
601
|
],
|
|
602
602
|
[
|
|
603
603
|
"1",
|
|
@@ -606,12 +606,12 @@ var vk_delta_2 = [
|
|
|
606
606
|
],
|
|
607
607
|
[
|
|
608
608
|
[
|
|
609
|
-
"
|
|
610
|
-
"
|
|
609
|
+
"17092537224655272022410655318466617424580925386513981972839127238283870860133",
|
|
610
|
+
"19418789221732947317254488453881986598823601057019654728627221055116187750232"
|
|
611
611
|
],
|
|
612
612
|
[
|
|
613
|
-
"
|
|
614
|
-
"
|
|
613
|
+
"10324639680661302781934202760230560206041062507025982983925498455935854577265",
|
|
614
|
+
"13351246034714801162998612043454267340423379651242067402477042359803697454008"
|
|
615
615
|
],
|
|
616
616
|
[
|
|
617
617
|
"1",
|