Исследователи Anthropic обнаружили математические уязвимости в криптографических алгоритмах с помощью модели Claude Mythos Preview, перейдя от поиска базовых ошибок в программном коде к анализу самих структур шифрования. Модель нашла способы ускорения атак на HAWK, являющийся кандидатом на роль стандарта постквантовой цифровой подписи, а также на редуцированную версию AES — одного из самых широко применяющихся симметричных шифров в современных финансах и интернете.
Алгоритм HAWK рассматривался Национальным институтом стандартов и технологий США (NIST) как решение для защиты данных от квантовых компьютеров и проходил экспертную оценку в течение двух лет. В ходе анализа языковая модель выявила ранее неиспользованную симметрию в математической решетке схемы, известную как нетривиальный автоморфизм, что позволило разработать более быструю атаку перебором. В результате эффективная криптостойкость снижается в два раза, что означает необходимость удвоения размера ключей для сохранения заявленного уровня безопасности, лишая схему ее изначальных преимуществ в производительности.
В случае с редуцированной версией AES модель исключила одно из необходимых математических предположений для гипотетического взломщика, увеличив скорость предыдущих известных атак в 200–800 раз. Процесс поиска происходил преимущественно автономно с использованием специально разработанного программного каркаса, при этом затраты на API для каждого из двух результатов составили около 100 000 долларов. Хотя найденные уязвимости в данный момент не угрожают реальным рабочим системам, они подтверждают применимость языковых моделей для глубокого криптоанализа и математического стресс-тестирования стандартов до их массового внедрения.
Поделиться:
SHELLS от Google: реконструкция 3D-головы на 18k вершин за 0.08 секунды
Kemnits studio ищет on-set супервайзера для контроля VFX на площадке