tl;dr van de afgelopen week van EF-workshops in Berlijn: Ethereum is volledig gericht op zkVM's voor het schalen van de L1. Realtime bewijzen toonden aan dat het vandaag de dag mogelijk is om de L1 massaal te schalen met ZK. Justin Drake schetste zelfs een pad naar de uiteindelijke verankering van zkVM's in de L1. Ze zijn veel serieuzer over deze inspanning dan ik me realiseerde. Meer details 🧵

De #1 strategische prioriteit van Ethereum op dit moment is het schalen van de L1: Zoals benadrukt in de recente EF-update, is een van de kernfocusgroepen van de EF (geleid door @timebeiko + @adietrichs) gericht op het dramatisch verhogen van de capaciteit van L1 om meer activiteit naar de mainnet te brengen. De recente aankondiging van "real-time proving" heeft het leiderschap doen beseffen dat het mogelijk is om de L1 met ZK te schalen, vandaag. Een belangrijke bottleneck bij het schalen is het handhaven van lage hardware-eisen voor nodes terwijl de gasprijs omhoog gaat. Met real-time proving kan de gaslimiet aanzienlijk worden verhoogd zonder de verifieerbaarheid op te offeren, aangezien validators alleen bewijsstukken hoeven te verifiëren (lage rekenkosten) om bij te blijven met de keten. De EF wijdt aanzienlijke middelen aan deze inspanning, inclusief verschillende engineeringteams die zich toeleggen op het maken van een stateless ZK-client, het incorporeren van prover-netwerken met behulp van ZK-boost, en het benchmarken van zkVM's. De EF heeft een concreet plan voor de komende kwartalen om zkVM's en RTP in veel delen van de stack te integreren. Er is een team dat zich richt op het maken van een stateless ZK-client die op minimale hardware kan draaien terwijl het bewijsstukken verifieert. Ze bouwen ZK Boost, een MEV-boost-achtige sidecar die elke bouwer en proposer zal draaien om bewijsstukken aan te vragen van prover-netwerken. En ze hebben een toegewijd zkVM-benchmarkingteam om te begrijpen welke protocolwijzigingen nodig zijn om real-time proving van 100% van de blokken te garanderen. Justin schetste een concreet pad om zkVM-bewijzen in Ethereum te verankeren in de komende jaren. In een presentatie schetste Justin een geleidelijk plan om zkVM's in L1 te faseren—eindigend met de uiteindelijke verankering van formeel geverifieerde bewijs systemen in de L1. Naarmate zkVM's cruciaal worden voor L1, zullen prover-netwerken de infrastructuur zijn waar proposers bewijsstukken voor elk Ethereum-blok kunnen verkrijgen. Een cruciaal stuk infrastructuur in deze zkVM-impuls zullen prover-netwerken zijn. Prover-netwerken maken een scheiding tussen proposer en prover mogelijk, waarbij proposers gedecentraliseerd en eenvoudig kunnen blijven, terwijl ze real-time bewijsstukken voor elk blok met maximale efficiëntie van een competitieve set van provers krijgen. Dit is wat we bouwen met Succinct's Prover Network :) zkVM's staan op het punt om de beste blockchain ter wereld aan te drijven. ZK-tijgolf, inkomend.