Il cofondatore di Ethereum Vitalik Buterin sostiene una proposta che potrebbe ridurre di oltre il 99% il costo delle transazioni private quantum-safe in un futuro aggiornamento della rete.

EIP-8288, che Buterin ha cofirmato con Thomas Coratger a giugno, riunirebbe le firme resistenti ai computer quantistici e le prove STARK in un’unica prova per ogni blocco di Ethereum. La proposta, ancora in bozza, sposterebbe il lavoro crittografico più oneroso al di fuori del percorso di esecuzione della rete.

Le firme post-quantum hanno attualmente una dimensione di circa 2 o 3 kilobyte e costano tra 150.000 e 200.000 unità di gas per essere verificate. Le prove STARK sono più grandi, superano i 128 kilobyte e possono raggiungere 512 kilobyte quando vengono generate rapidamente, portando il costo della loro verifica a milioni di unità di gas.

Buterin ha affermato che oggi una transazione privata ben progettata costa circa 300.000 unità di gas, mentre renderla quantum-safe porta il costo a circa 10 milioni di unità di gas. Secondo Buterin, con EIP-8288 entrambe le versioni potrebbero costare soltanto qualche decina di migliaia di unità di gas.

La proposta è descritta nella specifica EIP-8288. Buterin ne ha parlato anche in un post su X:

A note on recursive STARK mempools (EIP-8288) This is an EIP that I am hoping we can get included in I-star (the fork after Hegota) that you can think of as the next step after Frames, that would unlock extreme amounts of power. Particularly: *… — vitalik.eth (@VitalikButerin) September 9, 2026

Il progetto eviterebbe di collocare direttamente on-chain le operazioni crittografiche. Invece, ogni transazione dichiarerebbe una “dipendenza”, ovvero una breve attestazione secondo cui un messaggio è stato firmato da una determinata chiave o alcuni dati soddisfano una prova. Ogni dipendenza costerebbe 96 byte.

I nodi del mempool raccoglierebbero le attestazioni ogni secondo, genererebbero una prova STARK ricorsiva che le dimostra tutte insieme e la trasmetterebbero. Ogni blocco conterrebbe quindi un’unica prova relativa a tutte le transazioni incluse. Il post originale di Buterin su X è disponibile all’indirizzo https://twitter.com/VitalikButerin/status/2097711433073172837.

RISC-V come linguaggio comune

Le prove ricorsive hanno bisogno di un linguaggio comune per esprimere le asserzioni. Il principale candidato è RISC-V, un set di istruzioni aperto utilizzato nella progettazione dei chip. La sua adozione renderebbe RISC-V il set di istruzioni canonico de facto di Ethereum.

Buterin ha definito questa scelta una “big decision” da affrontare con cautela, affermando al contempo di ritenerla necessaria. A luglio aveva prospettato la stessa possibilità nell’ambito di una roadmap per un Ethereum Lean, che ricostruirebbe quasi ogni componente principale del protocollo nell’arco di tre o quattro anni e porrebbe le STARK ricorsive al centro.

Ha inoltre indicato l’astrazione privata degli account come un altro possibile utilizzo. In questo approccio, la logica di un account potrebbe rimanere nascosta on-chain, mentre la titolarità di ogni posizione e asset associato all’account cambierebbe in un’unica transazione senza rivelare quali asset fossero coinvolti.

EIP-8288 dipende da Frames, la revisione delle transazioni promossa da Buterin domenica. Anche Frames non è stata programmata. Buterin vuole che entrambe le proposte siano incluse in I-star, l’aggiornamento successivo a Hegota, che ha definito l’ultimo aggiornamento di Ethereum prima dell’inizio dell’era Lean. Nessuna delle due proposte è stata assegnata a un fork.