package mirage-crypto-ec
Elliptic Curve Cryptography with primitives taken from Fiat
Install
Dune Dependency
Authors
-
HHannes Mehnert <hannes@mehnert.org>
-
NNathan Rebours <nathan.p.rebours@gmail.com>
-
CClément Pascutto <clement@tarides.com>
-
EEtienne Millon <me@emillon.org>
-
AAndres Erbsen <andreser@mit.edu>
-
GGoogle Inc.
-
JJade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
-
MMassachusetts Institute of Technology
-
ZZoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
Maintainers
Sources
mirage-crypto-0.10.7.tbz
sha256=3e818a760c235c5b684c7b6b43b1cdd2a7dd04e0105b680d524f836eb988a69c
sha512=e9c3e6ac0fa3dae2dda9e91d5362ad08aaa65241b968a0c12484db4042146d6af7b46910784ce41bdd68783eede93f35a81aa37a2cd125dfc43503c78007b8b9
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.
Dependencies (8)
-
mirage-crypto-rng
= version -
mirage-crypto
= version -
eqaf
>= "0.7" - dune-configurator
-
cstruct
>= "6.0.0" -
ocaml
>= "4.08.0" -
dune
>= "2.6" -
conf-pkg-config
build
Dev Dependencies (7)
-
yojson
with-test & >= "1.6.0" -
ppx_deriving
with-test -
ppx_deriving_yojson
with-test -
asn1-combinators
with-test & >= "0.2.5" & < "0.3.0" -
alcotest
with-test -
hex
with-test -
mirage-crypto-pk
with-test & = version
Used by (10)
-
awa
>= "0.0.3" & < "0.4.0" - dirsp-proscript-mirage
-
dns-certify
>= "5.0.1" -
dnssec
< "9.0.0" -
letsencrypt
>= "0.4.0" & < "1.0.0" -
ssh-agent
>= "0.4.0" -
tls
>= "0.13.1" & < "1.0.0" - u2f
-
webauthn
< "0.2.0" -
x509
>= "0.12.0"
Conflicts (2)
-
ocaml-freestanding
< "0.4.1" -
mirage-xen
< "6.0.0"