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