Echtzeit-Nachweis von Q&A-:) Was ist es? ELI12. A: Eine Armee von Nerds hat gerade ein Sci-Fi-Problem geknackt: jeden Ethereum-Mainnet-Block in Echtzeit zu testen. Diese zk-Proofs sind exponentiell billiger zu verifizieren als die erneute Ausführung von Transaktionen – nur wenige Millisekunden, unabhängig vom verwendeten Gas. Thicc-Blöcke, winzige Validatoren. Dezentralisierung maxis freuen sich. Erwies sich Echtzeit nicht als unmöglich für Mondmathematik? A: Das war es. Vor fünf Jahren waren wir fünf Größenordnungen davon entfernt. Aber die Technologie hat sich immer mehr um das 10-fache pro Jahr gesteigert, und jetzt sind wir hier. Verblassen Sie keine Exponentiale. Auch bei Exponentialen: → lassen nicht verblassen, wenn Quantencomputer ECDSA brechen → lassen Halbierungen nicht verblassen, die die Bitcoin-Sicherheit brechen Wie wird Ethereum L1 zu einem "based and native rollup"? A: Lassen Sie es uns aufschlüsseln. → basiert: L1-Bieter ordern Transaktionen. Ethereum L1 ist die Basisschicht – sie basiert tautologisch. → nativ: L1 führt Transaktionen über die verankerte EVM-Zustandsübergangsfunktion aus. Per Definition ist Ethereum L1 nativ. Das wird immer so sein. → Rollup: Ein Rollup verfügt über Onchain-Daten und Offchain-Ausführung. Durch das Snarking von Mainnet-EVM-Blöcken verwandelt sich Ethereum L1 in ein zk-Rollup. Rollups schalten große Gaslimits frei. Die Basis liegt bereits bei 35 Megagas/Sekunde – dem 20-fachen von Ethereum L1. Base strebt 1 Gigagas/sec an, Ethereum L1 kann auch dorthin gelangen. Wen gigagas L1? A: Ethproofs Call #3 wird dem Gigagas L1 gewidmet sein – schalten Sie ein. Mit EIP-9698 schlägt Dankrad ~3x/Jahr Gasbumps vor, oder ~10x alle 2 Jahre. Das ist das 1.000-fache in 6 Jahren. Respektable – aber immer noch Anfängerzahlen. Meine optimistische Meinung? Jetzt, da die zkVMs mit der EVM-Leistung übereinstimmen, können die Gasgrenzwerte der zkVM nachverfolgt werden. Wenn wir weiterhin das 10-fache pro Jahr erreichen, ist das 1 Gigagas/s in 3 Jahren. Ich habe über ein Jahrzehnt lang mit Dankrad zusammengearbeitet – die Realität liegt normalerweise zwischen seiner Vorsicht und meinem Hoffnungsvermögen. Sind zkVM nicht fehlerhaft? Wie sieht es mit der formalen Verifizierung aus? A: Die formale Verifizierung ist das Endspiel – nicht der erste Schritt. Die kurzfristige Strategie: zkVM Diversität. Bis zum Ende des 2. Quartals werden eine Handvoll zkVMs den Echtzeit-Nachweis erreichen. Genau wie bei CL- und EL-Clients wird jeder einzelne Client als fehlerhaft angesehen. Sicherheit entsteht durch Vielfalt. Kann der Nachweis mit geringer Latenz auf Gigagas ausgeweitet werden? A: Ja. SNARK-Beweise sind massiv parallelisierbar. Nur die anfängliche x86-Ausführung und das Segmenting sind sequenziell. EIP-7825 schlägt vor, die maximale Gasmenge pro Transaktion zu begrenzen. Dies ermöglicht ein einfaches Chunking an Transaktionsgrenzen. Parallelität skaliert. Die Latenz bleibt gering. Was ist der nächste zkVM-Engpass? Macht. Glaubwürdige 1-von-n-Gärleistung bedeutet, dass die Hausprüfung für Enthusiasten zugänglich sein sollte. Ein vernünftiges Ziel kann 10 kW oder weniger pro Gärcluster sein. Wie erhöhen wir das Gaslimit mit einem Budget von 10 kW um das 1.000-fache? → Software: Proof-Systeme, Schaltkreise, Algos vermischen sich immer weiter → Hardware: Moore'sches Gesetz + SNARK ASICs → verteilte Prüfung: Verteilen Sie die Last vertrauenslos