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