Development News

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

February 2023

Git changes

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