From dedf10ffaf85624e4b71952eec98deea11fc9ce2 Mon Sep 17 00:00:00 2001 From: isk <0xisk> Date: Fri, 18 Aug 2023 13:50:30 +0200 Subject: [PATCH] fix: types of snarkjs and ffjavascript --- package-lock.json | 4 +- src/types/ffjavascript/index.d.ts | 628 ++++++++++++++---------------- src/types/snarkjs/index.d.ts | 108 +++-- 3 files changed, 358 insertions(+), 382 deletions(-) diff --git a/package-lock.json b/package-lock.json index 0be834e0..8f537855 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,11 +1,11 @@ { - "name": "rlnjs", + "name": "@cryptkeeperzk/rlnjs", "version": "3.2.0", "lockfileVersion": 2, "requires": true, "packages": { "": { - "name": "rlnjs", + "name": "@cryptkeeperzk/rlnjs", "version": "3.2.0", "license": "MIT", "dependencies": { diff --git a/src/types/ffjavascript/index.d.ts b/src/types/ffjavascript/index.d.ts index d720c4f0..512a93dd 100644 --- a/src/types/ffjavascript/index.d.ts +++ b/src/types/ffjavascript/index.d.ts @@ -1,531 +1,509 @@ -/* eslint "@typescript-eslint/no-explicit-any": 0 */ -/* eslint "@typescript-eslint/no-unused-vars": 0 */ - /** Declaration file generated by dts-gen */ -export class BigBuffer { - constructor(...args: any[]) +declare module "@cryptkeeperzk/ffjavascript" { + export class BigBuffer { + constructor(...args: any[]) - set(...args: any[]): void + set(...args: any[]): void - slice(...args: any[]): void + slice(...args: any[]): void + } -} + export class ChaCha { + constructor(...args: any[]) -export class ChaCha { - constructor(...args: any[]) + nextBool(...args: any[]): void - nextBool(...args: any[]): void + nextU32(...args: any[]): void - nextU32(...args: any[]): void + nextU64(...args: any[]): void - nextU64(...args: any[]): void + update(...args: any[]): void + } - update(...args: any[]): void + export class EC { + constructor(...args: any[]) -} + add(...args: any[]): void -export class EC { - constructor(...args: any[]) + affine(...args: any[]): void - add(...args: any[]): void + double(...args: any[]): void - affine(...args: any[]): void + eq(...args: any[]): void - double(...args: any[]): void + fromRng(...args: any[]): void - eq(...args: any[]): void + fromRprBE(...args: any[]): void - fromRng(...args: any[]): void + fromRprBEM(...args: any[]): void - fromRprBE(...args: any[]): void + fromRprCompressed(...args: any[]): void - fromRprBEM(...args: any[]): void + fromRprLE(...args: any[]): void - fromRprCompressed(...args: any[]): void + fromRprLEJM(...args: any[]): void - fromRprLE(...args: any[]): void + fromRprLEM(...args: any[]): void - fromRprLEJM(...args: any[]): void + fromRprUncompressed(...args: any[]): void - fromRprLEM(...args: any[]): void + isZero(...args: any[]): void - fromRprUncompressed(...args: any[]): void + mulScalar(...args: any[]): void - isZero(...args: any[]): void + multiAffine(...args: any[]): void - mulScalar(...args: any[]): void + neg(...args: any[]): void - multiAffine(...args: any[]): void + sub(...args: any[]): void - neg(...args: any[]): void + timesScalar(...args: any[]): void - sub(...args: any[]): void + toRprBE(...args: any[]): void - timesScalar(...args: any[]): void + toRprBEM(...args: any[]): void - toRprBE(...args: any[]): void + toRprCompressed(...args: any[]): void - toRprBEM(...args: any[]): void + toRprLE(...args: any[]): void - toRprCompressed(...args: any[]): void + toRprLEJM(...args: any[]): void - toRprLE(...args: any[]): void + toRprLEM(...args: any[]): void - toRprLEJM(...args: any[]): void + toRprUncompressed(...args: any[]): void - toRprLEM(...args: any[]): void + toString(...args: any[]): void + } - toRprUncompressed(...args: any[]): void + export class F1Field { + constructor(...args: any[]) - toString(...args: any[]): void + e(...args: any[]): any + add(...args: any[]): any + sub(...args: any[]): any + neg(...args: any[]): any + mul(...args: any[]): any + mulScalar(...args: any[]): any + square(...args: any[]): any + eq(...args: any[]): any + neq(...args: any[]): any + lt(...args: any[]): any + gt(...args: any[]): any + leq(...args: any[]): any + geq(...args: any[]): any + div(...args: any[]): any + idiv(...args: any[]): any + inv(...args: any[]): any + mod(...args: any[]): any + pow(...args: any[]): any + exp(...args: any[]): any + band(...args: any[]): any + bor(...args: any[]): any + bxor(...args: any[]): any + bnot(...args: any[]): any + shl(...args: any[]): any + shr(...args: any[]): any + land(...args: any[]): any + lor(...args: any[]): any + lnot(...args: any[]): any + sqrt_old(...args: any[]): any + normalize(...args: any[]): any + random(...args: any[]): any + toString(...args: any[]): any + isZero(...args: any[]): any + fromRng(...args: any[]): any -} + fromRprBE(...args: any[]): void -export class F1Field { - constructor(...args: any[]) - - e(...args: any[]): any - add(...args: any[]): any - sub(...args: any[]): any - neg(...args: any[]): any - mul(...args: any[]): any - mulScalar(...args: any[]): any - square(...args: any[]): any - eq(...args: any[]): any - neq(...args: any[]): any - lt(...args: any[]): any - gt(...args: any[]): any - leq(...args: any[]): any - geq(...args: any[]): any - div(...args: any[]): any - idiv(...args: any[]): any - inv(...args: any[]): any - mod(...args: any[]): any - pow(...args: any[]): any - exp(...args: any[]): any - band(...args: any[]): any - bor(...args: any[]): any - bxor(...args: any[]): any - bnot(...args: any[]): any - shl(...args: any[]): any - shr(...args: any[]): any - land(...args: any[]): any - lor(...args: any[]): any - lnot(...args: any[]): any - sqrt_old(...args: any[]): any - normalize(...args: any[]): any - random(...args: any[]): any - toString(...args: any[]): any - isZero(...args: any[]): any - fromRng(...args: any[]): any - - fromRprBE(...args: any[]): void - - fromRprBEM(...args: any[]): void - - fromRprLE(...args: any[]): void - - fromRprLEM(...args: any[]): void - - toObject(...args: any[]): void - - toRprBE(...args: any[]): void - - toRprBEM(...args: any[]): void - - toRprLE(...args: any[]): void - - toRprLEM(...args: any[]): void + fromRprBEM(...args: any[]): void -} + fromRprLE(...args: any[]): void -export class F2Field { - constructor(...args: any[]) + fromRprLEM(...args: any[]): void - add(...args: any[]): void + toRprBE(...args: any[]): void - conjugate(...args: any[]): void + toRprBEM(...args: any[]): void - copy(...args: any[]): void + toRprLE(...args: any[]): void - div(...args: any[]): void + toRprLEM(...args: any[]): void + } - double(...args: any[]): void + export class F2Field { + constructor(...args: any[]) - eq(...args: any[]): void + add(...args: any[]): void - exp(...args: any[]): void + conjugate(...args: any[]): void - fromRng(...args: any[]): void + copy(...args: any[]): void - fromRprBE(...args: any[]): void + div(...args: any[]): void - fromRprBEM(...args: any[]): void + double(...args: any[]): void - fromRprLE(...args: any[]): void + eq(...args: any[]): void - fromRprLEM(...args: any[]): void + exp(...args: any[]): void - geq(...args: any[]): void + fromRng(...args: any[]): void - gt(...args: any[]): void + fromRprBE(...args: any[]): void - inv(...args: any[]): void + fromRprBEM(...args: any[]): void - isZero(...args: any[]): void + fromRprLE(...args: any[]): void - leq(...args: any[]): void + fromRprLEM(...args: any[]): void - lt(...args: any[]): void + geq(...args: any[]): void - mul(...args: any[]): void + gt(...args: any[]): void - mulScalar(...args: any[]): void + inv(...args: any[]): void - neg(...args: any[]): void + isZero(...args: any[]): void - neq(...args: any[]): void + leq(...args: any[]): void - pow(...args: any[]): void + lt(...args: any[]): void - random(...args: any[]): void + mul(...args: any[]): void - square(...args: any[]): void + mulScalar(...args: any[]): void - sub(...args: any[]): void + neg(...args: any[]): void - toObject(...args: any[]): void + neq(...args: any[]): void - toRprBE(...args: any[]): void + pow(...args: any[]): void - toRprBEM(...args: any[]): void + random(...args: any[]): void - toRprLE(...args: any[]): void + square(...args: any[]): void - toRprLEM(...args: any[]): void + sub(...args: any[]): void - toString(...args: any[]): void + toRprBE(...args: any[]): void -} + toRprBEM(...args: any[]): void -export class F3Field { - constructor(...args: any[]) + toRprLE(...args: any[]): void - add(...args: any[]): void + toRprLEM(...args: any[]): void - affine(...args: any[]): void + toString(...args: any[]): void + } - copy(...args: any[]): void + export class F3Field { + constructor(...args: any[]) - div(...args: any[]): void + add(...args: any[]): void - double(...args: any[]): void + affine(...args: any[]): void - eq(...args: any[]): void + copy(...args: any[]): void - exp(...args: any[]): void + div(...args: any[]): void - fromRng(...args: any[]): void + double(...args: any[]): void - fromRprBE(...args: any[]): void + eq(...args: any[]): void - fromRprBEM(...args: any[]): void + exp(...args: any[]): void - fromRprLE(...args: any[]): void + fromRng(...args: any[]): void - fromRprLEM(...args: any[]): void + fromRprBE(...args: any[]): void - geq(...args: any[]): void + fromRprBEM(...args: any[]): void - gt(...args: any[]): void + fromRprLE(...args: any[]): void - inv(...args: any[]): void + fromRprLEM(...args: any[]): void - isZero(...args: any[]): void + geq(...args: any[]): void - leq(...args: any[]): void + gt(...args: any[]): void - lt(...args: any[]): void + inv(...args: any[]): void - mul(...args: any[]): void + isZero(...args: any[]): void - mulScalar(...args: any[]): void + leq(...args: any[]): void - neg(...args: any[]): void + lt(...args: any[]): void - neq(...args: any[]): void + mul(...args: any[]): void - pow(...args: any[]): void + mulScalar(...args: any[]): void - random(...args: any[]): void + neg(...args: any[]): void - square(...args: any[]): void + neq(...args: any[]): void - sub(...args: any[]): void + pow(...args: any[]): void - toObject(...args: any[]): void + random(...args: any[]): void - toRprBE(...args: any[]): void + square(...args: any[]): void - toRprBEM(...args: any[]): void + sub(...args: any[]): void - toRprLE(...args: any[]): void + toRprBE(...args: any[]): void - toRprLEM(...args: any[]): void + toRprBEM(...args: any[]): void - toString(...args: any[]): void + toRprLE(...args: any[]): void -} + toRprLEM(...args: any[]): void -export class PolField { - constructor(...args: any[]) + toString(...args: any[]): void + } - add(...args: any[]): void + export class PolField { + constructor(...args: any[]) - computeVanishingPolinomial(...args: any[]): void + add(...args: any[]): void - div(...args: any[]): void + computeVanishingPolinomial(...args: any[]): void - double(...args: any[]): void + div(...args: any[]): void - eq(...args: any[]): void + double(...args: any[]): void - eval(...args: any[]): void + eq(...args: any[]): void - eval2(...args: any[]): void + eval(...args: any[]): void - evaluateLagrangePolynomials(...args: any[]): void + eval2(...args: any[]): void - extend(...args: any[]): void + evaluateLagrangePolynomials(...args: any[]): void - fft(...args: any[]): void + extend(...args: any[]): void - fft2(...args: any[]): void + fft(...args: any[]): void - ifft(...args: any[]): void + fft2(...args: any[]): void - ifft2(...args: any[]): void + ifft(...args: any[]): void - lagrange(...args: any[]): void + ifft2(...args: any[]): void - log2(...args: any[]): void + lagrange(...args: any[]): void - mul(...args: any[]): void + log2(...args: any[]): void - mulFFT(...args: any[]): void + mul(...args: any[]): void - mulNormal(...args: any[]): void + mulFFT(...args: any[]): void - mulScalar(...args: any[]): void + mulNormal(...args: any[]): void - normalize(...args: any[]): void + mulScalar(...args: any[]): void - oneRoot(...args: any[]): void + normalize(...args: any[]): void - reduce(...args: any[]): void + oneRoot(...args: any[]): void - ruffini(...args: any[]): void + reduce(...args: any[]): void - scaleX(...args: any[]): void + ruffini(...args: any[]): void - square(...args: any[]): void + scaleX(...args: any[]): void - sub(...args: any[]): void + square(...args: any[]): void - toString(...args: any[]): void + sub(...args: any[]): void -} + toString(...args: any[]): void + } -export class ZqField { - constructor(...args: any[]) - - e(...args: any[]): any - add(...args: any[]): any - sub(...args: any[]): any - neg(...args: any[]): any - mul(...args: any[]): any - mulScalar(...args: any[]): any - square(...args: any[]): any - eq(...args: any[]): any - neq(...args: any[]): any - lt(...args: any[]): any - gt(...args: any[]): any - leq(...args: any[]): any - geq(...args: any[]): any - div(...args: any[]): any - idiv(...args: any[]): any - inv(...args: any[]): any - mod(...args: any[]): any - pow(...args: any[]): any - exp(...args: any[]): any - band(...args: any[]): any - bor(...args: any[]): any - bxor(...args: any[]): any - bnot(...args: any[]): any - shl(...args: any[]): any - shr(...args: any[]): any - land(...args: any[]): any - lor(...args: any[]): any - lnot(...args: any[]): any - sqrt_old(...args: any[]): any - normalize(...args: any[]): any - random(...args: any[]): any - toString(...args: any[]): any - isZero(...args: any[]): any - fromRng(...args: any[]): any - - fromRprBE(...args: any[]): void - - fromRprBEM(...args: any[]): void - - fromRprLE(...args: any[]): void - - fromRprLEM(...args: any[]): void - - toObject(...args: any[]): void - - toRprBE(...args: any[]): void - - toRprBEM(...args: any[]): void - - toRprLE(...args: any[]): void - - toRprLEM(...args: any[]): void + export class ZqField { + constructor(...args: any[]) -} + e(...args: any[]): any + add(...args: any[]): any + sub(...args: any[]): any + neg(...args: any[]): any + mul(...args: any[]): any + mulScalar(...args: any[]): any + square(...args: any[]): any + eq(...args: any[]): any + neq(...args: any[]): any + lt(...args: any[]): any + gt(...args: any[]): any + leq(...args: any[]): any + geq(...args: any[]): any + div(...args: any[]): any + idiv(...args: any[]): any + inv(...args: any[]): any + mod(...args: any[]): any + pow(...args: any[]): any + exp(...args: any[]): any + band(...args: any[]): any + bor(...args: any[]): any + bxor(...args: any[]): any + bnot(...args: any[]): any + shl(...args: any[]): any + shr(...args: any[]): any + land(...args: any[]): any + lor(...args: any[]): any + lnot(...args: any[]): any + sqrt_old(...args: any[]): any + normalize(...args: any[]): any + random(...args: any[]): any + toString(...args: any[]): any + isZero(...args: any[]): any + fromRng(...args: any[]): any -export function buildBls12381(singleThread: any, plugins: any): any + fromRprBE(...args: any[]): void -export function buildBn128(singleThread: any, plugins: any): Promise + fromRprBEM(...args: any[]): void -export function getCurveFromName(name: any, singleThread: any, plugins: any): any + fromRprLE(...args: any[]): void -export function getCurveFromQ(q: any, singleThread: any, plugins: any): any + fromRprLEM(...args: any[]): void -export function getCurveFromR(r: any, singleThread: any, plugins: any): any + toRprBE(...args: any[]): void -export namespace Scalar { - const one: any + toRprBEM(...args: any[]): void - const zero: any + toRprLE(...args: any[]): void - function abs(a: any): any + toRprLEM(...args: any[]): void + } - function add(a: any, b: any): any + export function buildBls12381(singleThread: any, plugins: any): any - function band(a: any, b: any): any + export function buildBn128(singleThread: any, plugins: any): any - function bitLength(a: any): any + export function getCurveFromName(name: any, singleThread?: any, plugins?: any): any - function bits(n: any): any + export function getCurveFromQ(q: any, singleThread: any, plugins: any): any - function bor(a: any, b: any): any + export function getCurveFromR(r: any, singleThread: any, plugins: any): any - function bxor(a: any, b: any): any + export namespace Scalar { + const one: any - function div(a: any, b: any): any + const zero: any - function e(s: any, radix: any): any + function abs(a: any): any - function eq(a: any, b: any): any + function add(a: any, b: any): any - function exp(a: any, b: any): any + function band(a: any, b: any): any - function fromArray(a: any, radix: any): any + function bitLength(a: any): any - function fromRprBE(buff: any, o: any, n8: any): any + function bits(n: any): any - function fromRprLE(buff: any, o: any, n8: any): any + function bor(a: any, b: any): any - function fromString(s: any, radix: any): any + function bxor(a: any, b: any): any - function geq(a: any, b: any): any + function div(a: any, b: any): any - function gt(a: any, b: any): any + function e(s: any, radix: any): any - function isNegative(a: any): any + function eq(a: any, b: any): any - function isOdd(a: any): any + function exp(a: any, b: any): any - function isZero(a: any): any + function fromArray(a: any, radix: any): any - function land(a: any, b: any): any + function fromRprBE(buff: any, o: any, n8: any): any - function leq(a: any, b: any): any + function fromRprLE(buff: any, o: any, n8: any): any - function lnot(a: any): any + function fromString(s: any, radix: any): any - function lor(a: any, b: any): any + function geq(a: any, b: any): any - function lt(a: any, b: any): any + function gt(a: any, b: any): any - function mod(a: any, b: any): any + function isNegative(a: any): any - function mul(a: any, b: any): any + function isOdd(a: any): any - function naf(n: any): any + function isZero(a: any): any - function neg(a: any): any + function land(a: any, b: any): any - function neq(a: any, b: any): any + function leq(a: any, b: any): any - function pow(a: any, b: any): any + function lnot(a: any): any - function shiftLeft(a: any, n: any): any + function lor(a: any, b: any): any - function shiftRight(a: any, n: any): any + function lt(a: any, b: any): any - function shl(a: any, n: any): any + function mod(a: any, b: any): any - function shr(a: any, n: any): any + function mul(a: any, b: any): any - function square(a: any): any + function naf(n: any): any - function sub(a: any, b: any): any + function neg(a: any): any - function toArray(s: any, radix: any): any + function neq(a: any, b: any): any - function toLEBuff(a: any): any + function pow(a: any, b: any): any - function toNumber(s: any): any + function shiftLeft(a: any, n: any): any - // e is inevitably shadowed since it's from ffjavascript and we shouldn't change it - function toRprBE(buff: any, o: any, e: any, n8: any): void // eslint-disable-line @typescript-eslint/no-shadow + function shiftRight(a: any, n: any): any - // e is inevitably shadowed since it's from ffjavascript and we shouldn't change it - function toRprLE(buff: any, o: any, e: any, n8: any): void // eslint-disable-line @typescript-eslint/no-shadow + function shl(a: any, n: any): any - function toString(a: any, radix: any): any + function shr(a: any, n: any): any -} + function square(a: any): any -export namespace utils { - function array2buffer(arr: any, sG: any): any + function sub(a: any, b: any): any - function beBuff2int(buff: any): any + function toArray(s: any, radix: any): any - function beInt2Buff(n: any, len: any): any + function toLEBuff(a: any): any - function bitReverse(idx: any, bits: any): any + function toNumber(s: any): any - function buffReverseBits(buff: any, eSize: any): void + function toRprBE(buff: any, o: any, e: any, n8: any): void - function buffer2array(buff: any, sG: any): any + function toRprLE(buff: any, o: any, e: any, n8: any): void - function leBuff2int(buff: any): any + function toString(a: any, radix: any): any + } - function leInt2Buff(n: any, len: any): any + export namespace utils { + function array2buffer(arr: any, sG: any): any - function log2(V: any): any + function beBuff2int(buff: any): any - function stringifyBigInts(o: any): any + function beInt2Buff(n: any, len: any): any - function stringifyFElements(F: any, o: any): any + function bitReverse(idx: any, bits: any): any - function unstringifyBigInts(o: any): any + function buffReverseBits(buff: any, eSize: any): void - function unstringifyFElements(F: any, o: any): any + function buffer2array(buff: any, sG: any): any -} + function leBuff2int(buff: any): any + + function leInt2Buff(n: any, len: any): any + + function log2(V: any): any + function stringifyBigInts(o: any): any + + function stringifyFElements(F: any, o: any): any + + function unstringifyBigInts(o: any): any + + function unstringifyFElements(F: any, o: any): any + } +} diff --git a/src/types/snarkjs/index.d.ts b/src/types/snarkjs/index.d.ts index ed9eb2da..67790eab 100644 --- a/src/types/snarkjs/index.d.ts +++ b/src/types/snarkjs/index.d.ts @@ -1,59 +1,57 @@ -/* eslint "@typescript-eslint/no-explicit-any": 0 */ -/* eslint "@typescript-eslint/no-unused-vars": 0 */ - /** Declaration file generated by dts-gen */ -export = snarkjs // eslint-disable-line @typescript-eslint/no-use-before-define +declare module "@cryptkeeperzk/snarkjs" { + export = snarkjs -declare const snarkjs: { - groth16: { - exportSolidityCallData: any; - fullProve(_input: any, wasmFile: any, zkeyFileName: any, logger?: any): Promise; - prove(zkeyFileName: any, witnessFileName: any, logger?: any): Promise; - verify(_vk_verifier: any, _publicSignals: any, _proof: any, logger?: any): Promise; - }; - plonk: { - exportSolidityCallData: any; - fullProve: any; - prove: any; - setup: any; - verify: any; - }; - powersOfTau: { - beacon: any; - challengeContribute: any; - contribute: any; - convert: any; - exportChallenge: any; - exportJson: any; - importResponse: any; - newAccumulator: any; - preparePhase2: any; - truncate: any; - verify: any; - }; - r1cs: { - exportJson: any; - info: any; - print: any; - }; - wtns: { - calculate: any; - debug: any; - exportJson: any; - }; - zKey: { - beacon: any; - bellmanContribute: any; - contribute: any; - exportBellman: any; - exportJson: any; - exportSolidityVerifier: any; - exportVerificationKey: any; - importBellman: any; - newZKey: any; - verifyFromInit: any; - verifyFromR1cs: any; - }; + declare const snarkjs: { + groth16: { + exportSolidityCallData: any + fullProve: any + prove: any + verify: any + } + plonk: { + exportSolidityCallData: any + fullProve: any + prove: any + setup: any + verify: any + } + powersOfTau: { + beacon: any + challengeContribute: any + contribute: any + convert: any + exportChallenge: any + exportJson: any + importResponse: any + newAccumulator: any + preparePhase2: any + truncate: any + verify: any + } + r1cs: { + exportJson: any + info: any + print: any + } + wtns: { + calculate: any + debug: any + exportJson: any + } + zKey: { + beacon: any + bellmanContribute: any + contribute: any + exportBellman: any + exportJson: any + exportSolidityVerifier: any + exportVerificationKey: any + importBellman: any + newZKey: any + verifyFromInit: any + verifyFromR1cs: any + } + } } -