{"name":"ocaml-hacl-star","portdir":"ocaml/ocaml-hacl-star","version":"20210824-4b197eb","license":"Apache-2","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/project-everest/hacl-star","description":"High-assurance cryptographic library.","long_description":"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).","active":true,"categories":["devel","security","ocaml"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":83}],"variants":[],"dependencies":[{"type":"build","ports":["clang-17","mono","ocaml-cppo","ocaml-dune","coreutils","gtime","gsed","gmake"]},{"type":"lib","ports":["kremlin","ocaml","ocaml-findlib","ocaml-hacl-star-raw","ocaml-zarith","fstar"]}],"depends_on":[{"type":"lib","ports":["everparse"]}]}