Claude восстановил загадочные сида криптографических кривых NIST и спроектировал новые квантовые схемы

# Claude и криптография: что доказано, а что остается гипотезой

16 октября компания Anthropic выпустила две взаимосвязанные работы, которые заставили мировое сообщество по-новому взглянуть на надежность современной криптографии и перспективы квантовых вычислений. В центре внимания оказался Claude — языковая модель, способная выполнять сложные логические задачи и анализировать кодовые базы. Его достижения охватывают две сфера: исторический анализ источников эллиптических кривых NIST и проектирование эффективных квантовых схем.

Разгадка тайны сида NIST

Долгое время в криптографической среде циркулировали слухи о том, что генераторы случайных чисел, использованные при создании стандартных эллиптических кривых (ECC), могли быть скомпрометированы. В частности, обсуждалась версия о наличии скрытого бэкдора, который позволял бы спецслужбам, в том числе АНБ, подбирать частные ключи, соответствующие публичным точкам. Эта проблема касалась кривых, определенных в стандарте FIPS 186-2 в 2000 году, таких как P-256, P-384 и P-521.

В своей работе команда Anthropic применила модель Claude для реконструкции истории создания этих кривых. Модель была поставлена задача определить исходные данные (семена или седы — seeds), использованные при генерации случайных чисел для выбора базовых точек этих кривых.

Что доказано: Команда успешно восстановила исходные сида для пяти кривых: P-192, P-224, P-256, P-384 и P-521. Оказалось, что вместо загадочного хэша, как предполагали ранее, сиды генерировались с помощью стандартного генератора псевдослучайных чисел из C-библиотеки 1990-х годов (lrand48).

Примером служит кривая P-256. Восстановленный сид показал, что это 1842-я итерация генератора, инициализированного с Unix-временной меткой от 16 августа 1997 года в 01:52:34 UTC. Вероятность того, что подобное совпадение произошло случайно, авторы оценивают как ничтожно малую, особенно учитывая, что из более чем 800 кандидатов, удовлетворяющих критериям безопасности, в стандарт был выбран именно 1842-й.

Важно отметить, что код, воспроизводящий эти результаты, опубликован в открытом доступе под лицензией CC0. Это позволяет любому исследователю самостоятельно проверить выводы модели без необходимости доверять только слову авторов.

Что остается открытым: Несмотря на успех, авторы признают, что не все тайны раскрыты. Сид для бинарной кривой B-163 не подошел ни под одну из проверенных схем генерации. Кроме того, источники для базовых точек некоторых других кривых (P-224, P-384, P-521) и точные критерии отбора кандидатов среди тысяч возможных вариантов остаются неизвестными. Авторы сформулировали вывод осторожно: версия о намеренном бэкдоре стала «гораздо менее правдоподобной», но формально бэкдор не был полностью исключен как техническая возможность, пусть и маловероятная.

Проектирование квантовых схем с помощью ИИ

Второе исследование посвящено применению ИИ в области квантовых технологий. Модель Claude Mythos 5, работающая в замкнутом цикле, спроектировала квантовые схемы для восьми различных вычислительных примитивов, включая операции для химического моделирования, оптимизации и работы с теорией чисел.

Результаты работы модели впечатляют своей эффективностью. Например, в задаче сложения точек на эллиптической кривой модель предложила схему, использующую в 17 раз меньше квантовых гейтов по сравнению с лучшими ранее опубликованными решениями. В задаче реализации декодера Рида–Соломона для оптимизации алгоритма DQI количество гейтов сократилось в 12 раз, при этом требуемое количество физических кубитов уменьшилось с 665 до 19.

Однако здесь важно соблюдать осторожность в интерпретации данных. Все приведенные цифры являются оценочными расчетами ресурсов для будущих квантовых компьютеров, обладающих значительно большим количеством кубитов и низкой ошибкой, чем существующие сегодня прототипы. Сам процесс проектирования проходил без запуска реального квантового оборудования. Модель использовала программные симуляции и внешние оценщики для верификации схем. Частично результаты были формализованы в языке доказательства теорем Lean и протестированы на сотнях миллионов тестовых данных, однако полная независимая верификация всех аспектов пока ограничена предпечатом исследования.

Синтез результатов и перспективы

Интересно, что две работы образуют определенную смысловую параллель. С одной стороны, модель Claude помогла снять подозрения с эллиптических кривых, показав прозрачность их происхождения. С другой стороны, она же продемонстрировала потенциал инструментов для оптимизации квантовых алгоритмов, которые в будущем смогут атаковать эти же криптографические примитивы. Это подчеркивает двойственную роль ИИ: как инструмента аудита безопасности и как двигателя развития потенциально уязвимых технологий.

Для практиков и специалистов по безопасности ключевой вывод ясен: намеренная задняя дверь в кривых NIST, скомпилированная через некорректные генераторы случайных чисел, крайне маловероятна. Тем не менее, область квантовой криптографии требует постоянной и глубокой валидации результатов моделирования, чтобы оценки ресурсов были абсолютно точными. Как писал один из авторов, Claude в ходе работы был «консервативен» и придерживался известных подходов, что может означать, что модель еще не исчерпала свой потенциал в этих задачах.

Таким образом, эти публикации — не сенсация о взломанных алгоритмах, а важный шаг к прозрачности криптографии и демонстрации мощи ИИ в решении сложных инженерных задач. Факты, подтвержденные кодом и расчетами, перевешивают спекуляции, но наука продолжает искать ответы на оставшиеся вопросы о полноте исходных данных.

*Авторский штрих: В эпоху, когда доверие к системе часто рушится первыми новостями, спокойное разделение на «что доказано кодом» и «что остается гипотезой» становится не просто академической вежливостью, а необходимым инструментом защиты от информационного шума.*