UNPKG

@nori-zk/proof-conversion

Version:

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

24 lines (23 loc) • 762 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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; private icPoints; get ic0(): ForeignCurve; get ic1(): ForeignCurve; get ic2(): ForeignCurve; get ic3(): ForeignCurve; get ic4(): ForeignCurve; get ic5(): ForeignCurve; get ic6(): ForeignCurve; getIcPoint(index: number): ForeignCurve | undefined; constructor(alpha_beta: Fp12, w27: Fp12, delta: G2Affine, gamma: G2Affine, icPoints: ForeignCurve[]); static parse(path: string): GrothVk; } export { GrothVk };