import { SnarkjsProof as SnarkjsGroth16Proof, SnarkjsVK as SnarkjsGroth16VK } from '@nori-zk/proof-conversion-utils';
export { SnarkjsGroth16Proof, SnarkjsGroth16VK };
export interface SnarkjsGroth16Input {
    proof: SnarkjsGroth16Proof;
    vk: SnarkjsGroth16VK;
    publicInputs: string[];
}
export declare const snarkjsGroth16ProofSchema: {
    protocol: "groth16";
    curve: "bn128";
    pi_a: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
    pi_b: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
    pi_c: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
};
export declare const snarkjsGroth16VKSchema: {
    protocol: "groth16";
    curve: "bn128";
    nPublic: import("../validation/guards/core.js").ValidatorFn<0 | 1 | 3 | 2 | 4 | 6 | 5>;
    vk_alpha_1: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
    vk_beta_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
    vk_gamma_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
    vk_delta_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
    vk_alphabeta_12: import("../validation/guards/core.js").ValidatorFn<[import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint, import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint]>;
    IC: import("../validation/guards/core.js").ValidatorFn<[] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint]>;
};
export declare const snarkjsGroth16PublicInputsSchema: import("../validation/guards/core.js").ValidatorFn<[] | [string, string, string] | [string, string] | [string] | [string, string, string, string] | [string, string, string, string, string] | [string, string, string, string, string, string]>;
export declare const snarkjsGroth16InputSchema: {
    proof: {
        protocol: "groth16";
        curve: "bn128";
        pi_a: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
        pi_b: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
        pi_c: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
    };
    vk: {
        protocol: "groth16";
        curve: "bn128";
        nPublic: import("../validation/guards/core.js").ValidatorFn<0 | 1 | 3 | 2 | 4 | 6 | 5>;
        vk_alpha_1: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ProjectivePoint>;
        vk_beta_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
        vk_gamma_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
        vk_delta_2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint>;
        vk_alphabeta_12: import("../validation/guards/core.js").ValidatorFn<[import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint, import("@nori-zk/proof-conversion-utils").ComplexProjectivePoint]>;
        IC: import("../validation/guards/core.js").ValidatorFn<[] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint] | [import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint, import("@nori-zk/proof-conversion-utils").ProjectivePoint]>;
    };
    publicInputs: import("../validation/guards/core.js").ValidatorFn<[] | [string, string, string] | [string, string] | [string] | [string, string, string, string] | [string, string, string, string, string] | [string, string, string, string, string, string]>;
};
export declare const snarkjsGroth16ArgKeys: readonly ["proof", "vk", "publicInputs"];