mirage-crypto-ecversion Documentation on ocaml.org

Elliptic Curve Cryptography with primitives taken from Fiat

An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) algorithms using code from Fiat (https://github.com/mit-plv/fiat-crypto).

The curves P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.

Tags org:mirage
AuthorsHannes Mehnert <hannes@mehnert.org>, Nathan Rebours <nathan.p.rebours@gmail.com>, Clément Pascutto <clement@tarides.com>, Etienne Millon <me@emillon.org>, Virgile Robles <virgile.robles@protonmail.ch>, Andres Erbsen <andreser@mit.edu>, Google Inc., Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>, Massachusetts Institute of Technology and Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/mirage/mirage-crypto
Issue Trackerhttps://github.com/mirage/mirage-crypto/issues
Documentationhttps://mirage.github.io/mirage-crypto/doc
MaintainerHannes Mehnert <hannes@mehnert.org>
Dependencies
Conflicts
Source [http] https://github.com/mirage/mirage-crypto/releases/download/v2.4.1/mirage-crypto-2.4.1.tbz
sha256=332886c365c6035077e3ce676a63da8f7500c15a1628b3c07e139b0e551f1f6f
sha512=cb8f4de93241cde0582bcd0283766c681a02dbcb9f3b4786eb0656c651f42ba2db467ff63bff79c5eacfd410e410d77dc31bfc51049c39e1e86685ec0a884c1f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mirage-crypto-ec/mirage-crypto-ec.2.4.1/opam
Required by