archive-monorepo/@tornado/snarkjs/index.d.ts

declare module "snarkjs/src/bigint" {
    export = wBigInt;
    export class wBigInt {
        private constructor();
        isOdd(): boolean;
        isNegative(): boolean;
        and(m: any): number;
        div(c: any): number;
        mod(c: any): number;
        pow(c: any): number;
        abs(): any;
        modPow(e: any, m: any): any;
        greaterOrEquals(b: any): boolean;
        greater(b: any): boolean;
        gt: any;
        lesserOrEquals(b: any): boolean;
        lesser(b: any): boolean;
        lt: any;
        equals(b: any): boolean;
        eq: any;
        neq(b: any): boolean;
        toJSNumber(): number;
        affine(q: any): any;
        inverse(q: any): any;
        add(a: any, q: any): any;
        sub(a: any, q: any): any;
        neg(q: any): any;
        mul(a: any, q: any): any;
        shr(a: any, q: any): any;
        shl(a: any, q: any): any;
        square(q: any): any;
        double(q: any): any;
        isZero(q: any): any;
        leInt2Buff(len: any): any;
        beInt2Buff(len: any): any;
    }
}
declare module "snarkjs/src/futils" {
    export function mulScalar(F: any, base: any, e: any): any;
    export function exp(F: any, base: any, e: any): any;
}
declare module "snarkjs/src/zqfield" {
    export = ZqField;
    export class ZqField {
        constructor(q: any);
        q: any;
        zero: any;
        one: any;
        minusone: any;
        add: any;
        double: any;
        sub: any;
        neg: any;
        mul: any;
        inverse: any;
        square: any;
        equals: any;
        affine: any;
        isZero: any;
        two: any;
        twoinv: any;
        nqr: any;
        s: any;
        t: any;
        nqr_to_t: any;
        copy(a: any): any;
        div(a: any, b: any): any;
        mulScalar(base: any, e: any): any;
        exp(base: any, e: any): any;
        toString(a: any): string;
        random(): any;
        sqrt(n: any): any;
    }
}
declare module "snarkjs/src/f2field" {
    export = F2Field;
    export class F2Field {
        constructor(F: any, nonResidue: any);
        F: any;
        zero: any[];
        one: any[];
        nonResidue: any;
        _mulByNonResidue(a: any): any;
        copy(a: any): any[];
        add(a: any, b: any): any[];
        double(a: any): any[];
        sub(a: any, b: any): any[];
        neg(a: any): any[];
        mul(a: any, b: any): any[];
        inverse(a: any): any[];
        div(a: any, b: any): any[];
        square(a: any): any[];
        isZero(a: any): any;
        equals(a: any, b: any): any;
        affine(a: any): any[];
        mulScalar(base: any, e: any): any;
        exp(base: any, e: any): any;
        toString(a: any): string;
    }
}
declare module "snarkjs/src/f3field" {
    export = F3Field;
    export class F3Field {
        constructor(F: any, nonResidue: any);
        F: any;
        zero: any[];
        one: any[];
        nonResidue: any;
        _mulByNonResidue(a: any): any;
        copy(a: any): any[];
        add(a: any, b: any): any[];
        double(a: any): any[];
        sub(a: any, b: any): any[];
        neg(a: any): any[];
        mul(a: any, b: any): any[];
        inverse(a: any): any[];
        div(a: any, b: any): any[];
        square(a: any): any[];
        isZero(a: any): any;
        equals(a: any, b: any): any;
        affine(a: any): any[];
        mulScalar(base: any, e: any): any;
        exp(base: any, e: any): any;
        toString(a: any): string;
    }
}
declare module "snarkjs/src/gcurve" {
    export = GCurve;
    export class GCurve {
        constructor(F: any, g: any);
        F: any;
        g: any[];
        zero: any[];
        isZero(p: any): any;
        add(p1: any, p2: any): any;
        neg(p: any): any[];
        sub(a: any, b: any): any;
        double(p: any): any;
        mulScalar(base: any, e: any): any;
        affine(p: any): any[];
        equals(p1: any, p2: any): any;
        toString(p: any): string;
    }
}
declare module "snarkjs/src/bn128" {
    export = BN128;
    export class BN128 {
        q: any;
        r: any;
        g1: any[];
        g2: any[][];
        nonResidueF2: any;
        nonResidueF6: any[];
        F1: F1Field;
        F2: F2Field;
        G1: GCurve;
        G2: GCurve;
        F6: F3Field;
        F12: F2Field;
        Fr: F1Field;
        _preparePairing(): void;
        loopCount: any;
        loopCountNeg: boolean;
        loop_count_bits: any[];
        two_inv: any;
        coef_b: any;
        twist: any[];
        twist_coeff_b: any;
        frobenius_coeffs_c1_1: any;
        twist_mul_by_q_X: any[];
        twist_mul_by_q_Y: any[];
        final_exponent: any;
        pairing(p1: any, p2: any): any;
        precomputeG1(p: any): {
            PX: any;
            PY: any;
        };
        precomputeG2(p: any): {
            QX: any;
            QY: any;
            coeffs: any[];
        };
        millerLoop(pre1: any, pre2: any): any[];
        finalExponentiation(elt: any): any;
        _doubleStep(current: any): {
            ell_0: any[];
            ell_VW: any[];
            ell_VV: any[];
        };
        _addStep(base: any, current: any): {
            ell_0: any[];
            ell_VV: any[];
            ell_VW: any[];
        };
        _mul_by_024(a: any, ell_0: any, ell_VW: any, ell_VV: any): any[][];
        _g2MulByQ(p: any): any[][];
    }
    import F1Field = require("snarkjs/src/zqfield");
    import F2Field = require("snarkjs/src/f2field");
    import GCurve = require("snarkjs/src/gcurve");
    import F3Field = require("snarkjs/src/f3field");
}
declare module "snarkjs/src/calculateWitness" {
    export = calculateWitness;
    function calculateWitness(circuit: any, inputSignals: any, options: any): any[];
}
declare module "snarkjs/src/circuit" {
    export = Circuit;
    export class Circuit {
        constructor(circuitDef: any);
        nPubInputs: any;
        nPrvInputs: any;
        nInputs: any;
        nOutputs: any;
        nVars: any;
        nSignals: any;
        nConstants: any;
        nConstraints: any;
        signalName2Idx: any;
        components: any;
        componentName2Idx: any;
        signals: any;
        constraints: any;
        templates: {};
        functions: {};
        calculateWitness(input: any, log: any): any[];
        checkWitness(w: any): boolean;
        printCostraint(c: any): void;
        printConstraints(): void;
        getSignalIdx(name: any): any;
        outputIdx(i: any): any;
        inputIdx(i: any): any;
        pubInputIdx(i: any): any;
        prvInputIdx(i: any): any;
        varIdx(i: any): any;
        constantIdx(i: any): any;
        signalIdx(i: any): any;
        signalNames(i: any): any;
        a(constraint: any, signalIdx: any): any;
        b(constraint: any, signalIdx: any): any;
        c(constraint: any, signalIdx: any): any;
    }
}
declare module "snarkjs/src/polfield" {
    export = PolField;
    export class PolField {
        constructor(F: any);
        F: any;
        w: any[];
        wi: any[];
        roots: any[];
        _setRoots(n: any): void;
        add(a: any, b: any): any;
        double(a: any): any;
        sub(a: any, b: any): any;
        mulScalar(p: any, b: any): any;
        mul(a: any, b: any): any;
        mulNormal(a: any, b: any): any;
        mulFFT(a: any, b: any): any;
        square(a: any): any;
        scaleX(p: any, n: any): any;
        eval2(p: any, x: any): any;
        eval(p: any, x: any): any;
        lagrange(points: any): any;
        fft(p: any): any;
        ifft(p: any): any;
        _fft(pall: any, bits: any, offset: any, step: any): any[];
        extend(p: any, e: any): any;
        reduce(p: any): any;
        affine(p: any): any;
        equals(a: any, b: any): boolean;
        ruffini(p: any, r: any): any[];
        _next2Power(v: any): any;
        toString(p: any): string;
        _reciprocal(p: any, bits: any): any;
        _div2(m: any, v: any): any;
        div(_u: any, _v: any): any;
        oneRoot(n: any, i: any): any;
        computeVanishingPolinomial(bits: any, t: any): any;
        evaluateLagrangePolynomials(bits: any, t: any): any;
        log2(V: any): number;
    }
}
declare module "snarkjs/src/prover_groth" {
    function _exports(vk_proof: any, witness: any): {
        proof: {
            pi_a: any;
            pi_b: any;
            pi_c: any;
            protocol: string;
        };
        publicSignals: any;
    };
    export = _exports;
}
declare module "snarkjs/src/prover_kimleeoh" {
    function _exports(vk_proof: any, witness: any): {
        proof: {
            pi_a: any;
            pi_b: any;
            pi_c: any;
            protocol: string;
        };
        publicSignals: any;
    };
    export = _exports;
}
declare module "snarkjs/src/prover_original" {
    function _exports(vk_proof: any, witness: any): {
        proof: {
            pi_a: any;
            pi_ap: any;
            pi_b: any;
            pi_bp: any;
            pi_c: any;
            pi_cp: any;
            pi_kp: any;
            pi_h: any;
            protocol: string;
        };
        publicSignals: any;
    };
    export = _exports;
}
declare module "snarkjs/src/ratfield" {
    export = RatField;
    export class RatField {
        constructor(F: any);
        F: any;
        zero: any[];
        one: any[];
        two: any[];
        twoinv: any[];
        q: any;
        add(a: any, b: any): any[];
        double(a: any): any[];
        sub(a: any, b: any): any[];
        neg(a: any): any[];
        mul(a: any, b: any): any[];
        copy(a: any): any[];
        div(a: any, b: any): any[];
        inverse(a: any): any[];
        square(a: any): any[];
        mulScalar(base: any, e: any): any[];
        exp(base: any, e: any): any;
        equals(a: any, b: any): any;
        isZero(a: any): any;
        affine(a: any): any[];
        toString(a: any): string;
        random(): any[];
        fromF(a: any): any[];
        toF(a: any): any;
    }
}
declare module "src/setup_groth" {
    function _exports(circuit: any): {
        vk_proof: {
            protocol: string;
            nVars: any;
            nPublic: any;
        };
        vk_verifier: {
            protocol: string;
            nPublic: any;
        };
        toxic: {};
    };
    export = _exports;
}
declare module "snarkjs/src/setup_kimleeoh" {
    function _exports(circuit: any): {
        vk_proof: {
            protocol: string;
            nVars: any;
            nPublic: any;
        };
        vk_verifier: {
            protocol: string;
            nPublic: any;
        };
        toxic: {};
    };
    export = _exports;
}
declare module "snarkjs/src/setup_original" {
    function _exports(circuit: any): {
        vk_proof: {
            protocol: string;
            nVars: any;
            nPublic: any;
        };
        vk_verifier: {
            protocol: string;
            nPublic: any;
        };
        toxic: {};
    };
    export = _exports;
}
declare module "snarkjs/src/stringifybigint" {
    export function stringifyBigInts(o: any): any;
    export function unstringifyBigInts(o: any): any;
}
declare module "snarkjs/src/verifier" {
    function _exports(vk_verifier: any, proof: any, publicSignals: any): boolean;
    export = _exports;
}
declare module "snarkjs/src/verifier_groth" {
    function _exports(vk_verifier: any, proof: any, publicSignals: any): boolean;
    export = _exports;
}
declare module "snarkjs/src/verifier_kimleeoh" {
    function _exports(vk_verifier: any, proof: any, publicSignals: any): boolean;
    export = _exports;
}
declare module "snarkjs/src/verifier_original" {
    function _exports(vk_verifier: any, proof: any, publicSignals: any): boolean;
    export = _exports;
}
declare module "snarkjs" {
    export const Circuit: {
        new (circuitDef: any): import("snarkjs/src/circuit");
    };
    export namespace original {
        const setup: (circuit: any) => {
            vk_proof: {
                protocol: string;
                nVars: any;
                nPublic: any;
            };
            vk_verifier: {
                protocol: string;
                nPublic: any;
            };
            toxic: {};
        };
        const genProof: (vk_proof: any, witness: any) => {
            proof: {
                pi_a: any;
                pi_ap: any;
                pi_b: any;
                pi_bp: any;
                pi_c: any;
                pi_cp: any;
                pi_kp: any;
                pi_h: any;
                protocol: string;
            };
            publicSignals: any;
        };
        const isValid: (vk_verifier: any, proof: any, publicSignals: any) => boolean;
    }
    export namespace groth {
        const setup_1: (circuit: any) => {
            vk_proof: {
                protocol: string;
                nVars: any;
                nPublic: any;
            };
            vk_verifier: {
                protocol: string;
                nPublic: any;
            };
            toxic: {};
        };
        export { setup_1 as setup };
        const genProof_1: (vk_proof: any, witness: any) => {
            proof: {
                pi_a: any;
                pi_b: any;
                pi_c: any;
                protocol: string;
            };
            publicSignals: any;
        };
        export { genProof_1 as genProof };
        const isValid_1: (vk_verifier: any, proof: any, publicSignals: any) => boolean;
        export { isValid_1 as isValid };
    }
    export namespace kimleeoh {
        const setup_2: (circuit: any) => {
            vk_proof: {
                protocol: string;
                nVars: any;
                nPublic: any;
            };
            vk_verifier: {
                protocol: string;
                nPublic: any;
            };
            toxic: {};
        };
        export { setup_2 as setup };
        const genProof_2: (vk_proof: any, witness: any) => {
            proof: {
                pi_a: any;
                pi_b: any;
                pi_c: any;
                protocol: string;
            };
            publicSignals: any;
        };
        export { genProof_2 as genProof };
        const isValid_2: (vk_verifier: any, proof: any, publicSignals: any) => boolean;
        export { isValid_2 as isValid };
    }
    export const bigInt: typeof import("snarkjs/src/bigint");
    export const ZqField: typeof import("snarkjs/src/zqfield");
    export const stringifyBigInts: typeof import("snarkjs/src/stringifybigint").stringifyBigInts;
    export const unstringifyBigInts: typeof import("snarkjs/src/stringifybigint").unstringifyBigInts;
    export const bn128: Bn128;
    import Bn128 = require("snarkjs/src/bn128");
}
//# sourceMappingURL=index.d.ts.map