@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
6 lines (5 loc) • 300 B
TypeScript
declare function assertPointOnBn(x: bigint, y: bigint): void;
declare function assertInBnField(x: bigint): void;
declare function unsafeHex2Bytes(hex: string): Uint8Array;
declare function numOfUin256s(hex: string): number;
export { assertPointOnBn, assertInBnField, unsafeHex2Bytes, numOfUin256s };