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