Przejdź do treści

Claude rozwiązał 25-letnią zagadkę kryptografii NSA w 30 minut

Kategoria
Wiadomości
Data utworzenia
Czas czytania
5 min

Sieć Claude w pół godziny wyjaśniła pochodzenie pięciu zagadkowych liczb, które NSA przekazało NIST w latach 90. dla krzywych eliptycznych — kryptografowie podejrzewali w nich backdoora przez 25 lat.

Pół godziny — tyle czasu zajęło sieci Claude od Anthropic rozwiązanie zagadki, z którą kryptografowie zmagali się przez ćwierć wieku.

Pod koniec lat 90. Agencja Bezpieczeństwa Narodowego USA przekazała instytutowi NIST pięć zagadkowych liczb — ziaren dla krzywych eliptycznych P-192, P-224, P-256, P-384 i P-521. Te krzywe stały się podstawą połowy współczesnej kryptografii: certyfikatów TLS, VPN, protokołów bankowych. Ale skąd wzięły się same liczby, NSA nigdy naprawdę nie wyjaśniło. Krążyła teoria, że matematyk agencji Jerry Solinas zahaszował jakieś żartobliwe angielskie frazy — tylko że same frazy się zgubiły, a teorii nie było czym zweryfikować.

Dwadzieścia pięć lat to milczenie podtrzymywało jedno pytanie: czy agencja nie dobrała krzywych tak, by zawierały słabość znaną tylko jej samej? Po rewelacjach Snowdena, które potwierdziły, że NSA naprawdę osłabiała inne standardy kryptograficzne, podejrzenia tylko wzrosły. W 2023 roku inżynier kryptografii Filippo Valsorda wyznaczył nagrodę 12 288 dolarów — rosnącą do 36 864 dolarów na cele charytatywne — za sensowne wyjaśnienie pochodzenia liczb. Przez lata nikt jej nie odebrał.

Claude podeszła do problemu inaczej niż ludzie przed nią. Model założył, że liczby to nie hasze fraz, a zwykły wynik generatora liczb pseudolosowych lrand48, zwyczajnego narzędzia ze starych bibliotek C Unixa. Opierając się na tej hipotezie, AI przetestowała kandydatów zbudowanych na znacznikach czasu z lat 1997-1998 i dokładnie odtworzyła opublikowane ziarno dla krzywej P-256 — był to 1842. kandydat w sekwencji. Pozostałe cztery krzywe zgodziły się równie precyzyjnie. W opublikowanym rozumowaniu model napisał: "To zdumiewające: to rozwiązuje dwudziestopięcioletnią zagadkę", a potem dodał: "Ale ale, to prawdziwe odkrycie".

Dla kryptografii wniosek jest raczej uspokajający. Jeśli liczby to po prostu pierwsze działające wyniki generatora osadzonego na dacie, pole do skrytej manipulacji drastycznie się zwęża — badacze szacują, że NSA miało co najwyżej około 30 bitów swobody wyboru, a nie 70, jak przewidywały najbardziej alarmujące scenariusze ataku. Tematu to nie zamyka całkowicie — nie wiadomo, czemu generator pomijał część działających wariantów — ale wersję o ukrytej słabości robi znacznie mniej prawdopodobną.

Z Bitcoinem ta historia ma tylko pośredni związek: moneta korzysta nie z krzywych NIST, a z secp256k1 — prostszej konstrukcji z minimalną liczbą parametrów, którą i tak podejrzewano mniej. To bardziej opowieść o zaufaniu do infrastruktury całego internetu niż o konkretnym zagrożeniu dla kryptowalut. Nagrodę Valsordy Anthropic przekazała do Internet Security Research Group — organizacji stojącej za darmową usługą certyfikatów Let's Encrypt. Nie wszyscy jednak odebrali odkrycie jako jednoznaczny przełom: deweloper Bitcoin Core Gregory Maxwell zauważył, że zadał podobne pytanie innemu modelowi Anthropic kilka dni wcześniej i nie dostał odpowiedzi, co stawia pytanie o powtarzalność wyniku.

Pytania i odpowiedzi

Często zadawane pytania na temat artykułu

Claude wykazała, że pięć ziaren NSA dla krzywych eliptycznych NIST to nie hasze tajnych fraz, a zwykły wynik generatora lrand48 osadzonego na znacznikach czasu z lat 1997-1998. Model dokładnie odtworzył wszystkie pięć opublikowanych wartości.