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 P224 (SECP224R1), 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>, 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> |
| Available | false |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/mirage/mirage-crypto/releases/download/v0.9.0/mirage-crypto-v0.9.0.tbz sha256=716684f8a70031f16115e3c84d42141c75fb1e688b7a699bbd09166176ed5217 sha512=7eb56f28583567824b32bf33635b15c39dd684a047455b2cc6a5f768c52ccbe6d8eac80308fac80d78c8f678b0132059fdbc219a252de6ecfd53c26c717a9a3a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mirage-crypto-ec/mirage-crypto-ec.0.9.0/opam |
Required by
- awa=0.0.2
- dns-certify>=5.0.0
- dnssec<9.0.0
- letsencrypt>=0.4.0 & <1.0.0
- ssh-agent>=0.4.0
- tls=0.13.0
- u2f
- webauthn<0.2.0
- x509=0.12.0
