iraca: независимая дифференциальная проверка ML-KEM (FIPS 203) в RustCrypto

Проект iraca проверил постквантовый crate ml-kem от RustCrypto, сравнив его с эталонной реализацией pq-crystals на C. Ключи, шифртексты и общие секреты совпали байт в байт на 128 семенах, а неканонические ключи корректно отклоняются по FIPS 203.

• ml-kem из RustCrypto совпал с pq-crystals байт в байт на 128 семенах
• Неканонические ключи шифрования отклоняются по требованию FIPS 203
• ML-DSA-87 также совпал с эталоном dilithium в кросс-проверке
• Проверка не покрывает побочные каналы и не заменяет полный аудит