v 20210824-4b197eb Updated: 2 years, 10 months ago

High-assurance cryptographic library.

Formally verified library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types of timing side-channels).


To install ocaml-hacl-star, paste this in macOS terminal after installing MacPorts

sudo port install ocaml-hacl-star

Add to my watchlist

Installations 0
Requested Installations 0