Модель Claude от Anthropic менее чем за полчаса выяснила, как были получены начальные значения пяти эллиптических кривых NIST, используемых в криптографии. Их происхождение оставалось предметом споров более двух десятилетий, поскольку Агентство национальной безопасности США передало параметры без подробного объяснения метода их выбора.
В стандарте цифровых подписей ECDSA используются эллиптические кривые P-192, P-224, P-256, P-384 и P-521. Они помогают подтверждать подлинность электронных документов, программного обеспечения и других данных. В спецификациях для каждой кривой указано начальное значение — seed, на основе которого вычисляется один из ее параметров.
Claude подошел к задаче иначе. Модель предположила, что при создании кривых могли использовать генератор псевдослучайных чисел из старых библиотек языка C. Такие алгоритмы устроены достаточно просто, чтобы их выходные последовательности можно было распознать по характерным закономерностям.
Модель написала программу, которая анализировала опубликованные значения и искала совпадения с последовательностями генераторов. В результате она обнаружила, что параметры пяти кривых соответствуют выходным данным генератора lrand48, инициализированного временем в формате Unix — количеством секунд, прошедших с начала 1970 года. В частности, для кривой P-256 программа должна была перебрать 1842 варианта, прежде чем получить опубликованное значение.
Anthropic также сообщила, что удалось объяснить происхождение базовых точек некоторых других эллиптических кривых. Однако загадка решена не полностью: исследователи пока не установили происхождение одного из начальных значений бинарной кривой B-163 и не смогли объяснить выбор базовых точек для нескольких кривых NIST.
Авторы отмечают, что открытие не означает взлома ECDSA и не выявляет новую уязвимость. Напротив, воспроизводимый способ генерации параметров делает менее вероятным предположение, что в них намеренно заложили скрытые слабости. Однако остаются вопросы о том, почему при первоначальном выборе пропустили некоторые подходящие варианты кривых.
Читайте также:
ИИ-модели могут самовоспроизводиться без доступа к дата-центрам
Anthropic предложила запрет ИИ-моделей только при угрозе ущерба от $1 млрд