@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
10 lines (9 loc) • 327 B
TypeScript
import { FpC, FrC } from '../../towers/index.js';
import { Sp1PlonkProof } from '../proof.js';
import { Sp1PlonkVk } from '../vk.js';
declare class PlonkVerifierPIOP {
VK: Sp1PlonkVk;
constructor(VK: Sp1PlonkVk);
piop(proof: Sp1PlonkProof, pi0: FrC, pi1: FrC): [FpC, FpC, FpC, FpC];
}
export { PlonkVerifierPIOP };