@silvana-one/mina-curves 0.3.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/README.md +3 -0
- package/dist/node/curve/constants.d.ts +34 -0
- package/dist/node/curve/constants.js +323 -0
- package/dist/node/curve/constants.js.map +1 -0
- package/dist/node/curve/curve.d.ts +50 -0
- package/dist/node/curve/curve.js +307 -0
- package/dist/node/curve/curve.js.map +1 -0
- package/dist/node/curve/hash.d.ts +6 -0
- package/dist/node/curve/hash.js +89 -0
- package/dist/node/curve/hash.js.map +1 -0
- package/dist/node/curve/index.d.ts +4 -0
- package/dist/node/curve/index.js +5 -0
- package/dist/node/curve/index.js.map +1 -0
- package/dist/node/curve/verify.d.ts +4 -0
- package/dist/node/curve/verify.js +19 -0
- package/dist/node/curve/verify.js.map +1 -0
- package/dist/node/index.cjs +711 -0
- package/dist/node/index.d.ts +2 -0
- package/dist/node/index.js +3 -0
- package/dist/node/index.js.map +1 -0
- package/dist/node/poseidon.d.ts +1 -0
- package/dist/node/poseidon.js +5 -0
- package/dist/node/poseidon.js.map +1 -0
- package/dist/node/signature.d.ts +6 -0
- package/dist/node/signature.js +6 -0
- package/dist/node/signature.js.map +1 -0
- package/dist/tsconfig.node.tsbuildinfo +1 -0
- package/dist/tsconfig.web.tsbuildinfo +1 -0
- package/dist/web/curve/constants.d.ts +34 -0
- package/dist/web/curve/constants.js +323 -0
- package/dist/web/curve/constants.js.map +1 -0
- package/dist/web/curve/curve.d.ts +50 -0
- package/dist/web/curve/curve.js +307 -0
- package/dist/web/curve/curve.js.map +1 -0
- package/dist/web/curve/hash.d.ts +6 -0
- package/dist/web/curve/hash.js +89 -0
- package/dist/web/curve/hash.js.map +1 -0
- package/dist/web/curve/index.d.ts +4 -0
- package/dist/web/curve/index.js +5 -0
- package/dist/web/curve/index.js.map +1 -0
- package/dist/web/curve/verify.d.ts +4 -0
- package/dist/web/curve/verify.js +19 -0
- package/dist/web/curve/verify.js.map +1 -0
- package/dist/web/index.d.ts +2 -0
- package/dist/web/index.js +3 -0
- package/dist/web/index.js.map +1 -0
- package/dist/web/poseidon.d.ts +1 -0
- package/dist/web/poseidon.js +5 -0
- package/dist/web/poseidon.js.map +1 -0
- package/dist/web/signature.d.ts +6 -0
- package/dist/web/signature.js +6 -0
- package/dist/web/signature.js.map +1 -0
- package/package.json +59 -0
- package/src/curve/constants.ts +328 -0
- package/src/curve/curve.ts +370 -0
- package/src/curve/hash.ts +108 -0
- package/src/curve/index.ts +4 -0
- package/src/curve/verify.ts +31 -0
- package/src/index.ts +2 -0
- package/src/poseidon.ts +5 -0
- package/src/signature.ts +11 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"curve.js","sourceRoot":"","sources":["../../../src/curve/curve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EAML,KAAK,EACL,gBAAgB,EAChB,KAAK,EACL,GAAG,EACH,MAAM,EACN,KAAK,EACL,KAAK,EACL,GAAG,EACH,GAAG,EACH,IAAI,EACJ,GAAG,GACJ,CAAC;AAQF,MAAM,cAAc,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AAO/C;;GAEG;AACH,MAAM,KAAK,GAAG;IACZ,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,EAAS;QAC1B,OAAO,oBAAoB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IACD;;;OAGG;IACH,cAAc,CAAC,KAAsB;QACnC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,QAAQ;YAAE,MAAM,KAAK,CAAC,yCAAyC,CAAC,CAAC;QACrE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAClB,CAAC;CACF,CAAC;AAEF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,eAAe,CAAC;AAExE,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAkB,EAAE,CAAS;IACvD,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EACV,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACX,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC/D,uFAAuF;IACvF,WAAW;IACX,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACxB,WAAW;IACX,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACxB,UAAU;IACV,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtB,uBAAuB;IACvB,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,UAAU;IACV,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACf,UAAU;IACV,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtB,aAAa;IACb,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,oBAAoB;IACpB,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,eAAe;IACf,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAkB,EAAE,CAAS;IAC5D,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EACV,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACX,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAE/D,uFAAuF;IACvF,eAAe;IACf,IAAI,KAAK,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5B,eAAe;IACf,IAAI,KAAK,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5B,kBAAkB;IAClB,IAAI,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9B,kCAAkC;IAClC,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IAC9B,sBAAsB;IACtB,IAAI,EAAE,GAAG,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,6BAA6B;IAC7B,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IACvD,mCAAmC;IACnC,IAAI,EAAE,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAkB,EAAE,CAAS,EAAE,CAAS;IAChE,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC;QAAE,OAAO,uBAAuB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,MAAM,KAAK,CACT,6FAA6F,CAC9F,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAmB,EAAE,CAAS;IAC5D,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,aAAa,CACpB,CAAkB,EAClB,CAAkB,EAClB,CAAS,EACT,CAAS;IAET,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EACV,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,EACR,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACX,wFAAwF;IACxF,cAAc;IACd,IAAI,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3B,cAAc;IACd,IAAI,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3B,eAAe;IACf,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3B,eAAe;IACf,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3B,kBAAkB;IAClB,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAChC,kBAAkB;IAClB,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAChC,YAAY;IACZ,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACxB,kFAAkF;IAClF,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACb,sEAAsE;QACtE,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,sDAAsD;QACtD,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE;YAAE,OAAO,cAAc,CAAC;QAClD,MAAM,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,CAAC;IACD,cAAc;IACd,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9B,UAAU;IACV,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtB,gBAAgB;IAChB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACvB,WAAW;IACX,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvB,iBAAiB;IACjB,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,uBAAuB;IACvB,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,+BAA+B;IAC/B,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CACpB,CAAkB,EAClB,CAAkB,EAClB,CAAS,EACT,CAAS;IAET,OAAO,aAAa,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAS,EAAE,CAAS;IAC/C,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,kBAAkB,CAAC;IACxC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC;QAAE,OAAO,uBAAuB,CAAC;IACjD,MAAM,KAAK,CACT,6FAA6F,CAC9F,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACX,MAAM,KAAK,CAAC,yDAAyD,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,IAAI,GAAc,EAAE,CAAC;IACzB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QACxB,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,CAAkB,EAClB,CAAqB,EACrB,CAAS,EACT,CAAS;IAET,IAAI,MAAM,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,IAAI,IAAI,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,GAAG,cAAc,CAAC;IACvB,KAAK,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,GAAG;YAAE,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,CAAkB,EAAE,CAAkB;IACjD,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AACD,SAAS,KAAK,CAAC,CAAkB,EAAE,CAAS;IAC1C,OAAO,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,oBAAoB,CAAC,EAC5B,CAAC,EACD,CAAC,EACD,QAAQ,GACI;IACZ,IAAI,QAAQ;QAAE,OAAO,cAAc,CAAC;IACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAkB;IAC5C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACZ,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACb,WAAW;QACX,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;SAAM,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACpB,iCAAiC;QACjC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAE,CAAC,CAAC,4CAA4C;QACvE,IAAI,YAAY,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QACvC,QAAQ;QACR,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC;QACnC,QAAQ;QACR,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC;QAC1C,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACzC,CAAC;AACH,CAAC;AAED,kCAAkC;AAClC,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS;IACnC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACd,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;IACjC,oKAAoK;IACpK,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,kCAAkC;AAClC,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;IACjC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACd,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,EAAE;YAAE,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,GAAG,CAAC,CAAW,EAAE,CAAW;IACnC,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,IAAI,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAClE,uEAAuE;IACvE,gDAAgD;IAChD,4DAA4D;IAC5D,uCAAuC;IACvC,gEAAgE;IAChE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,cAAc;IAChD,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oCAAoC;IAC3D,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kCAAkC;IACrD,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,KAAK,EAAE;YAAE,OAAO,CAAC,CAAC;QACvB,8EAA8E;QAC9E,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;YAChB,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAClB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QACb,CAAC;QACD,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,cAAc;QAC7C,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;QACtD,CAAC,GAAG,CAAC,CAAC;QACN,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClB,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClB,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAE,CAAC,EAAE,KAAK,EAAa;IAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAClB,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { Field, Scalar, Group } from "./curve.js";
|
|
2
|
+
export declare function poseidonInitialState(): bigint[];
|
|
3
|
+
export declare function poseidonUpdate([...state]: bigint[], input: bigint[]): bigint[];
|
|
4
|
+
export declare function hashMessage(message: {
|
|
5
|
+
fields: bigint[];
|
|
6
|
+
}, publicKey: Group, r: Field): Scalar;
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
import { add, power, dot } from "./curve.js";
|
|
2
|
+
import { PoseidonConstants } from "./constants.js";
|
|
3
|
+
export function poseidonInitialState() {
|
|
4
|
+
return Array(PoseidonConstants.stateSize).fill(0n);
|
|
5
|
+
}
|
|
6
|
+
export function poseidonUpdate([...state], input) {
|
|
7
|
+
// special case for empty input
|
|
8
|
+
const { rate } = PoseidonConstants;
|
|
9
|
+
if (input.length === 0) {
|
|
10
|
+
permutation(state);
|
|
11
|
+
return state;
|
|
12
|
+
}
|
|
13
|
+
// pad input with zeros so its length is a multiple of the rate
|
|
14
|
+
const n = Math.ceil(input.length / rate) * rate;
|
|
15
|
+
input = input.concat(Array(n - input.length).fill(0n));
|
|
16
|
+
// for every block of length `rate`, add block to the first `rate` elements of the state, and apply the permutation
|
|
17
|
+
for (let blockIndex = 0; blockIndex < n; blockIndex += rate) {
|
|
18
|
+
for (let i = 0; i < rate; i++) {
|
|
19
|
+
state[i] = add(state[i], input[blockIndex + i]);
|
|
20
|
+
}
|
|
21
|
+
permutation(state);
|
|
22
|
+
}
|
|
23
|
+
return state;
|
|
24
|
+
}
|
|
25
|
+
export function hashMessage(message, publicKey, r) {
|
|
26
|
+
let { x, y } = publicKey;
|
|
27
|
+
let input = append(message, { fields: [x, y, r] });
|
|
28
|
+
return hashWithPrefix(packToFields(input));
|
|
29
|
+
}
|
|
30
|
+
function append(input1, input2) {
|
|
31
|
+
return {
|
|
32
|
+
fields: (input1.fields ?? []).concat(input2.fields ?? []),
|
|
33
|
+
packed: (input1.packed ?? []).concat(input2.packed ?? []),
|
|
34
|
+
};
|
|
35
|
+
}
|
|
36
|
+
function packToFields({ fields = [], packed = [] }) {
|
|
37
|
+
if (packed.length === 0)
|
|
38
|
+
return fields;
|
|
39
|
+
const packedBits = [];
|
|
40
|
+
let currentPackedField = 0n;
|
|
41
|
+
let currentSize = 0;
|
|
42
|
+
for (let [field, size] of packed) {
|
|
43
|
+
currentSize += size;
|
|
44
|
+
if (currentSize < 255) {
|
|
45
|
+
currentPackedField = currentPackedField * (1n << BigInt(size)) + field;
|
|
46
|
+
}
|
|
47
|
+
else {
|
|
48
|
+
packedBits.push(currentPackedField);
|
|
49
|
+
currentSize = size;
|
|
50
|
+
currentPackedField = field;
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
packedBits.push(currentPackedField);
|
|
54
|
+
return fields.concat(packedBits);
|
|
55
|
+
}
|
|
56
|
+
//const signaturePrefix = "CodaSignature*******";
|
|
57
|
+
const prefix = 240717916736854602989207148466022993262069182275n;
|
|
58
|
+
function salt() {
|
|
59
|
+
return poseidonUpdate(poseidonInitialState(), [prefix]);
|
|
60
|
+
}
|
|
61
|
+
function hashWithPrefix(input) {
|
|
62
|
+
let init = salt();
|
|
63
|
+
return poseidonUpdate(init, input)[0];
|
|
64
|
+
}
|
|
65
|
+
function permutation(state) {
|
|
66
|
+
// special case: initial round constant
|
|
67
|
+
const { hasInitialRoundConstant, stateSize, roundConstants, fullRounds, power: power_, mds, } = PoseidonConstants;
|
|
68
|
+
let offset = 0;
|
|
69
|
+
if (hasInitialRoundConstant) {
|
|
70
|
+
for (let i = 0; i < stateSize; i++) {
|
|
71
|
+
state[i] = add(state[i], roundConstants[0][i]);
|
|
72
|
+
}
|
|
73
|
+
offset = 1;
|
|
74
|
+
}
|
|
75
|
+
for (let round = 0; round < fullRounds; round++) {
|
|
76
|
+
// raise to a power
|
|
77
|
+
for (let i = 0; i < stateSize; i++) {
|
|
78
|
+
state[i] = power(state[i], power_);
|
|
79
|
+
}
|
|
80
|
+
let oldState = [...state];
|
|
81
|
+
for (let i = 0; i < stateSize; i++) {
|
|
82
|
+
// multiply by mds matrix
|
|
83
|
+
state[i] = dot(mds[i], oldState);
|
|
84
|
+
// add round constants
|
|
85
|
+
state[i] = add(state[i], roundConstants[round + offset][i]);
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
//# sourceMappingURL=hash.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../../src/curve/hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,UAAU,oBAAoB;IAClC,OAAO,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAC,GAAG,KAAK,CAAW,EAAE,KAAe;IAClE,+BAA+B;IAC/B,MAAM,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,+DAA+D;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChD,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,mHAAmH;IACnH,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,UAAU,IAAI,IAAI,EAAE,CAAC;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,WAAW,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,OAA6B,EAC7B,SAAgB,EAChB,CAAQ;IAER,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC;IAEzB,IAAI,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAID,SAAS,MAAM,CAAC,MAAiB,EAAE,MAAiB;IAClD,OAAO;QACL,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,EAAa;IAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,MAAM,UAAU,GAAG,EAAE,CAAC;IACtB,IAAI,kBAAkB,GAAG,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,WAAW,IAAI,IAAI,CAAC;QACpB,IAAI,WAAW,GAAG,GAAG,EAAE,CAAC;YACtB,kBAAkB,GAAG,kBAAkB,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACpC,WAAW,GAAG,IAAI,CAAC;YACnB,kBAAkB,GAAG,KAAK,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACnC,CAAC;AAED,iDAAiD;AACjD,MAAM,MAAM,GAAG,iDAAiD,CAAC;AACjE,SAAS,IAAI;IACX,OAAO,cAAc,CAAC,oBAAoB,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;IAClB,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IAClC,uCAAuC;IACvC,MAAM,EACJ,uBAAuB,EACvB,SAAS,EACT,cAAc,EACd,UAAU,EACV,KAAK,EAAE,MAAM,EACb,GAAG,GACJ,GAAG,iBAAiB,CAAC;IACtB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,uBAAuB,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,GAAG,CAAC,CAAC;IACb,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;QAChD,mBAAmB;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,yBAAyB;YACzB,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjC,sBAAsB;YACtB,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/curve/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC"}
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import { Group, publicKeyToGroup, sub, scale, isEven, equal, } from "./curve.js";
|
|
2
|
+
import { hashMessage } from "./hash.js";
|
|
3
|
+
import { PallasConstants } from "./constants.js";
|
|
4
|
+
export function verify(signature, message, publicKey) {
|
|
5
|
+
const { r, s } = signature;
|
|
6
|
+
const pk = publicKeyToGroup(publicKey);
|
|
7
|
+
const e = hashMessage(message, pk, r);
|
|
8
|
+
const { one } = PallasConstants;
|
|
9
|
+
const R = sub(scale(one, s), scale(Group.toProjective(pk), e));
|
|
10
|
+
try {
|
|
11
|
+
// if `R` is infinity, Group.fromProjective throws an error, so `verify` returns false
|
|
12
|
+
const { x: rx, y: ry } = Group.fromProjective(R);
|
|
13
|
+
return isEven(ry) && equal(rx, r);
|
|
14
|
+
}
|
|
15
|
+
catch {
|
|
16
|
+
return false;
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
//# sourceMappingURL=verify.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../src/curve/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,EACL,gBAAgB,EAChB,GAAG,EACH,KAAK,EACL,MAAM,EACN,KAAK,GACN,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,MAAM,UAAU,MAAM,CACpB,SAAoB,EACpB,OAA6B,EAC7B,SAAoB;IAEpB,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC;IAC3B,MAAM,EAAE,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,GAAG,eAAe,CAAC;IAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC;QACH,sFAAsF;QACtF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export declare function poseidon(message: bigint[]): bigint;
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"poseidon.js","sourceRoot":"","sources":["../../src/poseidon.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExE,MAAM,UAAU,QAAQ,CAAC,OAAiB;IACxC,OAAO,cAAc,CAAC,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../src/signature.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,MAAM,UAAU,eAAe,CAAC,MAI/B;IACC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAC9C,OAAO,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;AACxD,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,59 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@silvana-one/mina-curves",
|
|
3
|
+
"description": "Mina Curves - Poseidon hash and Signature",
|
|
4
|
+
"version": "0.3.0",
|
|
5
|
+
"author": "DFST",
|
|
6
|
+
"bugs": "https://github.com/SilvanaOne/silvana-lib/issues",
|
|
7
|
+
"dependencies": {
|
|
8
|
+
"tslib": "^2.8.1"
|
|
9
|
+
},
|
|
10
|
+
"devDependencies": {
|
|
11
|
+
"@types/node": "^22.13.8",
|
|
12
|
+
"dotenv": "^16.4.7",
|
|
13
|
+
"esbuild": "^0.25.0",
|
|
14
|
+
"ts-node": "^10.9.2",
|
|
15
|
+
"typescript": "^5.8.2"
|
|
16
|
+
},
|
|
17
|
+
"engines": {
|
|
18
|
+
"node": ">=20.0.0"
|
|
19
|
+
},
|
|
20
|
+
"exports": {
|
|
21
|
+
"types": "./dist/node/index.d.ts",
|
|
22
|
+
"node": {
|
|
23
|
+
"import": "./dist/node/index.js",
|
|
24
|
+
"require": "./dist/node/index.cjs"
|
|
25
|
+
},
|
|
26
|
+
"browser": "./dist/web/index.js",
|
|
27
|
+
"default": "./dist/web/index.js"
|
|
28
|
+
},
|
|
29
|
+
"files": [
|
|
30
|
+
"dist",
|
|
31
|
+
"src",
|
|
32
|
+
"package.json",
|
|
33
|
+
"README.md",
|
|
34
|
+
"LICENSE"
|
|
35
|
+
],
|
|
36
|
+
"homepage": "https://docs.silvana.one",
|
|
37
|
+
"keywords": [
|
|
38
|
+
"mina-protocol",
|
|
39
|
+
"Silvana",
|
|
40
|
+
"typescript"
|
|
41
|
+
],
|
|
42
|
+
"license": "Apache-2.0",
|
|
43
|
+
"main": "dist/web/index.js",
|
|
44
|
+
"peerDependencies": {
|
|
45
|
+
},
|
|
46
|
+
"publishConfig": {
|
|
47
|
+
"access": "public"
|
|
48
|
+
},
|
|
49
|
+
"repository": "SilvanaOne/silvana-lib.git",
|
|
50
|
+
"scripts": {
|
|
51
|
+
"build": "rm -rf dist && tsc --build tsconfig.node.json && tsc --build tsconfig.web.json && node build-cjs.js",
|
|
52
|
+
"login": "npm login",
|
|
53
|
+
"release": "npm publish --access public",
|
|
54
|
+
"test": "NODE_NO_WARNINGS=1 node --loader=ts-node/esm --enable-source-maps -r dotenv/config --require dotenv/config --env-file=.env --test",
|
|
55
|
+
"signature": "npm run test ./test/signature.test.ts"
|
|
56
|
+
},
|
|
57
|
+
"type": "module",
|
|
58
|
+
"types": "./dist/node/index.d.ts"
|
|
59
|
+
}
|
|
@@ -0,0 +1,328 @@
|
|
|
1
|
+
export { PallasConstants, PoseidonConstants };
|
|
2
|
+
|
|
3
|
+
const PallasConstants = {
|
|
4
|
+
name: "Pallas",
|
|
5
|
+
modulus:
|
|
6
|
+
28948022309329048855892746252171976963363056481941560715954676764349967630337n,
|
|
7
|
+
order:
|
|
8
|
+
28948022309329048855892746252171976963363056481941647379679742748393362948097n,
|
|
9
|
+
cofactor: 1n,
|
|
10
|
+
zero: { x: 1n, y: 1n, z: 0n },
|
|
11
|
+
one: {
|
|
12
|
+
x: 1n,
|
|
13
|
+
y: 12418654782883325593414442427049395787963493412651469444558597405572177144507n,
|
|
14
|
+
z: 1n,
|
|
15
|
+
},
|
|
16
|
+
hasEndomorphism: true,
|
|
17
|
+
a: 0n,
|
|
18
|
+
b: 5n,
|
|
19
|
+
hasCofactor: false,
|
|
20
|
+
p: 28948022309329048855892746252171976963363056481941560715954676764349967630337n,
|
|
21
|
+
twoadicRoot:
|
|
22
|
+
19814229590243028906643993866117402072516588566294623396325693409366934201135n,
|
|
23
|
+
twoadicity: 32n,
|
|
24
|
+
oddFactor:
|
|
25
|
+
6739986666787659948666753771754907668419893943225396963757154709741n,
|
|
26
|
+
};
|
|
27
|
+
|
|
28
|
+
const PoseidonConstants = {
|
|
29
|
+
stateSize: 3,
|
|
30
|
+
rate: 2,
|
|
31
|
+
fullRounds: 55,
|
|
32
|
+
power: 7n,
|
|
33
|
+
hasInitialRoundConstant: false,
|
|
34
|
+
mds: [
|
|
35
|
+
[
|
|
36
|
+
12035446894107573964500871153637039653510326950134440362813193268448863222019n,
|
|
37
|
+
25461374787957152039031444204194007219326765802730624564074257060397341542093n,
|
|
38
|
+
27667907157110496066452777015908813333407980290333709698851344970789663080149n,
|
|
39
|
+
],
|
|
40
|
+
[
|
|
41
|
+
4491931056866994439025447213644536587424785196363427220456343191847333476930n,
|
|
42
|
+
14743631939509747387607291926699970421064627808101543132147270746750887019919n,
|
|
43
|
+
9448400033389617131295304336481030167723486090288313334230651810071857784477n,
|
|
44
|
+
],
|
|
45
|
+
[
|
|
46
|
+
10525578725509990281643336361904863911009900817790387635342941550657754064843n,
|
|
47
|
+
27437632000253211280915908546961303399777448677029255413769125486614773776695n,
|
|
48
|
+
27566319851776897085443681456689352477426926500749993803132851225169606086988n,
|
|
49
|
+
],
|
|
50
|
+
],
|
|
51
|
+
roundConstants: [
|
|
52
|
+
[
|
|
53
|
+
21155079691556475130150866428468322463125560312786319980770950159250751855431n,
|
|
54
|
+
16883442198399350202652499677723930673110172289234921799701652810789093522349n,
|
|
55
|
+
17030687036425314703519085065002231920937594822150793091243263847382891822670n,
|
|
56
|
+
],
|
|
57
|
+
[
|
|
58
|
+
25216718237129482752721276445368692059997901880654047883630276346421457427360n,
|
|
59
|
+
9054264347380455706540423067244764093107767235485930776517975315876127782582n,
|
|
60
|
+
26439087121446593160953570192891907825526260324480347638727375735543609856888n,
|
|
61
|
+
],
|
|
62
|
+
[
|
|
63
|
+
15251000790817261169639394496851831733819930596125214313084182526610855787494n,
|
|
64
|
+
10861916012597714684433535077722887124099023163589869801449218212493070551767n,
|
|
65
|
+
18597653523270601187312528478986388028263730767495975370566527202946430104139n,
|
|
66
|
+
],
|
|
67
|
+
[
|
|
68
|
+
15831416454198644276563319006805490049460322229057756462580029181847589006611n,
|
|
69
|
+
15171856919255965617705854914448645702014039524159471542852132430360867202292n,
|
|
70
|
+
15488495958879593647482715143904752785889816789652405888927117106448507625751n,
|
|
71
|
+
],
|
|
72
|
+
[
|
|
73
|
+
19039802679983063488134304670998725949842655199289961967801223969839823940152n,
|
|
74
|
+
4720101937153217036737330058775388037616286510783561045464678919473230044408n,
|
|
75
|
+
10226318327254973427513859412126640040910264416718766418164893837597674300190n,
|
|
76
|
+
],
|
|
77
|
+
[
|
|
78
|
+
20878756131129218406920515859235137275859844638301967889441262030146031838819n,
|
|
79
|
+
7178475685651744631172532830973371642652029385893667810726019303466125436953n,
|
|
80
|
+
1996970955918516145107673266490486752153434673064635795711751450164177339618n,
|
|
81
|
+
],
|
|
82
|
+
[
|
|
83
|
+
15205545916434157464929420145756897321482314798910153575340430817222504672630n,
|
|
84
|
+
25660296961552699573824264215804279051322332899472350724416657386062327210698n,
|
|
85
|
+
13842611741937412200312851417353455040950878279339067816479233688850376089318n,
|
|
86
|
+
],
|
|
87
|
+
[
|
|
88
|
+
1383799642177300432144836486981606294838630135265094078921115713566691160459n,
|
|
89
|
+
1135532281155277588005319334542025976079676424839948500020664227027300010929n,
|
|
90
|
+
4384117336930380014868572224801371377488688194169758696438185377724744869360n,
|
|
91
|
+
],
|
|
92
|
+
[
|
|
93
|
+
21725577575710270071808882335900370909424604447083353471892004026180492193649n,
|
|
94
|
+
676128913284806802699862508051022306366147359505124346651466289788974059668n,
|
|
95
|
+
25186611339598418732666781049829183886812651492845008333418424746493100589207n,
|
|
96
|
+
],
|
|
97
|
+
[
|
|
98
|
+
10402240124664763733060094237696964473609580414190944671778761753887884341073n,
|
|
99
|
+
11918307118590866200687906627767559273324023585642003803337447146531313172441n,
|
|
100
|
+
16895677254395661024186292503536662354181715337630376909778003268311296637301n,
|
|
101
|
+
],
|
|
102
|
+
[
|
|
103
|
+
23818602699032741669874498456696325705498383130221297580399035778119213224810n,
|
|
104
|
+
4285193711150023248690088154344086684336247475445482883105661485741762600154n,
|
|
105
|
+
19133204443389422404056150665863951250222934590192266371578950735825153238612n,
|
|
106
|
+
],
|
|
107
|
+
[
|
|
108
|
+
5515589673266504033533906836494002702866463791762187140099560583198974233395n,
|
|
109
|
+
11830435563729472715615302060564876527985621376031612798386367965451821182352n,
|
|
110
|
+
7510711479224915247011074129666445216001563200717943545636462819681638560128n,
|
|
111
|
+
],
|
|
112
|
+
[
|
|
113
|
+
24694843201907722940091503626731830056550128225297370217610328578733387733444n,
|
|
114
|
+
27361655066973784653563425664091383058914302579694897188019422193564924110528n,
|
|
115
|
+
21606788186194534241166833954371013788633495786419718955480491478044413102713n,
|
|
116
|
+
],
|
|
117
|
+
[
|
|
118
|
+
19934060063390905409309407607814787335159021816537006003398035237707924006757n,
|
|
119
|
+
8495813630060004961768092461554180468161254914257386012937942498774724649553n,
|
|
120
|
+
27524960680529762202005330464726908693944660961000958842417927307941561848461n,
|
|
121
|
+
],
|
|
122
|
+
[
|
|
123
|
+
15178481650950399259757805400615635703086255035073919114667254549690862896985n,
|
|
124
|
+
16164780354695672259791105197274509251141405713012804937107314962551600380870n,
|
|
125
|
+
10529167793600778056702353412758954281652843049850979705476598375597148191979n,
|
|
126
|
+
],
|
|
127
|
+
[
|
|
128
|
+
721141070179074082553302896292167103755384741083338957818644728290501449040n,
|
|
129
|
+
22044408985956234023934090378372374883099115753118261312473550998188148912041n,
|
|
130
|
+
27068254103241989852888872162525066148367014691482601147536314217249046186315n,
|
|
131
|
+
],
|
|
132
|
+
[
|
|
133
|
+
3880429241956357176819112098792744584376727450211873998699580893624868748961n,
|
|
134
|
+
17387097125522937623262508065966749501583017524609697127088211568136333655623n,
|
|
135
|
+
6256814421247770895467770393029354017922744712896100913895513234184920631289n,
|
|
136
|
+
],
|
|
137
|
+
[
|
|
138
|
+
2942627347777337187690939671601251987500285937340386328746818861972711408579n,
|
|
139
|
+
24031654937764287280548628128490074801809101323243546313826173430897408945397n,
|
|
140
|
+
14401457902976567713827506689641442844921449636054278900045849050301331732143n,
|
|
141
|
+
],
|
|
142
|
+
[
|
|
143
|
+
20170632877385406450742199836933900257692624353889848352407590794211839130727n,
|
|
144
|
+
24056496193857444725324410428861722338174099794084586764867109123681727290181n,
|
|
145
|
+
11257913009612703357266904349759250619633397075667824800196659858304604714965n,
|
|
146
|
+
],
|
|
147
|
+
[
|
|
148
|
+
22228158921984425749199071461510152694025757871561406897041788037116931009246n,
|
|
149
|
+
9152163378317846541430311327336774331416267016980485920222768197583559318682n,
|
|
150
|
+
13906695403538884432896105059360907560653506400343268230130536740148070289175n,
|
|
151
|
+
],
|
|
152
|
+
[
|
|
153
|
+
7220714562509721437034241786731185291972496952091254931195414855962344025067n,
|
|
154
|
+
27608867305903811397208862801981345878179337369367554478205559689592889691927n,
|
|
155
|
+
13288465747219756218882697408422850918209170830515545272152965967042670763153n,
|
|
156
|
+
],
|
|
157
|
+
[
|
|
158
|
+
8251343892709140154567051772980662609566359215743613773155065627504813327653n,
|
|
159
|
+
22035238365102171608166944627493632660244312563934708756134297161332908879090n,
|
|
160
|
+
13560937766273321037807329177749403409731524715067067740487246745322577571823n,
|
|
161
|
+
],
|
|
162
|
+
[
|
|
163
|
+
21652518608959234550262559135285358020552897349934571164032339186996805408040n,
|
|
164
|
+
22479086963324173427634460342145551255011746993910136574926173581069603086891n,
|
|
165
|
+
13676501958531751140966255121288182631772843001727158043704693838707387130095n,
|
|
166
|
+
],
|
|
167
|
+
[
|
|
168
|
+
5680310394102577950568930199056707827608275306479994663197187031893244826674n,
|
|
169
|
+
25125360450906166639190392763071557410047335755341060350879819485506243289998n,
|
|
170
|
+
22659254028501616785029594492374243581602744364859762239504348429834224676676n,
|
|
171
|
+
],
|
|
172
|
+
[
|
|
173
|
+
23101411405087512171421838856759448177512679869882987631073569441496722536782n,
|
|
174
|
+
24149774013240355952057123660656464942409328637280437515964899830988178868108n,
|
|
175
|
+
5782097512368226173095183217893826020351125522160843964147125728530147423065n,
|
|
176
|
+
],
|
|
177
|
+
[
|
|
178
|
+
13540762114500083869920564649399977644344247485313990448129838910231204868111n,
|
|
179
|
+
20421637734328811337527547703833013277831804985438407401987624070721139913982n,
|
|
180
|
+
7742664118615900772129122541139124149525273579639574972380600206383923500701n,
|
|
181
|
+
],
|
|
182
|
+
[
|
|
183
|
+
1109643801053963021778418773196543643970146666329661268825691230294798976318n,
|
|
184
|
+
16580663920817053843121063692728699890952505074386761779275436996241901223840n,
|
|
185
|
+
14638514680222429058240285918830106208025229459346033470787111294847121792366n,
|
|
186
|
+
],
|
|
187
|
+
[
|
|
188
|
+
17080385857812672649489217965285727739557573467014392822992021264701563205891n,
|
|
189
|
+
26176268111736737558502775993925696791974738793095023824029827577569530708665n,
|
|
190
|
+
4382756253392449071896813428140986330161215829425086284611219278674857536001n,
|
|
191
|
+
],
|
|
192
|
+
[
|
|
193
|
+
13934033814940585315406666445960471293638427404971553891617533231178815348902n,
|
|
194
|
+
27054912732979753314774418228399230433963143177662848084045249524271046173121n,
|
|
195
|
+
28916070403698593376490976676534962592542013020010643734621202484860041243391n,
|
|
196
|
+
],
|
|
197
|
+
[
|
|
198
|
+
24820015636966360150164458094894587765384135259446295278101998130934963922381n,
|
|
199
|
+
7969535238488580655870884015145760954416088335296905520306227531221721881868n,
|
|
200
|
+
7690547696740080985104189563436871930607055124031711216224219523236060212249n,
|
|
201
|
+
],
|
|
202
|
+
[
|
|
203
|
+
9712576468091272384496248353414290908377825697488757134833205246106605867289n,
|
|
204
|
+
12148698031438398980683630141370402088785182722473169207262735228500190477924n,
|
|
205
|
+
14359657643133476969781351728574842164124292705609900285041476162075031948227n,
|
|
206
|
+
],
|
|
207
|
+
[
|
|
208
|
+
23563839965372067275137992801035780013422228997724286060975035719045352435470n,
|
|
209
|
+
4184634822776323233231956802962638484057536837393405750680645555481330909086n,
|
|
210
|
+
16249511905185772125762038789038193114431085603985079639889795722501216492487n,
|
|
211
|
+
],
|
|
212
|
+
[
|
|
213
|
+
11001863048692031559800673473526311616702863826063550559568315794438941516621n,
|
|
214
|
+
4702354107983530219070178410740869035350641284373933887080161024348425080464n,
|
|
215
|
+
23751680507533064238793742311430343910720206725883441625894258483004979501613n,
|
|
216
|
+
],
|
|
217
|
+
[
|
|
218
|
+
28670526516158451470169873496541739545860177757793329093045522432279094518766n,
|
|
219
|
+
3568312993091537758218792253361873752799472566055209125947589819564395417072n,
|
|
220
|
+
1819755756343439646550062754332039103654718693246396323207323333948654200950n,
|
|
221
|
+
],
|
|
222
|
+
[
|
|
223
|
+
5372129954699791301953948907349887257752247843844511069896766784624930478273n,
|
|
224
|
+
17512156688034945920605615850550150476471921176481039715733979181538491476080n,
|
|
225
|
+
25777105342317622165159064911913148785971147228777677435200128966844208883059n,
|
|
226
|
+
],
|
|
227
|
+
[
|
|
228
|
+
25350392006158741749134238306326265756085455157012701586003300872637887157982n,
|
|
229
|
+
20096724945283767296886159120145376967480397366990493578897615204296873954844n,
|
|
230
|
+
8063283381910110762785892100479219642751540456251198202214433355775540036851n,
|
|
231
|
+
],
|
|
232
|
+
[
|
|
233
|
+
4393613870462297385565277757207010824900723217720226130342463666351557475823n,
|
|
234
|
+
9874972555132910032057499689351411450892722671352476280351715757363137891038n,
|
|
235
|
+
23590926474329902351439438151596866311245682682435235170001347511997242904868n,
|
|
236
|
+
],
|
|
237
|
+
[
|
|
238
|
+
17723373371137275859467518615551278584842947963894791032296774955869958211070n,
|
|
239
|
+
2350345015303336966039836492267992193191479606566494799781846958620636621159n,
|
|
240
|
+
27755207882790211140683010581856487965587066971982625511152297537534623405016n,
|
|
241
|
+
],
|
|
242
|
+
[
|
|
243
|
+
6584607987789185408123601849106260907671314994378225066806060862710814193906n,
|
|
244
|
+
609759108847171587253578490536519506369136135254150754300671591987320319770n,
|
|
245
|
+
28435187585965602110074342250910608316032945187476441868666714022529803033083n,
|
|
246
|
+
],
|
|
247
|
+
[
|
|
248
|
+
16016664911651770663938916450245705908287192964254704641717751103464322455303n,
|
|
249
|
+
17551273293154696089066968171579395800922204266630874071186322718903959339163n,
|
|
250
|
+
20414195497994754529479032467015716938594722029047207834858832838081413050198n,
|
|
251
|
+
],
|
|
252
|
+
[
|
|
253
|
+
19773307918850685463180290966774465805537520595602496529624568184993487593855n,
|
|
254
|
+
24598603838812162820757838364185126333280131847747737533989799467867231166980n,
|
|
255
|
+
11040972566103463398651864390163813377135738019556270484707889323659789290225n,
|
|
256
|
+
],
|
|
257
|
+
[
|
|
258
|
+
5189242080957784038860188184443287562488963023922086723850863987437818393811n,
|
|
259
|
+
1435203288979376557721239239445613396009633263160237764653161500252258220144n,
|
|
260
|
+
13066591163578079667911016543985168493088721636164837520689376346534152547210n,
|
|
261
|
+
],
|
|
262
|
+
[
|
|
263
|
+
17345901407013599418148210465150865782628422047458024807490502489711252831342n,
|
|
264
|
+
22139633362249671900128029132387275539363684188353969065288495002671733200348n,
|
|
265
|
+
1061056418502836172283188490483332922126033656372467737207927075184389487061n,
|
|
266
|
+
],
|
|
267
|
+
[
|
|
268
|
+
10241738906190857416046229928455551829189196941239601756375665129874835232299n,
|
|
269
|
+
27808033332417845112292408673209999320983657696373938259351951416571545364415n,
|
|
270
|
+
18820154989873674261497645724903918046694142479240549687085662625471577737140n,
|
|
271
|
+
],
|
|
272
|
+
[
|
|
273
|
+
7983688435214640842673294735439196010654951226956101271763849527529940619307n,
|
|
274
|
+
17067928657801807648925755556866676899145460770352731818062909643149568271566n,
|
|
275
|
+
24472070825156236829515738091791182856425635433388202153358580534810244942762n,
|
|
276
|
+
],
|
|
277
|
+
[
|
|
278
|
+
25752201169361795911258625731016717414310986450004737514595241038036936283227n,
|
|
279
|
+
26041505376284666160132119888949817249574689146924196064963008712979256107535n,
|
|
280
|
+
23977050489096115210391718599021827780049209314283111721864956071820102846008n,
|
|
281
|
+
],
|
|
282
|
+
[
|
|
283
|
+
26678257097278788410676026718736087312816016749016738933942134600725962413805n,
|
|
284
|
+
10480026985951498884090911619636977502506079971893083605102044931823547311729n,
|
|
285
|
+
21126631300593007055117122830961273871167754554670317425822083333557535463396n,
|
|
286
|
+
],
|
|
287
|
+
[
|
|
288
|
+
1564862894215434177641156287699106659379648851457681469848362532131406827573n,
|
|
289
|
+
13247162472821152334486419054854847522301612781818744556576865965657773174584n,
|
|
290
|
+
8673615954922496961704442777870253767001276027366984739283715623634850885984n,
|
|
291
|
+
],
|
|
292
|
+
[
|
|
293
|
+
2794525076937490807476666942602262298677291735723129868457629508555429470085n,
|
|
294
|
+
4656175953888995612264371467596648522808911819700660048695373348629527757049n,
|
|
295
|
+
23221574237857660318443567292601561932489621919104226163978909845174616477329n,
|
|
296
|
+
],
|
|
297
|
+
[
|
|
298
|
+
1878392460078272317716114458784636517603142716091316893054365153068227117145n,
|
|
299
|
+
2370412714505757731457251173604396662292063533194555369091306667486647634097n,
|
|
300
|
+
17409784861870189930766639925394191888667317762328427589153989811980152373276n,
|
|
301
|
+
],
|
|
302
|
+
[
|
|
303
|
+
25869136641898166514111941708608048269584233242773814014385564101168774293194n,
|
|
304
|
+
11361209360311194794795494027949518465383235799633128250259863567683341091323n,
|
|
305
|
+
14913258820718821235077379851098720071902170702113538811112331615559409988569n,
|
|
306
|
+
],
|
|
307
|
+
[
|
|
308
|
+
12957012022018304419868287033513141736995211906682903915897515954290678373899n,
|
|
309
|
+
17128889547450684566010972445328859295804027707361763477802050112063630550300n,
|
|
310
|
+
23329219085372232771288306767242735245018143857623151155581182779769305489903n,
|
|
311
|
+
],
|
|
312
|
+
[
|
|
313
|
+
1607741027962933685476527275858938699728586794398382348454736018784568853937n,
|
|
314
|
+
2611953825405141009309433982109911976923326848135736099261873796908057448476n,
|
|
315
|
+
7372230383134982628913227482618052530364724821976589156840317933676130378411n,
|
|
316
|
+
],
|
|
317
|
+
[
|
|
318
|
+
20203606758501212620842735123770014952499754751430660463060696990317556818571n,
|
|
319
|
+
4678361398979174017885631008335559529633853759463947250620930343087749944307n,
|
|
320
|
+
27176462634198471376002287271754121925750749676999036165457559387195124025594n,
|
|
321
|
+
],
|
|
322
|
+
[
|
|
323
|
+
6361981813552614697928697527332318530502852015189048838072565811230204474643n,
|
|
324
|
+
13815234633287489023151647353581705241145927054858922281829444557905946323248n,
|
|
325
|
+
10888828634279127981352133512429657747610298502219125571406085952954136470354n,
|
|
326
|
+
],
|
|
327
|
+
],
|
|
328
|
+
};
|