package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.4.1.tar.gz
md5=bc59d5548ad7ac1d67403ad9f74bf608
sha256=a8769d99f7534610631d24898380060a30d98a58dcdf0a65b53bf1fd2339731a
sha512=2962724d9b0dbad0ce74bf8dd41a3efda9453a8cdec3e79c9d27f70d90d2252cbd57bf19128918628cdd4f011715b48abc211211ff3d65bf8f47c65c3fd6cc7c
CHANGES.md.html
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)"
>