@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
35 lines (34 loc) • 2.66 kB
TypeScript
import type { O1jsVK, O1jsProof } from '@nori-zk/proof-conversion-utils';
export type Risc0Groth16Vk = Omit<Required<O1jsVK>, 'ic6' | 'alpha_beta'>;
export type Risc0Groth16PairedVk = Omit<Required<O1jsVK>, 'ic6'>;
export type Risc0Groth16Proof = Omit<Required<O1jsProof>, 'pi6'>;
export type Risc0Groth16Input = {
risc0_proof: Risc0Groth16Proof;
raw_vk: Risc0Groth16Vk;
};
export declare const risc0Groth16ObjInputSchema: {
risc0_proof: {
negA: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
B: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
C: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
pi1: import("../validation/guards/core.js").ValidatorFn<string>;
pi2: import("../validation/guards/core.js").ValidatorFn<string>;
pi3: import("../validation/guards/core.js").ValidatorFn<string>;
pi4: import("../validation/guards/core.js").ValidatorFn<string>;
pi5: import("../validation/guards/core.js").ValidatorFn<string>;
};
raw_vk: {
alpha: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
beta: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
gamma: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
delta: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
w27: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").Field12>;
ic0: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
ic1: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
ic2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
ic3: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
ic4: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
ic5: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
};
};
export declare const risc0Groth16ArgKeys: readonly ["risc0_proof", "raw_vk"];