@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
12 lines (11 loc) • 492 B
TypeScript
import { ComputationPlan } from './plan.js';
type InferInput<P> = P extends ComputationPlan<any, any, infer I> ? I : never;
type InferOutput<P> = P extends ComputationPlan<any, infer R, any> ? R : never;
export declare class ComputationalPlanExecutor {
#private;
execute<P extends ComputationPlan<any, any, any>>(plan: P, input: InferInput<P>): Promise<InferOutput<P>>;
terminate(): Promise<void>;
workerFreeStatus(): number[];
constructor(poolSize: number);
}
export {};