UNPKG

@nori-zk/proof-conversion

Version:

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

16 lines • 805 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
const P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n; const BETA = -1n; const P_MINUS_1_DIV_6 = 3648040478639879203707734290876212514782718526216303943781506315774204368097n; // BE naf representation of 6x + 2 const ATE_LOOP_COUNT = [ 1, 1, 0, 1, 0, 0, -1, 0, 1, 1, 0, 0, 0, -1, 0, 0, 1, 1, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 1, 1, 1, 0, 0, 0, 0, -1, 0, 1, 0, 0, -1, 0, 1, 1, 0, 0, 1, 0, 0, -1, 1, 0, 0, -1, 0, 1, 0, 1, 0, 0, 0, ]; const atc = [ 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, ]; export { P, P_MINUS_1_DIV_6, BETA, ATE_LOOP_COUNT, atc }; //# sourceMappingURL=consts.js.map