Hello Joshua,

Welcome back! Nice to hear from you after all this time!

On Tue, May 18, 2021 at 6:51 PM Joshua Guttman <joshua.guttman@gmail.com> wrote:
It's a while since I've done a project with OCaml,
though I used it a lot a decade or more back.  But
now I have something for which I think OCaml is
the perfect tool.

It does involve relying on a few crypto primitives, 
though, and I see on ocaml.org that there are now 
a good number of crypto packages on offer.

In my case, I just need a decent hash, access to AES 
both as a pure cipher and with the usual modes, and 
subsequently decent elliptic curve signature and key 
exchange.

Are there packages that provides access to decent
implementations of these things, and are currently
well maintained?

The mirage-crypto libraries are going strong, with impressive support for formally-verified elliptic curve crypto: https://hannes.nqsb.io/Posts/EC

My aging cryptokit library  is still maintained, and provides a bunch of hashes and symmetric ciphers, but lacks ECC support entirely...

Enjoy,

- Xavier Leroy


Thanks a lot!

        Joshua 
--