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

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

import { UInt32 } from 'o1js';
import { FpC, FrC } from '../towers/index.js';
declare const StateUntilPairing_base: (new (value: {
    pi0: import("o1js").CanonicalForeignField;
    pi1: import("o1js").CanonicalForeignField;
    zeta_pow_n: import("o1js").CanonicalForeignField;
    zh_eval: import("o1js").CanonicalForeignField;
    alpha_2_l0: import("o1js").CanonicalForeignField;
    hx: import("o1js").CanonicalForeignField;
    hy: import("o1js").CanonicalForeignField;
    pi: import("o1js").CanonicalForeignField;
    linearized_opening: import("o1js").CanonicalForeignField;
    lcm_x: import("o1js").CanonicalForeignField;
    lcm_y: import("o1js").CanonicalForeignField;
    cm_x: import("o1js").CanonicalForeignField;
    cm_y: import("o1js").CanonicalForeignField;
    cm_opening: import("o1js").CanonicalForeignField;
    kzg_random: import("o1js").CanonicalForeignField;
    kzg_cm_x: import("o1js").CanonicalForeignField;
    kzg_cm_y: import("o1js").CanonicalForeignField;
    neg_fq_x: import("o1js").CanonicalForeignField;
    neg_fq_y: import("o1js").CanonicalForeignField;
    H: UInt32[];
}) => {
    pi0: import("o1js").CanonicalForeignField;
    pi1: import("o1js").CanonicalForeignField;
    zeta_pow_n: import("o1js").CanonicalForeignField;
    zh_eval: import("o1js").CanonicalForeignField;
    alpha_2_l0: import("o1js").CanonicalForeignField;
    hx: import("o1js").CanonicalForeignField;
    hy: import("o1js").CanonicalForeignField;
    pi: import("o1js").CanonicalForeignField;
    linearized_opening: import("o1js").CanonicalForeignField;
    lcm_x: import("o1js").CanonicalForeignField;
    lcm_y: import("o1js").CanonicalForeignField;
    cm_x: import("o1js").CanonicalForeignField;
    cm_y: import("o1js").CanonicalForeignField;
    cm_opening: import("o1js").CanonicalForeignField;
    kzg_random: import("o1js").CanonicalForeignField;
    kzg_cm_x: import("o1js").CanonicalForeignField;
    kzg_cm_y: import("o1js").CanonicalForeignField;
    neg_fq_x: import("o1js").CanonicalForeignField;
    neg_fq_y: import("o1js").CanonicalForeignField;
    H: UInt32[];
}) & {
    _isStruct: true;
} & Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
    pi0: import("o1js").CanonicalForeignField;
    pi1: import("o1js").CanonicalForeignField;
    zeta_pow_n: import("o1js").CanonicalForeignField;
    zh_eval: import("o1js").CanonicalForeignField;
    alpha_2_l0: import("o1js").CanonicalForeignField;
    hx: import("o1js").CanonicalForeignField;
    hy: import("o1js").CanonicalForeignField;
    pi: import("o1js").CanonicalForeignField;
    linearized_opening: import("o1js").CanonicalForeignField;
    lcm_x: import("o1js").CanonicalForeignField;
    lcm_y: import("o1js").CanonicalForeignField;
    cm_x: import("o1js").CanonicalForeignField;
    cm_y: import("o1js").CanonicalForeignField;
    cm_opening: import("o1js").CanonicalForeignField;
    kzg_random: import("o1js").CanonicalForeignField;
    kzg_cm_x: import("o1js").CanonicalForeignField;
    kzg_cm_y: import("o1js").CanonicalForeignField;
    neg_fq_x: import("o1js").CanonicalForeignField;
    neg_fq_y: import("o1js").CanonicalForeignField;
    H: UInt32[];
}, {
    pi0: bigint;
    pi1: bigint;
    zeta_pow_n: bigint;
    zh_eval: bigint;
    alpha_2_l0: bigint;
    hx: bigint;
    hy: bigint;
    pi: bigint;
    linearized_opening: bigint;
    lcm_x: bigint;
    lcm_y: bigint;
    cm_x: bigint;
    cm_y: bigint;
    cm_opening: bigint;
    kzg_random: bigint;
    kzg_cm_x: bigint;
    kzg_cm_y: bigint;
    neg_fq_x: bigint;
    neg_fq_y: bigint;
    H: bigint[];
}>, "fromFields"> & {
    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    };
} & {
    fromValue: (value: {
        pi0: bigint | import("o1js").CanonicalForeignField;
        pi1: bigint | import("o1js").CanonicalForeignField;
        zeta_pow_n: bigint | import("o1js").CanonicalForeignField;
        zh_eval: bigint | import("o1js").CanonicalForeignField;
        alpha_2_l0: bigint | import("o1js").CanonicalForeignField;
        hx: bigint | import("o1js").CanonicalForeignField;
        hy: bigint | import("o1js").CanonicalForeignField;
        pi: bigint | import("o1js").CanonicalForeignField;
        linearized_opening: bigint | import("o1js").CanonicalForeignField;
        lcm_x: bigint | import("o1js").CanonicalForeignField;
        lcm_y: bigint | import("o1js").CanonicalForeignField;
        cm_x: bigint | import("o1js").CanonicalForeignField;
        cm_y: bigint | import("o1js").CanonicalForeignField;
        cm_opening: bigint | import("o1js").CanonicalForeignField;
        kzg_random: bigint | import("o1js").CanonicalForeignField;
        kzg_cm_x: bigint | import("o1js").CanonicalForeignField;
        kzg_cm_y: bigint | import("o1js").CanonicalForeignField;
        neg_fq_x: bigint | import("o1js").CanonicalForeignField;
        neg_fq_y: bigint | import("o1js").CanonicalForeignField;
        H: UInt32[] | bigint[];
    }) => {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    };
    toInput: (x: {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    }) => {
        fields?: import("o1js").Field[] | undefined;
        packed?: [import("o1js").Field, number][] | undefined;
    };
    toJSON: (x: {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    }) => {
        pi0: string;
        pi1: string;
        zeta_pow_n: string;
        zh_eval: string;
        alpha_2_l0: string;
        hx: string;
        hy: string;
        pi: string;
        linearized_opening: string;
        lcm_x: string;
        lcm_y: string;
        cm_x: string;
        cm_y: string;
        cm_opening: string;
        kzg_random: string;
        kzg_cm_x: string;
        kzg_cm_y: string;
        neg_fq_x: string;
        neg_fq_y: string;
        H: string[];
    };
    fromJSON: (x: {
        pi0: string;
        pi1: string;
        zeta_pow_n: string;
        zh_eval: string;
        alpha_2_l0: string;
        hx: string;
        hy: string;
        pi: string;
        linearized_opening: string;
        lcm_x: string;
        lcm_y: string;
        cm_x: string;
        cm_y: string;
        cm_opening: string;
        kzg_random: string;
        kzg_cm_x: string;
        kzg_cm_y: string;
        neg_fq_x: string;
        neg_fq_y: string;
        H: string[];
    }) => {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    };
    empty: () => {
        pi0: import("o1js").CanonicalForeignField;
        pi1: import("o1js").CanonicalForeignField;
        zeta_pow_n: import("o1js").CanonicalForeignField;
        zh_eval: import("o1js").CanonicalForeignField;
        alpha_2_l0: import("o1js").CanonicalForeignField;
        hx: import("o1js").CanonicalForeignField;
        hy: import("o1js").CanonicalForeignField;
        pi: import("o1js").CanonicalForeignField;
        linearized_opening: import("o1js").CanonicalForeignField;
        lcm_x: import("o1js").CanonicalForeignField;
        lcm_y: import("o1js").CanonicalForeignField;
        cm_x: import("o1js").CanonicalForeignField;
        cm_y: import("o1js").CanonicalForeignField;
        cm_opening: import("o1js").CanonicalForeignField;
        kzg_random: import("o1js").CanonicalForeignField;
        kzg_cm_x: import("o1js").CanonicalForeignField;
        kzg_cm_y: import("o1js").CanonicalForeignField;
        neg_fq_x: import("o1js").CanonicalForeignField;
        neg_fq_y: import("o1js").CanonicalForeignField;
        H: UInt32[];
    };
};
declare class StateUntilPairing extends StateUntilPairing_base {
    deepClone(): StateUntilPairing;
}
type StateUntilPairingType = {
    pi0: FrC;
    pi1: FrC;
    zeta_pow_n: FrC;
    zh_eval: FrC;
    alpha_2_l0: FrC;
    hx: FpC;
    hy: FpC;
    pi: FrC;
    linearized_opening: FrC;
    lcm_x: FpC;
    lcm_y: FpC;
    cm_x: FpC;
    cm_y: FpC;
    cm_opening: FrC;
    kzg_random: FrC;
    kzg_cm_x: FpC;
    kzg_cm_y: FpC;
    neg_fq_x: FpC;
    neg_fq_y: FpC;
    H: Array<UInt32>;
};
declare function empty(pi0: FrC, pi1: FrC): StateUntilPairingType;
export { StateUntilPairingType, StateUntilPairing, empty };