import type { O1jsVK, O1jsProof } from '@nori-zk/proof-conversion-utils';
export type Risc0Groth16Vk = Omit<Required<O1jsVK>, 'ic6' | 'alpha_beta'>;
export type Risc0Groth16PairedVk = Omit<Required<O1jsVK>, 'ic6'>;
export type Risc0Groth16Proof = Omit<Required<O1jsProof>, 'pi6'>;
export type Risc0Groth16Input = {
    risc0_proof: Risc0Groth16Proof;
    raw_vk: Risc0Groth16Vk;
};
export declare const risc0Groth16ObjInputSchema: {
    risc0_proof: {
        negA: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        B: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
        C: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        pi1: import("../validation/guards/core.js").ValidatorFn<string>;
        pi2: import("../validation/guards/core.js").ValidatorFn<string>;
        pi3: import("../validation/guards/core.js").ValidatorFn<string>;
        pi4: import("../validation/guards/core.js").ValidatorFn<string>;
        pi5: import("../validation/guards/core.js").ValidatorFn<string>;
    };
    raw_vk: {
        alpha: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        beta: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
        gamma: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
        delta: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").ComplexAffinePoint2d>;
        w27: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").Field12>;
        ic0: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        ic1: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        ic2: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        ic3: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        ic4: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
        ic5: import("../validation/guards/core.js").ValidatorFn<import("@nori-zk/proof-conversion-utils").AffinePoint2d>;
    };
};
export declare const risc0Groth16ArgKeys: readonly ["risc0_proof", "raw_vk"];