import { type Risc0Groth16Input } from './schema.js';
export declare const performRisc0Groth16: ((executor: import("../../index.js").ComputationalPlanExecutor, input: Risc0Groth16Input) => Promise<import("../../index.min.js").ConversionOutput>) & {
    fromArgs: ((args_0: import("./schema.js").Risc0Groth16Proof, args_1: import("./schema.js").Risc0Groth16Vk) => Risc0Groth16Input) & {
        keys: readonly ["risc0_proof", "raw_vk"];
    };
    schema: {
        risc0_proof: {
            negA: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            B: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>;
            C: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            pi1: import("../validation/index.js").ValidatorFn<string>;
            pi2: import("../validation/index.js").ValidatorFn<string>;
            pi3: import("../validation/index.js").ValidatorFn<string>;
            pi4: import("../validation/index.js").ValidatorFn<string>;
            pi5: import("../validation/index.js").ValidatorFn<string>;
        };
        raw_vk: {
            alpha: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            beta: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>;
            gamma: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>;
            delta: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>;
            w27: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").Field12>;
            ic0: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            ic1: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            ic2: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            ic3: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            ic4: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
            ic5: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>;
        };
    };
};