@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
11 lines (10 loc) • 321 B
TypeScript
declare const Fp_base: typeof import("node_modules/o1js/dist/node/lib/provable/foreign-field.js").UnreducedForeignField;
declare class Fp extends Fp_base {
}
declare class FpU extends Fp.Unreduced {
}
declare class FpA extends Fp.AlmostReduced {
}
declare class FpC extends Fp.Canonical {
}
export { Fp, FpU, FpA, FpC };