Admin
Администратор
Apple решила раскрыть одну из самых закрытых частей своей системы защиты.
Компания опубликовала код и инструменты для проверки квантово-устойчивых алгоритмов.
Apple вынесла на публичную проверку код квантово-устойчивой криптографии, включая реализации алгоритмов ML-KEM и ML-DSA. Эти алгоритмы уже встроены в криптографическую библиотеку corecrypto, которая используется в операционных системах компании. Apple также опубликовала инструменты для формальной проверки корректности кода, включая транслятор Cryptol-to-Isabelle. Формальная проверка уже помогла обнаружить ошибку в коде ML-DSA, которая могла нарушить работу цифровых подписей. Компания считает, что смешанный подход, сочетающий формальную проверку и обычное тестирование, является наиболее надёжным.
