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 {};