Show HN: Zero-Knowledge Proofs in WebAssembly

Generate proving and verification keys for proving the knowledge of an elliptic curve discrete logarithm problem. That is, the knowledge of x such that $h = g^x$, in the baby jubjub curve. The curve is $168700 * x^2 + y^2 = 1 + 168696x^2y^2$, defined over the prime field $F_p$, where $$\small{p = \atop and $$g = \\ \atop \\ \atop

Source: zkwasm.kobi.one