Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
or, phrased differently -- maybe there should be an optional boolean argument ?pad, and depending on this the returned Cstruct.t should include leading 0 bytes or not.
Originally posted by @hannesm in https://github.com/mirage/ocaml-hacl-ecc/pull/1