https://github.com/mirage/mirage-crypto

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
https://github.com/mirage/mirage-crypto

aes cryptography dh dsa fortuna mirageos ocaml rng rsa sha2

Last synced: 2 days ago
JSON representation

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

• Host: GitHub
• URL: https://github.com/mirage/mirage-crypto
• Owner: mirage
• License: isc
• Created: 2020-02-05T15:08:28.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2024-10-01T09:25:39.000Z (about 1 month ago)
• Last Synced: 2024-11-06T04:51:31.563Z (9 days ago)
• Topics: aes, cryptography, dh, dsa, fortuna, mirageos, ocaml, rng, rsa, sha2
• Language: C
• Homepage:
• Size: 9.83 MB
• Stars: 77
• Watchers: 16
• Forks: 43
• Open Issues: 21
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# mirage-crypto - Cryptographic primitives for MirageOS

%%VERSION%%

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](https://github.com/mirleft/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](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))

- a hook into the Lwt event loop that collects a timestamp of each event

- rdseed and rdrand (x86/x86-64 only)

[API documentation online](https://mirage.github.io/mirage-crypto/doc)

## Build

```bash

dune build

dune runtest

```

## FAQ

#### RNG seeding

If RNG fails with `Fatal error: exception Unseeded_generator`, you need to

seed it.

Lwt:

```OCaml

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

```

Unix:

```OCaml

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

```