UNPKG

@nori-zk/proof-conversion

Version:

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

4 lines (3 loc) • 330 B
1
2
3
4
import { ComputationalPlanExecutor } from '../../compute/executor.js'; import { Risc0Proof, Risc0RawVk } from './types.js'; export declare function performRisc0ToGroth16(executor: ComputationalPlanExecutor, risc0_proof: Risc0Proof, risc0_raw_vk: Risc0RawVk): Promise<import("../../compute/plans/groth16/index.js").Groth16Output>;