Компания Apple опубликовала на платформе GitHub исходный код библиотеки corecrypto. Этот низкоуровневый инструментарий является фундаментом безопасности экосистемы компании, отвечая за процессы шифрования, создание цифровых подписей, хеширование данных и генерацию случайных чисел. Именно на базе этой библиотеки функционируют такие системные компоненты, как Security framework, CryptoKit и CommonCrypto.
Постквантовая защита в действии
В обновленном репозитории были представлены реализации алгоритмов ML-KEM и ML-DSA. Это ключевые постквантовые стандарты, выбранные Apple для защиты своих продуктов от потенциальных угроз, связанных с развитием квантовых вычислений. Первый алгоритм (ML-KEM) отвечает за безопасный обмен ключами, а второй (ML-DSA) — за создание цифровых подписей. Оба стандарта прошли официальную сертификацию NIST как надежные методы защиты в постквантовую эпоху.
Особый подход к тестированию
Важным аспектом релиза стал технический отчет Apple о методах верификации кода. Поскольку библиотека corecrypto должна стабильно работать на широком спектре устройств с различными процессорами Apple Silicon, а часть её кода написана на C и вручную оптимизирована для архитектуры ARM64, стандартных методов тестирования оказалось недостаточно.
Для обеспечения максимальной надежности инженеры Apple разработали собственную систему формальной верификации. Этот подход позволил выявить уязвимости, которые оставались незамеченными при классическом тестировании. В частности, благодаря новой системе удалось обнаружить ошибку в ранней реализации ML-DSA — пропущенный шаг в логике вычислений мог приводить к некорректным результатам, что критически важно для криптографических систем.
Публикация исходного кода и подробный разбор методик верификации подчеркивают стремление Apple к прозрачности в вопросах кибербезопасности, особенно на фоне подготовки инфраструктуры к вызовам будущего.
