ocaml-hacl-star-raw (ocaml/ocaml-hacl-star) Updated: 1 year, 7 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
Maintainers landonf
Categories devel security ocaml
Homepage https://github.com/project-everest/hacl-star
Platforms darwin
Variants -

Subport(s) (1)

"ocaml-hacl-star-raw" depends on

lib (5)
build (7)

Ports that depend on "ocaml-hacl-star-raw"

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck error

Error: cannot check if ocaml-hacl-star-raw was updated (The requested URL returned error: 404 )

last updated: 21 hours ago