mirage-crypto-pk
v0.6.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),
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-entropy embeds the former mirage-entropy opam package, which
implements various entropy sources for MirageOS unikernels:
timer based ones (see whirlwind RNG paper)
rdseed and rdrand (x86/x86-64 only)
Build
dune build
dune runtest
FAQ
RNG seeding
If RNG fails with Fatal error: exception Uncommon.Boot.Unseeded_generator
, you
need to [seed][doc-entropy] it.
Unix:
let () = Mirage_crypto_rng_unix.initialize ()
Illegal instructions
Program terminated with signal SIGILL, Illegal instruction.
#0 _mm_aeskeygenassist_si128 (__C=<optimized out>, __X=...)
Mirage_crypto
has CPU acceleration support (SSE2
+AES-NI
), but no run-time
autodetection yet. You compiled the library with acceleration, but you are using
it on a machine that does not support it.
The environment variable MIRAGE_CRYPTO_ACCELERATE
can be used to override
detection:
MIRAGE_CRYPTO_ACCELERATE=false dune build
force-disables non-portable code.MIRAGE_CRYPTO_ACCELERATE=true dune build
force-enables non-portable code.Otherwise, it matches the capabilities of the build machine.
sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823
sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da
>= "0.6.0"
>= "0.6"
>= "1.4"
= version
= version
>= "3.2.0"
with-test & >= "0.1.3"
with-test
>= "1.7"
>= "4.07.0"
build
< "1.3.0"
>= "0.3.3"
>= "0.2"
>= "0.2.1" & < "0.2.3"
>= "0.3.7"
>= "1.0.4"
>= "0.2.1"
>= "0.11.0"
>= "0.10.0" & != "0.12.0"