UNPKG

@nori-zk/proof-conversion

Version:

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

7 lines (6 loc) • 362 B
1
2
3
4
5
6
7
declare const P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n; declare const BETA = -1n; declare const P_MINUS_1_DIV_6 = 3648040478639879203707734290876212514782718526216303943781506315774204368097n; declare const ATE_LOOP_COUNT: number[]; declare const atc: number[]; export { P, P_MINUS_1_DIV_6, BETA, ATE_LOOP_COUNT, atc };