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 <https://github.com/xavierleroy/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
> --
>
>