@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
49 lines (48 loc) • 7.24 kB
TypeScript
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"];