Константы для мировых стандартов шифрования создали без закладок спецслужб через базовый генератор из языка C. ИИ отыскал метки конца девяностых и заработал награду в 36 864 доллара.
Стандарт FIPS 186-2 институт NIST принял еще в 2000 году. На этих математических кривых держится безопасность половины мирового трафика, но происхождение стартовых чисел оставалось закрытым вопросом четверть века.
Криптографы подозревали спецслужбы в скрытых закладках, а запросы энтузиастов в архивы годами наталкивались на глухую стену. Разгадка оказалась куда прозаичнее.
Для поиска модель протестировала 34 комбинации генераторов через редукцию решеток. Авторы формул просто брали системное время Unix с мая 1997 по апрель 1998 года.
Популярную кривую P-256 разработчики и вовсе создали на 1842-й итерации стандартной функции lrand48.
Результаты проверки уже верифицировал независимый криптограф Филиппо Вальсорда, а весь проверочный код исследователи выложили в открытый доступ.
Что это значит
ИИ со сложным анализом кода справляется на уровне экспертов: моделям можно отдавать рутинную проверку гипотез, на которую у людей уходят годы.
