Hoskinsonas sako, kad Vitaliko AI įspėjimas gali atitolinti kvantinę apsaugą

Cardano įkūrėjas Charlesas Hoskinsonas apkaltino Vitaliką Buteriną kenkiant kvantinei atspariai kriptografijai spekuliaciniais įspėjimais apie dirbtinio intelekto skatinamus matematinius proveržius.

Spalio 9 d. paskelbtame įraše Hoskinsonas metė iššūkį „Ethereum“ įkūrėjo skepticizmui gardelės kriptografijos atžvilgiu, teigdamas, kad dešimtmečius trukę saugumo tyrimai jau paaiškino žinomus šios technologijos trūkumus.

Jis perspėjo, kad kūrėjų skatinimas atsisakyti nusistovėjusių metodų gali sulėtinti interneto infrastruktūroje jau įdiegtų apsaugos priemonių taikymą, todėl sistemos gali ateityje patirti kvantines atakas.

Kritika po Buterio perspėjimo, kad dirbtinio intelekto padedami matematiniai atradimai gali susilpninti kriptografiją, sukurtą atsispirti kvantiniams kompiuteriams.

Buterinas teigė, kad „Ethereum“ ilgalaikis „lieknumo“ planas perėjo prie parašų ir įrodymų, pagrįstų maiša, vengiant grotelėmis pagrįsto dizaino.

Hoskinsonas atmetė šį samprotavimą, kaltindamas Buteriną per daug investavus į esamą Ethereum tyrimų kryptį, kad persvarstytų savo požiūrį.

„Byla prieš groteles yra GNFS istorija, dar žinoma kaip nuojauta apie „struktūrą“ ir daugiklį, ištrauktą iš oro“, – rašė Hoskinsonas.

Ginčas yra susijęs su postkvantinėmis alternatyvomis elipsinės kreivės parašams, kuriuos naudoja Bitcoin ir Ethereum.

Hoskinsonas meta iššūkį matematiniam pagrindui prieš groteles

Buterino rūpestis iš dalies remiasi sveikųjų skaičių faktorizavimo istorija, kur matematikos pažanga, tokia kaip bendrųjų skaičių lauko sietas, žymiai pagerino RSA šifravimo atakos metodus.

Jis pasiūlė, kad dirbtinis intelektas per daug trumpesnį laikotarpį galėtų pasiekti dešimtmečius trunkančią panašią matematinę pažangą, o tai gali atskleisti netikėtas nuorodas prieš grotelėmis pagrįstas sistemas.

Hoskinsonas teigė, kad skaičių lauko sietas atsirado naudojant metodus, susijusius su aritmetiniais santykiais ir sklandžiais skaičiais, tuo tarpu nebuvo įrodytas joks palyginamas mechanizmas, susijęs su gardelės problemomis, kuriomis grindžiami šiuolaikiniai postkvantiniai standartai.

Cardano įkūrėjas atkreipė dėmesį į daugiau nei keturis dešimtmečius trukusius tyrimus, įskaitant grotelių mažinimo ir sijojimo algoritmų pažangą, kurie laipsniškai pagerino atakas, nesukuriant bendro proveržio, galinčio nugalėti tinkamai sukonfigūruotas sistemas.

JAV nacionalinis standartų ir technologijų institutas 2024 m. standartizavo ML-KEM raktų inkapsuliavimui ir ML-DSA skaitmeniniams parašams. Hoskinsonas teigė, kad jų saugos parametrai lemia tas žinomas atakas.

Hoskinsonas taip pat atmetė iliustratyvų Buterino pasiūlymą, kad raktų dydžių padauginimas iš dešimties gali apsaugoti viešojo rakto šifravimą nuo AI skatinamų matematinių pažangų.

„Padauginkite raktų dydžius iš dešimties” yra „numerologija”, rašė Hoskinsonas, teigdamas, kad saugumo parametrai turi būti koreguojami atsižvelgiant į išmatuojamus atakų algoritmų patobulinimus.

Atakos efektyvumo pokytis gali pateisinti šiek tiek didesnius parametrus, o esminiam matematiniam proveržiui gali tekti visiškai pakeisti algoritmą.

Ethereum maišos strategija susiduria su savo klausimais

Hoskinsonas taip pat ginčijo prielaidą, kad maišos pagrindu sukurta kriptografija suteikia didesnę apsaugą nuo nenumatytų matematinių atradimų.

Jis paminėjo istorinius MD5 ir SHA-1 trūkumus kaip įrodymą, kad maišos funkcijose gali būti išnaudojamų struktūrų, nors šie gedimai neatskleidžia šiuolaikinių konstrukcijų, tokių kaip SHA-256, pažeidžiamumo.

Jo kritika apėmė „Poseidon“ ir „Poseidon2“, maišos funkcijas, sukurtas efektyviam naudojimui nulinių žinių įrodymuose ir svarbioms ilgalaikiams „Ethereum“ kriptografiniams tyrimams.

Ethereum fondas finansavo Poseidono atsparumo algebrinėms atakoms tyrimus, įskaitant tyrimus naudojant Gröbnerio bazes ir kitus kriptoanalizės metodus.

Hoskinsonas teigė, kad šie projektai taip pat yra galimi AI padedamų matematinių atradimų tikslai, abejodamas, kodėl grotelėmis pagrįstos sistemos turėtų susidurti su didesniu skepticizmu.

Maišos pagrindu sukurti parašai gali suteikti kvantiniam atsparumui operacijų įgaliojimą. Grotelių metodai taip pat palaiko raktų inkapsuliavimą šifravimui ir kitoms pažangioms kriptografinėms konstrukcijoms.

Todėl, atsisakius grotelių tyrimų, gali būti apribotos kūrėjų, kuriančių privatumo sistemas, saugus ryšys ir kitos programos, kurioms reikia šių galimybių, galimybės.