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