Il co-fondatore di Ethereum Vitalik Buterin ha attribuito una probabilità del 60% al fatto che tre tecnologie crittografiche avanzate — SNARKs, fully homomorphic encryption (FHE) e indistinguishability obfuscation (iO) — raggiungano eventualmente un overhead computazionale inferiore a 10x. Buterin ha affermato che la prima di queste tecnologie a raggiungere tale soglia sarà probabilmente rappresentata dai SNARKs, con un traguardo che potrebbe arrivare entro la fine del decennio. I commenti sono stati riportati da Cointelegraph in un post su X.

La stima indica un obiettivo di efficienza a lungo termine per tecniche crittografiche già utilizzate, o in fase di studio, per applicazioni che coinvolgono privacy, verifica e calcolo. I SNARKs sono già distribuiti in sistemi blockchain di produzione, mentre FHE e iO restano in gran parte in fase di ricerca, un contesto rilevante per spiegare perché Buterin si attende che i SNARKs superino per primi la soglia.

I SNARKs potrebbero raggiungere per primi la soglia

Tra le tre tecnologie, Buterin si attende che i SNARKs siano i primi a ottenere un overhead inferiore a 10x, anche se non ha indicato un anno specifico per questo sviluppo.

I SNARKs, ovvero succinct non-interactive arguments of knowledge, consentono a una parte di dimostrare che un calcolo è stato eseguito correttamente senza richiedere che un'altra parte riproduca in modo indipendente l'intero calcolo. La tecnologia è diventata una componente importante dei sistemi a conoscenza zero utilizzati nel settore blockchain, inclusi gli zk-rollup che raggruppano le transazioni off-chain e pubblicano risultati verificati su Ethereum.

Il significato della soglia di efficienza risiede nel costo computazionale associato alle prove crittografiche. Un overhead inferiore può rendere le tecniche di verifica avanzate più pratiche per le applicazioni in cui le risorse di calcolo e i tempi di elaborazione costituiscono un vincolo. Oggi, generare prove è in genere molto più costoso rispetto all'esecuzione diretta del calcolo sottostante, ed è uno dei motivi per cui queste tecniche non sono ancora utilizzate ovunque potrebbero esserlo.

FHE e iO restano parte di una prospettiva di lungo periodo

Buterin ha incluso nella sua valutazione anche la fully homomorphic encryption e la indistinguishability obfuscation.

La FHE consente di eseguire calcoli su dati cifrati senza prima decifrarli. Ciò la rende un'area di ricerca chiave per le applicazioni che richiedono calcoli mantenendo riservate le informazioni sottostanti, come l'elaborazione dei dati orientata alla privacy. La FHE è stata proposta per la prima volta alla fine degli anni 2000 e, da allora, la riduzione del suo overhead è stata una sfida centrale nel settore.

La indistinguishability obfuscation è una tecnica crittografica più avanzata, progettata per rendere difficile determinare come funziona un programma offuscato preservandone le funzionalità. È stata studiata come potenziale fondazione per una serie di applicazioni di privacy e crittografia, anche se le costruzioni pratiche sono generalmente considerate molto più lontane rispetto ai SNARKs o alla FHE.

La stima del 60% di Buterin si applica alla possibilità che tutte e tre le tecnologie possano alla fine raggiungere la soglia di overhead inferiore a 10x. La sua dichiarazione non stabilisce che il traguardo verrà raggiunto, né fornisce una tabella di marcia garantita per FHE o iO.

Obiettivo entro la fine del decennio

L'unico riferimento temporale specifico menzionato nella dichiarazione riguarda la prima tecnologia che si prevede raggiunga la soglia. Buterin ha affermato che si tratta probabilmente dei SNARKs e che ciò potrebbe avvenire entro la fine del decennio.

La stima pone al centro della previsione l'efficienza, anziché l'introduzione delle tecniche crittografiche sottostanti. SNARKs, FHE e iO sono già aree consolidate della ricerca crittografica, ma raggiungere un overhead computazionale sostanzialmente inferiore resta una sfida tecnica importante. I progressi nei sistemi di prova degli ultimi anni, tra cui lo sviluppo di nuove costruzioni SNARK, hanno ridotto costantemente l'overlay: è proprio questa la tendenza a cui si riferisce la stima di Buterin.

Per ora, la valutazione di Buterin presenta una probabilità anziché uno sviluppo confermato. Il traguardo chiave individuato nella sua dichiarazione è se i SNARKs potranno raggiungere un overhead inferiore a 10x entro la fine del decennio.