Claude per pusvalandį atsekė senų šifravimo parametrų kilmę

Claude tyrimo modelis per mažiau nei pusvalandį atkūrė penkių NIST elipsinių kreivių pradinių parametrų kilmę iš dešimtojo dešimtmečio programinės įrangos. Spalio 16 dieną rezultatą paskelbusi Anthropic pabrėžia, kad tai nėra šifravimo pralaužimas, nauja ataka ar aptiktas kreivių silpnumas.

Pasak bendrovės, rezultatas paaiškina seną neaiškumą dėl skaitmeniniams parašams naudojamo ECDSA standarto, kurį NIST įtraukė į 2000 metų dokumentą. Pirminius parametrus pateikė JAV Nacionalinio saugumo agentūra, tačiau jų parinkimo paaiškinimo nebuvimas daug metų skatino įtarimus dėl galimų slaptų silpnybių.

Anthropic nurodo, kad modelis atsekė P-192, P-224, P-256, P-384 ir P-521 kreivių pradines reikšmes, vadinamas sėklomis. Jas sukūrė C bibliotekos pseudoatsitiktinių skaičių generatorius lrand48, pradėjęs veikti nuo Unix laiko žymos, o ne nuo spėliotos humoristinės frazės.

Pavyzdžiui, standartizuota P-256 sėkla buvo gauta 1 842 bandymu, naudojant 1997 metų rugpjūčio 16 dienos laiko žymą. Tarp tyrimo autorių bendrovė įvardija John Wood, Henry de Valence, Nicholas Carlini ir Steve Weis. Tyrėjai paskelbė atkūrimo kodą, todėl pateiktą receptą galima patikrinti tiesioginiu skaičiavimu, nepasikliaujant vien modelio paaiškinimu ar pasakojimu apie atradimą.

Ataskaitoje aprašoma, kaip Claude tikrino senų generatorių išvesties požymius ir atkūrė jų vidinę būseną iš išlikusių parametrų bitų. Dalį paieškos padėjo atlikti LLL gardelės bazės redukcijos algoritmas, nes reikėjo nustatyti generatoriaus būseną matant tik dalį jo išvesties.

Anthropic teigimu, toks paprastas ir atkuriamas sėklų generavimo būdas sumažina erdvę paaiškinimui apie tyčia parinktas slaptas šių kreivių silpnybes. Tai nereiškia, kad senasis generatorius būtų tinkamas šiuolaikiniams slaptiems raktams: čia aiškinama viešų parametrų kilmė, o ne rekomenduojamas raktų kūrimas.

Premijos organizatorius, kriptografas Filippo Valsorda, savo pranešime patvirtino, kad Anthropic komanda išsprendė sėklų kilmės uždavinį. Anthropic nurodo, kad 36 864 dolerių premija bus paaukota Internet Security Research Group, o atkūrimo kodas atiduotas viešajai sričiai pagal CC0.

Komanda atkūrė ir kai kurių bazinių taškų generavimo būdą: šešių 1997 metų gegužę sukurtų kreivių atveju panaudotas FreeLIP bibliotekos generatorius. Bazinis taškas nėra tas pats kaip pradinė kreivės sėkla, todėl šis papildomas rezultatas paaiškina kitą viešų parametrų parinkimo proceso dalį.

Anthropic paskelbtame atkūrime dešimties kreivių virš pirminių laukų generatoriaus pradžios būsenos atitiko datas tarp 1997 metų gegužės ir 1998 metų balandžio. Tyrėjai nurodo, kad vien būsenos atitikimas nepakaktų įrodymui, tačiau iš jos tiksliai atkuriami visi 160 paskelbtos sėklos bitų.

Tyrėjai kartu palieka kelis neatsakytus klausimus: B-163 sėklos kilmės atkurti nepavyko, o dalies kreivių bazinių taškų parinkimas lieka nepaaiškintas. Nežinoma ir kodėl generatoriaus sekoje buvo praleisti kai kurie tinkami kandidatai, todėl paskelbtas rezultatas neužbaigia visų parametrų istorijos tyrimų.