ZKsync ha presentato Airbender Prime, un prover Ethereum che ha dimostrato la prova in tempo reale dei blocchi della mainnet su una singola GPU — un traguardo che ha spinto il cofondatore di Ethereum Vitalik Buterin a chiedere un rinnovato focus sulla sicurezza nello sviluppo zkEVM.

Nei test, una GPU NVIDIA RTX PRO 6000 Blackwell ha provato il 99% di 7.200 blocchi consecutivi della mainnet Ethereum in meno di 10 secondi ciascuno, inclusa la preparazione del witness — ovvero la fase di raccolta dei dati necessari al prover per generare una prova. Ogni blocco è stato completato entro 12 secondi. Ethereum produce un nuovo blocco circa ogni 12 secondi, quindi provare ogni blocco entro tale finestra è ciò che mantiene la verifica al passo con la produzione dei blocchi. ZKsync ha annunciato il traguardo in un post su X.

Airbender Prime dimostra la prova in tempo reale di Ethereum

Un zkEVM genera una prova crittografica che un blocco è stato eseguito secondo le regole di Ethereum, consentendo a chiunque di verificare il risultato senza dover rieseguire il calcolo. Secondo ZKsync, Airbender Prime utilizza STARK basati su hash, una costruzione di prova progettata per garantire la sicurezza post-quantistica. La sua tecnologia combina GKR sumcheck, impegni polinomiali WHIR e hashing BLAKE2s.

Per le prove di Layer 1, il sistema utilizzerà impegni basati su Keccak-256 al posto degli accoppiamenti BN254. Segue inoltre lo standard aperto RISC-V e include un verificatore autonomo per controlli indipendenti delle prove.

ZKsync ha dichiarato che Airbender Prime guida la classifica pubblica di ETHproofs — che confronta i prover zkEVM con i blocchi della mainnet Ethereum — per tempo medio di prova dichiarato, efficienza GPU e costi. Il progetto dispone anche di configurazioni attive con due e quattro GPU.

Vitalik Buterin invoca una sicurezza zkEVM più forte

Buterin ha congratulato il team di ZKsync per il traguardo. Ha affermato che la battaglia per la velocità di prova è stata definitivamente vinta e ha sostenuto che lo sviluppo zkEVM dovrebbe ora dare priorità alla sicurezza.

Buterin ha individuato tre requisiti per la verifica formale: dimostrare che l'aritmetizzazione corrisponde alle specifiche di Ethereum, stabilire un rapporto massimo rigido tra i costi di prova e il gas del blocco, e verificare la sicurezza del sistema di prova stesso. L'aritmetizzazione è la fase in cui un prover codifica le regole di esecuzione di Ethereum nelle enunciati matematici che un sistema di prova può controllare. I suoi commenti pongono l'attenzione sull'opportunità che i sistemi di prova dimostrino esecuzione corretta, costi di prova prevedibili e protezioni crittografiche affidabili.

ZKsync punta a un'infrastruttura finanziaria indipendentemente verificabile

ZKsync ha dichiarato che i progressi nell'intelligenza artificiale potbero accelerare la scoperta e lo sfruttamento delle vulnerabilità software. Ha sostenuto che le istituzioni necessitano di meccanismi che banche e controparti possano verificare in modo indipendente.

Richiedere prove a conoscenza zero per gli aggiornamenti del registro potrebbe impedire a server di esecuzione compromessi di approvare aggiornamenti che violano le regole codificate, secondo l'azienda. I requisiti hardware inferiori di Airbender Prime potrebbero inoltre rendere la generazione delle prove più accessibile a istituzioni e operatori indipendenti.

Il progetto mira a supportare la verifica indipendente nell'infrastruttura finanziaria. ZKsync ha dichiarato di prevedere ulteriori annunci su Airbender Prime, senza fornire dettagli aggiuntivi nella sua presentazione.