tl;dr della scorsa settimana di workshop EF a Berlino: Ethereum punta tutto sui zkVM per scalare l'L1. La dimostrazione in tempo reale ha mostrato che scalare massicciamente l'L1 con ZK è possibile oggi. Justin Drake ha persino delineato un percorso verso l'eventuale consacrazione degli zkVM nell'L1. Sono molto più seri riguardo a questo sforzo di quanto avessi realizzato. Ulteriori dettagli 🧵

La priorità strategica numero 1 di Ethereum in questo momento è scalare l'L1: come evidenziato nell'aggiornamento recente dell'EF, uno dei gruppi di focus principali dell'EF (guidato da @timebeiko + @adietrichs) è aumentare drasticamente la capacità dell'L1 per portare più attività sulla mainnet. L'annuncio recente del "proving in tempo reale" ha fatto capire alla leadership che scalare l'L1 con ZK è possibile, oggi. Un importante collo di bottiglia nella scalabilità è mantenere requisiti hardware bassi per i nodi mentre si aumenta il gas. Con il proving in tempo reale, il limite del gas può essere sostanzialmente aumentato senza sacrificare la verificabilità, poiché i validatori devono solo verificare le prove (costo computazionale basso) per tenere il passo con la catena. L'EF sta dedicando risorse significative a questo sforzo, inclusi diversi team di ingegneria dedicati a creare un client ZK stateless, incorporando reti di prover utilizzando ZK boost e benchmarkando zkVM. L'EF ha un piano concreto per i prossimi trimestri per incorporare zkVM e RTP in molte parti dello stack. C'è un team dedicato a creare un client ZK stateless che può funzionare su hardware minimo mentre verifica le prove. Stanno costruendo ZK Boost, un sidecar simile a MEV-boost che ogni costruttore e proponente utilizzerà per richiedere prove dalle reti di prover. E hanno un team dedicato al benchmarking di zkVM per capire quali cambiamenti di protocollo sono necessari per garantire il proving in tempo reale del 100% dei blocchi. Justin ha delineato un percorso concreto per consacrare le prove zkVM in Ethereum nei prossimi anni. In una presentazione, Justin ha delineato un piano graduale per introdurre zkVM nell'L1—concludendo con la consacrazione finale di sistemi di prova formalmente verificati nell'L1. Man mano che le zkVM diventano critiche per l'L1, le reti di prover saranno l'infrastruttura da cui i proponenti attingeranno prove per ogni blocco di Ethereum. Un pezzo critico di infrastruttura in questo impulso zkVM saranno le reti di prover. Le reti di prover consentono la separazione tra proponenti e prover, dove i proponenti possono rimanere decentralizzati e non sofisticati, mentre ottengono prove in tempo reale per ogni blocco con la massima efficienza da un insieme competitivo di prover. Questo è ciò che stiamo costruendo con la Prover Network di Succinct :) Le zkVM stanno per alimentare la migliore blockchain del mondo. Un'onda ZK in arrivo.