ocaml-hacl-star (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
| Maintainers | landonf |
| Categories | devel security ocaml |
| Homepage | https://github.com/project-everest/hacl-star |
| Platforms | darwin |
| Variants | - |
Subport(s) (1)
"ocaml-hacl-star" depends on
lib (6)
build (8)
Ports that depend on "ocaml-hacl-star"
lib (1)Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if ocaml-hacl-star was updated (The requested URL returned error: 404 )
last updated: 1 day, 12 hours ago