La verifica dei blocchi basata su prove potrebbe ridurre i costi dei validatori e rendere lo staking individuale più semplice senza sostituire gli attuali metodi di convalida.
La convalida dei blocchi su Ethereum si sta dirigendo verso una riprogettazione importante. La ricerca attuale si concentra sulla verifica dei blocchi a livello di protocollo e non sull'aggiunta di nuove funzionalità per gli utenti. L'obiettivo è ridurre i requisiti hardware per i validatori mantenendo la sicurezza. Se avrà successo, l'approccio potrebbe supportare una maggiore attività di rete mantenendo la partecipazione aperta agli operatori più piccoli.
Ethereum attualmente convalida i blocchi facendo rieseguire a ogni nodo ogni transazione in essi contenuta. Tutti i nodi eseguono lo stesso lavoro per verificare i risultati in modo indipendente. Maggiore potenza di calcolo, archiviazione e larghezza di banda Internet sono richieste all'aumentare del volume delle transazioni. Gestire un nodo completo diventa più difficile man mano che l'utilizzo cresce.
Con le dimostrazione a conoscenza zero EVM, i nodi non dovrebbero rifare il lavoro. Verificherebbero un'unica prova crittografica che il blocco è stato elaborato correttamente. Verificare una prova è veloce e richiede lo stesso tempo indipendentemente da quante transazioni ci sono nel blocco, rendendo lo scaling molto più semplice.
Inoltre, le prove di esecuzione a conoscenza zero esistono da tempo, ma Ethereum sta ora lavorando per utilizzarle direttamente all'interno del suo sistema principale. Il protocollo prevede di consentire ad alcuni validatori di verificare prove crittografiche che confermano che il lavoro è stato svolto correttamente. La convalida attraverso le prove si affiancherebbe ai metodi attuali e non li sostituirebbe completamente.
Per supportare questo, il team zkEVM della Ethereum Foundation ha delineato una roadmap con obiettivo 2026. Secondo il piano, i client di esecuzione raccoglierebbero tutti i dati necessari per verificare un blocco in un unico pacchetto chiamato execution witness.
Fonte immagine: X/ladislaus.eth
Pensalo come un pacchetto compatto che contiene tutto il necessario per controllare un blocco, senza memorizzare lo stato completo di Ethereum. Un programma speciale verifica i dati e una macchina virtuale a conoscenza zero genera una prova che il blocco è stato elaborato correttamente. Invece di rieseguire le transazioni, un client del livello di consenso (CL) può verificare la prova per confermare il blocco.
Secondo EIP-8025, i nodi non sono tenuti a modificare il loro funzionamento. La riesecuzione rimane disponibile e non è necessario un hard fork. I validatori che scelgono il controllo basato su prove sono chiamati zkAttesters. Questi client CL verificano le prove zkEVM invece di eseguire un client EL completo.
I validatori che si affidano alle prove non avrebbero più bisogno di archiviare i dati di esecuzione di Ethereum o sincronizzare l'intera catena. Invece, la sincronizzazione potrebbe significare scaricare le prove recenti dopo ogni checkpoint finale. Questo cambiamento riduce significativamente i requisiti hardware, rendendo la convalida più semplice per gli staker individuali e gli operatori domestici.
Inoltre, le prove stateless consentono agli individui di verificare la cronologia di Ethereum localmente senza grandi requisiti di archiviazione. L'autoverifica su hardware consumer diventa nuovamente più realistica.
La velocità di generazione delle prove dipende da un altro aggiornamento chiamato enshrined proposer-builder separation (ePBS). Senza di esso, non c'è abbastanza tempo per creare prove all'interno di uno slot di blocco. ePBS aggiunge il pipelining dei blocchi, dando ai prover diversi secondi per slot, il che rende realistica la generazione di prove in tempo reale.
I team dei client di esecuzione acquisiscono nuova rilevanza, poiché ogni client diventa una fonte di prova. Anche i fornitori di zkVM beneficiano di un'interfaccia condivisa. Progetti zkVM come ZisK, OpenVM e RISC Zero producono anche prove Ethereum, dando loro un obiettivo chiaro.
Rimangono questioni aperte su chi produce le prove. Un prover onesto è sufficiente per mantenere la catena in funzione, ma fare affidamento su grandi builder potrebbe concentrare il potere. Il lavoro continua sulla prova distribuita e su configurazioni che funzionano su hardware più piccolo.
Nel frattempo, EIP-8025 fa ora parte del lavoro sulle specifiche di consenso del protocollo. La ricerca copre la progettazione dei witness, gli standard zkVM, le modifiche al consenso, i controlli di sicurezza e i test delle prestazioni. Una prima chiamata di lavoro pubblica è fissata per l'11 febbraio 2026, segnando un passo iniziale in questo sforzo a lungo termine.
Il post Ethereum punta alla verifica dei blocchi basata su conoscenza zero nel 2026 è apparso per primo su Live Bitcoin News.


