Vitalik Buteri afferma che la corsa alla velocità ZK di Ethereum è finita, invita a spostare l'attenzione sulla sicurezza
Punti chiave
- •Vitalik Buteri ha affermato il 15 ottobre che la battaglia per la velocità delle proof a conoscenza zero è stata definitivamente vinta e che il lavoro sugli zkEVM dovrebbe ora dare priorità alla sicurezza.
- •Airbender Prime di ZKsync, presentato il 13 ottobre, avrebbe dimostrato il 99% di 7.200 blocchi consecutivi di Ethereum in meno di 10 secondi su una singola GPU NVIDIA RTX PRO 6000 Blackwell.
- •Buteri ha chiesto la verifica formale che le proof seguano le regole di Ethereum, un limite massimo rigoroso ai costi di dimostrazione rispetto al gas di blocco e la sicurezza del sistema di proof stesso, senza annunciare un calendario.
- •Airbender è costruito su software open source e utilizza proof basate su hash progettate per resistere alle future minacce quantistiche, ma Airbender Prime rimane uno sviluppo di ZKsync e non un aggiornamento della rete Ethereum.
- •Separatamente, gli ETF spot statunitensi su Ethereum hanno registrato deflussi netti per $19,7 milioni il 14 ottobre, mentre ETH è scambiato vicino a $2.361 con un indice di forza relativa giornaliero vicino a 34.

Il co-fondatore di Ethereum Vitalik Buteri ha invitato gli sviluppatori a fare della sicurezza la priorità assoluta dopo aver dichiarato che la gara per costruire proof a conoscenza zero più veloci è di fatto conclusa. In un post del 15 ottobre su X, Buteri ha congratulato con il team di ZKsync Airbender per l'ultimo traguardo raggiunto e ha affermato che la battaglia per la velocità era stata definitivamente vinta, aggiungendo che il lavoro sugli zkEVM dovrebbe ora spostarsi interamente sulla sicurezza. Gli zkEVM sono sistemi di dimostrazione che generano prove crittografiche del fatto che le transazioni Ethereum sono state eseguite secondo le regole della rete, il che rende la loro correttezza direttamente rilevante per il modo in cui la catena verifica l'attività. L'annuncio ha attirato l'attenzione su come i sistemi a conoscenza zero saranno verificati per la correttezza man mano che assumono un ruolo maggiore nella verifica delle transazioni di Ethereum.
Le sue dichiarazioni sono arrivate due giorni dopo che ZKsync ha presentato Airbender Prime il 13 ottobre. Secondo il progetto, una singola scheda grafica NVIDIA RTX PRO 6000 Blackwell ha dimostrato il 99% di 7.200 blocchi consecutivi di Ethereum in meno di 10 secondi, con ogni blocco dell'insieme testato completato entro 12 secondi. I tempi riportati includevano la preparazione delle proof richiesta per ogni blocco. L'account X di ZKsync ha promosso il rilascio come dimostrazione in tempo reale su una GPU, ovvero una generazione di proof abbastanza veloce da stare al passo con la produzione dei blocchi — un benchmark che si trovava al centro della corsa alla velocità che Buteri ora considera definitivamente vinta.
Airbender è costruito su software open source e si basa su proof basate su hash, un approccio che, secondo il progetto, è progettato per resistere alle future minacce quantistiche. Airbender Prime rimane uno sviluppo di ZKsync, non un aggiornamento della rete Ethereum.
Buteri delinea tre requisiti di sicurezza
Big congratulations to the @zksync airbender team for this milestone. At this point, I consider the battle for speed to be definitively won, and the top priority for zkEVMs should shift fully to security. To me that means formally verifying (i) equivalence of the… — vitalik.eth (@VitalikButerin) October 15, 2026
Nel post, Buteri ha chiesto verifiche matematiche che stabiliscano se i calcoli delle proof seguano esattamente le regole di Ethereum. La verifica formale — stabilire le proprietà di un sistema tramite prova matematica anziché test caso per caso — è ampiamente considerata uno dei controlli più rigorosi disponibili per il software di dimostrazione. Vuole inoltre un limite massimo rigoroso ai costi di dimostrazione rispetto al gas di blocco, la misura del lavoro computazionale per blocco di Ethereum, in modo che l'esecuzione delle proof non diventi proibitivamente costosa per gli operatori. Il terzo requisito riguarda la sicurezza del sistema di proof stesso. Buteri non ha annunciato alcun calendario per queste verifiche di sicurezza formali.
I requisiti hanno peso perché Ethereum prevede di utilizzare un numero maggiore di proof a conoscenza zero nella verifica delle transazioni. Tali proof consentono ai computer di confermare i risultati senza ripetere ogni calcolo, il che risparmia lavoro computazionale ma pone un'enfasi premium sulla correttezza. Costi di dimostrazione elevati potrebbero inoltre rendere più difficile la partecipazione per gli operatori con hardware limitato.
Separatamente, Buteri ha recentemente sollevato preoccupazioni sui portafogli crittografici legate ai progressi dell'intelligenza artificiale.
Il prezzo di Ethereum si avvicina alla zona chiave di supporto
Ethereum è scambiato vicino a $2.361 il 15 ottobre, secondo una recente analisi del prezzo di Ethereum. Il rapporto ha collocato il minimo della giornata vicino a $2.317 e ha identificato l'intervallo tra $2.300 e $2.350 come un'area osservata dai trader. L'indice di forza relativa giornaliero si attestava vicino a 34, riflettendo uno slancio più debole.
ETH ha incontrato una resistenza iniziale tra $2.400 e $2.450, seguita dall'intervallo tra $2.500 e $2.550. Questi livelli di mercato provengono dai dati dei grafici piuttosto che dalle dichiarazioni di Buteri, che si sono concentrate sullo sviluppo del protocollo.
Gli ETF spot su Ethereum registrano deflussi per $19,7 milioni
I fondi spot statunitensi su Ethereum hanno registrato deflussi netti per $19,7 milioni il 14 ottobre. Ciò è seguito ai recenti prelievi dagli ETF avvenuti durante la settimana precedente. Dati di mercato separati hanno mostrato forti liquidazioni sui futures di criptovalute con il calo dei prezzi.
Le cifre sulla velocità di ZKsync provengono dai suoi stessi test, mentre gli sviluppatori di Ethereum affrontano ancora il compito separato di confermare l'accuratezza delle proof e controllare i costi di calcolo.