package hacl-star
Install
Dune Dependency
Authors
Maintainers
Sources
md5=1d8449a395cf9f0ade232da306b2316f
sha512=0aa0afc951b30164aca98100ad528f13129566957a3db26bac3c1975c264c4dece01c2b918ad2f9d1b8b563b13044c85ecfdcbced13aee915e4b9d61bff25bf5
CHANGES.md.html
0.6.2
Updated Vale snapshot
0.6.1
Remove undefined symbols on arm64
0.6.0
Breaking: Finer-grained API for NaCl in-place functions
Performance improvements for P-256
Build fixes
0.5.0
New build system
Faster BLAKE2b
Agile incremental APIs for BLAKE2
0.4.5
Faster fallback implementations for certain intrinsics, leading to improved performance, notably on ARMv8
0.4.4
Build fixes (#494)
0.4.3
Improved performance for Ed25519 (#486)
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*