Le priorità di Vitalik Buterin per Ethereum si sono spostate nettamente verso la difesa della rete dai computer quantistici e l'uso dell'intelligenza artificiale per verificare il proprio codice. Buterin ha esposto le modifiche in uno "Strawmap" aggiornato pubblicato su X il 10 agosto 2026, confrontando direttamente l'attuale direzione di Ethereum con la roadmap che aveva pubblicato nel 2023.

"Ciò che colpisce di più, tuttavia, è che nello strawmap ci sono alcune cose completamente nuove che non compaiono in questo diagramma, perché non erano affatto nella roadmap del 2023. Queste riflettono priorità cambiate," ha scritto Buterin. Il confronto, riportato da Decrypt, mostra la sicurezza post-quantistica, la privacy migliorata e la verifica formale assistita dall'IA salire in cima alla lista.

La resistenza quantistica passa in prima fila

I computer quantistici in grado di violare l'attuale crittografia a chiave pubblica sono ancora a anni di distanza secondo la maggior parte delle stime, ma la roadmap di Ethereum ora tratta la minaccia come una priorità ingegneristica a breve termine piuttosto che come un'eventualità remota. Questo posizionamento è in linea con un cambiamento più ampio in tutto il settore tecnologico: il National Institute of Standards and Technology degli Stati Uniti ha finalizzato i suoi primi standard di crittografia post-quantistica nell'agosto 2024, fornendo alle organizzazioni un quadro di riferimento per la migrazione. La Ethereum Foundation ha già formato un team dedicato post-quantistico e delineato un piano a fasi per sostituire i componenti crittografici che una macchina quantistica sufficientemente potente potrebbe sconfiggere, secondo lo Strawmap. Le nuove aggiunte menzionate nell'aggiornamento includono LeanSPHINCS, uno schema di firma post-quantistica, insieme a strumenti di aggregazione delle firme pensati per mantenere la rete efficiente una volta che quelle firme quantisticamente resistenti, più pesanti, saranno in uso.

"Ethereum sarà sicuro a livello quantistico. Ethereum metterà al primo posto la privacy degli utenti. Ethereum sarà sicuro. Ethereum sarà resistente alla censura. Ethereum sarà altamente performante e scalabile pur soddisfacendo quanto sopra. E Ethereum sarà Lean," ha scritto Buterin, riassumendo i principi guida della rete nel nuovo piano. Unchained ha riportato che la sicurezza quantistica è stata esplicitamente innalzata in priorità rispetto alla roadmap precedente, uno dei diversi elementi riorganizzati che Buterin ha segnalato nel suo post.

Il secondo filone tecnico che attraversa l'aggiornamento è la verifica formale assistita dall'IA, un metodo per dimostrare matematicamente che il codice si comporta come previsto invece di testarlo su un insieme limitato di scenari. I ricercatori di Ethereum si affidano agli STARK — Scalable Transparent ARguments of Knowledge — un sistema di prova crittografica già distribuito in diverse reti layer-2 di Ethereum, per verificare in modo sicuro i calcoli attraverso la rete. Buterin ha collegato direttamente i due aspetti: "Questo può essere sicuro solo con la verifica formale, che a sua volta è fattibile solo con i moderni strumenti di IA." Il piano prevede che le prove STARK e gli strumenti di IA convalidino il codice attraverso i livelli di esecuzione, consenso e dati di Ethereum, un ambito che The Block ha descritto come il mettere privacy e resistenza quantistica al centro della nuova roadmap.

Anche privacy e scaling vengono rivisti

Anche la privacy nativa è salita nella lista delle priorità. "Ethereum metterà al primo posto la privacy degli utenti man mano che lo sviluppo continua," ha scritto Buterin, e lo Strawmap inquadra la privacy come un requisito di progettazione piuttosto che come un livello opzionale costruito da sviluppatori esterni. Sullo scaling, l'aggiornamento si allontana dal tentativo di massimizzare il throughput per ogni tipo di attività in un unico sistema unificato. Al contrario, favorisce meccanismi di scaling specializzati costruiti per casi d'uso specifici, insieme ad aggiunte appena nominate come rollup nativi e futures di blob e gas.

Alcune priorità precedenti sono state abbandonate o sostituite del tutto. Il post di Buterin ha elencato le funzioni di ritardo verificabili e molti miglioramenti pianificati dell'EVM come deprioritari, mentre i precedenti piani di strutture dati come gli alberi di Verkle hanno lasciato il posto a costruzioni più recenti che lui ha descritto come un percorso dai binary tries unificati a quelli che ha chiamato PBT, e la scadenza dello stato è stata sostituita con nuovi tipi di stato. Questo tipo di sostituzione, piuttosto che una pura aggiunta, attraversa tutto l'aggiornamento: Ethereum non si limita ad aggiungere funzionalità, ma sta anche scartando quelle che non sono più adatte.

Una specifica più semplice, a cinque anni di distanza

Buterin ha inquadrato lo Strawmap come un piano di coordinamento che arriva fino al 2029, e l'obiettivo di semplificazione conta tanto quanto qualsiasi singola funzionalità. Il protocollo di Ethereum ha accumulato complessità tra i livelli di esecuzione, consenso e dati dal Merge — la transizione di Ethereum del settembre 2022 dal proof-of-work al proof-of-stake — e la verifica formale abbinata agli strumenti di IA è proposta come un modo per rendere quella complessità auditabile piuttosto che semplicemente documentata. Nessuna delle testate che ha coperto questa storia descrive in che modo l'approccio di Ethereum si confronti con il lavoro sulla resistenza quantistica delle reti layer-1 rivali, lasciando per ora senza risposta la tempistica comparativa per la migrazione post-quantistica a livello di settore.

ETH stesso non ha mostrato alcuna reazione all'annuncio, scambiando intorno a 1.875 dollari, in calo di circa il 2,6% in 24 ore al momento del post. Quel divario tra una roadmap tecnica quinquennale e l'indifferenza del prezzo nello stesso giorno è degno di nota di per sé: i mercati stanno trattando questo come un lavoro infrastrutturale di lungo periodo, non come un catalizzatore a breve termine. The Defiant ha anch'esso coperto l'attività dell'ecosistema Ethereum lo stesso giorno, sebbene il suo report sul volume di transazioni di Robinhood Chain fosse una storia separata dal post sulla roadmap di Buterin.

Ciò che accade dopo dipende da quanto rapidamente il team post-quantistico della Ethereum Foundation riuscirà a trasformare LeanSPHINCS e l'aggregazione delle firme da proposte in codice consegnato, e dal fatto che la verifica formale basata su STARK si dimostri pratica su tutti e tre i livelli principali di Ethereum. Il post di Buterin ha fissato la destinazione fino al 2029. Il lavoro più duro di costruzione verso di essa inizia ora.

Leggere le prove della roadmap originale

Il thread originale è più preciso rispetto a trattare ogni elemento come un aggiornamento promesso. Buterin lo chiama uno "strawmap": un documento di pianificazione e coordinamento che confronta le priorità attuali con la roadmap del 2023. Identifica la verifica formale nell'intero protocollo e afferma che la sicurezza quantistica è salita molto più in alto, ma non è un calendario di rilascio, una specifica completata o una prova che una migrazione quantisticamente resistente sia pronta per la mainnet.

I lettori possono anche consultare la bozza in evoluzione su strawmap.org. Un elemento della roadmap deve ancora superare ricerca, specifica, implementazione, test e il processo di governance sociale di Ethereum. I diversi componenti possono muoversi a velocità diverse, e l'inclusione nella mappa non garantisce una particolare data di fork.

Perché la sicurezza quantistica e la verifica formale sono collegate

Le firme post-quantistiche sono generalmente più grandi e più dispendiose dal punto di vista computazionale rispetto alle firme che Ethereum utilizza oggi. Sostituire le assunzioni crittografiche senza rendere client o wallet inutilizzabili richiede un'attenta progettazione del protocollo. La verifica formale può ridurre il rischio di implementazione dimostrando proprietà selezionate del codice e delle specifiche, mentre gli strumenti di IA possono aiutare gli ingegneri a scrivere o revisionare quelle prove. L'output dell'IA non è di per sé una prova di sicurezza e richiede comunque un controllo rigoroso.

Nessuna prova nella roadmap dimostra che i computer quantistici attuali possano violare gli account di Ethereum. Il rischio è prospettico: le migrazioni di protocollo richiedono anni, e i dati crittografati o firmati raccolti oggi potrebbero rimanere preziosi in futuro. Portare avanti il lavoro è preparazione, non l'affermazione che un attacco sia imminente.

Il post Buterin's Ethereum Strawmap Puts Quantum Defenses Ahead of Scaling è apparso per la prima volta su Cryptsy ed è scritto da Ethan Blackburn.