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"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page