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

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

import { Field } from 'o1js';
import { Fp12, Fp12Type } from './towers/fp12.js';
export type AuXWitnessType = {
    c: Fp12Type;
    shift_power: string;
};
declare const AuXWitness_base: (new (value: {
    c: Fp12;
    shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}) => {
    c: Fp12;
    shift_power: 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<{
    c: Fp12;
    shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}, {
    c: {
        c0: {
            c0: {
                c0: bigint;
                c1: bigint;
            };
            c1: {
                c0: bigint;
                c1: bigint;
            };
            c2: {
                c0: bigint;
                c1: bigint;
            };
        };
        c1: {
            c0: {
                c0: bigint;
                c1: bigint;
            };
            c1: {
                c0: bigint;
                c1: bigint;
            };
            c2: {
                c0: bigint;
                c1: bigint;
            };
        };
    };
    shift_power: bigint;
}>, "fromFields"> & {
    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
} & {
    fromValue: (value: {
        c: Fp12 | {
            c0: import("./towers/fp6.js").Fp6 | {
                c0: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
                c1: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
                c2: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
            };
            c1: import("./towers/fp6.js").Fp6 | {
                c0: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
                c1: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
                c2: import("./towers/fp2.js").Fp2 | {
                    c0: bigint | import("o1js").AlmostForeignField;
                    c1: bigint | import("o1js").AlmostForeignField;
                };
            };
        };
        shift_power: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
    toInput: (x: {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        fields?: Field[] | undefined;
        packed?: [Field, number][] | undefined;
    };
    toJSON: (x: {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        c: {
            c0: {
                c0: {
                    c0: string;
                    c1: string;
                };
                c1: {
                    c0: string;
                    c1: string;
                };
                c2: {
                    c0: string;
                    c1: string;
                };
            };
            c1: {
                c0: {
                    c0: string;
                    c1: string;
                };
                c1: {
                    c0: string;
                    c1: string;
                };
                c2: {
                    c0: string;
                    c1: string;
                };
            };
        };
        shift_power: string;
    };
    fromJSON: (x: {
        c: {
            c0: {
                c0: {
                    c0: string;
                    c1: string;
                };
                c1: {
                    c0: string;
                    c1: string;
                };
                c2: {
                    c0: string;
                    c1: string;
                };
            };
            c1: {
                c0: {
                    c0: string;
                    c1: string;
                };
                c1: {
                    c0: string;
                    c1: string;
                };
                c2: {
                    c0: string;
                    c1: string;
                };
            };
        };
        shift_power: string;
    }) => {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
    empty: () => {
        c: Fp12;
        shift_power: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
    };
};
export declare class AuXWitness extends AuXWitness_base {
    static parse(path: string): AuXWitness;
}
export {};