ИИ Anthropic обнаружил критическую уязвимость в постквантовом криптоалгоритме HAWK

Бюджет операции оказался на уровне $100 тысяч.

Алгоритм постквантовой криптографии HAWK выбыл из отбора на статус официального стандарта США после обнаружения серьезной математической уязвимости. Найти ее помогла экспериментальная модель Claude Mythos Preview от Anthropic.

HAWK успешно прошел два этапа проверки Национального института стандартов и технологий США и добрался до третьего раунда испытаний. Алгоритм создан, чтобы противостоять взлому с помощью квантовых компьютеров, но его удалось обойти и на обычном железе.

Исследователь Anthropic без специальной подготовки в области криптографии работал с Mythos и HAWK около 60 часов. Модель изучила научные публикации, провела математические расчеты и предложила новый способ атаки, снизивший стойкость ключей HAWK вдвое.

Безопасность алгоритма основана на сложности задачи изоморфизма решеток, считающейся устойчивой к квантовым вычислениям. Mythos удалось объединить несколько уже известных математических методов и улучшить поиск симметрий-автоморфизмов.

Теоретически проблему можно устранить удвоением размера ключей, однако это повышает вычислительную нагрузку и делает HAWK менее привлекательным на фоне алгоритмов-конкурентов.

Через день после публикации Anthropic разработчики HAWK объявили об отзыве алгоритма. Anthropic потратила на вычислительные ресурсы для поиска уязвимости в HAWK порядка $100 тысяч.