@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
14 lines (13 loc) • 503 B
TypeScript
import { G2Line } from '../../lines/index.js';
import { G1Affine } from '../../ec/index.js';
import { Fp12 } from '../../towers/index.js';
import { Field } from 'o1js';
declare class KZGPairing {
g2_lines: Array<G2Line>;
tau_lines: Array<G2Line>;
w27: Array<Fp12>;
constructor(g2_lines: string, tau_lines: string, w27: Fp12);
multiMillerLoop(A: G1Affine, negB: G1Affine): Fp12;
proveEqual(A: G1Affine, negB: G1Affine, shift_power: Field, c: Fp12): void;
}
export { KZGPairing };