- libcstruct-ocaml-dev-wsg31
- libduration-ocaml-dev-cx9l2
- libeqaf-ocaml-dev-igac0
- liblogs-ocaml-dev-o9wc2
- liblwt-ocaml-dev-wkms9
- libmirage-crypto-ocaml-iphy8
- libmtime-ocaml-dev-6lsc2
- libsexplib0-ocaml-dev-dj6s4
- libzarith-ocaml-dev-4dps0
- ocaml-4.13.1
Mirage-crypto provides symmetric ciphers (DES, AES, RC4,
ChaCha20/Poly1305), and hashes (MD5, SHA-1, SHA-2).
.
Mirage-crypto-rng provides a random number generator interface, and
implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in
the unix sublibrary).
.
Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).
.
Mirage-crypto-ec provides 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.
.
This package contains development files.
Installed Size: 4.0 MB
Architectures: arm64 amd64