From: Xavier Leroy <xavier.leroy@college-de-france.fr>
To: Joshua Guttman <joshua.guttman@gmail.com>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Crypto libraries for OCaml: Recommendations?
Date: Tue, 18 May 2021 20:03:40 +0200 [thread overview]
Message-ID: <CAH=h3gEE+xkoZFE4CaTBSZY86KmZr5Voc5YYrz2wkWkSh_2zjw@mail.gmail.com> (raw)
In-Reply-To: <CAPFR9zMUKPzppJc7CpzNDj42ExDhfrrqKFH5GKbi1_DNt9nKgg@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1189 bytes --]
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
> --
>
>
[-- Attachment #2: Type: text/html, Size: 2971 bytes --]
next prev parent reply other threads:[~2021-05-18 18:04 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-18 16:51 Joshua Guttman
2021-05-18 18:03 ` Xavier Leroy [this message]
2021-05-18 18:32 ` Jonathan Protzenko
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAH=h3gEE+xkoZFE4CaTBSZY86KmZr5Voc5YYrz2wkWkSh_2zjw@mail.gmail.com' \
--to=xavier.leroy@college-de-france.fr \
--cc=caml-list@inria.fr \
--cc=joshua.guttman@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).