Elliptic Curve Cryptography with primitives taken from Fiat
Description

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.

Install
Last Published
26 Jul 2021
Authors
Maintainers
Sources
mirage-crypto-v0.10.3.tbz
sha256=a27910365d59b02c3f0e8a40d93a5b81835acf832e1ffa596ee772b41e8a900b sha512=eb0d5a947649d6d9d55b8f5d5ea624e7b2b969baf7b855bf86b46cfadf9312e42e9caea479eb9c364a3c9cd4b3aa56f3a6a1b0cc20e022fdbd82bdb722df1198
Dependencies
yojson with-test & >= "1.6.0"
ppx_deriving with-test
asn1-combinators with-test & >= "0.2.5"
alcotest with-test
hex with-test
mirage-crypto-pk with-test & = version
mirage-crypto = version
eqaf >= "0.7"
cstruct >= "3.5.0"
ocaml >= "4.08.0"
dune >= "2.6"
Reverse Dependencies
awa >= "0.0.3"
dns-certify >= "5.0.1"
letsencrypt >= "0.4.0"
ssh-agent >= "0.4.0"
tls >= "0.13.1"
x509 >= "0.12.0" & < "0.16.1"
Conflicts