hacl-star

OCaml API for EverCrypt/HACL*
Description

Documentation for this library can be found here.

Install
Documentation tech.cryspen.com Changelog Edit opam file
Published
16 Nov 2022
Authors
Maintainers
Sources
hacl-star.0.6.1.tar.gz
md5=12562af72483908a86ca38845d30c25b sha512=410b25fedcd0f8790cda7021237cf5ebf43d770566c86b697da301b18a5b36da347ae20f84544b38a593a55185e7959308a8a369edfc64d09fadb4896c20e0e0
Dependencies
odoc with-doc
alcotest with-test & >= "1.1.0"
cppo build
zarith
hacl-star-raw = version
dune >= "1.2"
ocaml >= "4.08.0"
Reverse Dependencies
blake3 >= "0.2"
plebeia >= "2.0.0"
scaml >= "1.5.0"
tezos-crypto >= "8.0" & < "10.2"
tezos-plompiler
tezos-plonk