BN 128 elliptic curve implementation in OCAML (for Ethereum zero-knowledge proofs) - View it on GitHub