@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
28 lines (27 loc) • 5.09 kB
TypeScript
import { type SnarkjsGroth16Input } from './schema.js';
export declare const performSnarkjsGroth16: ((executor: import("../../index.js").ComputationalPlanExecutor, input: SnarkjsGroth16Input) => Promise<import("../../index.min.js").ConversionOutput>) & {
fromArgs: ((args_0: import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").SnarkjsProof, args_1: import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").SnarkjsVK, args_2: string[]) => SnarkjsGroth16Input) & {
keys: readonly ["proof", "vk", "publicInputs"];
};
schema: {
proof: {
protocol: "groth16";
curve: "bn128";
pi_a: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint>;
pi_b: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint>;
pi_c: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint>;
};
vk: {
protocol: "groth16";
curve: "bn128";
nPublic: import("../validation/index.js").ValidatorFn<0 | 1 | 3 | 2 | 4 | 6 | 5>;
vk_alpha_1: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint>;
vk_beta_2: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint>;
vk_gamma_2: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint>;
vk_delta_2: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint>;
vk_alphabeta_12: import("../validation/index.js").ValidatorFn<[import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexProjectivePoint]>;
IC: import("../validation/index.js").ValidatorFn<[] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint] | [import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint, import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ProjectivePoint]>;
};
publicInputs: import("../validation/index.js").ValidatorFn<[] | [string, string, string] | [string, string] | [string] | [string, string, string, string] | [string, string, string, string, string] | [string, string, string, string, string, string]>;
};
};