Eröffnung
Das zkEVM-Team der Ethereum Foundation hat vorgeschlagen, EIP-8025 in den Hegota-Fork aufzunehmen, laut Diskussionen beim Treffen der All Core Developers (ACD). EIP-8025 führt optionale Ausführungsnachweise ein (Optional Execution Proofs). Damit können Ethereum-Knoten Zero-Knowledge-Beweise verifizieren, statt alle Transaktionen direkt erneut auszuführen. Aktuell validieren Knoten die Korrektheit von Blöcken, indem sie die Transaktionsergebnisse neu ausführen; EIP-8025 ergänzt eine Alternative, bei der Knoten einen ZK-Nachweis für die Gültigkeit des Blocks prüfen können, ohne die vollständigen Berechnungen zu wiederholen. In diesem Stadium funktioniert der Vorschlag als vollständiger Opt-in-Mechanismus – nur Knoten, die sich dafür entscheiden, Nachweise zu verwenden, sind betroffen, und die Konsensregeln bleiben unverändert. Das markiert den formalen Wandel von Ethereum weg von einer experimentellen Phase hin zur Integration von Zero-Knowledge-Technologie auf Protokollebene. Potenziell könnten dadurch die Kosten für den Betrieb von Knoten gesenkt und langfristig größere Blöcke mit komplexerer Ausführung ermöglicht werden.
Forschungs-Updates
EIP-8025: Ethereums Zero-Knowledge-Infrastruktur tritt in die Phase von Protokoll-Upgrades ein
Der Kernmechanismus von EIP-8025 sind optionale Ausführungsnachweise. Anstatt von allen Knoten zu verlangen, Transaktionen erneut auszuführen, um die Blockgültigkeit zu prüfen, können Knoten alternativ einen Zero-Knowledge-Beweis validieren, der die Korrektheit der Ausführung bestätigt. Der Vorschlag macht Ethereum nicht sofort zu einer ZK-basierten Kette; stattdessen schafft er die Grundlage für den Übergang von einer „Direct Re-execution Chain“ zu einer „Proof-Verification Chain“.
Die Bedeutung liegt darin, den operativen Overhead für Knoten zu reduzieren und Infrastruktur für größere Blöcke und komplexere Ausführung aufzubauen. Indem Ethereum es Knoten ermöglicht, Nachweise zu verifizieren statt Berechnungen zu replizieren, kann Ethereum höhere Durchsatzraten und zusätzliche Verarbeitungsleistung unterstützen.
Vitalik Buterin zu KI und formaler Verifikation für Cybersicherheit
Ethereum-Mitgründer Vitalik Buterin hat eine Analyse veröffentlicht, in der er die Kombination von KI und formaler Verifikation zur Umgestaltung der Cybersicherheit beschreibt. Formale Verifikation beweist mathematisch, dass Programme exakt so funktionieren, wie beabsichtigt – im Gegensatz zu traditionellen Sicherheits-Audits, bei denen Menschen Code auf Schwachstellen prüfen.
Buterin schlug vor, dass KI Low-Level-Assembler-Code erzeugen kann, während formale Verifikation bestätigt, dass dieser Code identisches Verhalten zu einer für Menschen lesbaren High-Level-Implementierung erzeugt. Dieser Ansatz adressiert das traditionelle Abwägungsproblem: Assembler-Code läuft effizient, lässt sich aber schwer von Menschen prüfen, während High-Level-Code Lesbarkeit über Performance-Optimierung stellt.
Genannte Beispiele aus dem Ethereum-Ökosystem sind Arklib (verfolgt formal verifizierte STARKs, um die Korrektheit komplexer Berechnungen nachzuweisen) und evm-asm (schreibt die EVM in RISC-V und belegt die Äquivalenz mit Lean-Implementierungen, wobei Lean ein Werkzeug für die formale Verifikation ist).
Für Blockchain-Protokolle und Smart Contracts sind stärkere Verifikationsmethoden essenziell, da Deploy-Fehler schwerwiegende Folgen haben.
ZK Summit 14: Fokus des Proof-Systems verschiebt sich hin zu Systemgarantien aus der Praxis
Der ZK Summit 14 fand am 7. Mai in Rom statt und umfasste 24 Präsentationen großer ZK-Ökosystem-Teams, darunter die Ethereum Foundation, Succinct, Aztec, Nethermind und Miden.
Der bedeutendste Trend war eine Verschiebung des Fokus von Kennzahlen zur Proof-System-Performance – Geschwindigkeit, Proof-Größe, Verifizierungskosten – hin zu Systemgarantien aus der realen Welt. Zero-Knowledge-Technologie integriert sich inzwischen in Zahlungssysteme, Identitätsverifikation, zkVMs und Anwendungen im Bereich Machine Learning. In diesen Kontexten reicht Proof-Performance allein nicht aus:
- Zahlungssysteme müssen Transaktionsbeträge und Benutzerdaten schützen.
- Identitätssysteme müssen es Nutzern ermöglichen, die erforderlichen Nachweise für Credentials zu erbringen, während andere persönliche Daten verborgen bleiben.
- zkVMs müssen komplexe Programmausführung korrekt nachweisen.
- Machine-Learning-Anwendungen benötigen Verifikation, dass Ergebnisse von Modell-Inferenz nicht manipuliert wurden.
ZK-Technologie hat sich über „schnelle Proof-Generierung“ hinaus erweitert und ist nun eine Methode, um Sicherheits- und Datenschutzgarantien zu entwerfen, die auf die Anforderungen jedes einzelnen Systems zugeschnitten sind. Der ZK Summit 14 zeigte, wie Zero-Knowledge-Technologie von der Forschung hin zur tiefen Integration in reale Infrastruktur und Anwendungen voranschreitet.
Updates aus dem Ökosystem
Kohaku Privacy Framework steht kurz vor dem Launch, Wallet-Integrationstests laufen
Das modulare Privacy-Framework von Ethereum, Kohaku, nähert sich dem Launch mit laufenden Tests zur Wallet-Integration. Kohaku bietet eine einheitliche Schnittstelle, die Wallets ermöglicht, private Transaktionen mit mehreren kryptografischen Backends auszuführen, ohne selbst direkt Privacy-Funktionalität implementieren zu müssen.
Wallets einschließlich Ambire führen derzeit Kohaku-Integrationstests durch. Historisch gesehen gab es bei Privacy-Features in Wallets für Nutzer Hürden bei der Akzeptanz, weil einzelne Privacy-Protokolle unterschiedliche Architekturen verwenden. Dadurch mussten Wallets jede Technologie separat unterstützen.
Kohaku adressiert diese Fragmentierung, indem es Wallets erlaubt, über eine einzige Schnittstelle auf mehrere Privacy-Backends zuzugreifen. Eine höhere Akzeptanz könnte die Nutzung von Railgun erweitern, das als Kohakus grundlegende Privacy-Engine gilt. Das Framework hat das Ziel, Ethereum-Privacy von „einem spezialisierten Tool für fortgeschrittene Nutzer“ zu „einer natürlich integrierten Wallet-Funktion“ zu machen.
L2BEAT verifiziert Lighters Zero-Knowledge-Exit-Hatch
Die Layer-2-Analyseplattform L2BEAT hat die ZK-Schaltkreise von Lighter verifiziert, einem Perpetual-Futures-DEX auf Layer 2. Lighter ermöglicht den Handel mit Perpetual Derivaten – Verträge ohne Ablaufdatum.
L2BEAT hat alle Lighter-ZK-Schaltkreise direkt aus dem Quellcode kompiliert und die Übereinstimmung mit den bereitgestellten Verifier-Contracts bestätigt (Smart Contracts, die eingereichte ZK-Beweise verifizieren). Diese Verifikation betrifft die Exit-Hatch-Funktionalität – den Notfallmechanismus, der Nutzern ermöglicht, Vermögenswerte abzuheben, falls Layer-2-Sequencer oder Operatoren anhalten.
Zuvor hielt Lighter bestimmten Verifier-Quellcode zurück, wodurch Nutzer bei einem Ausfall des Sequencers nicht unabhängig Exit-Proofs generieren konnten (Daten, die das Recht zum Abheben belegen). Nach der Verifikation durch L2BEAT können Nutzer Exit-Proofs nun eigenständig generieren. Das verbessert die Möglichkeit, Vermögenswerte ohne die Unterstützung des Lighter-Teams in Notfällen abzuheben.
Dieser Fall zeigt, dass für die Sicherheit von Layer 2 das Verifizieren, dass bereitgestellter Code mit öffentlich verfügbarem Code übereinstimmt, ebenso entscheidend ist wie die reine Code-Verfügbarkeit.
ETHGlobal überarbeitet Hackathon-Format
ETHGlobal hat sein Hackathon-Format neu strukturiert. Traditionelle Hackathons verlangten von Teilnehmenden, Ideen auszuwählen und in kurzen Zeitfenstern Minimum Viable Products (MVPs – erste Versionen, die die Kernfunktionalität demonstrieren) zu bauen.
Mit dem New-York-Hackathon beginnen neue Tracks: Teilnehmende können Funktionen zu bestehenden Open-Source-Repositories beitragen oder Funktionalität zu etablierten Produkten hinzufügen. Anschließend werden Verbesserungen öffentlich als Open Source veröffentlicht. Diese Änderung erhöht die Wahrscheinlichkeit, dass Ergebnisse aus Hackathons in echte Beiträge zum Ökosystem übergehen. Zuvor wurden kurzfristig erstellte MVPs nach dem Event oft nicht weiterentwickelt. Die Mitarbeit an aktiven Open-Source-Projekten kommt direkt bestehenden Nutzern und Entwicklern zugute.
ETHGlobal erweitert sich von „schnell neue Ideen präsentieren“ hin zu „bestehende Ökosystem-Infrastruktur sinnvoll verbessern“. Während Ethereum reift, wird es ebenso wichtig, bestehende öffentliche Güter und Entwickler-Tools zu verbessern, wie völlig neue Anwendungen zu schaffen.
Community-Updates
Ethereum Foundation: Senior Contributors steigen aus
Zwei Senior-Forscher der Ethereum Foundation haben gekündigt: Carl Bewick und Julian Ma. Damit beläuft sich die Gesamtzahl der Abgänge von Senior Contributors auf sieben innerhalb von zwei Monaten.
Carl Bewick hat etwa sieben Jahre bei der Ethereum Foundation beigetragen. Er war an Konsensforschung beteiligt, am initialen Design der Beacon Chain und an der KZG-Zeremonie (dem kryptografischen Setup-Verfahren, das mit dem Scaling der Ethereum-Data-Availability zusammenhängt).
Julian Ma brachte etwa vier Jahre ein. Er war Co-Autor von EIP-7805 FOCIL und nahm an FCR GTM teil (Diskussionen zu Zensurresistenz und Garantien zur Transaktionsinklusion sowie zu schnellen Bestätigungsregeln, die ein schnelleres Wahrnehmen von Transaktionsfinalität ermöglichen).
Die jüngsten Abgänge von Kernpersonal für Protokollforschung und Upgrade-Koordination werfen Fragen auf, wie die Koordination der Protokollentwicklung und die Kontinuität der Forschung aufrechterhalten werden können.
Railgun gewinnt Aufmerksamkeit, während Kohaku-Adoptionserwartungen steigen
Das Privacy-Protokoll Railgun erhält Aufmerksamkeit aufgrund der Erwartungen rund um eine Kohaku-Adoption. Analysen legen nahe, dass eine stärkere Wallet-Integration von Kohaku die Nutzung von Railgun ausweiten könnte. Railgun ermöglicht Interaktionen mit Ethereum DeFi bei gleichzeitiger Wahrung der Privatsphäre – Standard-On-Chain-Transaktionen legen Wallet-Adressen, Transaktionsbeträge und die interagierten Protokolle offen, während Railgun diese Informationen verbirgt.
Railgun erhebt 0,25% Gebühren für Shield-Aktionen (Assets in durch Privacy geschützte Zonen verschieben) sowie für UnShield-Aktionen (Auszahlungen in öffentliche Bereiche). Eine zunehmende Wallet-Adoption durch Kohaku und ein höheres Volumen privater Transaktionen würden den Railgun-Gebührenumsatz erhöhen.
Die Analyse stellte zudem fest, dass Railgun im Vergleich zu Privacy-Coins wie ZEC und DASH unterbewertet wirkt. Die Differenzierung liegt darin, dass es direkte Ethereum-DeFi-Interaktion ermöglicht. Während ZEC und DASH als separate Privacy-Coins funktionieren, arbeitet Railgun als Privacy-Tool innerhalb von Ethereum DeFi. Wenn Kohaku eine nennenswerte Wallet-Adoption erreicht, könnte Railgun zum primären Nutznießer der Ethereum-Privacy-Infrastruktur werden.
Wöchentliche Ethereum-Kennzahlen
- Jährliche Inflationsrate: 0,833%
- Wöchentliche Nettozufuhr: 19.422,04 ETH
- Staking-Quote: 31,50%
- Stablecoin-Marktkapitalisierung: 163,019 Milliarden US-Dollar
- US Ethereum Spot-ETF Nettoabflüsse: 255,02 Millionen US-Dollar
Datenquellen: Ultrasound Money, DeFi Llama, Dune und Parsec Investors.
