Hacl Star Versions Save

This release includes faster fallback implementations for certain intrinsics, leading to improved performance, notably on ARMv8. The opam pin hacl-star-raw --dev command now also works.

Note: New releases of the OCaml API are no longer made in this repository. See cryspen/hacl-packages instead.

This release includes build fixes (#494)

This release updates the snapshot to include a faster implementation of Ed25519 (#486)

This release includes build fixes addressing performance and compatibility issues

This release includes FreeBSD support and build fixes.

This release is a major redesign of the OCaml API, which is now also fully documented.

This release includes build fixes addressing performance and compatibility issues

This new release features too many changes to list them all!

Heads-up: we now keep C code under version control in the dist/ repository, so you can now easily git clone at all times and get started with the finest and freshest code, which is guaranteed to always compile. Nonetheless, here's a tagged release that marks significant progress since our last official code drop.

New features:

• P256 support (API subject to change in the future)
• HPKE support with a variety of specialized choices of algorithms (experimental feature: this does not yet conform to the very latest draft)
• build & cross-compilation support for iOS and Android
• new "streaming" APIs for hash algorithms (including Blake2) and MACs (Blake2 and Poly1305) which eliminates both buffer management errors (the data no longer needs to be fed block by block) and state machine errors (the API is safe thanks to extra state copies)
• HMAC/Blake2 support
• HKDF/Blake2 support
• Blake2 available via EverCrypt.Hash in no-key mode
• Vale transformers for automatic rewriting of the code to generate higher-performance assembly

New bindings:

• OCaml bindings, including a hand-written high-level API
• WASM library, compiled via our formalized compilation toolchain
• hand-written high-level JavaScript bindings for the WASM library

Bug fixes: too many to list, but a few highlights

• Fallback implementations for buggy compiler intrinsics
• A new configure script to workaround known compiler bugs

Happy hacking, and drop us a note if you integrate our verified cryptography in your project!

This release features an updated P-256 API and some build fixes.

Fix for bug impacting performance (#353)