mirage-crypto-ecversion
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 |
---|---|
Authors | Hannes 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> |
License | MIT |
Published | |
Homepage | https://github.com/mirage/mirage-crypto |
Issue Tracker | https://github.com/mirage/mirage-crypto/issues |
Maintainer | Hannes Mehnert <hannes@mehnert.org> |
Dependencies |
|
Conflicts | |
Source [http] | https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353 sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mirage-crypto-ec/mirage-crypto-ec.1.1.0/opam |
Required by
- awa>=0.4.0
- dns-certify>=9.0.0
- dnssec>=9.0.0
- letsencrypt>=1.0.0
- tls>=1.0.0
- x509>=1.0.0