Repository files navigation

%%VERSION%%

mirage-crypto is a small cryptographic library that puts emphasis on theapplicative style and ease of use. It includes basic ciphers (AES, 3DES, RC4,ChaCha20/Poly1305), AEAD primitives (AES-GCM, AES-CCM, ChaCha20/Poly1305),public-key primitives (RSA, DSA, DH), elliptic curves (NIST P-256, P-384, P-521,and curve 25519), and a strong RNG (Fortuna).

RSA timing attacks are countered by blinding. AES timing attacks are avoided bydelegating to AES-NI.

Mirage-crypto is a fork of theocaml-nocrypto written by DavidKaloper. It was forked with the permission of the original author in order tofacilitate changes (e.g. build system) required by Mirage that the upstreamdidn't have time to keep up with.

Mirage-crypto-rng embeds the former mirage-entropy opam package, whichimplements various entropy sources:

• non-deterministic execution time (used at initial seeding, see thewhirlwind RNG paper)
• a hook into the Lwt event loop that collects a timestamp of each event
• rdseed and rdrand (x86/x86-64 only)

API documentation online

dune builddune runtest

If RNG fails withFatal error: exception Unseeded_generator, you need toseed it.

Lwt:

let()=Mirage_crypto_rng_lwt.initialize (moduleMirage_crypto_rng.Fortuna)

Unix:

let()=Mirage_crypto_rng_unix.initialize (moduleMirage_crypto_rng.Fortuna)