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

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

declare const Fr_base: typeof import("node_modules/o1js/dist/node/lib/provable/foreign-field.js").UnreducedForeignField;
declare class Fr extends Fr_base {
}
declare class FrU extends Fr.Unreduced {
}
declare class FrA extends Fr.AlmostReduced {
}
declare class FrC extends Fr.Canonical {
    static provable: typeof Fr.Canonical.provable;
    static from: typeof Fr.Canonical.from;
}
declare function powFr(x: FrC, exp: Array<number>): import("o1js").CanonicalForeignField;
declare function xorFr(x: FrC, y: FrC): import("o1js").CanonicalForeignField;
export { Fr, FrU, FrA, FrC, powFr, xorFr };