@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
23 lines (22 loc) • 882 B
TypeScript
import { PlatformFeatures } from '../platform/index.js';
import { ComputationalStage, ComputationPlan } from '../../plan.js';
import { ConversionOutput } from '../../types.js';
import type { Risc0Groth16Input } from '../../../api/risc0/schema.js';
interface State extends PlatformFeatures, ConversionOutput {
workingDirName: string;
workingDir: string;
cacheDir: string;
input: Risc0Groth16Input;
witnessPath: string;
proofPath: string;
vkPath: string;
}
export declare class Risc0Groth16ComputationalPlan implements ComputationPlan<State, ConversionOutput, Risc0Groth16Input> {
readonly __inputType: Risc0Groth16Input;
name: string;
init(state: State, input: Risc0Groth16Input): Promise<void>;
stages: ComputationalStage<State>[];
then(state: State): Promise<ConversionOutput>;
finally(state: State): Promise<void>;
}
export {};