Claude розв’язав 25-річну криптографічну загадку NIST менш ніж за пів години

Claude розв’язав криптографічну загадку, яка залишалася відкритою 25 років, менш ніж за пів години.

У 2000 році уряд США опублікував еліптичні криві NIST, зокрема P-256, які використовуються в ECDSA — одному з найпоширеніших стандартів цифрового підпису. Bitcoin також використовує ECDSA, але з іншою кривою secp256k1, яка не належить до кривих NIST.

АНБ надало ці числа без пояснень, тому роками існували підозри, що їх могли спеціально підібрати для створення бекдора. За поширеною версією, співробітник АНБ Джеррі Солинас згенерував їх на основі жартівливої фрази на кшталт «Підвищте зарплату Бобу і Джеррі». Він помер у 2023 році, не згадавши деталей, а співробітники Anthropic уже намагалися перевірити цю версію, але безрезультатно.

Потім один із співробітників попросив внутрішню дослідницьку версію Claude з’ясувати, як були отримані ці числа, не повідомляючи моделі про припущену фразу.

Claude знайшов відповідь: жодної фрази не існувало. Числа були отримані за допомогою поширеного генератора псевдовипадкових чисел мови C, де як початкове значення використовувався час системного годинника комп’ютера. Генерація відбувалася в період з травня 1997 року по квітень 1998 року. Тепер будь-хто може відтворити ці числа. Докладніше — у дослідженні Anthropic.

Anthropic наголошує, що це відкриття не порушує безпеку наявних систем і не створює нових вразливостей. Навпаки, версія про навмисно вбудований бекдор стає значно менш правдоподібною, тому жодних змін вносити не потрібно.

Водночас деякі питання залишаються відкритими. Наприклад, досі невідомо, чому були відкинуті інші числа, які також підходили для цієї задачі.

Найбільше вражає сам метод розв’язання. Багато дослідників роками шукали припущену фразу. Ця гіпотеза стала відправною точкою, навколо якої будувалися майже всі пошуки.

Claude пішов іншим шляхом. Замість пошуку фрази модель припустила, яким чином програма, написана у 1997 році, могла генерувати такі числа, а потім перевірила свою гіпотезу. І таким чином розв’язала задачу.