@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
10 lines (9 loc) • 374 B
TypeScript
import { ComputationPlan } from './plan.js';
import { PlatformFeatures } from './plans/platform/index.js';
export declare class ComputationalPlanExecutor {
#private;
execute<S extends PlatformFeatures, R, I>(plan: ComputationPlan<S, R, I>, input: I): Promise<R>;
terminate(): Promise<void>;
workerFreeStatus(): number[];
constructor(poolSize: number);
}