Tl; dr från den senaste veckan av EF-workshops i Berlin: Ethereum är all-in zkVMs för att skala L1. Realtidstester visade att det är möjligt att massivt skala L1 med ZK idag. Justin Drake skisserade till och med en väg till ett eventuellt införande av zkVMs i L1. De är mycket mer seriösa med denna ansträngning än jag insåg. Fler detaljer 🧵

Ethereums #1 strategiska prioritet just nu är att skala L1: Som framhölls i den senaste EF-uppdateringen är en av EF:s kärnfokusgrupper (ledda av @timebeiko + @adietrichs) att dramatiskt öka L1:s kapacitet för att få mer aktivitet till mainnet. Det senaste tillkännagivandet om "realtidsprovning" fick ledningen att inse att det är möjligt att skala upp L1 med ZK idag. En stor flaskhals i skalningen är att upprätthålla låga hårdvarukrav för noder samtidigt som gasen pumpas. Med realtidsprovning kan gasgränsen höjas avsevärt utan att offra verifierbarheten, eftersom validerare bara behöver verifiera bevis (låg beräkningskostnad) för att hålla jämna steg med kedjan. EF ägnar betydande resurser åt detta arbete, inklusive flera ingenjörsteam som ägnar sig åt att skapa en tillståndslös ZK-klient, införliva bevisnätverk med ZK boost och benchmarking av zkVMs. EF har en konkret plan för att under de kommande kvartalen införliva zkVMs och RTP i många delar av stacken. Det finns ett team som ägnar sig åt att skapa en tillståndslös ZK-klient som kan köras på minimal hårdvara samtidigt som bevis verifieras. De bygger ZK Boost, en MEV-boost-liknande sidovagn som varje byggare och förslagsställare kommer att köra för att begära bevis från bevisnätverk. Och de har ett dedikerat zkVM-benchmarkingteam för att förstå vilka protokolländringar som behövs för att garantera realtidsbevisning av 100 % av blocken. Justin skisserade en konkret väg för att förankra zkVM-bevis i Ethereum under de närmaste åren. I en presentation beskrev Justin en gradvis plan för att fasa in zkVMs till L1 - vilket slutar med ett eventuellt införande av formellt verifierade bevissystem i L1. I takt med att zkVM:er blir kritiska för L1 kommer bevisnätverk att vara den infrastruktur där förslagsställarna hämtar bevis för varje Ethereum-block. En kritisk del av infrastrukturen i denna zkVM-push kommer att vara provnätverk. Provarnätverk möjliggör separation mellan förslagsställare och provare där förslagsställare kan förbli decentraliserade och osofistikerade, samtidigt som de får bevis i realtid för varje block med maximal effektivitet från en konkurrenskraftig uppsättning bevisare. Det här är vad vi bygger med Succincts Prover Network :) zkVM:er är på väg att driva världens bästa blockkedja. ZK flodvåg, inkommande.