@nori-zk/proof-conversion/build/src/compute/plan.d.ts

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

import { PlatformFeatures } from './plans/platform/index.js';
export interface ProcessCmd {
    cmd: string;
    args: string[];
    emit?: boolean;
    capture?: boolean;
    printableArgs?: number[];
}
export interface ProcessCmdOutput {
    code: number;
    stdOut?: string;
    stdErr?: string;
    error?: Error;
}
export interface BaseComputationalStage {
    name: string;
}
export interface SerialComputationalStage<T> extends BaseComputationalStage {
    type: 'serial-cmd';
    processCmd: ProcessCmd | ((state: T) => ProcessCmd);
    callback?: (state: T, result: ProcessCmdOutput) => Promise<void> | void;
    prerequisite?: (state: T) => Promise<boolean> | boolean;
}
export interface ParallelComputationStage<T> extends BaseComputationalStage {
    type: 'parallel-cmd';
    processCmds: ProcessCmd[] | ((state: T) => ProcessCmd[]);
    callback?: (state: T, result: ProcessCmdOutput[]) => Promise<void> | void;
    prerequisite?: (state: T) => Promise<boolean> | boolean;
    numaOptimized?: boolean;
}
export interface MainThreadComputationStage<T> extends BaseComputationalStage {
    type: 'main-thread';
    execute: (state: T) => Promise<void> | void;
    prerequisite?: (state: T) => Promise<boolean> | boolean;
}
export type ComputationalStage<T> = SerialComputationalStage<T> | ParallelComputationStage<T> | MainThreadComputationStage<T>;
export interface ComputationPlan<T extends PlatformFeatures, R, I> {
    __inputType: I;
    name: string;
    stages: ComputationalStage<T>[];
    init?: (state: T, input: I) => Promise<void>;
    then: (state: T) => Promise<R>;
    finally?: (state: T) => Promise<void>;
}
export declare function Implements<T>(): <U extends new (...args: unknown[]) => T>(constructor: U) => U;