package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.4.3.tar.gz
md5=bb7c369f789ac0ac426336178acfb98c
sha256=f1e25e15ee541866b29d792d291f41f8430a1315e02fa6c6e492783c87f945b2
sha512=bfb2ddf125a345deb361483aedf9d79837e9ee18b0bc31644588f8409a0fe0c50db2fc1e6b20a07e02fb9f393d2fc9968fd9d2aa9f506f4e23ca8b6ed4036870
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)"
>