zkPairing

293 |

294 |

295 |

296 |

297 |

298 | Enter a slot from the Beacon Chain to autofill block 299 | information from{" "} 300 | beaconcha.in: 301 |

302 |

303 |

304 |

305 | Slot: 306 |

307 |

308 | { 314 | setSlot(e.currentTarget.value); 315 | }} 316 | /> 317 |

318 |

319 | 320 |

321 |

322 | 325 |

326 |

327 | 328 |

329 |

330 | Enter the following information directly from a block: 331 |

332 |

333 |

334 |

335 | Epoch: 336 |

337 |

338 | { 344 | setEpoch(e.currentTarget.value); 345 | }} 346 | /> 347 |

348 |

349 |

350 |

351 | Proposer Public Key: 352 |

353 |

354 | { 360 | setPubkeyHex(e.currentTarget.value); 361 | }} 362 | /> 363 |

364 |

365 |

366 |

367 | Block Root: 368 |

369 |

370 | { 376 | setBlockRoot(e.currentTarget.value); 377 | }} 378 | /> 379 |

380 |

381 |

382 |

383 | Signature: 384 |

385 |

386 |

{
392 |                       setSignatureHex(e.currentTarget.value);
393 |                     }}
394 |                   />
395 |                 </div>
396 |               </div>
397 | 
398 |               <div className="border-bottom">
399 |                 <div className="col-button">
400 |                   <button onClick={submitBlock} className="App-button">
401 |                     Process Block Information
402 |                   </button>
403 |                 </div>
404 |               </div>
405 | 
406 |               {signingRoot === "" ? (
407 |                 <div />
408 |               ) : (
409 |                 <div className="row border-bottom p-3 mx-0">
410 |                   <div className="col-md-2">
411 |                     <span>Signing Root: </span>
412 |                   </div>
413 |                   <div className="col-md-10">{signingRoot}</div>
414 |                 </div>
415 |               )}
416 |               <div className="row border-bottom p-3 mx-0">
417 |                 <div style={{ paddingRight: "15px", paddingLeft: "15px" }}>
418 |                   Enter the following inputs for BLS signature verification:
419 |                 </div>
420 |               </div>
421 |               <div className="row border-bottom p-3 mx-0">
422 |                 <div className="col-md-2">
423 |                   <span>Public Key (G1 Point): </span>
424 |                 </div>
425 |                 <div className="col-md-10">
426 |                   <div className="col-input">
427 |                     x =  
428 |                     <input
429 |                       type="text"
430 |                       className="App-input"
431 |                       placeholder="Pubkey (x)"
432 |                       value={pubkey[0]}
433 |                       onChange={(e) => handlePubkeyChange(0, e)}
434 |                     />
435 |                   </div>
436 |                   <div className="col-input">
437 |                     y =  
438 |                     <input
439 |                       type="text"
440 |                       className="App-input"
441 |                       placeholder="Pubkey (y)"
442 |                       value={pubkey[1]}
443 |                       onChange={(e) => handlePubkeyChange(1, e)}
444 |                     />
445 |                   </div>
446 |                 </div>
447 |               </div>
448 |               <div className="row border-bottom p-3 mx-0">
449 |                 <div className="col-md-2">
450 |                   <span>Signature (G2 Point): </span>
451 |                 </div>
452 |                 <div className="col-md-10">
453 |                   <div className="col-input">
454 |                     x =  
455 |                     <div
456 |                       style={{
457 |                         display: "flex",
458 |                         flexDirection: "column",
459 |                         flex: "1 1 auto",
460 |                       }}
461 |                     >
462 |                       <div className="col-input">
463 |                         <input
464 |                           type="text"
465 |                           className="App-input"
466 |                           placeholder="Signature (x, real part)"
467 |                           value={signature[0]}
468 |                           onChange={(e) => handleSignatureChange(0, e)}
469 |                         />
470 |                           +
471 |                       </div>
472 |                       <div className="col-input">
473 |                         <input
474 |                           type="text"
475 |                           className="App-input"
476 |                           placeholder="Signature (x, imag part)"
477 |                           value={signature[1]}
478 |                           onChange={(e) => handleSignatureChange(1, e)}
479 |                         />
480 |                           * I
481 |                       </div>
482 |                     </div>
483 |                   </div>
484 | 
485 |                   <div className="col-input">
486 |                     y =  
487 |                     <div
488 |                       style={{
489 |                         display: "flex",
490 |                         flexDirection: "column",
491 |                         flex: "1 1 auto",
492 |                       }}
493 |                     >
494 |                       <div className="col-input">
495 |                         <input
496 |                           type="text"
497 |                           className="App-input"
498 |                           placeholder="Signature (y, real part)"
499 |                           value={signature[2]}
500 |                           onChange={(e) => handleSignatureChange(2, e)}
501 |                         />
502 |                           +
503 |                       </div>
504 |                       <div className="col-input">
505 |                         <input
506 |                           type="text"
507 |                           className="App-input"
508 |                           placeholder="Signature (y, imag part)"
509 |                           value={signature[3]}
510 |                           onChange={(e) => handleSignatureChange(3, e)}
511 |                         />
512 |                           * I
513 |                       </div>
514 |                     </div>
515 |                   </div>
516 |                 </div>
517 |               </div>
518 |               <div className="row border-bottom p-3 mx-0">
519 |                 <div className="col-md-2">
520 |                   <span>hashToField(msg, 2): </span>
521 |                 </div>
522 |                 <div className="col-md-10">
523 |                   <div className="col-input">
524 |                     u[0] =  
525 |                     <div
526 |                       style={{
527 |                         display: "flex",
528 |                         flexDirection: "column",
529 |                         flex: "1 1 auto",
530 |                       }}
531 |                     >
532 |                       <div className="col-input">
533 |                         <input
534 |                           type="text"
535 |                           className="App-input"
536 |                           placeholder="Message (0, real part)"
537 |                           value={message[0]}
538 |                           onChange={(e) => handleMessageChange(0, e)}
539 |                         />
540 |                           +
541 |                       </div>
542 |                       <div className="col-input">
543 |                         <input
544 |                           type="text"
545 |                           className="App-input"
546 |                           placeholder="Message (0, imag part)"
547 |                           value={message[1]}
548 |                           onChange={(e) => handleMessageChange(1, e)}
549 |                         />
550 |                           * I
551 |                       </div>
552 |                     </div>
553 |                   </div>
554 | 
555 |                   <div className="col-input">
556 |                     u[1] =  
557 |                     <div
558 |                       style={{
559 |                         display: "flex",
560 |                         flexDirection: "column",
561 |                         flex: "1 1 auto",
562 |                       }}
563 |                     >
564 |                       <div className="col-input">
565 |                         <input
566 |                           type="text"
567 |                           className="App-input"
568 |                           placeholder="Message (1, real part)"
569 |                           value={message[2]}
570 |                           onChange={(e) => handleMessageChange(2, e)}
571 |                         />
572 |                           +
573 |                       </div>
574 |                       <div className="col-input">
575 |                         <input
576 |                           type="text"
577 |                           className="App-input"
578 |                           placeholder="Message (1, imag part)"
579 |                           value={message[3]}
580 |                           onChange={(e) => handleMessageChange(3, e)}
581 |                         />
582 |                           * I
583 |                       </div>
584 |                     </div>
585 |                   </div>
586 |                 </div>
587 |               </div>
588 |               <div className="border-bottom">
589 |                 <div className="col-button">
590 |                   <button onClick={submitInput} className="App-button">
591 |                     Submit Verification Job
592 |                   </button>
593 |                 </div>
594 |               </div>
595 |               {id === "" ? (
596 |                 <div />
597 |               ) : (
598 |                 <>
599 |                   <div className="row border-bottom p-3 mx-0">
600 |                     <div className="col-md-12">
601 |                       <PrettyPrintJson
602 |                         fileName={"input.json"}
603 |                         data={inputJson}
604 |                       />
605 |                     </div>
606 |                   </div>
607 |                   <div className="row border-bottom p-3 mx-0">
608 |                     <div className="col-md-12">
609 |                       Your job ID is {id}. Generating the proof may take a few
610 |                       minutes...
611 |                     </div>
612 |                   </div>
613 |                   <div className="border-bottom">
614 |                     <div className="col-button">
615 |                       <button onClick={submitHash} className="App-button">
616 |                         Check if proof is ready
617 |                       </button>
618 |                     </div>
619 |                   </div>
620 |                 </>
621 |               )}
622 |               {status === 0 ? (
623 |                 ""
624 |               ) : status === 200 ? (
625 |                 proof ===
626 |                 JSON.stringify(
627 |                   JSON.parse(
628 |                     '{"result": "BLS signature verification failed."}'
629 |                   ),
630 |                   null,
631 |                   2
632 |                 ) ? (
633 |                   <div className="row p-3 mx-0">
634 |                     <div className="col-md-12">
635 |                       BLS signature verification failed.
636 |                     </div>
637 |                   </div>
638 |                 ) : (
639 |                   <div className="row p-3 mx-0">
640 |                     <div className="col-md-12">Your proof is ready!</div>
641 |                     <div className="col-md-12">
642 |                       <PrettyPrintJson
643 |                         fileName={"vkey.json"}
644 |                         data={JSON.stringify(vkey, null, 2)}
645 |                       />
646 |                     </div>
647 |                     <div className="col-md-12">
648 |                       <PrettyPrintJson
649 |                         fileName={"public.json"}
650 |                         data={publicJson}
651 |                       />
652 |                     </div>
653 |                     <div className="col-md-12">
654 |                       <PrettyPrintJson fileName={"proof.json"} data={proof} />
655 |                     </div>
656 |                     <div
657 |                       style={{
658 |                         paddingTop: "2rem",
659 |                         paddingRight: "15px",
660 |                         paddingLeft: "15px",
661 |                         width: "100%",
662 |                         position: "relative",
663 |                       }}
664 |                     >
665 |                       To verify locally, install{" "}
666 |                       <a href="https://github.com/iden3/snarkjs">snarkjs</a>,
667 |                       download the three files above, and run:
668 |                       <div
669 |                         style={{
670 |                           marginTop: "1rem",
671 |                           marginBottom: "2rem",
672 |                         }}
673 |                       >
674 |                         <pre>
675 |                           snarkjs groth16 verify vkey.json public.json
676 |                           proof.json
677 |                         </pre>
678 |                       </div>
679 |                     </div>
680 |                   </div>
681 |                 )
682 |               ) : status === 400 ? (
683 |                 <div className="row p-3 mx-0">
684 |                   <div className="col-md-12">Process still running. </div>
685 |                 </div>
686 |               ) : (
687 |                 <div className="row p-3 mx-0">
688 |                   <div className="col-md-12">
689 |                     Unknown error occured. Please check inputs and try again.
690 |                   </div>
691 |                 </div>
692 |               )}
693 |             </div>
694 |           </div>
695 |         </div>
696 | 
697 |         <a href="https://github.com/vincenthuang75025/zkxzk">
698 |           <Logo width="2rem" />
699 |         </a>
700 |       </div>
701 |     </>
702 |   );
703 | }
704 | 
705 | export default App;
706 |

--------------------------------------------------------------------------------
/src/bls.ts:
--------------------------------------------------------------------------------
  1 | /*! noble-bls12-381 - MIT License (c) 2019 Paul Miller (paulmillr.com) */
  2 | // bls12-381 is a construction of two curves:
  3 | // 1. Fp: (x, y)
  4 | // 2. Fp₂: ((x₁, x₂+i), (y₁, y₂+i)) - (complex numbers)
  5 | //
  6 | // Bilinear Pairing (ate pairing) is used to combine both elements into a paired one:
  7 | //   Fp₁₂ = e(Fp, Fp2)
  8 | //   where Fp₁₂ = 12-degree polynomial
  9 | // Pairing is used to verify signatures.
 10 | //
 11 | // We are using Fp for private keys (shorter) and Fp2 for signatures (longer).
 12 | // Some projects may prefer to swap this relation, it is not supported for now.
 13 | 
 14 | import nodeCrypto from "crypto";
 15 | // prettier-ignore
 16 | 
 17 | // To verify curve parameters, see pairing-friendly-curves spec:
 18 | // https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-pairing-friendly-curves-09
 19 | // Basic math is done over finite fields over p.
 20 | // More complicated math is done over polynominal extension fields.
 21 | // To simplify calculations in Fp12, we construct extension tower:
 22 | // Fp₁₂ = Fp₆² => Fp₂³
 23 | // Fp(u) / (u² - β) where β = -1
 24 | // Fp₂(v) / (v³ - ξ) where ξ = u + 1
 25 | // Fp₆(w) / (w² - γ) where γ = v
 26 | export const CURVE = {
 27 |   // G1 is the order-q subgroup of E1(Fp) : y² = x³ + 4, #E1(Fp) = h1q, where
 28 |   // characteristic; z + (z⁴ - z² + 1)(z - 1)²/3
 29 |   P: 0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaabn,
 30 |   // order; z⁴ − z² + 1
 31 |   r: 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001n,
 32 |   // cofactor; (z - 1)²/3
 33 |   h: 0x396c8c005555e1568c00aaab0000aaabn,
 34 |   // generator's coordinates
 35 |   // x = 3685416753713387016781088315183077757961620795782546409894578378688607592378376318836054947676345821548104185464507
 36 |   // y = 1339506544944476473020471379941921221584933875938349620426543736416511423956333506472724655353366534992391756441569
 37 |   Gx: 0x17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bbn,
 38 |   Gy: 0x08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1n,
 39 |   b: 4n,
 40 | 
 41 |   // G2 is the order-q subgroup of E2(Fp²) : y² = x³+4(1+√−1),
 42 |   // where Fp2 is Fp[√−1]/(x2+1). #E2(Fp2 ) = h2q, where
 43 |   // G² - 1
 44 |   // h2q
 45 |   P2:
 46 |     0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaabn *
 47 |     0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaabn -
 48 |     1n,
 49 |   // cofactor
 50 |   h2: 0x5d543a95414e7f1091d50792876a202cd91de4547085abaa68a205b2e5a7ddfa628f1cb4d9e82ef21537e293a6691ae1616ec6e786f0c70cf1c38e31c7238e5n,
 51 |   G2x: [
 52 |     0x024aa2b2f08f0a91260805272dc51051c6e47ad4fa403b02b4510b647ae3d1770bac0326a805bbefd48056c8c121bdb8n,
 53 |     0x13e02b6052719f607dacd3a088274f65596bd0d09920b61ab5da61bbdc7f5049334cf11213945d57e5ac7d055d042b7en,
 54 |   ],
 55 |   // y =
 56 |   // 927553665492332455747201965776037880757740193453592970025027978793976877002675564980949289727957565575433344219582,
 57 |   // 1985150602287291935568054521177171638300868978215655730859378665066344726373823718423869104263333984641494340347905
 58 |   G2y: [
 59 |     0x0ce5d527727d6e118cc9cdc6da2e351aadfd9baa8cbdd3a76d429a695160d12c923ac9cc3baca289e193548608b82801n,
 60 |     0x0606c4a02ea734cc32acd2b02bc28b99cb3e287e85a763af267492ab572e99ab3f370d275cec1da1aaa9075ff05f79ben,
 61 |   ],
 62 |   b2: [4n, 4n],
 63 |   // The BLS parameter x for BLS12-381
 64 |   x: 0xd201000000010000n,
 65 |   h2Eff:
 66 |     0xbc69f08f2ee75b3584c6a0ea91b352888e2a8e9145ad7689986ff031508ffe1329c2f178731db956d82bf015d1212b02ec0ec69d7477c1ae954cbc06689f6a359894c0adebbf6b4e8020005aaa95551n,
 67 | };
 68 | 
 69 | export function mod(a: bigint, b: bigint) {
 70 |   const res = a % b;
 71 |   return res >= 0n ? res : b + res;
 72 | }
 73 | 
 74 | const SHA256_DIGEST_SIZE = 32;
 75 | 
 76 | // Default hash_to_field options are for hash to G2.
 77 | //
 78 | // Parameter definitions are in section 5.3 of the spec unless otherwise noted.
 79 | // Parameter values come from section 8.8.2 of the spec.
 80 | // https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-hash-to-curve-11#section-8.8.2
 81 | //
 82 | // Base field F is GF(p^m)
 83 | // p = 0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
 84 | // m = 2 (or 1 for G1 see section 8.8.1)
 85 | // k = 128
 86 | const htfDefaults = {
 87 |   // DST: a domain separation tag
 88 |   // defined in section 2.2.5
 89 |   DST: "BLS_SIG_BLS12381G2_XMD:SHA-256_SSWU_RO_POP_", // to comply with https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/beacon-chain.md#bls-signatures
 90 |   // p: the characteristic of F
 91 |   //    where F is a finite field of characteristic p and order q = p^m
 92 |   p: CURVE.P,
 93 |   // m: the extension degree of F, m >= 1
 94 |   //     where F is a finite field of characteristic p and order q = p^m
 95 |   m: 2,
 96 |   // k: the target security level for the suite in bits
 97 |   // defined in section 5.1
 98 |   k: 128,
 99 |   // option to use a message that has already been processed by
100 |   // expand_message_xmd
101 |   expand: true,
102 | };
103 | 
104 | // Global symbol available in browsers only. Ensure we do not depend on @types/dom
105 | declare const self: Record<string, any> | undefined;
106 | const crypto: { node?: any; web?: any } = {
107 |   node: nodeCrypto,
108 |   web: typeof self === "object" && "crypto" in self ? self.crypto : undefined,
109 | };
110 | 
111 | export const utils = {
112 |   hashToField: hash_to_field,
113 |   bytesToHex,
114 |   sha256: async (message: Uint8Array): Promise<Uint8Array> => {
115 |     if (crypto.web) {
116 |       const buffer = await crypto.web.subtle.digest("SHA-256", message.buffer);
117 |       return new Uint8Array(buffer);
118 |     } else if (crypto.node) {
119 |       return Uint8Array.from(
120 |         crypto.node.createHash("sha256").update(message).digest()
121 |       );
122 |     } else {
123 |       throw new Error("The environment doesn't have sha256 function");
124 |     }
125 |   },
126 |   mod,
127 | };
128 | 
129 | const hexes = Array.from({ length: 256 }, (v, i) =>
130 |   i.toString(16).padStart(2, "0")
131 | );
132 | export function bytesToHex(uint8a: Uint8Array): string {
133 |   // pre-caching chars could speed this up 6x.
134 |   let hex = "";
135 |   for (let i = 0; i < uint8a.length; i++) {
136 |     hex += hexes[uint8a[i]];
137 |   }
138 |   return hex;
139 | }
140 | 
141 | export function formatHex(str: string): string {
142 |   if (str.startsWith("0x")) {
143 |     str = str.slice(2);
144 |   }
145 |   return str;
146 | }
147 | 
148 | export function hexToBytes(hex: string): Uint8Array {
149 |   if (typeof hex !== "string") {
150 |     throw new TypeError("hexToBytes: expected string, got " + typeof hex);
151 |   }
152 |   hex = formatHex(hex);
153 |   if (hex.length % 2)
154 |     throw new Error("hexToBytes: received invalid unpadded hex");
155 |   const array = new Uint8Array(hex.length / 2);
156 |   for (let i = 0; i < array.length; i++) {
157 |     const j = i * 2;
158 |     const hexByte = hex.slice(j, j + 2);
159 |     if (hexByte.length !== 2) throw new Error("Invalid byte sequence");
160 |     const byte = Number.parseInt(hexByte, 16);
161 |     if (Number.isNaN(byte) || byte < 0)
162 |       throw new Error("Invalid byte sequence");
163 |     array[i] = byte;
164 |   }
165 |   return array;
166 | }
167 | 
168 | function ensureBytes(hex: string | Uint8Array): Uint8Array {
169 |   // Uint8Array.from() instead of hash.slice() because node.js Buffer
170 |   // is instance of Uint8Array, and its slice() creates **mutable** copy
171 |   return hex instanceof Uint8Array ? Uint8Array.from(hex) : hexToBytes(hex);
172 | }
173 | 
174 | function concatBytes(...arrays: Uint8Array[]): Uint8Array {
175 |   if (arrays.length === 1) return arrays[0];
176 |   const length = arrays.reduce((a, arr) => a + arr.length, 0);
177 |   const result = new Uint8Array(length);
178 |   for (let i = 0, pad = 0; i < arrays.length; i++) {
179 |     const arr = arrays[i];
180 |     result.set(arr, pad);
181 |     pad += arr.length;
182 |   }
183 |   return result;
184 | }
185 | 
186 | // UTF8 to ui8a
187 | function stringToBytes(str: string) {
188 |   const bytes = new Uint8Array(str.length);
189 |   for (let i = 0; i < str.length; i++) {
190 |     bytes[i] = str.charCodeAt(i);
191 |   }
192 |   return bytes;
193 | }
194 | 
195 | // Octet Stream to Integer
196 | function os2ip(bytes: Uint8Array): bigint {
197 |   let result = 0n;
198 |   for (let i = 0; i < bytes.length; i++) {
199 |     result = result * 256n;
200 |     result += BigInt(bytes[i]);
201 |   }
202 |   return result;
203 | }
204 | 
205 | // Integer to Octet Stream
206 | function i2osp(value: number, length: number): Uint8Array {
207 |   if (value < 0 || value >= 1 << (8 * length)) {
208 |     throw new Error(`bad I2OSP call: value=${value} length=${length}`);
209 |   }
210 |   const res = Array.from({ length }).fill(0) as number[];
211 |   for (let i = length - 1; i >= 0; i--) {
212 |     res[i] = value & 0xff;
213 |     value >>>= 8;
214 |   }
215 |   return new Uint8Array(res);
216 | }
217 | 
218 | function strxor(a: Uint8Array, b: Uint8Array): Uint8Array {
219 |   const arr = new Uint8Array(a.length);
220 |   for (let i = 0; i < a.length; i++) {
221 |     arr[i] = a[i] ^ b[i];
222 |   }
223 |   return arr;
224 | }
225 | 
226 | // Produces a uniformly random byte string using a cryptographic hash function H that outputs b bits
227 | // https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-hash-to-curve-11#section-5.4.1
228 | async function expand_message_xmd(
229 |   msg: Uint8Array,
230 |   DST: Uint8Array,
231 |   lenInBytes: number
232 | ): Promise<Uint8Array> {
233 |   const H = utils.sha256;
234 |   const b_in_bytes = SHA256_DIGEST_SIZE;
235 |   const r_in_bytes = b_in_bytes * 2;
236 | 
237 |   const ell = Math.ceil(lenInBytes / b_in_bytes);
238 |   if (ell > 255) throw new Error("Invalid xmd length");
239 |   const DST_prime = concatBytes(DST, i2osp(DST.length, 1));
240 |   const Z_pad = i2osp(0, r_in_bytes);
241 |   const l_i_b_str = i2osp(lenInBytes, 2);
242 |   const b = new Array<Uint8Array>(ell);
243 |   const b_0 = await H(
244 |     concatBytes(Z_pad, msg, l_i_b_str, i2osp(0, 1), DST_prime)
245 |   );
246 |   b[0] = await H(concatBytes(b_0, i2osp(1, 1), DST_prime));
247 |   for (let i = 1; i <= ell; i++) {
248 |     const args = [strxor(b_0, b[i - 1]), i2osp(i + 1, 1), DST_prime];
249 |     b[i] = await H(concatBytes(...args));
250 |   }
251 |   const pseudo_random_bytes = concatBytes(...b);
252 |   return pseudo_random_bytes.slice(0, lenInBytes);
253 | }
254 | 
255 | // hashes arbitrary-length byte strings to a list of one or more elements of a finite field F
256 | // https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-hash-to-curve-11#section-5.3
257 | // Inputs:
258 | // msg - a byte string containing the message to hash.
259 | // count - the number of elements of F to output.
260 | // Outputs:
261 | // [u_0, ..., u_(count - 1)], a list of field elements.
262 | async function hash_to_field(
263 |   msg: Uint8Array,
264 |   count: number,
265 |   options = {}
266 | ): Promise<bigint[][]> {
267 |   // if options is provided but incomplete, fill any missing fields with the
268 |   // value in hftDefaults (ie hash to G2).
269 |   const htfOptions = { ...htfDefaults, ...options };
270 |   const log2p = htfOptions.p.toString(2).length;
271 |   const L = Math.ceil((log2p + htfOptions.k) / 8); // section 5.1 of ietf draft link above
272 |   const len_in_bytes = count * htfOptions.m * L;
273 |   const DST = stringToBytes(htfOptions.DST);
274 |   let pseudo_random_bytes = msg;
275 |   if (htfOptions.expand) {
276 |     pseudo_random_bytes = await expand_message_xmd(msg, DST, len_in_bytes);
277 |   }
278 |   const u = new Array(count);
279 |   for (let i = 0; i < count; i++) {
280 |     const e = new Array(htfOptions.m);
281 |     for (let j = 0; j < htfOptions.m; j++) {
282 |       const elm_offset = L * (j + i * htfOptions.m);
283 |       const tv = pseudo_random_bytes.slice(elm_offset, elm_offset + L);
284 |       e[j] = mod(os2ip(tv), htfOptions.p);
285 |     }
286 |     u[i] = e;
287 |   }
288 |   return u;
289 | }
290 | 
291 | export function bigint_to_array(n: number, k: number, x: bigint) {
292 |   let mod: bigint = 1n;
293 |   for (let idx = 0; idx < n; idx++) {
294 |     mod = mod * 2n;
295 |   }
296 | 
297 |   let ret: string[] = [];
298 |   var x_temp: bigint = x;
299 |   for (let idx = 0; idx < k; idx++) {
300 |     ret.push((x_temp % mod).toString());
301 |     x_temp = x_temp / mod;
302 |   }
303 |   return ret;
304 | }
305 | 
306 | export async function msg_hash(message: string) {
307 |   let msg = stringToBytes(message);
308 | 
309 |   let u = await hash_to_field(msg, 2);
310 |   // return u;
311 | 
312 |   return [
313 |     [bigint_to_array(55, 7, u[0][0]), bigint_to_array(55, 7, u[0][1])],
314 |     [bigint_to_array(55, 7, u[1][0]), bigint_to_array(55, 7, u[1][1])],
315 |   ];
316 | }
317 |

--------------------------------------------------------------------------------
/src/index.css:
--------------------------------------------------------------------------------
  1 | body {
  2 |   font-family: Inter, sans-serif;
  3 |   font-size: 1rem;
  4 |   font-weight: 400;
  5 |   line-height: 1.5;
  6 |   background-color: var(--bg);
  7 |   color: var(--body-color, #dee2e6);
  8 |   text-align: left;
  9 | }
 10 | :root {
 11 |   --blue: #3498db;
 12 |   --indigo: #6610f2;
 13 |   --purple: #693a39;
 14 |   --pink: #aa2869;
 15 |   --red: #f3454a;
 16 |   --orange: #ffaa31;
 17 |   --yellow: #f8c988;
 18 |   --green: #7dc382;
 19 |   --teal: #37f0f0;
 20 |   --cyan: #7fd8e6;
 21 |   --white: #000;
 22 |   --gray: #c4c4ba;
 23 |   --gray-dark: #e9ecef;
 24 |   --shadow-light: rgba(151, 152, 155, 0.2);
 25 |   --shadow-dark: rgba(159, 162, 177, 0.8);
 26 |   --font-color: #fff;
 27 |   --body-color: #dee2e6;
 28 |   --charade: #2f2e42;
 29 |   --manhattan: #f5b498;
 30 |   --rhino: #274253;
 31 |   --terracotta: #dd765e;
 32 |   --linear-gradient: linear-gradient(
 33 |     to right top,
 34 |     #444359,
 35 |     #403f55,
 36 |     #3c3b50,
 37 |     #38374c,
 38 |     #343348,
 39 |     #313045,
 40 |     #2f2e42,
 41 |     #2c2b3f,
 42 |     #2a293d,
 43 |     #27263a,
 44 |     #252438,
 45 |     #232236
 46 |   );
 47 |   --shadow-only-light: rgba(0, 0, 0, 0);
 48 |   --navbar-light-color: rgba(255, 255, 255, 0.5);
 49 |   --navbar-light-hover-color: rgba(255, 255, 255, 0.7);
 50 |   --navbar-light-active-color: rgba(255, 255, 255, 0.9);
 51 |   --navbar-light-disabled-color: rgba(255, 255, 255, 0.3);
 52 |   --primary: #ffaa31;
 53 |   --secondary: #c4c4ba;
 54 |   --success: #7dc382;
 55 |   --info: #7fd8e6;
 56 |   --warning: #f8c988;
 57 |   --danger: #f3454a;
 58 |   --light: #343a40;
 59 |   --dark: #e7e1d7;
 60 |   --bg: #1e1c1f;
 61 |   --bg-color: #232024;
 62 |   --shadow-color: #1e1c1f;
 63 |   --bg-color-light: #5c4e4e55;
 64 |   --bg-color-nav: #413938;
 65 |   --bg-color-secondary: #24201f;
 66 |   --card-border-color: rgba(255, 255, 255, 0.125);
 67 |   --link-color: #66bce9;
 68 |   --link-hover-color: #166a96;
 69 |   --input-color: #dee2e6;
 70 |   --input-border-color: #6c757d;
 71 |   --border-color: #5c4e4e;
 72 |   --border-color-transparent: #5c4e4e80;
 73 |   --mask-fill-color: #1473e631;
 74 |   --transparent-font-color: #f5f3f380;
 75 |   --banner-background: #2f2e42;
 76 |   --banner-text: #f5b498;
 77 |   --highlight: rgba(248, 184, 139, 0.2);
 78 |   --breakpoint-xs: 0;
 79 |   --breakpoint-sm: 640px;
 80 |   --breakpoint-md: 820px;
 81 |   --breakpoint-lg: 1140px;
 82 |   --breakpoint-xl: 1440px;
 83 |   --font-family-sans-serif: "Inter", sans-serif;
 84 |   --font-family-monospace: "Roboto Mono", SFMono-Regular, Menlo, Monaco,
 85 |     Consolas, "Liberation Mono", "Courier New", monospace;
 86 | }
 87 | html {
 88 |   font-family: sans-serif;
 89 |   line-height: 1.15;
 90 |   -webkit-text-size-adjust: 100%;
 91 | }
 92 | html {
 93 |   font-family: "Inter var", sans-serif;
 94 | }
 95 | html {
 96 |   font-family: Inter, sans-serif;
 97 | }
 98 | 
 99 | code {
100 |   font-family: source-code-pro, Menlo, Monaco, Consolas, "Courier New",
101 |     monospace;
102 | }
103 |

--------------------------------------------------------------------------------
/src/logo.svg:
--------------------------------------------------------------------------------
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 | <svg width="256px" height="250px" viewBox="0 0 256 250" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" preserveAspectRatio="xMidYMid">
3 |     <g>
4 |         <path d="M128.00106,0 C57.3172926,0 0,57.3066942 0,128.00106 C0,184.555281 36.6761997,232.535542 87.534937,249.460899 C93.9320223,250.645779 96.280588,246.684165 96.280588,243.303333 C96.280588,240.251045 96.1618878,230.167899 96.106777,219.472176 C60.4967585,227.215235 52.9826207,204.369712 52.9826207,204.369712 C47.1599584,189.574598 38.770408,185.640538 38.770408,185.640538 C27.1568785,177.696113 39.6458206,177.859325 39.6458206,177.859325 C52.4993419,178.762293 59.267365,191.04987 59.267365,191.04987 C70.6837675,210.618423 89.2115753,204.961093 96.5158685,201.690482 C97.6647155,193.417512 100.981959,187.77078 104.642583,184.574357 C76.211799,181.33766 46.324819,170.362144 46.324819,121.315702 C46.324819,107.340889 51.3250588,95.9223682 59.5132437,86.9583937 C58.1842268,83.7344152 53.8029229,70.715562 60.7532354,53.0843636 C60.7532354,53.0843636 71.5019501,49.6441813 95.9626412,66.2049595 C106.172967,63.368876 117.123047,61.9465949 128.00106,61.8978432 C138.879073,61.9465949 149.837632,63.368876 160.067033,66.2049595 C184.49805,49.6441813 195.231926,53.0843636 195.231926,53.0843636 C202.199197,70.715562 197.815773,83.7344152 196.486756,86.9583937 C204.694018,95.9223682 209.660343,107.340889 209.660343,121.315702 C209.660343,170.478725 179.716133,181.303747 151.213281,184.472614 C155.80443,188.444828 159.895342,196.234518 159.895342,208.176593 C159.895342,225.303317 159.746968,239.087361 159.746968,243.303333 C159.746968,246.709601 162.05102,250.70089 168.53925,249.443941 C219.370432,232.499507 256,184.536204 256,128.00106 C256,57.3066942 198.691187,0 128.00106,0 Z M47.9405593,182.340212 C47.6586465,182.976105 46.6581745,183.166873 45.7467277,182.730227 C44.8183235,182.312656 44.2968914,181.445722 44.5978808,180.80771 C44.8734344,180.152739 45.876026,179.97045 46.8023103,180.409216 C47.7328342,180.826786 48.2627451,181.702199 47.9405593,182.340212 Z M54.2367892,187.958254 C53.6263318,188.524199 52.4329723,188.261363 51.6232682,187.366874 C50.7860088,186.474504 50.6291553,185.281144 51.2480912,184.70672 C51.8776254,184.140775 53.0349512,184.405731 53.8743302,185.298101 C54.7115892,186.201069 54.8748019,187.38595 54.2367892,187.958254 Z M58.5562413,195.146347 C57.7719732,195.691096 56.4895886,195.180261 55.6968417,194.042013 C54.9125733,192.903764 54.9125733,191.538713 55.713799,190.991845 C56.5086651,190.444977 57.7719732,190.936735 58.5753181,192.066505 C59.3574669,193.22383 59.3574669,194.58888 58.5562413,195.146347 Z M65.8613592,203.471174 C65.1597571,204.244846 63.6654083,204.03712 62.5716717,202.981538 C61.4524999,201.94927 61.1409122,200.484596 61.8446341,199.710926 C62.5547146,198.935137 64.0575422,199.15346 65.1597571,200.200564 C66.2704506,201.230712 66.6095936,202.705984 65.8613592,203.471174 Z M75.3025151,206.281542 C74.9930474,207.284134 73.553809,207.739857 72.1039724,207.313809 C70.6562556,206.875043 69.7087748,205.700761 70.0012857,204.687571 C70.302275,203.678621 71.7478721,203.20382 73.2083069,203.659543 C74.6539041,204.09619 75.6035048,205.261994 75.3025151,206.281542 Z M86.046947,207.473627 C86.0829806,208.529209 84.8535871,209.404622 83.3316829,209.4237 C81.8013,209.457614 80.563428,208.603398 80.5464708,207.564772 C80.5464708,206.498591 81.7483088,205.631657 83.2786917,205.606221 C84.8005962,205.576546 86.046947,206.424403 86.046947,207.473627 Z M96.6021471,207.069023 C96.7844366,208.099171 95.7267341,209.156872 94.215428,209.438785 C92.7295577,209.710099 91.3539086,209.074206 91.1652603,208.052538 C90.9808515,206.996955 92.0576306,205.939253 93.5413813,205.66582 C95.054807,205.402984 96.4092596,206.021919 96.6021471,207.069023 Z" fill="white"></path>
5 |     </g>
6 | </svg>

--------------------------------------------------------------------------------
/src/reportWebVitals.tsx:
--------------------------------------------------------------------------------
 1 | import { ReportHandler } from "web-vitals";
 2 | 
 3 | const reportWebVitals = (onPerfEntry?: ReportHandler) => {
 4 |   if (onPerfEntry && onPerfEntry instanceof Function) {
 5 |     import("web-vitals").then(({ getCLS, getFID, getFCP, getLCP, getTTFB }) => {
 6 |       getCLS(onPerfEntry);
 7 |       getFID(onPerfEntry);
 8 |       getFCP(onPerfEntry);
 9 |       getLCP(onPerfEntry);
10 |       getTTFB(onPerfEntry);
11 |     });
12 |   }
13 | };
14 | 
15 | export default reportWebVitals;
16 |

--------------------------------------------------------------------------------
/src/setupTests.tsx:
--------------------------------------------------------------------------------
1 | // jest-dom adds custom jest matchers for asserting on DOM nodes.
2 | // allows you to do things like:
3 | // expect(element).toHaveTextContent(/react/i)
4 | // learn more: https://github.com/testing-library/jest-dom
5 | import '@testing-library/jest-dom';
6 |

--------------------------------------------------------------------------------
/src/vkey.json:
--------------------------------------------------------------------------------
  1 | {
  2 |  "protocol": "groth16",
  3 |  "curve": "bn128",
  4 |  "nPublic": 70,
  5 |  "vk_alpha_1": [
  6 |   "20491192805390485299153009773594534940189261866228447918068658471970481763042",
  7 |   "9383485363053290200918347156157836566562967994039712273449902621266178545958",
  8 |   "1"
  9 |  ],
 10 |  "vk_beta_2": [
 11 |   [
 12 |    "6375614351688725206403948262868962793625744043794305715222011528459656738731",
 13 |    "4252822878758300859123897981450591353533073413197771768651442665752259397132"
 14 |   ],
 15 |   [
 16 |    "10505242626370262277552901082094356697409835680220590971873171140371331206856",
 17 |    "21847035105528745403288232691147584728191162732299865338377159692350059136679"
 18 |   ],
 19 |   [
 20 |    "1",
 21 |    "0"
 22 |   ]
 23 |  ],
 24 |  "vk_gamma_2": [
 25 |   [
 26 |    "10857046999023057135944570762232829481370756359578518086990519993285655852781",
 27 |    "11559732032986387107991004021392285783925812861821192530917403151452391805634"
 28 |   ],
 29 |   [
 30 |    "8495653923123431417604973247489272438418190587263600148770280649306958101930",
 31 |    "4082367875863433681332203403145435568316851327593401208105741076214120093531"
 32 |   ],
 33 |   [
 34 |    "1",
 35 |    "0"
 36 |   ]
 37 |  ],
 38 |  "vk_delta_2": [
 39 |   [
 40 |    "13475773117118319559631050521113469874166938234925904165816203174972693625499",
 41 |    "16090366942136770774825704333373724850232506775834331949642911549091801107353"
 42 |   ],
 43 |   [
 44 |    "13797622015267900234318884768313004774596860824241522013266826448618673776861",
 45 |    "20363940807123573641357982318184877485356707989158019981793555513789177124304"
 46 |   ],
 47 |   [
 48 |    "1",
 49 |    "0"
 50 |   ]
 51 |  ],
 52 |  "vk_alphabeta_12": [
 53 |   [
 54 |    [
 55 |     "2029413683389138792403550203267699914886160938906632433982220835551125967885",
 56 |     "21072700047562757817161031222997517981543347628379360635925549008442030252106"
 57 |    ],
 58 |    [
 59 |     "5940354580057074848093997050200682056184807770593307860589430076672439820312",
 60 |     "12156638873931618554171829126792193045421052652279363021382169897324752428276"
 61 |    ],
 62 |    [
 63 |     "7898200236362823042373859371574133993780991612861777490112507062703164551277",
 64 |     "7074218545237549455313236346927434013100842096812539264420499035217050630853"
 65 |    ]
 66 |   ],
 67 |   [
 68 |    [
 69 |     "7077479683546002997211712695946002074877511277312570035766170199895071832130",
 70 |     "10093483419865920389913245021038182291233451549023025229112148274109565435465"
 71 |    ],
 72 |    [
 73 |     "4595479056700221319381530156280926371456704509942304414423590385166031118820",
 74 |     "19831328484489333784475432780421641293929726139240675179672856274388269393268"
 75 |    ],
 76 |    [
 77 |     "11934129596455521040620786944827826205713621633706285934057045369193958244500",
 78 |     "8037395052364110730298837004334506829870972346962140206007064471173334027475"
 79 |    ]
 80 |   ]
 81 |  ],
 82 |  "IC": [
 83 |   [
 84 |    "2360648947565767028110556106057533094815151995913626177618316325362554481143",
 85 |    "4781467002270421911737497145899520609149080288614099368535214242821167423646",
 86 |    "1"
 87 |   ],
 88 |   [
 89 |    "9671719455670276113573746365142746935448407298341102555889019656700244370975",
 90 |    "12398074409756775884836161023912376093478123146538306518327996768396254814320",
 91 |    "1"
 92 |   ],
 93 |   [
 94 |    "16771797607314326703408683472762065943170186961306710315161653891429886567015",
 95 |    "8291833410420333129035529903494965042571858869498319488723889430947056709278",
 96 |    "1"
 97 |   ],
 98 |   [
 99 |    "311522335048742816468020401389164734375435719665662514715596401365991226727",
100 |    "13172196748204107420861085424890465245210999322462335668644024666335620288227",
101 |    "1"
102 |   ],
103 |   [
104 |    "11370776836603999080235799457928007066852174326840707341062205644253967298334",
105 |    "2427335320535713779214805362487407761447993175189948229042819786037508288064",
106 |    "1"
107 |   ],
108 |   [
109 |    "7808976010636750921298543731614250192248965654995336932207869275052266375814",
110 |    "11181313044728652814242029288659834284557135376510799840035090863446459181021",
111 |    "1"
112 |   ],
113 |   [
114 |    "18606430655040817291625638953001084580400370657182837496815289001840713706594",
115 |    "12427548363296913484868285493710148508815564258748113411195621061381632491014",
116 |    "1"
117 |   ],
118 |   [
119 |    "18054343835219722973619054402732961110516119854219889832822608474823939391582",
120 |    "6610576214480355636990176295164010630910308060787100907166256416828657469123",
121 |    "1"
122 |   ],
123 |   [
124 |    "11787323377363609391931142008736488309467702901137451008228306090337819745566",
125 |    "11991442300037186298697569899269570621396630933508940871864270820989260751449",
126 |    "1"
127 |   ],
128 |   [
129 |    "4060231476139713616088988973122756541549579429829621068665995961764858995628",
130 |    "11454217737870451893265934578300537427466655334694789066680905834465438901897",
131 |    "1"
132 |   ],
133 |   [
134 |    "6440284956002218049081468869776712767264344391829754932348158431421667227487",
135 |    "18696780161045686611270349282148194296797277230825571986722068045978353968759",
136 |    "1"
137 |   ],
138 |   [
139 |    "21062763562655645907254908164011390916314134985234527567697151083403886745344",
140 |    "3194248188886259080459376969506932583000836510774443222873629722048076352108",
141 |    "1"
142 |   ],
143 |   [
144 |    "14190470410976592713216728572016643620368461790839733185411913984072050321800",
145 |    "19274721086443662258082250455906351660750586803627296719979891195811455130493",
146 |    "1"
147 |   ],
148 |   [
149 |    "7242724915594281140494310323625836605387236711161393542931259808458526391341",
150 |    "18654947281460125150537423548426230330719898676865997004634277664116682535914",
151 |    "1"
152 |   ],
153 |   [
154 |    "20785324232916327805060376422192930619347467261653677651409746621984562123210",
155 |    "20562023969431214787747825738560844870561226056452173190901034404588290185962",
156 |    "1"
157 |   ],
158 |   [
159 |    "10788671387445502140204003917824807564359473840540924952340118426496713572343",
160 |    "7878023659383110276431163832261294244620184048115645872179959762362329855555",
161 |    "1"
162 |   ],
163 |   [
164 |    "20235392398201610070741328499059615515500922557374546396489395561017917151251",
165 |    "17039767043588165564361613391278183749735070811735796374786193880681622631155",
166 |    "1"
167 |   ],
168 |   [
169 |    "13480615563085914078129837436647908206778616399420796295047656332439155809409",
170 |    "13564792780512193406576690062917059602446895614690736617839399955357153951776",
171 |    "1"
172 |   ],
173 |   [
174 |    "15861814257856733020474585690526169714052469613292192196515427339584615084674",
175 |    "3187515277923724217321733163385702714685134509148135084234134461791929451316",
176 |    "1"
177 |   ],
178 |   [
179 |    "14692905787257426414904096581631508893225126162108944052011904166413805473146",
180 |    "18574921032482846221332352539415785862742131904474708284441336858652142693228",
181 |    "1"
182 |   ],
183 |   [
184 |    "7924753855963698157056508491341016178921862215909694451480772633026340553151",
185 |    "12932751850467943885512404304794968706272350518832518084564763957404419739887",
186 |    "1"
187 |   ],
188 |   [
189 |    "14843890987748956347471306947844464297181486682124074485069793603884437724874",
190 |    "8275568868899695157273295444643948449278235864237609101402578573659209815295",
191 |    "1"
192 |   ],
193 |   [
194 |    "17579054925928839460558699731298350760491044544171166989510711643604071432420",
195 |    "19237404068113988538965012614761476278386081051844734118870100739427187791306",
196 |    "1"
197 |   ],
198 |   [
199 |    "561850596323941031279044612153916669680931514145473844152760923439951952536",
200 |    "12652792679056312614723928825873604664150318131589163767082459372535026177227",
201 |    "1"
202 |   ],
203 |   [
204 |    "9299082078414181531936552237189300026536964257063908969831189772828786255848",
205 |    "16641178479080970561538128348175323484611962937076510564478206213451284498632",
206 |    "1"
207 |   ],
208 |   [
209 |    "9511640721760216672469069114456179498768840062125309925554978838104524920871",
210 |    "5626599891478621844389498677255245934054465391284967359216976699797035903945",
211 |    "1"
212 |   ],
213 |   [
214 |    "15379898300879067008577631192003115949883289866926205402752487383984426002538",
215 |    "1246204758572413488477756316058344957876816894399546922206489634421723093038",
216 |    "1"
217 |   ],
218 |   [
219 |    "4283423066548643387638255225705619453510797299772434273199978912075420745861",
220 |    "5058935884188116848219107751192581372053629447036924513375294569654650067990",
221 |    "1"
222 |   ],
223 |   [
224 |    "8392353168859783938388797595064816469095429058918009941345054765100008820559",
225 |    "9946729580969371711812239170576472599001637357342572384957636497686109139497",
226 |    "1"
227 |   ],
228 |   [
229 |    "302027653568016972451325713992755703416837815799754856664805014657632951587",
230 |    "7095846449176311880754503186208841506377771055630324594121131264120182477219",
231 |    "1"
232 |   ],
233 |   [
234 |    "17928185295660200683254596529635457472801800910020757787125276451897040355129",
235 |    "3658126482248977882682084596892151444359221643994795175343479403956115555267",
236 |    "1"
237 |   ],
238 |   [
239 |    "267148547025489580741845331819679404248744288166636579786469941269717978438",
240 |    "1678829077775163851039482287331717445307417585812182485488847657210335164800",
241 |    "1"
242 |   ],
243 |   [
244 |    "7024051750253148462776077059693081283701555541016516172650186260554149355142",
245 |    "12674427998305427806894755949803175778915515618813419246118499686313701480453",
246 |    "1"
247 |   ],
248 |   [
249 |    "2177369816399388807863384449829903278342874431645112410059334145004944154700",
250 |    "12331985220049992131348323037912912809685026485614340071615210822950358638818",
251 |    "1"
252 |   ],
253 |   [
254 |    "13315732943324830699214507559010052122488596093176150404381042265144837474550",
255 |    "17355605042146865959149070183687219595080374697081809259673841589735273262592",
256 |    "1"
257 |   ],
258 |   [
259 |    "11820475126574382521385990846239200509944074705112649711807909824082658722219",
260 |    "12141920913912106000648069499500788791212872361646122689129389325191830395953",
261 |    "1"
262 |   ],
263 |   [
264 |    "16619425038844267230531752921225528387601112643250287094844472409833774683420",
265 |    "18915613229979596113973524870205495051348655047780698023879189082447420588896",
266 |    "1"
267 |   ],
268 |   [
269 |    "18745854266091920048729290488443682665839878087545004995713878821925233154942",
270 |    "18549985803788744175926353318464275392497171383243034522915485774000283995352",
271 |    "1"
272 |   ],
273 |   [
274 |    "19617574948966645539980025383483311405972166720960471711070581035638424243402",
275 |    "11480923825491057551661687380936237603810457038492205604419883978899124407920",
276 |    "1"
277 |   ],
278 |   [
279 |    "12469034321272977355282477688043972346425113055239819177000908411530293618486",
280 |    "17486104223558831591800672789260067938331009571965468058914534522878428437156",
281 |    "1"
282 |   ],
283 |   [
284 |    "15516028552072837544000765313584743391650184157089349945365709143304858280751",
285 |    "14888853617511907001321041986730022083501107416263882284423496512125487997426",
286 |    "1"
287 |   ],
288 |   [
289 |    "9946639159755467190674813588727805597104570446711023590656060878848515923266",
290 |    "9667330246306460702363020028411686154959501794080815838804988221587248830659",
291 |    "1"
292 |   ],
293 |   [
294 |    "19983979755957943863746353310502584945886748502910144562747356035444854796545",
295 |    "11435669027183562589681627281932846230899873127541940260409182699046469312561",
296 |    "1"
297 |   ],
298 |   [
299 |    "16553003977257868805023228238677093841482162866310941212734777208347819900408",
300 |    "9376286826645216288030281233198512260112507317648409213870308888770318497231",
301 |    "1"
302 |   ],
303 |   [
304 |    "18743672621918466443059068615435821901919224498340293534749172259012104561690",
305 |    "10411233834416423718285946230415037288791180319407968939161675018685070075777",
306 |    "1"
307 |   ],
308 |   [
309 |    "9812366978919660883177668956764366645471755041313452072957228861611887664565",
310 |    "1214233508015575812054252152670068362133704522066621878878621805186126373989",
311 |    "1"
312 |   ],
313 |   [
314 |    "6459395480152830174473209631889202414207645485029544563444124522027268974256",
315 |    "17336809347791781229782763453754355042453646654954030175691184543494571959212",
316 |    "1"
317 |   ],
318 |   [
319 |    "6510293574091151397884821503643490052875464918728113563235321954237222282564",
320 |    "1586619163028196275813078340770835962333907212838306679019824525645729901379",
321 |    "1"
322 |   ],
323 |   [
324 |    "10436826643972954843634496863230281180792703030114527989546083394827570391701",
325 |    "18246932245927545066390175566749768537780164469727481028093957909307535431049",
326 |    "1"
327 |   ],
328 |   [
329 |    "2381363268384365207317845128025645329377709115818561171281858826376154318081",
330 |    "11008237343010664655949885061263500187356437714911268520719313764261011703927",
331 |    "1"
332 |   ],
333 |   [
334 |    "21002265052673489988783619069125827185267443898718446742544978638669063094404",
335 |    "13678781979437291698068882010090931986452473523777989437156238056197279840621",
336 |    "1"
337 |   ],
338 |   [
339 |    "12280532885079936998526480297521165358102632288365824120342799708647468616688",
340 |    "5711634276438585724786183154741942342947554075953477734959843781372404151659",
341 |    "1"
342 |   ],
343 |   [
344 |    "9476179608832096244395218621881954965122362125432862359476532897896737536282",
345 |    "20052868023193048692435168728300895799260908222113306169678133521796626931157",
346 |    "1"
347 |   ],
348 |   [
349 |    "8118563536046950533416942683389619343921205756589992495093187133083247546255",
350 |    "9258323076690265281509701929576480709398425536220667653701484351617107545349",
351 |    "1"
352 |   ],
353 |   [
354 |    "261691752480658967989718714897106578702858608105515175966831230466780821717",
355 |    "20518139631233075717352307358884759410820299322183216456483817361882138359198",
356 |    "1"
357 |   ],
358 |   [
359 |    "3018171838398557810875894783104238526915745947624742624391624147938014570659",
360 |    "3691950858336991230269347697840289656694990537703508399683501521112454562906",
361 |    "1"
362 |   ],
363 |   [
364 |    "1052329910539245846595809234889146386049960865358100678208304566453502221063",
365 |    "6083764653025516906924890364503562135011852097272563920254809198218823634329",
366 |    "1"
367 |   ],
368 |   [
369 |    "14577515289867864096164579960545945021343791001324796323263487379998616563026",
370 |    "18680039221624274362676631394639711923408192425598506057126839287840180438178",
371 |    "1"
372 |   ],
373 |   [
374 |    "14590393586061469340835642674753483343922892843943311804514795791994476285355",
375 |    "17363409649275579959924057208210101444228569213517655419960929568679958139477",
376 |    "1"
377 |   ],
378 |   [
379 |    "14187063720398850244681395408637801943626264049671896002424902131894991224292",
380 |    "21692902941870852068606008837944728856761698134203568857647444831173910276850",
381 |    "1"
382 |   ],
383 |   [
384 |    "9180689124546806636755322386876716379656446273923627904301663400472595986099",
385 |    "19139697675717852948807646677632060166234660344566847227942040150000948141676",
386 |    "1"
387 |   ],
388 |   [
389 |    "20811834459189220993676366834504551477574496170048882257376115633212125570009",
390 |    "16434140805458305576184742674429222821002463549043744371358211801744161423606",
391 |    "1"
392 |   ],
393 |   [
394 |    "1759164465614701572066690199642803720892803606470150925392205583290086498343",
395 |    "11861739070094915485384840885838973878876297386243978628986051523710518991162",
396 |    "1"
397 |   ],
398 |   [
399 |    "12402911433995433558922034566902176881234827063645550208132230611065456470427",
400 |    "10488240184499240849467212179965676711886128707050992441876864161455918996110",
401 |    "1"
402 |   ],
403 |   [
404 |    "10180754841527400070877198792828595544502593315596508085341434729762174202037",
405 |    "7872144995764934632193420494805355053978038461336509544534572595994120958345",
406 |    "1"
407 |   ],
408 |   [
409 |    "15996494937499479348580021593354017483452880311521134682882847655545098766054",
410 |    "21064990612402323470256930116925177022795032160041505691367204000212946146582",
411 |    "1"
412 |   ],
413 |   [
414 |    "12368883143550260029343658177130789494435311425929739294332231197539584922762",
415 |    "3824535871816827974036673202217053042751575640074861672618548749295956350954",
416 |    "1"
417 |   ],
418 |   [
419 |    "12549121467962410459078040045885713975181397234436243588406699091421321249306",
420 |    "16925842097107451083601011167967096176064560952595757998731705152632839510352",
421 |    "1"
422 |   ],
423 |   [
424 |    "13529977390258239553965146997543827525678492229396244964042215307405307575687",
425 |    "9103469360131838420818911740359732730829643950815566419594881248236237402437",
426 |    "1"
427 |   ],
428 |   [
429 |    "1883431386930066663651409632104495416118739613730094188284641710202680485291",
430 |    "10646724733671901935428260365398316953387224045549200639179200140787659960185",
431 |    "1"
432 |   ],
433 |   [
434 |    "6350646664883312156826463937662376894854559740793790222116332479049904868380",
435 |    "6597726373851950836683258223952538947664514587830067697386494041252619871324",
436 |    "1"
437 |   ]
438 |  ]
439 | }

--------------------------------------------------------------------------------
/tsconfig.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "compilerOptions": {
 3 |     "jsx": "react-jsx",
 4 |     "target": "ES2020",
 5 |     "module": "esnext",
 6 |     "sourceMap": true,
 7 |     "resolveJsonModule": true,
 8 |     "esModuleInterop": true,
 9 |     "forceConsistentCasingInFileNames": true,
10 |     "strict": true,
11 |     "skipLibCheck": true,
12 |     "lib": ["dom", "dom.iterable", "esnext"],
13 |     "allowJs": true,
14 |     "allowSyntheticDefaultImports": true,
15 |     "noFallthroughCasesInSwitch": true,
16 |     "moduleResolution": "node",
17 |     "isolatedModules": true,
18 |     "noEmit": true
19 |   },
20 |   "include": ["src"]
21 | }
22 |

--------------------------------------------------------------------------------

{fileName}

zkPairing