Introduzione all’EIP-8288
Il co-fondatore di Ethereum, Vitalik Buterin, ha sostenuto l’EIP-8288 come un metodo innovativo per supportare la crittografia complessa senza dover aggiungere continuamente nuove funzioni di verifica alla rete. Buterin ha argomentato che la maggior parte del lavoro crittografico pesante dovrebbe avvenire al di fuori del processo di esecuzione principale di Ethereum.
Proposta e Vantaggi
In una serie di post pubblicati il 19 ottobre su X, ha evidenziato che la macchina virtuale esistente di Ethereum e le funzioni crittografiche specializzate non sono adatte a supportare ogni nuovo sistema di firma o prova. Ha quindi proposto un design che consentirebbe agli utenti di generare prove localmente e inviarle attraverso un meccanismo di aggregazione.
La proposta EIP-8288 permetterebbe a Ethereum di verificare che le operazioni crittografiche siano state eseguite correttamente senza dover includere ogni firma o prova originale in un blocco. Buterin ha descritto questo approccio come parte della sua visione di Ethereum come un computer mondiale crittografico, dove sostanziali computazioni possono avvenire al di fuori della blockchain, mantenendo i risultati verificabili.
Stato Attuale e Sfide
Attualmente, l’EIP-8288 è ancora una bozza e non ha ricevuto approvazione per il deployment sulla mainnet di Ethereum. I recenti commenti di Buterin si sono concentrati su come Ethereum gestisce le operazioni crittografiche che richiedono grandi quantità di computazione o dati. Gli sviluppatori possono attualmente utilizzare la Ethereum Virtual Machine (EVM) per eseguire smart contract che verificano determinate affermazioni crittografiche.
Ethereum fornisce precompilazioni, che sono funzioni integrate che eseguono calcoli specifici in modo più efficiente rispetto al codice degli smart contract ordinari. Tuttavia, supportare metodi crittografici aggiuntivi direttamente attraverso le precompilazioni potrebbe richiedere modifiche al protocollo di Ethereum.
Limiti e Considerazioni
Buterin ha sottolineato che nessuno dei due approcci dovrebbe diventare la soluzione predefinita per ogni nuovo sistema crittografico. La sua preoccupazione principale riguarda la quantità di dati che devono essere inclusi nei blocchi di Ethereum quando le applicazioni inviano grandi firme o prove crittografiche per la verifica.
Nella discussione del 19 ottobre, ha stimato che anche con miglioramenti come PeerDAS e blocchi-in-blobs, la rete si troverebbe di fronte a limiti pratici intorno agli 8 megabyte al secondo, prima che ulteriori dati diventassero difficili da gestire.
In definitiva, le precompilazioni e l’EVM non sono i luoghi ideali per inserire la maggior parte del supporto crittografico in Ethereum, poiché entrambe operano su dati che devono essere inclusi nella catena di Ethereum in qualche modo, il che significa realisticamente che devono essere inclusi in un blocco come calldata.
Dettagli Tecnici dell’EIP-8288
Il meccanismo proposto è descritto nell’EIP-8288, intitolato “Aggregazione di firme e prove in mempool”. Buterin e il ricercatore di Ethereum Thomas Coratger hanno creato la proposta il 3 giugno 2026. Secondo la specifica ufficiale, il sistema consentirebbe alle transazioni di dichiarare quali affermazioni crittografiche devono essere verificate senza includere tutto il materiale originale della prova nel blocco finale.
Queste dichiarazioni identificherebbero lo schema di verifica, un hash che rappresenta i dati rilevanti e un hash associato alla chiave di verifica. La rete utilizzerebbe questi riferimenti per collegare le transazioni con prove che dimostrano che le operazioni richieste sono state eseguite correttamente.
Aggregazione e Sicurezza
Il sistema di aggregazione proposto utilizzerebbe strumenti Lean Ethereum per generare e verificare queste prove. L’EIP-8288 descrive una nuova modalità di frame di transazione che dichiarerebbe le dipendenze crittografiche. La proposta si basa sull’EIP-8141, che introduce un framework per transazioni con più passaggi di esecuzione e verifica.
A livello di blocco, un STARK ricorsivo dimostrerebbe che le dipendenze dichiarate sono state soddisfatte. Tuttavia, il suo design previsto eviterebbe di pubblicare le firme e le prove originali di grandi dimensioni come calldata di transazione ordinaria.
Considerazioni Future
L’EIP-8288 include supporto per firme crittografiche progettate per resistere agli attacchi dei futuri computer quantistici. Ethereum attualmente si basa su sistemi di firma digitale consolidati per l’autenticazione degli account e il consenso della blockchain. Gli sviluppatori stanno ricercando alternative che rimarrebbero sicure se diventassero disponibili computer quantistici sufficientemente potenti.
Vitalik Buterin ha sostenuto che gli utenti dovrebbero essere in grado di produrre le proprie firme preferite localmente e dimostrare la loro validità attraverso l’aggregazione STARK. Ha discusso la possibilità di utilizzare la crittografia basata su reticolo per gli account e i portafogli di Ethereum se le relative assunzioni di sicurezza fossero stabilite.
Conclusione
La proposta richiede quindi un aggiornamento coordinato della rete prima che il suo sistema di aggregazione crittografica possa diventare parte delle regole della mainnet di Ethereum. I casi di test esistenti della proposta coprono la verifica delle firme individuali, le dipendenze di prova multiple, le prove ricorsive non valide, l’aggregazione del mempool e la compatibilità con le liste di inclusione delle transazioni.
