package mirage-crypto-ec
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
sha256=da200c0afdbe63474ab19f2bc616e26c10b0e4fbb53fb97fefb2794212f5d442
sha512=fee7793a31e42b4fac4aee15383d173efe58936147c9f214b5e78a0fb5ac14e65c3db29ba422f0d9ed0062464e9d86f1f95c74b89117256d204c26d70a8b589d
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.
README
mirage-crypto - Cryptographic primitives for MirageOS
v0.9.2
mirage-crypto is a small cryptographic library that puts emphasis on the applicative style and ease of use. It includes basic ciphers (AES, 3DES, RC4, ChaCha20/Poly1305), hashes (MD5, SHA1, SHA2 family), AEAD primitives (AES-GCM, AES-CCM), public-key primitives (RSA, DSA, DH) and a strong RNG (Fortuna).
RSA timing attacks are countered by blinding. AES timing attacks are avoided by delegating to AES-NI.
Mirage-crypto is a fork of the ocaml-nocrypto written by David Kaloper. It was forked with the permission of the original author in order to facilitate changes (e.g. build system) required by Mirage that the upstream didn't have time to keep up with.
Mirage-crypto-rng embeds the former mirage-entropy opam package, which implements various entropy sources:
non-deterministic execution time (used at initial seeding, see the whirlwind RNG paper)
a hook into the Lwt event loop that collects a timestamp of each event
rdseed and rdrand (x86/x86-64 only)
Build
dune build
dune runtest
FAQ
RNG seeding
If RNG fails with Fatal error: exception Unseeded_generator
, you need to seed it.
Lwt:
let () = Mirage_crypto_rng_lwt.initialize ()
Unix:
let () = Mirage_crypto_rng_unix.initialize ()
Dependencies (8)
-
mirage-crypto-rng
= version
-
mirage-crypto
= version
-
eqaf
>= "0.7"
- dune-configurator
-
cstruct
>= "3.5.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 & < "1.4.0"
-
hex
with-test
-
mirage-crypto-pk
with-test & = version
Used by (9)
-
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"
Conflicts (2)
-
ocaml-freestanding
< "0.4.1"
-
mirage-xen
< "6.0.0"