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