Frågor och svar om realtidstest :) Vad är det? ELI12. S: En armé av nördar har precis knäckt ett sci-fi-problem: att bevisa varje Ethereum-mainnet-block i realtid. Dessa zk-bevis är exponentiellt billigare att verifiera än att utföra transaktioner igen – bara några millisekunder, oavsett vilken gas som används. Thicc-block, små validerare. Decentralisering maxis jublar. Visade det sig inte vara omöjligt att räkna på månen i realtid? S: Det var det. För fem år sedan var vi fem storleksordningar bort. Men tekniken fortsatte att öka 10 gånger/år, och nu är vi här. Tona inte exponentialer. Dessutom, på exponenter: → bleknar inte kvantdatorer som bryter ECDSA → bleknar inte halveringar som bryter Bitcoin-säkerheten Hur blir Ethereum L1 en "baserad och inbyggd rollup"? S: Låt oss bryta ner det. → baserad: L1 förslagsställare ordertransaktioner. Ethereum L1 är baslagret – det är tautologiskt baserat. → inbyggd: L1 kör transaktioner via den inbyggda EVM-tillståndsövergångsfunktionen. Per definition är Ethereum L1 inhemsk. Kommer alltid att vara det. → sammanslagning: En sammanslagning har onchain-data och offchain-körning. Genom att snarka EVM-block på mainnet förvandlas Ethereum L1 till en zk rollup. Rollups låser upp stora gasgränser. Basen är redan på 35 megagas/sek—20x Ethereum L1. Base siktar på 1 gigagas/sek, Ethereum L1 kan också nå dit. Wen gigagas L1? S: Ethproofs call #3 kommer att ägnas åt gigagas L1 – lyssna gärna. Med EIP-9698 föreslår Dankrad ~3x/år gasbulor, eller ~10x vartannat år. Det är 1 000 gånger på 6 år. Respektabla – men ändå nybörjarsiffror. Min optimistiska uppfattning? Nu när zkVM:er matchar EVM-prestandagränser kan gasgränser spåra zkVM-förbättringar. Om vi fortsätter att nå 10 gånger/år är det 1 gigagas/sek på 3 år. Jag arbetade med Dankrad i över ett decennium – verkligheten brukar landa mellan hans försiktighet och mitt hopium. Är inte zkVM buggiga? Hur är det med formell verifiering? S: Formell verifiering är slutspelet – inte steg ett. Den kortsiktiga strategin: zkVM mångfald. I slutet av Q2 kommer en handfull zkVM:er att provas i realtid. Precis som CL- och EL-klienter antas alla enskilda klienter vara buggiga. Trygghet kommer från mångfald. Kan bevisning med låg latens skalas till gigagas? S: Ja. SNARK-bevisning är massivt parallelliserbar. Endast den inledande x86-körningen och segmenteringen är sekventiell. EIP-7825 föreslår ett tak för den maximala mängden gas som används per transaktion. Detta gör det enkelt att dela upp transaktionsgränserna. Parallellitetsskalor. Svarstiden förblir låg. Vad är nästa flaskhals för zkVM? Kraft. Trovärdig 1-av-n bevis livlighet innebär att hemprovning bör vara tillgänglig för entusiaster. Ett rimligt mål kan vara 10 kW eller mindre per testkluster. Hur ökar vi gasgränsen 1 000 gånger med en budget på 10 kW? → programvara: Bevissystem, kretsar, algos fortsätter att kompoundera → hårdvara: Moores lag + SNARK ASIC:er → distribuerad bevisning: sprid ut lasten, utan förtroende