Il cofondatore di Ethereum Vitalik Buterin ha pubblicato una versione aggiornata della sua roadmap 2023, elevando la sicurezza quantistica e la privacy a posizioni di maggiore priorità, ridimensionando invece le funzioni di ritardo verificabili (VDF) e diversi miglioramenti precedenti dell'Ethereum Virtual Machine (EVM).

La roadmap revisionata introduce rollup nativi, futures su blob e gas, nuovi tipi di stato e meccanismi di scaling post-quantistico. Buterin sta inoltre esplorando architetture di esecuzione oltre l'EVM, con RISC-V, LeanISA, STARK ricorsivi e verifica formale assistita dall'IA che emergono come aree di focus prominenti. La roadmap funge da visione tecnica personale di Buterin per l'evoluzione del protocollo Ethereum, più che da un calendario di sviluppo vincolante, sebbene segnali regolarmente direzioni che influenzano i team dei client e la più ampia comunità di ricerca.

Riorganizzazione della roadmap e nuove priorità

Secondo Buterin, diverse voci della roadmap precedente sono state riorganizzate. La sicurezza quantistica riceve ora maggiore attenzione, mentre le VDF e diversi miglioramenti dell'EVM sono stati spostati più in basso nella lista delle priorità. Altri progetti tecnici sono evoluti attraverso approcci più recenti. L'elevazione della sicurezza quantistica riflette una crescente consapevolezza nella comunità crittografica che computer quantistici sufficientemente potenti potrebbero eventualmente compromettere le firme a curva ellittica che attualmente proteggono gli account Ethereum.

In particolare, i Verkle tree sono stati sostituiti da unified binary tree e PBT (Post-Quantum Binary Trees), mentre la scadenza dello stato è stata sostituita da nuovi tipi di stato. La privacy è stata elevata a status di prima classe nei piani aggiornati di Ethereum, con Buterin che ha elencato keyed nonces, recent roots, componenti di FOCIL, lean privacy pool e wormhole tra le funzionalità pertinenti.

La roadmap incorpora inoltre lo scaling post-quantistico attraverso firme leanSPHINCS e zkzk frames. I futures su blob e gas sono stati aggiunti all'infrastruttura pianificata di Ethereum.

I rollup nativi sono entrati nella roadmap a seguito dei progressi nella tecnologia SNARK (argomenti di conoscenza succinct non interattivi). Buterin ha osservato che la tecnologia non era sufficientemente matura per un tale approccio nel 2023.

Esplorare l'esecuzione oltre l'EVM

Buterin ha delineato una visione più ampia per il layer di esecuzione di Ethereum, suggerendo che gli zkzk frames potrebbero guidare il protocollo verso l'esposizione di un instruction set oltre l'EVM. LeanISA e RISC-V sono attualmente tra i principali candidati. RISC-V è un'architettura di instruction set a standard aperto ampiamente adottata in progetti hardware accademici e industriali, e la sua considerazione per Ethereum segnala l'interesse verso un modello di esecuzione con strumenti esistenti ampi e un solido lavoro di specifica formale.

Ha descritto entrambe le opzioni come più semplici, più recenti e più efficienti rispetto all'EVM. Buterin ha inoltre sollevato la possibilità di riposizionare l'EVM come rappresentazione intermedia sovrapposta a un altro instruction set. Tuttavia, ha avvertito che un'esplorazione più approfondita rimane prematura per l'attuale strawmap.

Anche i nuovi tipi di stato rappresentano un approccio di scaling distinto, secondo Buterin. Questi design privilegiano meccanismi specializzati piuttosto che cercare di massimizzare ogni categoria di attività su Ethereum.

STARK e verifica assistita dall'IA

Buterin ha identificato gli STARK ricorsivi e la verifica formale assistita dall'IA come temi ricorrenti nella roadmap aggiornata. Gli STARK ricorsivi compaiono in più layer del protocollo Ethereum, e un singolo primitivo di verifica potrebbe potenzialmente servire simultaneamente i layer di esecuzione, consenso e dati.

Ha sottolineato che la verifica formale diventa essenziale per il deployment sicuro di componenti condivise di questo tipo. Gli sforzi più ampi di verifica formale sono sempre più collegati agli strumenti di IA moderni, con una maggiore enfasi sulla verifica matematica del codice in tutta la roadmap. Questa convergenza riflette una tendenza più ampia nell'ingegneria del software, dove gli strumenti basati sull'IA vengono applicati per dimostrare proprietà di correttezza in sistemi complessi che sono difficili da validare attraverso il solo testing.

Buterin ha affermato che gli obiettivi a lungo termine di Ethereum includono sicurezza quantistica, privacy rafforzata, sicurezza solida, resistenza alla censura e maggiore scalabilità. Ha inoltre descritto un'architettura obiettivo per Ethereum che rimane snella ed efficiente nel tempo.