package hacl-star

0.8.0 (Unreleased)

• API changes for all hash functions

0.7.2

• Compatibility with newer ctypes versions (#421)

0.7.1

• Significantly faster P-256 signature verification

• Added SHA-3 to EverCrypt hashing interface

0.7.0

• Added K-256 and libsecp256k1 API

• Removed some non-agile APIs for SHA-2, HMAC, and HKDF

0.6.2

• Updated Vale snapshot

0.6.1

• Remove undefined symbols on arm64

0.6.0

• Breaking: Finer-grained API for NaCl in-place functions

• Performance improvements for P-256

• Build fixes

0.5.0

• New build system

• Faster BLAKE2b

• Agile incremental APIs for BLAKE2

0.4.5

• Faster fallback implementations for certain intrinsics, leading to improved performance, notably on ARMv8

0.4.4

• Build fixes (#494)

0.4.3

• Improved performance for Ed25519 (#486)

0.4.2

• Fix for bug impacting performance

0.4.1

• Support for FreeBSD

• Build fixes

0.4.0

• Complete documentation

• Redesigned API:

  • by default, functions return result buffer instead of taking them as arguments

  • arguments are now labeled

• Improvements to runtime checks, unit tests

0.3.2

• Build fixes addressing performance and compatibility issues

0.3.0

• Updates to P-256 API

• Build fixes

0.2.2

• Fix for bug impacting performance

0.2.1

• Minor fixes

0.2.0

• Updated bindings for P-256

• Bytecode files provided in hacl-star-raw to ease debugging

0.1.1

• Support for ARM

0.1

The first release of the OCaml API for HACL*