iraca сверила RustCrypto ml-kem с эталоном pq-crystals байт в байт

Проект iraca провёл независимую дифференциальную проверку крейта RustCrypto ml-kem (ML-KEM / FIPS 203): ключи, шифртексты и общие секреты совпали с эталонной реализацией pq-crystals на C байт в байт на 128 сидах. Крейт также корректно отклоняет неканонические ключи, как требует FIPS 203. Это выборочная проверка соответствия, а не полный аудит, и она не покрывает сайд-каналы.

• ML-KEM-768: совпадение с pq-crystals на 128 сидах и фиксированном векторе
• RustCrypto отклоняет неканонические ключи с коэффициентом ≥ q по FIPS 203
• ML-DSA-87 также совпал с эталоном dilithium байт в байт
• Сайд-каналы и KyberSlash не проверялись