Releases: cryspen/hacl-packages
OCaml API v0.7.1
This release contains a significant speed up of P-256. it also adds SHA-3 to the agile hashing interface.
OCaml API v0.7.0
This release adds the API for the K-256 (and libsecp256k1) signature scheme and removes some non-agile EverCrypt APIs (SHA-2, HMAC, HKDF)
OCaml API v0.6.2
This release contains an updated Vale snapshot
OCaml API v0.6.1
Remove undefined symbols on arm64
OCaml API v0.6.0
This release includes a breaking change to the NaCl in-place API which now offers finer-grained control over buffers, as well as performance improvements to P-256 and build fixes.
v0.6
This is Cryspen's first release of HACL Packages! 🎉
HACL Packages provides modern cryptographic algorithms based on almost a decade of (research) work in formally verified cryptography.
This release was produced in close collaboration with the HACL* team at Inria and Microsoft Research with funding from Nomadic Labs, the Tezos foundation, and the ERC.
With this release, we make the work available to a broader audience.
Several months of work on a new build system, tests, and documentation went into this.
And we will keep on improving HACL Packages -- stay tuned for more updates!
Links:
https://github.com/cryspen/hacl-packages (GitHub repository)
https://tech.cryspen.com/hacl-packages/ (Documentation)
https://www.cryspen.com/ (Cryspen website)
OCaml API v0.5.0
This release includes an overhauled build system for the low-level hacl-star-raw package and performance improvements across the board, notably to BLAKE2b.