ocaml-hacl-star (ocaml/ocaml-hacl-star) Updated: 2 weeks, 4 days 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: 0.7.2 License: Apache-2
GitHub
| Maintainers | landonf |
| Categories | devel security ocaml |
| Homepage | https://github.com/cryspen/hacl-packages |
| Platforms | darwin |
| Variants | - |
Subport(s) (1)
"ocaml-hacl-star" depends on
lib (4)
build (3)
Ports that depend on "ocaml-hacl-star"
No ports
Port Health:
Loading Port Health
Installations (30 days)
1
Requested Installations (30 days)
0
Livecheck results
ocaml-hacl-star seems to have been updated (port version: ocaml-v0.7.2, new version: rust-v0.0.2)
livecheck ran: 1 day, 8 hours ago