Bij @ziskvm bewijzen we nu Ethereum-blokken in real-time - open source en draaiend op steeds efficiëntere infrastructuur. Het is een vroege maar betekenisvolle mijlpaal. Sluit je vandaag om 13:00 aan bij EthCC, Redford Stage om meer te leren. #EthCC #ZK #Ethereum #zkVM @eth_proofs

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

🤯 Real-time bewijzen is hier 🤯 Mainnet EVM-blokken bewezen in minder dan 1 Ethereum-slot (12s). Kippenvel. Beknopt bewijst elk Ethereum L1-blok: → 94% in <12s → 99% in <13s → binnenkort 99,9% in <12s™ Gisteren onthulde RISC Zero een GPU-cluster van $ 120K voor thuisgebruik - bewijzen verwacht in 9.25s. Brevis, OpenVM, Snarkify, ZisK, ZKM zijn weken verwijderd van toetreding tot de real-time club. Binnenkort™ zal mijn validator EVM-blokken verifiëren op een Rasberry Pi Pico - een bord van $ 5 dat <1W verbruikt. Ik zal mijn EL-client dumpen ten gunste van een zkEL. Geen 1 TB NVMe. Dag Geth, hallo zkReth. Staatloze en RAM-loze verificatie in milliseconden op een enkele CPU-kern. Met real-time bewijs is 1 gigagas/sec (10K TPS) binnen handbereik, zonder afbreuk te doen aan de decentralisatie van de validator. Verwacht vanaf nu regelmatig hobbels voor de gaslimiet. 10% van de inzet stemt al voor een limiet van 60 miljoen - uw validators kunnen dat ook. Door het mainnet te snarkificeren, wordt Ethereum L1 de eerste gebaseerde en native rollup. Fase 2. Vrij van insecten. Gedecentraliseerde sequencing. Geen Veiligheidsraad. Geen bestuur. De L1 zal het goede voorbeeld geven. Aanstaande vrijdag vieren we feest. Doe mee met Ethproofs call #2, 23 mei om 2 uur UTC. 25 sprekers, 2 uur aan inhoud. Gesprekken staan open: DM @corcoranwill om een agenda-uitnodiging. We zijn getuige van de geschiedenis. Geloof in iets echts. Geloof in real-time bewijzen.

De ETH-kernontwikkelaars tweeten niet veel over hoe hard het werk dat ze doen is, dus laten we erover praten: 1. Elke regel code die ze samenvoegen, kan meer geld verplaatsen dan de meeste banken in een kwartaal verwerken. Daar is geen staging-server voor. 2. ze ruilen consensuslogica in voor een economie van 400 miljard + dollar zonder downtime te plannen. ooit. 3. Ze coördineren honderden onderzoekers, auditors en klantteams in verschillende tijdzones, culturen en filosofieën, maar verzenden als één geest. 4. Ze doen het allemaal in het openbaar, waarbij elke beslissing wordt ontleed door de luidste pindagalerij op internet, en toch de sfeer samen te houden. 5. Ze ontwerpen voor aanvallers die prikkels van negen cijfers en oneindig geduld hebben. Dan slapen ze toch. 6. Ze houden zes onafhankelijke clients perfect gesynchroniseerd, zodat hetzelfde blok op dezelfde hoogte leeft voor elke node ter wereld. 7. Ze zetten geavanceerd onderzoek om in productiecode, terwijl ze achterwaartse compatibiliteit behouden blijven voor machines die online gingen voordat DeFi zelfs maar een naam had. 8. Ze debuggen problemen die slechts één keer per jaar optreden op een enkel archiefknooppunt, omdat iemand ergens op dat randgeval vertrouwt. 9. Ze schrijven cryptografie die tientallen jaren ononderbroken moet blijven, terwijl de wiskunde zelf zich onder hun voeten ontwikkelt. 10. Wanneer de upgrade glad landt, haalt de buitenwereld zijn schouders op. Binnen Ethereum weten we dat het een klein wonder was. Elke succesvolle fork bewijst dat gedecentraliseerde coördinatie beter kan presteren dan 's werelds beste hiërarchieën en laat zien dat open internetkapitaalmarkten nu de standaard zijn. Dank je, echt waar. We zijn je alles verschuldigd.

mijn validator geconfigureerd voor een gaslimiet ⛽ van 60 miljoen → 66% bump van 36M is veilig post-Pectra → validators stellen de limiet in - stem met de jouwe → instructies bij PumpTheGas[.]ORG wen 1 gigaga/sec (10K TPS) op Ethereum L1? → heeft zkEVM-proeven nodig voor consumentenapparaten → Ethproofs call #2: real-time bewijzen → Ethproofs oproep #3: gigagas L1 Geloof ergens in

Vereenvoudiging van de L1

Introductie van Ethereum R1 — De neutrale rollup gebouwd voor Ethereum Geen token. Geen particuliere verkoop. Geen bestuurscultus. Alleen Ethereum-waarden, publieke financiering en controle door de gemeenschap. 🧵 Waarom R1 belangrijk is en hoe je lid kunt worden:

1 gigaga/sec (10K TPS) op Ethereum L1 met zkVM's Geen compromissen: → consumentenhardware (zkVM's) → internet thuis (DAS) → weerstand tegen censuur (FOCIL) → 100% uptime (diversiteit van de klant) → 8K consensusknooppunten Gebouwd voor internetfinanciering. Geloof in iets echts.

drie nieuwe zkVM's onthuld op Ethproofs call #1 → Ix (Lean 4) door @argumentxyz → StarkV (RISC-V) door @StarkWareLtd → zCray (geïnspireerd op RISC-V) door @IrreducibleHW

NU LIVE - De strategische spil van Ethereum: het plan om de dominantie te herstellen @ethereumfndn onderzoekers @dankrad en @adietrichs sluiten zich aan bij @TrustlessState en @MikeIppolito_ om de identiteitscrisis van @ethereum te bespreken - en hoe deze het schip omkeert. Ze breken de culturele en organisatorische uitdagingen van Ethereum af, de spil naar L1-groei en de evoluerende rol van de Ethereum Foundation onder nieuw leiderschap. Het gesprek gaat over de toekomst van basis- en native rollups, L2-afstemming en waarom de unieke waarden van Ethereum er nog steeds toe doen in een competitief landschap. -------------- TIJDSTEMPELS 0:00 Inleiding 5:42 Belangrijkste problemen met Ethereum 12:33 Gebrek aan groei in Ethereum Layer 1 27:49 Het dilemma van de routekaart van Ethereum 38:08 Voortgang van laag 1 schalen 39:08 De waardepropositie van Ethereum L1 voor L2's 48:44 Uitleg over basis en native rollups 57:25 Canonieke EVM in een oprolbare wereld 1:01:26 Vitalik's visie op L1-schaling 1:05:59 ZK-schaling wordt werkelijkheid 1:08:12 Snelle bloktijden en DeFi 1:16:59 De evoluerende Ethereum-kerncultuur 1:22:38 Andere interessante veranderingen 1:26:41 De richting van Ethereum voelt nu anders aan 1:30:09 Afsluiting en openbaarmaking