ocaml-hacl-star-raw (ocaml/ocaml-hacl-star) Updated: 3 years, 2 months ago Add to my watchlist
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).
Version: 20210824-4b197eb License: Apache-2
GitHub
Statistics for selected duration
2024-Oct-06 to 2024-Nov-05
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.