Vitalik Buterin ha confrontato la sua roadmap Ethereum del 2023 con l’attuale Ethereum Strawmap, evidenziando progetti che sono saliti o scesi di priorità, idee che sono state sostituite e intere aree di ricerca che quando fu tracciato il piano precedente erano appena esistenti.

Il cambiamento più profondo è di natura architetturale. La resistenza quantistica, la privacy e la verifica formale influenzano sempre più il modo in cui Ethereum intende scalare, mentre parti del protocollo un tempo considerate relativamente fisse — incluso il ruolo dell’EVM stesso — sono entrate nella discussione progettuale. L’attuale Strawmap riorganizza lo sviluppo lungo i layer di consenso, dati ed esecuzione, con una maggiore enfasi su crittografia, privacy, scalabilità e semplificazione del protocollo. Queste decisioni hanno un peso che va oltre i soli sviluppatori principali: Ethereum protegge valore per centinaia di miliardi di dollari e il suo ecosistema Layer 2 — reti come Arbitrum, Optimism e Base — elabora regolarmente più transazioni della base layer stessa, il che significa che i cambiamenti architetturali si propagano verso applicazioni, wallet e fornitori di infrastrutture in tutto il settore.

La sicurezza quantistica sta diventando un vincolo di progettazione

La resistenza quantistica è discussa attorno a Ethereum da anni. Ciò che è cambiato è la sua posizione nella roadmap.

Buterin afferma che la sicurezza quantistica è salita di priorità. Questo crea un problema pratico oltre a quello di sicurezza: le firme post-quantum possono essere considerevolmente più pesanti della crittografia su cui Ethereum si basa oggi. La rete quindi non può trattare la resistenza quantistica come un semplice cambio di firma tra anni. Qualsiasi sostituzione deve anche funzionare entro le ambizioni di scaling di Ethereum. L’urgenza è in parte esterna: nel 2024 il National Institute of Standards and Technology degli Stati Uniti ha finalizzato i suoi primi standard di crittografia post-quantum (FIPS 203, 204 e 205), offrendo all’industria tecnologica più ampia algoritmi concreti da valutare e adottare.

EIP-8288 mostra come questi due problemi stiano iniziando a sovrapporsi. La proposta introduce un quadro in cui dipendenze crittografiche costose, incluse le firme post-quantum, potrebbero essere aggregate tramite prove STARK ricorsive invece di costringere ogni transazione a sostenere indipendentemente il proprio costo pieno di verifica.

Questo conta ben prima che i computer quantistici siano in grado di attaccare Ethereum. Cambiare la crittografia fondamentale dopo che una minaccia del genere si è materializzata richiederebbe di coordinare wallet, account, validatori e infrastruttura di protocollo sotto pressione. Progettare in anticipo tenendo conto di questo vincolo dà ai ricercatori spazio per affrontare contemporaneamente anche il costo prestazionale.

Il lavoro di future-proofing di Ethereum identifica già diversi componenti crittografici che alla fine richiederanno alternative resistenti al quantistico.

Scalare tutto in modo uniforme sta perdendo appeal

Un altro cambiamento nell’aggiornamento di Buterin può avere conseguenze più ampie per l’attività quotidiana su Ethereum.

I nuovi state type e i frame zkzk condividono un’idea sempre più importante: Ethereum non deve necessariamente massimizzare la scalabilità di ogni possibile computazione esattamente nello stesso modo.

Alcuni carichi di lavoro dominano l’uso reale. I trasferimenti di token e gli swap generano già una domanda enorme, mentre in seguito le applicazioni per la privacy potrebbero diventare un’altra categoria pesante. Se queste attività possono operare sotto regole più restrittive, Ethereum può potenzialmente costruire meccanismi specializzati che le gestiscano in modo molto più efficiente senza costringere ogni applicazione alla stessa strategia di ottimizzazione.

La descrizione di Buterin dei nuovi state type rende questo cambiamento particolarmente chiaro. Li presenta come qualcosa di più di una semplice sostituzione dell’approccio precedente alla state expiry, descrivendo un modo diverso di concepire lo scaling stesso.

Percorsi specializzati possono produrre guadagni prestazionali molto maggiori per le attività comuni. Possono anche lasciare i team client a gestire meccanismi più distinti se si accumulano troppe eccezioni.

La spinta di Ethereum verso un protocollo "Lean" deve quindi coesistere con questa specializzazione. Man mano che i carichi di lavoro ricevono un trattamento più mirato, cresce anche la pressione a semplificare il macchinario generalista sottostante.

L’EVM non è più un assunto intoccabile

Quella pressione sta raggiungendo anche l’architettura di esecuzione di Ethereum.

Ethereum non sta pianificando di rimuovere l’EVM. Ma il suo ruolo permanente al livello più profondo del protocollo non è più considerato inevitabile.

I frame zkzk post-quantum potrebbero richiedere a Ethereum di esporre un instruction set al di fuori dell’EVM. Buterin cita leanISA e RISC-V tra i candidati principali perché sono architetture più semplici e moderne. RISC-V ha già una presenza nell’ecosistema zero-knowledge: diversi progetti zk-rollup e proof hanno costruito macchine virtuali che puntano all’instruction set aperto, offrendo ai ricercatori Ethereum implementazioni esistenti da studiare invece di partire da zero.

Una volta che un simile instruction set esiste all’interno di Ethereum, limitarlo a una sola funzione ristretta del protocollo diventa più difficile da giustificare. Gli sviluppatori potrebbero in futuro ottenere un accesso più diretto ad esso. Più avanti, Buterin ipotizza che l’EVM possa operare come rappresentazione intermedia sopra un instruction set sottostante più semplice invece di restare profondamente incorporato nel protocollo di base.

Le applicazioni potrebbero teoricamente conservare l’ambiente e gli strumenti da cui dipendono mentre il macchinario sottostante diventa più semplice.

Resta un’ipotesi altamente speculativa. Buterin afferma esplicitamente che un’esplorazione più profonda è prematura persino per l’attuale Strawmap. Per una rete il cui enorme ecosistema applicativo è stato costruito attorno all’EVM, aprire al ridisegno il suo ruolo di protocollo più profondo mostra fino a che punto potrebbe arrivare in futuro l’attuale sforzo di semplificazione.

La tecnologia dei rollup sta tornando nel layer di base

La roadmap mostra anche quanto rapidamente sia maturata la tecnologia zero-knowledge.

I native rollup non comparivano nel diagramma del 2023 perché, secondo Buterin, la tecnologia SNARK non era allora abbastanza matura da renderli realistici. La nuova roadmap colloca i sistemi di prova molto più in profondità nell’architettura di Ethereum.

Ethereum continua a fare forte affidamento sui rollup Layer 2. Tuttavia, parte del macchinario crittografico sviluppato attorno a quell’ecosistema sta ora diventando utile per Ethereum stesso. Le prove ricorsive possono comprimere computazioni costose, supportare la privacy e aiutare ad accomodare sistemi crittografici che altrimenti imporrebbero richieste molto più elevate al protocollo.

Per anni, gran parte dell’innovazione sullo scaling di Ethereum si è spostata dal layer di base verso i rollup. La ricerca sviluppata lì sta ora iniziando a riportare capacità nel protocollo. I native rollup sono un esempio. Anche l’aggregazione riutilizzabile di prove tra diversi layer di Ethereum potrebbe diventare un altro.

Il confine tra "L1 technology" e "rollup technology" sta diventando meno netto.

Perché l’IA conta per un Ethereum più snello

Portare più macchinario di prova nel protocollo solleva un altro problema: i componenti crittografici riutilizzabili concentrano sia efficienza sia rischio. Un primitivo condiviso tra i layer di esecuzione, consenso e dati riduce la duplicazione, ma un difetto in quel componente potrebbe influenzare più parti di Ethereum contemporaneamente. Con l’approfondirsi di queste dipendenze, i test da soli diventano un argomento di sicurezza più debole.

Buterin indica la verifica formale assistita dall’IA come parte della risposta. La verifica formale usa metodi matematici per dimostrare che il software si comporta secondo la propria specifica. L’IA non sostituisce queste prove; il suo potenziale valore sta nell’aiutare ricercatori e ingegneri a produrle, ispezionarle e mantenerle su una scala che in passato sarebbe stata impraticabile. La verifica formale non è una novità nel settore blockchain — progetti tra cui Tezos e Cardano l’hanno applicata ad alcune parti dei propri stack — ma la complessità del protocollo di Ethereum e l’ampiezza dei componenti coinvolti rappresenterebbero una scala significativamente maggiore.

Questo dà a "Lean Ethereum" un significato più concreto. L’obiettivo non è rendere ogni meccanismo crittografico facile da comprendere a colpo d’occhio per una persona. È mantenere la specifica centrale sufficientemente vincolata ed esplicita da consentire la verifica formale dei componenti critici invece di fare affidamento principalmente sui test convenzionali. Un maggiore riuso può quindi ridurre la duplicazione del protocollo senza richiedere agli sviluppatori di fidarsi semplicemente di un macchinario condiviso sempre più complesso.

Il ruolo dell’IA in Ethereum potrebbe quindi essere molto meno visibile rispetto all’esecuzione di agenti o transazioni. Potrebbe invece aiutare a rendere l’infrastruttura sofisticata abbastanza sicura da diventare parte del protocollo stesso.

Alcune vecchie scelte progettuali di Ethereum sono di nuovo sul tavolo

Il confronto tra i due diagrammi mette in luce qualcosa che i singoli annunci di upgrade spesso nascondono: Ethereum sta diventando più disposto ad abbandonare idee dopo anni di ricerca.

Le VDF sono scese di priorità. I piani basati su Verkle si sono evoluti in costruzioni diverse. La state expiry sta lasciando spazio a nuovi state type. I native rollup, meccanismi di privacy più forti, lo scaling post-quantum e i future su blob e gas occupano uno spazio che nel piano del 2023 era appena presente.

Ethereum ha già compiuto svolte importanti in passato. La strategia originale delle shard chain è cambiata in modo drastico quando i rollup sono diventati un percorso di scaling migliore, qualcosa che la documentazione della roadmap del progetto usa per illustrare come evolvano le priorità di sviluppo.

La stessa disponibilità a rivedere assunzioni che sembravano consolidate sta emergendo anche al di fuori del lavoro su scaling e crittografia della roadmap. La bozza di EIP-8363 brucerebbe una quota crescente delle ricompense dei validatori con l’aumentare della partecipazione allo staking, mettendo in discussione gli incentivi economici che oggi sostengono livelli sempre più elevati di staking.

La proposta sullo staking e la roadmap architetturale affrontano problemi diversi, ma indicano entrambe la stessa direzione: il comportamento esistente del protocollo viene trattato come modificabile quando i ricercatori ritengono che entri in conflitto con obiettivi più recenti di decentralizzazione, sicurezza o efficienza.

Questo rende lo Strawmap utile anche se molte delle sue caselle dovessero cambiare ancora. Mostra quali proprietà i ricercatori di Ethereum vogliono sempre più preservare, anche quando ciò implica sostituire meccanismi un tempo considerati parte del piano a lungo termine.

La roadmap sta diventando meno un impegno verso tecnologie specifiche e più una prova per stabilire quali tecnologie meritino ancora di restare.

Metodologia

L’analisi confronta la roadmap Ethereum del 2023 di Vitalik Buterin con l’attuale Strawmap ed esamina le proposte tecniche e la documentazione Ethereum collegate alle aree che egli ha identificato come priorità in cambiamento.

Disclaimer

Questo articolo ha solo scopo informativo. Lo Strawmap di Ethereum contiene direzioni di ricerca e upgrade proposti che potrebbero cambiare sostanzialmente prima dell’implementazione.