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

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

import { G2Affine } from './g2.js';
declare const G1Affine_base: (new (value: {
    x: import("o1js").AlmostForeignField;
    y: import("o1js").AlmostForeignField;
}) => {
    x: import("o1js").AlmostForeignField;
    y: import("o1js").AlmostForeignField;
}) & {
    _isStruct: true;
} & Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
    x: import("o1js").AlmostForeignField;
    y: import("o1js").AlmostForeignField;
}, {
    x: bigint;
    y: bigint;
}>, "fromFields"> & {
    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    };
} & {
    fromValue: (value: {
        x: bigint | import("o1js").AlmostForeignField;
        y: bigint | import("o1js").AlmostForeignField;
    }) => {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    };
    toInput: (x: {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    }) => {
        fields?: import("o1js").Field[] | undefined;
        packed?: [import("o1js").Field, number][] | undefined;
    };
    toJSON: (x: {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    }) => {
        x: string;
        y: string;
    };
    fromJSON: (x: {
        x: string;
        y: string;
    }) => {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    };
    empty: () => {
        x: import("o1js").AlmostForeignField;
        y: import("o1js").AlmostForeignField;
    };
};
declare class G1Affine extends G1Affine_base {
}
export { G1Affine, G2Affine };