UNPKG

@nori-zk/proof-conversion

Version:

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

17 lines (16 loc) 777 B
import { ComputationalStage, ComputationPlan } from '../../plan.js'; import { PlatformFeatures } from '../platform/index.js'; interface NumaNodeTestComputationPlanOutput { output: string[]; input: string; } interface NumaNodeTestComputationPlanState extends PlatformFeatures, NumaNodeTestComputationPlanOutput { } export declare class NumaNodeTestComputationPlan implements ComputationPlan<NumaNodeTestComputationPlanState, NumaNodeTestComputationPlanOutput, string> { __inputType: string; name: string; init(state: NumaNodeTestComputationPlanState, input: string): Promise<void>; stages: ComputationalStage<NumaNodeTestComputationPlanState>[]; then(state: NumaNodeTestComputationPlanState): Promise<NumaNodeTestComputationPlanOutput>; } export {};