Il cofondatore di Ethereum Vitalik Buterin ha associato numeri concreti a una domanda di lungo corso nella crittografia: quanto sono vicini gli strumenti avanzati di privacy e verifica ai costi di calcolo ordinari. In un post del 6 settembre, Buterin ha assegnato una probabilità del 60% che SNARKs, fully homomorphic encryption (FHE) e indistinguishability obfuscation (iO) operino infine al di sotto di un overhead computazionale di 10x, misurato tramite il consumo energetico totale e i costi di calcolo ammortizzati. Ha inoltre attribuito a tutte e tre le tecnologie una probabilità del 33% di avvicinarsi a un overhead di 1+ε per il calcolo reale medio.

Ethereum co-founder Vitalik Buterin said he believes there is a 60% chance that SNARKs, fully homomorphic encryption and indistinguishability obfuscation could eventually be implemented with single-digit… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026

Questa distinzione conta, perché la tempistica è più ristretta di quanto suggerisca la probabilità indicata nel titolo. Buterin non ha affermato che tutte e tre le tecnologie supereranno la soglia dei 10x entro il 2030. Ha invece detto che almeno una potrebbe raggiungere un overhead a cifra singola entro la fine del decennio, con gli SNARKs come candidato più probabile. L'impostazione si collega a un problema di lunga data nella crittografia applicata: tutte e tre le tecniche sono teoricamente praticabili da anni — la FHE fu costruita per la prima volta da Craig Gentry nel 2009 — ma il loro costo computazionale le ha confinate per lo più in ambito di ricerca anziché nei sistemi di produzione.

Gli SNARKs guidano la corsa verso costi di calcolo inferiori a 10x

Gli SNARKs consentono a un sistema di dimostrare che un calcolo è stato eseguito correttamente senza richiedere a ogni verificatore di ripetere l'intero processo. Di conseguenza, sono diventati centrali nel modello di scaling zero-knowledge di Ethereum. I rollup zero-knowledge già usano questo approccio, elaborando blocchi di transazioni al di fuori del layer base di Ethereum e inviando poi prove di validità alla Mainnet, il che consente alla rete di verificare quelle transazioni preservando le garanzie di sicurezza di Ethereum.

La generazione delle prove, tuttavia, resta un vincolo rilevante. Le prove complesse richiedono ancora notevole potenza di calcolo e alcuni carichi di lavoro dipendono da hardware specializzato. Ciononostante, Buterin ha detto che il divario di efficienza sta iniziando a ridursi. Ad agosto ha evidenziato ricerche che mostrano come certi carichi di inferenza di grandi modelli linguistici si stessero avvicinando a un overhead di prova inferiore a 10x. Ha inoltre indicato le funzioni hash specializzate, dove un overhead a cifra singola è già stato raggiunto.

Con la discesa dei costi di prova, il miglioramento potrebbe avere implicazioni dirette sull'architettura futura di Ethereum. La roadmap zkEVM della rete prevede che i validatori verifichino le prove di interi blocchi invece di rieseguire in modo indipendente ogni transazione. Una generazione di prove sufficientemente efficiente potrebbe quindi permettere a Ethereum di aumentare i limiti di gas senza richiedere aumenti proporzionali dell'hardware dei validatori, rendendo gli SNARKs a basso costo rilevanti sia per la scalabilità sia per l'efficienza dei validatori. La tendenza è visibile anche nel più ampio ecosistema zero-knowledge, dove i sistemi di prova hanno visto successivi sforzi di ottimizzazione volti a ridurre i tempi del prover e la dipendenza dall'hardware.

FHE e iO affrontano barriere più alte

Mentre gli SNARKs si concentrano sulla verifica dei calcoli, la FHE affronta una sfida diversa: la privacy. Permette di eseguire calcoli direttamente su dati cifrati senza rivelare prima le informazioni sottostanti. Il NIST descrive la FHE come una tecnologia di privacy enhancement in grado di applicare funzioni arbitrarie ai dati cifrati senza accesso alla chiave segreta di decifratura. Per le blockchain, questa capacità potrebbe supportare market maker automatici privati, mercati di prestito riservati e aste a offerte sigillate — applicazioni identificate direttamente nella roadmap sulla privacy di Ethereum. La FHE, tuttavia, comporta ancora costi computazionali significativamente più alti rispetto all'elaborazione ordinaria in chiaro, quindi raggiungere un overhead inferiore a 10x rappresenterebbe un passo importante verso un uso pratico più ampio.

L'indistinguishability obfuscation presenta una sfida ancora più difficile. La tecnologia mira a trasformare il software preservandone la funzionalità, rendendo i programmi offuscati equivalenti computationalmente indistinguibili. Ricerche recenti hanno rafforzato le fondamenta teoriche dell'iO, ma i suoi costi pratici restano estremamente elevati; Buterin ha descritto le costruzioni tradizionali come effettivamente "galattiche" in termini di spesa computazionale. Per ridurre questi costi, il suo lavoro recente ha esplorato approcci come il diamond iO e il local mixing. Il diamond iO abbassa il carico teorico ma resta impraticabile, mentre il local mixing segue una strada diversa la cui sicurezza non è ancora dimostrata.

Ciascuna tecnologia, nondimeno, punta a una parte distinta del più ampio problema crittografico. SNARKs più economici potrebbero rendere il calcolo verificabile più routine, la FHE potrebbe estendere il calcolo privato su dati condivisi e un iO efficiente potrebbe contribuire a proteggere la logica interna del software eseguibile. Per ora, la stima del 60% di Buterin resta una valutazione probabilistica personale anziché un impegno della roadmap di Ethereum.

Fonte: Blockonomi