Development News

A short log of what is happening in the HACL world. This is not authoritative. Please see the CHANGELOG for released changes.

June 2023

Git changes

May 2023

Git changes

April 2023

Git changes

Releases

• OCaml 0.7.0

March 2023

Git changes

Added

• Rust low-level APIs
• OCaml v0.7.0

Fixed

• FreeBSD build

February 2023

Git changes

Changed

• SHA2 and SHA3 performance improvements
• Improved benchmarking for all primitives

Added

• Integration of JS bindings
• Rust low-level API

Fixed

• hacl-star <> hacl-packages integration