package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.2.0.tar.gz
md5=19b589ab741a2294da216128ed8d913d
sha512=a50560d0aa975ec41713d03cc5dd4668953d6de21d7e3cbcd6212b75ea18c92f0d7c0f564391b5be705867d93ff14c594a87e429bb0ed24e338f77c0ee623491
CHANGES.md.html
0.2.0
Updated bindings for P-256
Bytecode files provided in hacl-star-raw to ease debugging
0.1.1
Support for ARM
0.1
The first release of the OCaml API for HACL*