From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 9C9445D5 for ; Tue, 18 May 2021 18:04:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,310,1613430000"; d="scan'208,217";a="508801691" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 May 2021 20:04:14 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CB39AE0AA7; Tue, 18 May 2021 20:04:14 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 178B5E0A9F for ; Tue, 18 May 2021 20:04:08 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy@college-de-france.fr; spf=Pass smtp.mailfrom=xavier.leroy@college-de-france.fr; spf=None smtp.helo=postmaster@smtpout01-ext1.partage.renater.fr IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A6EbNyq1JVS9OcrEZCBakYgqjBIskLtp133Aq?= =?us-ascii?q?2lEZdPWaSL3/qynOpoVj6faaskdyZJhNo6HiBEDEexPhHP1Oj7X5X43SOTUO0V?= =?us-ascii?q?HAROpfBMnZogEIcBeOktK1u50QFJSWy+ecMbG5t6zHCcWDf+rICePpzJyV?= X-IronPort-AV: E=Sophos;i="5.82,310,1613430000"; d="scan'208,217";a="381787488" X-MGA-submission: =?us-ascii?q?MDEV1/+76yMd5V06ouHKKY9G5iAfULPWpEYKuf?= =?us-ascii?q?CmAf9gN31/9yZ1l6bxlJb3cKpcqzAySZhZYSdZJ3Y3vJNDW1uDMGoFax?= =?us-ascii?q?D6oLd1ip7WkKXy0DfahpI2JVNLVLVn9fM/5WK+rBBn4L9HL7FqWZakFx?= =?us-ascii?q?28o6//1ceSVah8oSkT1XwHyg=3D=3D?= Received: from smtpout01-ext1.partage.renater.fr ([194.254.240.32]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 May 2021 20:04:07 +0200 Received: from zmtaauth01.partage.renater.fr (zmtaauth01.partage.renater.fr [194.254.240.25]) by smtpout10.partage.renater.fr (Postfix) with ESMTP id B3E8B6219A for ; Tue, 18 May 2021 20:04:06 +0200 (CEST) Received: from zmtaauth01.partage.renater.fr (localhost [127.0.0.1]) by zmtaauth01.partage.renater.fr (Postfix) with ESMTPS id AE385140811 for ; Tue, 18 May 2021 20:04:06 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by zmtaauth01.partage.renater.fr (Postfix) with ESMTP id A773B140872 for ; Tue, 18 May 2021 20:04:06 +0200 (CEST) X-Virus-Scanned: amavisd-new at zmtaauth01.partage.renater.fr Received: from zmtaauth01.partage.renater.fr ([127.0.0.1]) by localhost (zmtaauth01.partage.renater.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id TlfngaEVQR5G for ; Tue, 18 May 2021 20:04:06 +0200 (CEST) Received: from 209.85.128.45 (unknown [194.254.241.251]) by zmtaauth01.partage.renater.fr (Postfix) with ESMTPA id 7742A140811 for ; Tue, 18 May 2021 20:04:06 +0200 (CEST) Received: by mail-wm1-f45.google.com with SMTP id z137-20020a1c7e8f0000b02901774f2a7dc4so2042102wmc.0 for ; Tue, 18 May 2021 11:04:06 -0700 (PDT) X-Gm-Message-State: AOAM530QBhnUVm6c4gG88p4MAmmCUwOfxlPLyZt45Y4DRTzgv/Ve8KnW srp8VofouSA1m5pSSqjou7vDZfAjLKLP2+f2Uiw= X-Google-Smtp-Source: ABdhPJwovlye/8MTmVRVGCywrSGHQdxncgSgQntWR7NDVnUu3IHPTZRptgCJ45Ed5XcdCLFTCWBCTF0efCFOiemcthQ= X-Received: by 2002:a1c:ed03:: with SMTP id l3mr6882257wmh.130.1621361046306; Tue, 18 May 2021 11:04:06 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Xavier Leroy Date: Tue, 18 May 2021 20:03:40 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Joshua Guttman Cc: caml users Content-Type: multipart/alternative; boundary="00000000000037c50605c29e8912" X-Renater-Ptge-SpamState: clean X-Renater-Ptge-SpamScore: -100 X-Renater-Ptge-SpamCause: gggruggvucftvghtrhhoucdtuddrgeduledrvdeijedguddvudcutefuodetggdotefrodftvfcurfhrohhfihhlvgemucftgffptefvgfftnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpeggfhgjhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpegirghvihgvrhcunfgvrhhohicuoeigrghvihgvrhdrlhgvrhhohiestgholhhlvghgvgdquggvqdhfrhgrnhgtvgdrfhhrqeenucggtffrrghtthgvrhhnpeduvdevgfehhedtveefgeduffehjefhvdeiuefhgfekkeehfefhhfekfeegudfgfeenucffohhmrghinhepohgtrghmlhdrohhrghdpnhhqshgsrdhiohdpghhithhhuhgsrdgtohhmnecukfhppeduleegrddvheegrddvgedurddvhedunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehinhgvthepudelgedrvdehgedrvdeguddrvdehuddphhgvlhhopedvtdelrdekhedruddvkedrgeehpdhmrghilhhfrhhomhepiggrvhhivghrucfnvghrohihuceogigrvhhivghrrdhlvghrohihsegtohhllhgvghgvqdguvgdqfhhrrghntggvrdhfrheqpdhrtghpthhtoheptggrmhhlqdhlihhsthesihhnrhhirgdrfhhr Subject: Re: [Caml-list] Crypto libraries for OCaml: Recommendations? Reply-To: Xavier Leroy X-Loop: caml-list@inria.fr X-Sequence: 18495 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000037c50605c29e8912 Content-Type: text/plain; charset="UTF-8" Hello Joshua, Welcome back! Nice to hear from you after all this time! On Tue, May 18, 2021 at 6:51 PM Joshua Guttman 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 > -- > > --00000000000037c50605c29e8912 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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.gu= ttman@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.=C2=A0 But
no= w I have something for which I think OCaml is
the perfect tool.

It does involve relying on a few crypto primitives,= =C2=A0
though, and I see on=C2=A0ocaml.org=C2=A0that there are now=C2=A0
a goo= d number of crypto packages on offer.

In my case, = I just need a decent hash, access to AES=C2=A0
both as a pure cip= her and with the usual modes, and=C2=A0
subsequently decent ellip= tic curve signature and key=C2=A0
exchange.

<= div>Are=C2=A0there=C2=A0packages that provides access to decent
i= mplementations of these things, and are currently
well maintained= ?

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

My aging cryptokit library=C2=A0 is still maintained, and provides a bunch of hashes and sy= mmetric ciphers, but lacks ECC support entirely...

Enjoy,


Thanks a lot!

=C2=A0 =C2=A0 =C2=A0 =C2=A0 Joshua=C2=A0<= /div>
<= div>--

=
--00000000000037c50605c29e8912--