OCaml API v0.7.2

This release enables compatibility with newer versions of ctypes, which in turn allows compilation with OCaml 5.

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.