@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
21 lines (20 loc) • 706 B
TypeScript
import { G2Affine } from '../ec/g2.js';
import { G2Line } from '../lines/index.js';
import { Fp12 } from '../towers/index.js';
import { ForeignCurve } from 'o1js';
declare class GrothVk {
delta_lines: Array<G2Line>;
gamma_lines: Array<G2Line>;
alpha_beta: Fp12;
w27: Fp12;
w27_square: Fp12;
ic0: ForeignCurve;
ic1: ForeignCurve;
ic2: ForeignCurve;
ic3: ForeignCurve;
ic4: ForeignCurve;
ic5: ForeignCurve;
constructor(alpha_beta: Fp12, w27: Fp12, delta: G2Affine, gamma: G2Affine, ic0: ForeignCurve, ic1: ForeignCurve, ic2: ForeignCurve, ic3: ForeignCurve, ic4: ForeignCurve, ic5: ForeignCurve);
static parse(path: string): GrothVk;
}
export { GrothVk };