@nori-zk/proof-conversion/build/src/structs.d.ts

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

import { DynamicProof, Field, Undefined } from 'o1js';
declare class ZkpProofLeft extends DynamicProof<Field, Field> {
    static publicInputType: typeof import("node_modules/o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("node_modules/o1js/dist/node/lib/provable/field.js").Field) => import("node_modules/o1js/dist/node/lib/provable/field.js").Field);
    static publicOutputType: typeof import("node_modules/o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("node_modules/o1js/dist/node/lib/provable/field.js").Field) => import("node_modules/o1js/dist/node/lib/provable/field.js").Field);
    static maxProofsVerified: 0;
    static featureFlags: {
        rangeCheck0: undefined;
        rangeCheck1: undefined;
        foreignFieldAdd: undefined;
        foreignFieldMul: undefined;
        xor: undefined;
        rot: undefined;
        lookup: undefined;
        runtimeTables: undefined;
    };
}
declare class ZkpProofRight extends DynamicProof<Field, Field> {
    static publicInputType: typeof import("node_modules/o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("node_modules/o1js/dist/node/lib/provable/field.js").Field) => import("node_modules/o1js/dist/node/lib/provable/field.js").Field);
    static publicOutputType: typeof import("node_modules/o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst | import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("node_modules/o1js/dist/node/lib/provable/field.js").Field) => import("node_modules/o1js/dist/node/lib/provable/field.js").Field);
    static maxProofsVerified: 0;
    static featureFlags: {
        rangeCheck0: undefined;
        rangeCheck1: undefined;
        foreignFieldAdd: undefined;
        foreignFieldMul: undefined;
        xor: undefined;
        rot: undefined;
        lookup: undefined;
        runtimeTables: undefined;
    };
}
declare const SubtreeCarry_base: (new (value: {
    leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}) => {
    leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}) & {
    _isStruct: true;
} & Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
    leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}, {
    leftIn: bigint;
    rightOut: bigint;
    subtreeVkDigest: bigint;
}>, "fromFields"> & {
    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
} & {
    fromValue: (value: {
        leftIn: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
    toInput: (x: {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        fields?: Field[] | undefined;
        packed?: [Field, number][] | undefined;
    };
    toJSON: (x: {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        leftIn: string;
        rightOut: string;
        subtreeVkDigest: string;
    };
    fromJSON: (x: {
        leftIn: string;
        rightOut: string;
        subtreeVkDigest: string;
    }) => {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
    empty: () => {
        leftIn: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        rightOut: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
        subtreeVkDigest: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
};
declare class SubtreeCarry extends SubtreeCarry_base {
}
declare class NodeProofLeft extends DynamicProof<Undefined, SubtreeCarry> {
    static publicInputType: import("node_modules/o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, undefined, null>;
    static publicOutputType: typeof SubtreeCarry;
    static maxProofsVerified: 2;
    static featureFlags: {
        rangeCheck0: undefined;
        rangeCheck1: undefined;
        foreignFieldAdd: undefined;
        foreignFieldMul: undefined;
        xor: undefined;
        rot: undefined;
        lookup: undefined;
        runtimeTables: undefined;
    };
}
declare class NodeProofRight extends DynamicProof<Undefined, SubtreeCarry> {
    static publicInputType: import("node_modules/o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, undefined, null>;
    static publicOutputType: typeof SubtreeCarry;
    static maxProofsVerified: 2;
    static featureFlags: {
        rangeCheck0: undefined;
        rangeCheck1: undefined;
        foreignFieldAdd: undefined;
        foreignFieldMul: undefined;
        xor: undefined;
        rot: undefined;
        lookup: undefined;
        runtimeTables: undefined;
    };
}
declare const NOTHING_UP_MY_SLEEVE: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
export { ZkpProofLeft, ZkpProofRight, NodeProofLeft, NodeProofRight, SubtreeCarry, NOTHING_UP_MY_SLEEVE, };