mlkem-native v1.0.0
Release notes
v1.0.0 is the first stable release of mlkem-native, a secure, fast and portable C90 implementation of ML-KEM derived from the ML-KEM reference implementation. mlkem-native v1.0.0 offers:
- High maintainability and extensibility through modular frontend/backend design.
- High performance through AArch64 and AVX2 assembly backends and the use of the SLOTHY super-optimizer.
- High assurance through memory- and type-safety proofs for the C frontend + backend, functional correctness proofs for all AArch64 assembly, and extensive constant-time testing.
mlkem-native-v1.0.0 is uniformly licensed Apache-2.0 OR MIT OR ISC, giving consumers the choice to use any of these licenses.
What's New
Compared to v1.0.0-beta the following major improvements have been integrated into mlkem-native:
- Completion of functional correctness proofs of the AArch64 backend
- Uniform licensing of all code in mlkem/* under Apache-2.0 OR ISC OR MIT
- Numerous configuration option improvements
- Numerous documentation improvements
See the full change log here: v1.0.0-beta...v1.0.0