package mirage-crypto-ec

  1. Overview
  2. Docs

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 P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.

Tags

org:mirage

Published: 21 Aug 2024

README

mirage-crypto - Cryptographic primitives for MirageOS

v1.1.0

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), 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 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)

API documentation online

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 (module Mirage_crypto_rng.Fortuna)

Unix:

let () = Mirage_crypto_rng_unix.initialize (module Mirage_crypto_rng.Fortuna)

Dependencies (6)

  1. digestif >= "1.2.0"
  2. mirage-crypto-rng = version
  3. eqaf >= "0.7"
  4. dune-configurator
  5. ocaml >= "4.13.0"
  6. dune >= "2.7"

Dev Dependencies (7)

  1. ounit2 with-test
  2. ohex with-test & >= "0.2.0"
  3. asn1-combinators with-test & >= "0.3.1"
  4. yojson with-test & >= "1.6.0"
  5. ppx_deriving with-test
  6. ppx_deriving_yojson with-test
  7. alcotest with-test & >= "0.8.1"

Used by (7)

  1. awa >= "0.4.0"
  2. dns-certify >= "9.0.0"
  3. dnssec >= "9.0.0"
  4. letsencrypt >= "1.0.0"
  5. tls >= "1.0.0"
  6. webauthn >= "0.2.0"
  7. x509 >= "1.0.0"

Conflicts (1)

  1. ocaml-freestanding
OCaml

Innovation. Community. Security.