UNPKG

@nori-zk/proof-conversion

Version:

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

4 lines (3 loc) • 262 B
1
2
3
4
import { ComputationalPlanExecutor } from '../../compute/executor.js'; import { Sp1 } from './types.js'; export declare function performSp1ToPlonk(executor: ComputationalPlanExecutor, sp1: Sp1): Promise<import("../../compute/plans/plonk/index.js").PlonkOutput>;