package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.6.1.tar.gz
md5=12562af72483908a86ca38845d30c25b
sha512=410b25fedcd0f8790cda7021237cf5ebf43d770566c86b697da301b18a5b36da347ae20f84544b38a593a55185e7959308a8a369edfc64d09fadb4896c20e0e0
Description
Documentation for this library can be found here.
Published: 16 Nov 2022
Dependencies (5)
-
cppo
build - zarith
-
hacl-star-raw
= version -
dune
>= "1.2" -
ocaml
>= "4.08.0"
Used by (7)
-
blake3
>= "0.2" -
plebeia
>= "2.0.0" -
scaml
>= "1.5.0" -
tezos-crypto
>= "8.0" & < "10.2" -
tezos-hacl
>= "16.0" & < "17.1" - tezos-plompiler
- tezos-plonk
Conflicts
None
On This Page