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 7F7C25D5 for ; Tue, 18 May 2021 16:51:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,310,1613430000"; d="scan'208,217";a="508790820" 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 18:51:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 78AA8E0AA4; Tue, 18 May 2021 18:51:31 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 70429E0A9D for ; Tue, 18 May 2021 18:51:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=joshua.guttman@gmail.com; spf=Pass smtp.mailfrom=joshua.guttman@gmail.com; spf=None smtp.helo=postmaster@mail-ot1-f45.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A2HsrcBB9A5m/EnPae2heUyQUlUMY04WdBeb1wqQ?= =?us-ascii?q?uh78GSKm/5ZOqZBWZuaw8ygWXAs6KtbptsKn/i+jYQ2sO4JKM4jgpUadncFs7s?= =?us-ascii?q?/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQp?= =?us-ascii?q?yO+/5BpPeg9642uyv/5DfeRtEiTu/bL99KBi7rBjau9ULj4dlNqs/0AbCrGFSe?= =?us-ascii?q?+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQP?= =?us-ascii?q?CTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLni?= =?us-ascii?q?D0fOjE28G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5u?= =?us-ascii?q?xYY8ID+oaPeZYspPyrEYPoxujGQmsGObvxSVOhnTr2qA60eMhERrG3Aw9Bd0Cq?= =?us-ascii?q?nvUrMjpNKcOVOC61q/IwC7Mb/NTwzj96YzIfgo9rvGLWLJ9aMzcwlQgGA3ZlFu?= =?us-ascii?q?fs5DlPy+L2eQXtWiW9+VtWfyzhmMjqAx/rDiiy8Uoh4fHiY8YxFDK+CZ3zosxO?= =?us-ascii?q?dG1VU51bNqrHZZSqi2XNJd6T8wtTW12tig3zr4LtJC9cSMXxponwBvfZOaGc4i?= =?us-ascii?q?O+h/jU/qeLi19hHJhYr6/gAyy8Uemx+bhVce0yE5HojRZntTIrHwA1Bze5tKZR?= =?us-ascii?q?vdg4kutwzmC2gDV5+pZO047j7DbJIQkwrMolpocr0DDHijulUXzlqCWd0Ek9vG?= =?us-ascii?q?v6+T7f7nqv5GcOoB0hw3kPaQuncu/Aes8MgcQRWSU5eO81Lj78U34RrVFkOE2n?= =?us-ascii?q?7HHvJzGIckXvK20Dg9P3oo99hqzEy2q3dsYkHUfKVJKYhOHj4znO1HUJ/D4CO+?= =?us-ascii?q?yg1arkDdwx/DGI6fuDo/CLnjejLfhYbN95FRayAcowtBf4ohbCrAFIP7pRkDxs?= =?us-ascii?q?9nYAgcjMwOo2+bnFMl91oQGVG2TGKCZNafSvUaM5uIuOOmMeJQYuC39Kvgg//7?= =?us-ascii?q?hl2U1mV4bfamz3JsYcmq0Hvp8IxbRXX25id4EFSIOvxEiZO3sklyLFzBJNFioW?= =?us-ascii?q?KdpxDYgCJ+vRajeWpyoibrJiCW8BZ1LbyZJF0yQFH7uX4qBUvYILimVJ5kywXQ?= =?us-ascii?q?/SbG9Rtp5hlmVvwjgxu8/RgI70iIdvJPnktNy4r+K/fnX3TNxBsWZlWqKSjMs9?= =?us-ascii?q?ovpbzo/3aQ6plAkj1nfjO53hPtXEdEV7PRMAF9SCA=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aub6bR6DIlol7zL3lHemh55DYdb4zR+YMi2TD?= =?us-ascii?q?83ocdfUzSKOlfqGV8sjzsCWftN9/YgBCpTntAtjjfZq+z/9ICPcqUItKNTOO0A?= =?us-ascii?q?CVxa5ZnOzfKlbbaknDH4BmpMJdmtBFaOHNMQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D+AQAP8KNgfy3SVdFagmCCV0tWOjGER?= =?us-ascii?q?4EenC2FS4NTiCgLAQMBDS0UBAEBhkUCHQcBBDMGDgIEFQEBBQEBAQIBAwMEARM?= =?us-ascii?q?BAQ0LCwgnHIVQDYI4IoQDER0BGx4DEgMGBzcCJAERAQUBPRqCUIJUAQMvjR+Me?= =?us-ascii?q?IIegQQ9izKBFQUBF4EBgggGhGIKGSgNYwOBOAIHEoEohWqBHQEBhTyBHicQgVV?= =?us-ascii?q?EgUuDKoUQgkqCYwSCQIExgRWrOJFJLAeDGQSBHwYLiE6TRyiFG6AjoT+SY4U1E?= =?us-ascii?q?COBR4F9MxojgQGCOAlHGQ6OKheDToUUhWUoLzgCBgEJAQEDCY0QAQE?= X-IPAS-Result: =?us-ascii?q?A0D+AQAP8KNgfy3SVdFagmCCV0tWOjGER4EenC2FS4NTiCg?= =?us-ascii?q?LAQMBDS0UBAEBhkUCHQcBBDMGDgIEFQEBBQEBAQIBAwMEARMBAQ0LCwgnHIVQD?= =?us-ascii?q?YI4IoQDER0BGx4DEgMGBzcCJAERAQUBPRqCUIJUAQMvjR+MeIIegQQ9izKBFQU?= =?us-ascii?q?BF4EBgggGhGIKGSgNYwOBOAIHEoEohWqBHQEBhTyBHicQgVVEgUuDKoUQgkqCY?= =?us-ascii?q?wSCQIExgRWrOJFJLAeDGQSBHwYLiE6TRyiFG6AjoT+SY4U1ECOBR4F9MxojgQG?= =?us-ascii?q?COAlHGQ6OKheDToUUhWUoLzgCBgEJAQEDCY0QAQE?= X-IronPort-AV: E=Sophos;i="5.82,310,1613430000"; d="scan'208,217";a="508790795" X-MGA-submission: =?us-ascii?q?MDHRzHA7kY8ObprHLWqOAbYkzLV79uWIBnpe75?= =?us-ascii?q?Wc/02jpoeIaWioUWkrJBwP6Ccc9j8qzb1ZTt6cNWEBNlXvvu3+v03Tvl?= =?us-ascii?q?qufIG1YEw2e/vIXUZ65btqSvALWJ+PEuWdWi5Fyt3QBDTqa6G4wPA1Dm?= =?us-ascii?q?aSbX2oGAOlIkq0aX3Ivj80MA=3D=3D?= Received: from mail-ot1-f45.google.com ([209.85.210.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 18 May 2021 18:51:25 +0200 Received: by mail-ot1-f45.google.com with SMTP id 36-20020a9d0ba70000b02902e0a0a8fe36so9204081oth.8 for ; Tue, 18 May 2021 09:51:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=eREZojNMVNj3G85yCrgIuzgs6tiKYvkF4EXrwTBl4jU=; b=nIOKU5YlKqEAqqRckiIGMYofCcBuALWhJuh3pj/dBq/9GfHP5VidmT3hmjZUPMO1rg o76S8UA2ganiCttVrvi1k4V4O8NH+cYVBSyTIG/AxUyAV5MwMoRk0suYts0183ml59Da MqG7QL1jt7+uugD8hWfh9IX3LcMKSZB5gUIjND6OthkLwnp6cnz823Z45oFGwW1W9Tq/ ll5eRVwxdnazKBhQcy+ksd335AThUK8hOAdeJwTwJG0E+U4sk2XCyQGgKVma1RgTa8rY E/Ds3Fmdlu0AUwAxLeJ1QrporoxWY1tk64r3zBAlU5JpLnHsptd9fzxp86nGDsJyCrWC CAnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=eREZojNMVNj3G85yCrgIuzgs6tiKYvkF4EXrwTBl4jU=; b=oSljoELpgvOWq25tJP2KKNH2N4ltsAuwTGp63zoD5ZFo7FZQZkdaghUR7Ft1zU5BVw uapecZtDahf/DPJTBEfeuVdFoT7eh2M+0t1rUAEjNAb9har0pVih2Q03GdUbLWxlufKH YZHCQJJmplz56ykKgk64sT0z8yvODGaajsy0A0k6DwHPg8wCG7xydFqtUU6tVOV8Xx1E PqH53STDtmkVwe0m9+Fq7z5b9YiBUNOAyfgvYQJTVMzGWme8ypGWEFcSZubcN4R3quUr jimHjh6ji38vqom7TyfbtQ2R7H51040KTFRLpFvoi1guQ2ad5hPya5FoFj34QBRzAQ1b Fvqg== X-Gm-Message-State: AOAM532z0tH+a4ZAo8Umnfl6v4juuMyokExFgeMKM3Xx5I6aU4upt/7H m2Rjk7gPtRtEip7pamkX80MKFFueXsitJ8F3TszhBqsfcJI= X-Google-Smtp-Source: ABdhPJxYCI5VdUhjdS5WG9rJi3Vls+URo8k79x4h+QDu6ydHPD4Y1pY4ZPX60aJDpt/0Dq35HPB56ttw8qz5CQhJz/c= X-Received: by 2002:a05:6830:1c67:: with SMTP id s7mr5101632otg.197.1621356683663; Tue, 18 May 2021 09:51:23 -0700 (PDT) MIME-Version: 1.0 From: Joshua Guttman Date: Tue, 18 May 2021 12:51:12 -0400 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000002f1e8205c29d858a" Subject: [Caml-list] Crypto libraries for OCaml: Recommendations? Reply-To: Joshua Guttman X-Loop: caml-list@inria.fr X-Sequence: 18494 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: --0000000000002f1e8205c29d858a Content-Type: text/plain; charset="UTF-8" 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? Thanks a lot! Joshua -- --0000000000002f1e8205c29d858a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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
=
now I have something for which I think OCaml is
the perfect = tool.

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

In my= case, I just need a decent hash, access to AES=C2=A0
both as a p= ure cipher and with the usual modes, and=C2=A0
subsequently decen= t elliptic curve signature and key=C2=A0
exchange.

=
Are=C2=A0there=C2=A0packages that provides access to decent
implementations of these things, and are currently
well mai= ntained?

Thanks a lot!

=C2=A0 =C2=A0 =C2=A0 =C2=A0 Joshua=C2=A0
=
--

--0000000000002f1e8205c29d858a--