package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.2.1.tar.gz
md5=a8fc22a701608018cded326be1990af9
sha512=de185640ddd9ec63e5f07274f45dee68cea30e476cd58cb7e7be3e7bd6c062b347236e2a20e6b54238212a2c2e351f7717893b79ed9e381419dffeb962fd744c
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*