Vitalikas Buterinas ragina nusiraminti, nes dirbtinis intelektas kelia naujų baimių dėl Bitcoin ir Ethereum kriptografijos saugumo
„Ethereum“ įkūrėjas Vitalikas Buterinas perspėjo, kad dirbtinio intelekto pažanga matematikoje gali susilpninti tiek esamus kriptovaliutų parašus, tiek kai kurias postkvantinę apsaugą.
Spalio 7 d. Buterin patarė kriptovaliutų turėtojams sumažinti apšvitą, jei tai įmanoma, tačiau perspėjo neleisti lėšų į naujas pinigines, teigdamas, kad migracijos klaidos kelia tiesioginį pavojų nei bet koks parodytas kriptografinis pažeidimas.
Jis rašė ant X:
„Šiandien niekam nerekomenduoju perkelti savo lėšų į naujas pinigines. Tačiau turėtume rimtai žiūrėti į AI pagreitintos matematikos keliamą riziką.”
„OpenAI“ matematikos pažanga sukelia įspėjimus
Jo komentarai po Ethereum tyrinėtojo Justino Drake’o raginimo pramonei pradėti ruoštis „bunkerio režimui“, įskaitant turto perkėlimą į naujus adresus, kurių viešieji raktai niekada nebuvo atskleisti tinkle.
Drake’as iškėlė galimybę, kad dirbtinio intelekto pažanga gali paspartinti matematinius išpuolius prieš elipsės kreivės kriptografiją, kurią naudoja Bitcoin ir Ethereum.
Diskusijos suaktyvėjo po to, kai OpenAI spalio 6 d. paskelbė naujus matematinius rezultatus, sukurtus naudojant vidinio pasienio modelį, įskaitant mašininiu būdu sugeneruotus įrodymus, įformintus Lean. OpenAI nepranešė apie jokią blokų grandinės kriptografijos ataką, o nei Buterinas, nei Drake’as nenurodė įrodymų, kad ECDSA praktiškai buvo pažeista.
Buterio įspėjimas neapsiriboja tiesioginiu rūpesčiu. Jis išskyrė grotelėmis pagrįstą kriptografiją, įskaitant ML-DSA, kaip sritį, kurioje dirbtinio intelekto pagrįsti matematiniai atradimai per ateinančius dvejus metus gali sugriauti tariamas saugumo ribas.
Tai kelia sunkesnę problemą pramonei, kuri jau ruošiasi kvantiniams kompiuteriams. Grotelių sistemos yra viena iš pirmaujančių technologijų, skirtų pakeisti kriptografiją, pažeidžiamą pakankamai galingų kvantinių mašinų. NIST standartizavo ML-DSA 2024 m. kaip postkvantinį skaitmeninio parašo algoritmą.
Buterinas teigė, kad pagrindinėse matematinėse struktūrose, palaikančiose tokias sistemas, gali būti trūkumų, kuriuos mokslininkai dar turi atrasti.
Jis palygino riziką su sveikųjų skaičių faktorizavimo istorija. Patobulinimai, tokie kaip bendrųjų skaičių lauko sietas, žymiai sumažino darbą, reikalingą atakuoti RSA, palyginti su naivaisiais metodais, todėl kriptografinės sistemos buvo priverstos naudoti daug didesnius raktus.
Jis sakė, kad dirbtinis intelektas galėtų suspausti dešimtmečius trunkantį panašų matematinį progresą į daug trumpesnį laikotarpį, galbūt atskleisdamas panašią pažangą kovojant su elipsinėmis kreivėmis ar gardelės problemomis.
„Jei dirbtinis intelektas atneš mums 50 metų matematikos per 2 metus“, – rašė Buterinas, šie pasiekimai gali apimti laimėjimus, kurie iš esmės pagerina grotelių kriptografijos atakas.
Ethereum labiau linksta į maišais pagrįstą saugą
Šis susirūpinimas padeda paaiškinti, kad Ethereum kūrėjai vis labiau renkasi kriptografinius dizainus, daugiausia pagrįstus maišos funkcijomis.
Buterinas teigė, kad „Ethereum“ „liesos“ gairės per pastaruosius metus buvo perkeltos į tik maišos sistemas, išvengiant gardelės parašų, tokių kaip ML-DSA ir „Falcon“, ir sumažinant priklausomybę nuo grotelių įsipareigojimų nulinių žinių įrodymuose.
Maiša pagrįstos parašų sistemos, įskaitant WOTS ir SPHINCS, vaidina didesnį vaidmenį šia kryptimi, nes jos mažiau priklauso nuo matematinių struktūrų, kurios gali duoti netikėtų nuorodų užpuolikams.
Buterinas teigė, kad struktūriniai matematiniai objektai sukuria daugiau erdvės AI padedamiems atradimams. Pavyzdžiui, elipsinės kreivės priklauso nuo savybių, įskaitant grupės operacijas ir kitus išnaudojamus matematinius ryšius. Grotelių sistemos taip pat priklauso nuo sudėtingų problemų šeimų, kurių praktinis pasipriešinimas gali pasikeisti, jei mokslininkai atrastų efektyvesnes atakas.
Maišos sukurtos taip, kad atskleistų daug mažiau struktūros.
Toks skirtumas neišsprendžia visų problemų. Viešojo rakto šifravimas, naudojamas saugiam susirašinėjimui, anoniminiam ryšiui, svetainėse ir kitose sistemose, paprastai negali būti sukurtas vien iš maišos. Šioms programoms reikalingos matematinės struktūros, kurios sukuria spąstus, leidžiančius įgaliotiems vartotojams iššifruoti informaciją.
Buterinas pasiūlė, kad sistemoms, kurios remiasi šiomis struktūromis, galiausiai gali prireikti žymiai didesnių saugumo parametrų. Jis sakė, kad raktų dydžių padauginimas iš dešimties gali tapti pagrįstas, jei AI smarkiai pagerins kriptoanalizės metodus.
Pasekmės būtų gerokai didesnės nei blokų grandinės. Saugios pranešimų sistemos, VPN, Tor, šifruotas žiniatinklio srautas ir privatumo protokolai gali susidurti su panašiais kompromisais tarp našumo ir didesnių saugumo ribų.
Buterinas perspėja dėl panikos migracijų
Kriptovaliutų turėtojams neatidėliotinos atsargumo priemonės yra siauresnės.
Buterinas teigė, kad vartotojai, kurie gali lengvai laikyti lėšas adresuose, kurie niekada nepasirašė sandorio, gali gauti papildomą apsaugą, nes jų viešieji raktai lieka paslėpti už adresų maišos. Kai paskyra išsiųs operaciją, jos viešasis raktas tampa matomas.
Multisig operatoriai taip pat galėtų sumažinti apšvitą rinkdami parašus už grandinės ribų ir sukdami pasirašiusiųjų raktus po operacijų, apribodami, kiek laiko atskleistas raktas bus naudingas, jei pablogėtų ECDSA saugumas.
Vis dėlto Buterinas perspėjo, kad šių atsargumo priemonių negalima laikyti skubios migracijos įsakymu. Jis teigė asmeniškai praradęs daugiau pinigų dėl nesėkmingų migracijų nei per įsilaužimus.
Dėl to piniginės teikėjai, saugotojai ir protokolų kūrėjai turi sudėtingesnę užduotį nei tiesiog sukti raktus. Jie turi pasiruošti sparčiau besikeičiančiai kriptografinei rizikai, vengdami atnaujinimų, dėl kurių atsiranda jų pačių veikimo sutrikimų.
