Il co-fondatore di Ethereum Vitalik Buterin ha appoggiato l'avvertimento di uno dei ricercatori più noti della rete secondo cui l'intelligenza artificiale potrebbe minare la crittografia che protegge centinaia di miliardi di dollari in criptovaluta prima che i computer quantistici ne abbiano la possibilità.
L'avvertimento, del ricercatore di Ethereum Justin Drake, esorta l'industria a prepararsi per quella che lui chiama "modalità bunker": una migrazione ordinata e graduale di fondi verso nuovi indirizzi di portafoglio le cui chiavi pubbliche non sono esposte sulla catena. Per maggiori informazioni su questa storia, consulta la nostra aggiornamenti sull'intelligenza artificiale.
L'avvertimento e chi c'è dietro
Scrivendo mercoledì, Drake ha sostenuto che i recenti progressi nella matematica basata sull'intelligenza artificiale significano che l'algoritmo di firma digitale della curva ellittica (ECDSA) - il fondamento matematico che protegge i portafogli Bitcoin ed Ethereum - non può più essere considerato sicuro nell'orizzonte di un decennio.
L'ECDSA si basa sulla presunta difficoltà del problema del logaritmo discreto della curva ellittica: è computazionalmente impossibile derivare la chiave privata di un portafoglio dalla sua chiave pubblica utilizzando i computer odierni e algoritmi noti. Ogni transazione firmata da un portafoglio pubblica la sua chiave pubblica sulla blockchain, motivo per cui la struttura di quella matematica – non solo la segretezza della chiave stessa – è ciò che si frappone tra un aggressore e i fondi.
Il suo fattore scatenante è stato il rilascio da parte di OpenAI di centinaia di nuove scoperte matematiche questa settimana nel campo dell'algebra, dell'informatica teorica e della logica matematica, che Drake ha citato come prova della rapidità con cui l'intelligenza artificiale sta avanzando nella matematica pura. L’azienda ha una forma precedente qui: il mese scorso ha utilizzato un team di 10.000 agenti IA autonomi che lavoravano in parallelo per produrre una soluzione alle equazioni di Navier-Stokes, uno dei problemi irrisolti più famosi di matematica e fisica, in sole 88 ore.
"Gli ultimi giorni sono stati umilianti per l'intuizione matematica umana. Le ipotesi indiscusse e di lunga data sono cadute", ha scritto Drake, sostenendo che le curve ellittiche sono particolarmente vulnerabili perché "portano una struttura ricca, con spazio per trucchi fantasiosi come Schoof, Frobenius, accoppiamenti." Le funzioni hash, al contrario, "sono progettate per ridurre al minimo la struttura algebrica".
Cosa ha detto veramente Buterin
L'appoggio di Buterin è stato misurato piuttosto che allarmistico. "Non consiglio a nessuno di affrettarsi a spostare i propri fondi su nuovi portafogli oggi", ha scritto. "Ma dovremmo prendere sul serio i rischi legati alla crittografia derivanti dalla matematica accelerata dall'intelligenza artificiale."
Ha poi esteso l’interesse oltre le curve ellittiche alla crittografia basata su reticolo, la famiglia di schemi ampiamente ritenuti resistenti agli attacchi quantistici. "Finora la maggior parte delle persone ha pensato 'curve ellittiche rotte, hash sicuri, reticoli sicuri'", ha scritto Buterin. "Ma ci sono buone probabilità che la sicurezza concreta dei reticoli subisca gravi colpi nei prossimi due anni di matematica dell'intelligenza artificiale."
Questa preoccupazione, ha detto, è una delle ragioni principali per cui la roadmap snella di Ethereum si è mossa in una direzione "solo hash", basandosi su primitive crittografiche con struttura algebrica minima che la matematica assistita dall'intelligenza artificiale troverebbe più difficile da attaccare.
L'industria reagisce
Il socio amministratore di Dragonfly, Haseeb Qureshi, ha approvato l'adozione di precauzioni, descrivendo l'avvertimento di Drake come "una chiamata molto sobria". "Il rischio non è quantistico, ma semplicemente la matematica convenzionale che ribalta i presupposti di durezza crittografica non dimostrati", ha scritto su X.
Questa distinzione è il nocciolo del dibattito. La crittografia post-quantistica ha una tabella di marcia: il National Institute of Standards and Technology degli Stati Uniti ha standardizzato le sostituzioni basate su reticoli e le blockchain hanno piani di migrazione della durata di anni. Ma queste sostituzioni si basano su presupposti di durezza che sono congetturati, non dimostrati. Se la matematica accelerata dall’intelligenza artificiale inizia a rovesciare congetture di lunga data – come suggerisce la cascata di risultati derivati dall’intelligenza artificiale della scorsa settimana – lo stesso consenso sulla sicurezza quantistica diventa più vacillante.
I consigli pratici: nuovi indirizzi
Oltre alle questioni crittografiche a lungo termine, entrambi i ricercatori hanno sottolineato una mitigazione concreta oggi disponibile: mantenere i fondi in indirizzi in cui la chiave pubblica non è mai stata rivelata sulla catena. La chiave pubblica di un portafoglio viene esposta nel momento in cui firma una transazione, motivo per cui Drake consiglia una migrazione graduale verso nuovi indirizzi piuttosto che un esodo in preda al panico.
Per gli scambi, i custodi e i detentori istituzionali, il risultato operativo è poco affascinante ma concreto: l’igiene delle chiavi, la rotazione degli indirizzi e la preferenza per le costruzioni basate su hash appartengono alla tabella di marcia della sicurezza ora, non dopo che una svolta matematica ha fatto notizia.
La questione della tempistica è volutamente insensata. Né Drake né Buterin hanno fissato una data su quando – o se – la matematica assistita dall’intelligenza artificiale potrebbe produrre un attacco pratico alle firme delle curve ellittiche. Ciò che è cambiato questa settimana è il ritmo del campo sottostante: prove e risultati che una volta avrebbero richiesto anni ai team di ricerca ora appaiono in batch generati dalle macchine, e i crittografi stanno riesaminando quali delle loro ipotesi di durezza siano mai state effettivamente dimostrate.
Nessuno dei due ricercatori ha affermato che una rottura sia imminente. Il punto sottolineato da entrambi è che la catena di presupposti alla base della crittografia moderna è forte quanto la matematica su cui si basa – e che la matematica viene ora riscritta alla velocità della macchina.
Mentre i sistemi di intelligenza artificiale passano dall’assistere prove umane alla generazione di risultati matematici originali su larga scala, i team di sicurezza che gestiscono trilioni di risorse digitali potrebbero dover iniziare a trattare le pubblicazioni dei laboratori di intelligenza artificiale di frontiera nello stesso modo in cui trattano le divulgazioni zero-day: come avvisi tempestivi.
Per ulteriori informazioni su come la ricerca di frontiera sull'intelligenza artificiale sta rimodellando i settori adiacenti, segui la sezione dedicata al business dell'intelligenza artificiale di AI Buzz Wire.
---
Rimani Aggiornato sull'IALe ultime notizie, analisi e scoperte sull'intelligenza artificiale — tutto in un posto.
Leggi altre notizie sull'IA →
