package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.4.2.tar.gz
md5=3943fe14935f8e9bad3a9d27fb24b19c
sha256=8211bde8a49c9bc63013be5059655fe820d2f03a54d9ff8cf1663754d985ba58
sha512=8a75a3e23da06c3edf9e43b7557bf1a816b65fb3b68bc7b458beab6d95a447f40f03dad9cf63fc2d46fae50d4f58b95680dc0b48dfd64612b64ea9d9157555a8
CHANGES.md.html
0.4.2
Fix for bug impacting performance
0.4.1
Support for FreeBSD
Build fixes
0.4.0
Complete documentation
Redesigned API:
by default, functions return result buffer instead of taking them as arguments
arguments are now labeled
Improvements to runtime checks, unit tests
0.3.2
Build fixes addressing performance and compatibility issues
0.3.0
Updates to P-256 API
Build fixes
0.2.2
Fix for bug impacting performance
0.2.1
Minor fixes
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*
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>