@nori-zk/proof-conversion/build/src/api/sp1/plonk.d.ts

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

import { type SP1ProofWithPublicValuesPlonkNoTee } from './schema.js';
export declare const performSp1Plonk: ((executor: import("../../index.js").ComputationalPlanExecutor, input: SP1ProofWithPublicValuesPlonkNoTee) => Promise<import("../../index.min.js").ConversionOutput>) & {
    fromArgs: false;
    schema: {
        proof: {
            Plonk: {
                public_inputs: import("../validation/index.js").ValidatorFn<[string, string, string, string, string]>;
                encoded_proof: import("../validation/index.js").ValidatorFn<string>;
                raw_proof: import("../validation/index.js").ValidatorFn<string>;
                plonk_vkey_hash: import("../validation/index.js").ValidatorFn<[number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number]>;
            };
        };
        public_values: {
            buffer: {
                data: import("../validation/index.js").ValidatorFn<number[]>;
            };
        };
        sp1_version: import("../validation/index.js").ValidatorFn<string>;
        tee_proof: null;
    };
};