ML-KEM-1024 & ML-DSA-87
ML-KEM-1024 (NIST FIPS 203) dient der Schlüsselkapselung, ML-DSA-87 (NIST FIPS 204) den Signaturen; beide entsprechen NIST-Sicherheitsstufe 5. Der Einsatzbereich je Komponente ist dokumentiert. Genutzte libcrux/HACL*-Kernkomponenten werden mit formalen Methoden geprüft.