Dopo un anno di duro lavoro, l’ecosistema zkEVM ha compiuto un salto di prestazioni, con il tempo di prova dei blocchi Ethereum ridotto da 16 minuti a 16 secondi e i costi diminuiti di 45 volte. I zkVMs partecipanti possono ora completare il 99% delle prove dei blocchi della mainnet entro 10 secondi su hardware target.
Il 18 dicembre, la Ethereum Foundation (EF) ha annunciato l’implementazione del meccanismo di prova in tempo reale e la rimozione dei colli di bottiglia prestazionali, ma ha sottolineato che la vera sfida risiede nell’affidabilità. La velocità senza supporto di sicurezza diventerà un peso, e diverse congetture matematiche su cui si basa lo zkEVM basato sull’algoritmo STARK sono state confutate negli ultimi mesi, portando a una diminuzione del livello di sicurezza.
EF aveva precedentemente stabilito un obiettivo completo per la prova in tempo reale a luglio, coprendo molteplici dimensioni come latenza, hardware e sicurezza, e ha ora superato il test di benchmark EthProofs.
Il suo cambiamento fondamentale consiste nel passare dal perseguire la velocità di elaborazione alla sicurezza dimostrabile. È chiaro che lo zkEVM di livello L1 deve soddisfare lo standard di sicurezza a 128 bit e allinearsi con le specifiche di crittografia mainstream. Poiché la falsificazione delle prove potrebbe portare a rischi fatali come la contraffazione di token e la manomissione dello stato L1, il margine di sicurezza non è negoziabile.
EF ha contemporaneamente rilasciato una roadmap di sicurezza in tre fasi:
- Entro la fine di febbraio 2026, tutti i team zkEVM devono integrare i loro sistemi di prova con lo strumento di valutazione della sicurezza soundcalc di EF per unificare gli standard di calcolo della sicurezza.
- Lo standard Glamsterdam sarà raggiunto entro la fine di maggio, realizzando obiettivi transitori come la sicurezza dimostrabile a 100 bit.
- L’obiettivo finale H-star sarà completato entro la fine di dicembre, raggiungendo la sicurezza dimostrabile a 128 bit e fornendo una dimostrazione formale di sicurezza della topologia ricorsiva.
Per raggiungere il suo obiettivo, EF menziona strumenti tecnologici fondamentali come WHIR e JaggedPCS, che possono migliorare l’efficienza ottimizzando la generazione delle prove ed evitando sprechi di potenza computazionale, riducendo anche la dimensione delle prove utilizzando tecniche come la topologia ricorsiva.
Tuttavia, permangono diverse sfide: le prove in tempo reale non sono ancora state implementate sulla blockchain e l’efficacia effettiva dei validatori è discutibile; i parametri di sicurezza devono essere adattati dinamicamente man mano che le congetture matematiche vengono confutate; non è noto se alcuni team possano rispettare le scadenze; i progetti di verifica formale con architetture ricorsive sono ancora nelle prime fasi e l’ecosistema si sta sviluppando in modo disomogeneo.
È importante notare che una volta che lo zkEVM soddisfa i requisiti, può supportare Ethereum nell’aumentare i limiti delle commissioni gas, aumentando così la capacità dei blocchi garantendo al contempo la fattibilità dello staking, promuovendo L1 come livello di regolamento affidabile e sfumando i confini tra l’esecuzione L2 e L1.
Ora che lo sprint prestazionale è concluso, il problema centrale dell’ecosistema zkEVM si è spostato sul raggiungimento di prove di sicurezza sufficientemente affidabili per supportare asset del valore di centinaia di miliardi senza fare affidamento su congetture fragili. La corsa alla sicurezza è ufficialmente iniziata e sarà il tema principale di Ethereum nel 2026.
