ocaml-hacl-star-raw

v 20210824-4b197eb Updated: 3 years, 1 month 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).

https://github.com/project-everest/hacl-star

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

sudo port install ocaml-hacl-star-raw

Add to my watchlist

Installations 0
Requested Installations 0