@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
15 lines (14 loc) • 619 B
TypeScript
import { Fp12, FrC } from '../towers/index.js';
import { AuXWitness } from './aux_witness.js';
import { KZGPairing } from './mm_loop/multi_miller.js';
import { PlonkVerifierPIOP } from './piop/piop.js';
import { Sp1PlonkProof } from './proof.js';
import { Sp1PlonkVk } from './vk.js';
declare class Sp1PlonkVerifier {
piopV: PlonkVerifierPIOP;
kzgP: KZGPairing;
constructor(VK: Sp1PlonkVk, g2_lines: string, tau_lines: string);
verify(proof: Sp1PlonkProof, pi0: FrC, pi1: FrC, auxWitness: AuXWitness): void;
computeMlo(proof: Sp1PlonkProof, pi0: FrC, pi1: FrC): Fp12;
}
export { Sp1PlonkVerifier };