Hi all,
I've reviewed the CRYSTALS-Kyber NIST reference implementation from 2022, but I couldn't locate the updated source code that aligns with the ML-KEM specification (FIPS 203, 2024).
Could anyone please share the link to the latest NIST source code?
Thank you in advance!
You should also have a look at
https://github.com/pq-code-package/mlkem-native
which is significantly better documented than the PQCrystals code, has CBMC proofs of type safety for all of the C code, and optimized assembly language back-ends for AArch64 and x86_64 AVX2.
- Rod