real-time bewijzen van Q&A-:) Wat is het? ELI12. A: Een leger nerds heeft zojuist een sci-fi-probleem opgelost: elk Ethereum-mainnetblok in realtime bewijzen. Deze zk-proeven zijn exponentieel goedkoper om te verifiëren dan het opnieuw uitvoeren van transacties - slechts een paar milliseconden, ongeacht het gebruikte gas. Thicc-blokken, kleine validators. Decentralisatie is het allergrootst. Was real-time onmogelijke maanwiskunde niet? A: Dat was zo. Vijf jaar geleden waren we vijf ordes van grootte verwijderd. Maar de technologie bleef 10x per jaar toenemen, en nu zijn we er. Vervaag niet exponentiëlen. Ook op exponentiële: → vervagen niet: kwantumcomputers die ECDSA breken → vervaagt de halveringen niet, waardoor de Bitcoin-beveiliging wordt verbroken Hoe wordt Ethereum L1 een "gebaseerde en native rollup"? A: Laten we het opsplitsen. → gebaseerd: L1-indieners bestellen transacties. Ethereum L1 is de basislaag - het is tautologisch gebaseerd. → native: L1 voert transacties uit via de verankerde EVM-statusovergangsfunctie. Ethereum L1 is per definitie native. Dat zal altijd zo zijn. → rollup: Een rollup heeft onchain-gegevens en offchain-uitvoering. Door mainnet EVM-blokken te snarken, verandert Ethereum L1 in een zk-rollup. Rollups ontgrendelen grote gaslimieten. De basis staat al op 35 megagas/sec - 20x Ethereum L1. Base mikt op 1 gigaga/sec, Ethereum L1 kan daar ook komen. Wen gigagas L1? A: Ethproofs call #3 zal worden opgedragen aan gigagas L1 - stem af. Met EIP-9698 stelt Dankrad ~3x/jaar gashobbels voor, of ~10x elke 2 jaar. Dat is 1.000x in 6 jaar. Respectabel, maar nog steeds rookie-nummers. Mijn optimistische mening? Nu zkVM's voldoen aan de EVM-prestaties, kunnen gaslimieten zkVM-verbeteringen volgen. Als we 10x/jaar blijven halen, is dat 1 gigaga/sec in 3 jaar. Ik heb meer dan tien jaar met Dankrad gewerkt - de realiteit belandt meestal tussen zijn voorzichtigheid en mijn hopium. Zijn zkVM geen buggy's? Hoe zit het met formele verificatie? A: Formele verificatie is het eindspel - niet stap één. De kortetermijnstrategie: zkVM-diversiteit. Tegen het einde van Q2 zal een handvol zkVM's real-time bewijzen bereiken. Net als bij CL- en EL-clients wordt elke individuele client verondersteld buggy te zijn. Veiligheid komt voort uit diversiteit. Kan bewijs met lage latentie schalen naar gigaga's? A: Ja. SNARK-bewijs is massaal parallelliseerbaar. Alleen de initiële x86-uitvoering en chunking is sequenciaal. EIP-7825 stelt voor om de maximale hoeveelheid gas die per transactie wordt gebruikt, te beperken. Dit maakt het mogelijk om gemakkelijk op transactiegrenzen te segmenteren. Parallellisme schalen. De latentie blijft laag. Wat is het volgende zkVM-knelpunt? Macht. Geloofwaardige 1-of-n prover liveness betekent dat thuisbewijzen toegankelijk moeten zijn voor liefhebbers. Een redelijk doel kan 10 kW of minder per testcluster zijn. Hoe laten we de gaslimiet 1.000x groeien met een budget van 10 kW? → software: bewijssystemen, circuits, algo's blijven compounderen → hardware: de wet van Moore + SNARK ASIC's → gedistribueerd bewijzen: spreid de last, vertrouwensloos