mlkem-native

mlkem-native mlkem-native est une implémentation sécurisée, rapide et portable en C901 de ML-KEM2. Il s'agit d'un fork de l'implémentation de référence de ML-KEM3. Tout le code C dans mlkem/src/ et mlkem/src/fips202/ est prouvé sûr en mémoire aucun débordement mémoire et sûr en types aucun...