@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
12 lines (11 loc) • 388 B
TypeScript
import { Fp12 } from '../towers/index.js';
import { GrothVk } from './vk.js';
import { ProofData } from './proof.js';
import { AuXWitness } from '../aux_witness.js';
declare class Groth16Verifier {
vk: GrothVk;
constructor(path_to_vk: string);
multiMillerLoop(proof: ProofData): Fp12;
verify(proof: ProofData, aux_witness: AuXWitness): void;
}
export { Groth16Verifier };