@nori-zk/proof-conversion/build/src/groth/verifier.d.ts

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

import { Fp12 } from '../towers/index.js';
import { GrothVk } from './vk.js';
import { Proof } from './proof.js';
import { AuXWitness } from '../aux_witness.js';
declare class Groth16Verifier {
    vk: GrothVk;
    constructor(path_to_vk: string);
    multiMillerLoop(proof: Proof): Fp12;
    verify(proof: Proof, aux_witness: AuXWitness): void;
}
export { Groth16Verifier };