Ethereum-Forscher liefern sich einen Wettlauf, um eine 52-Bit-Lücke in der kryptografischen Sicherheit des zkEVM vor einer Überprüfung im Dezember 2026 zu schließen. Die Live-Bestenliste des better.codes-Wettbewerbs, erfasst um 15:44:47 UTC am 21. August, zeigte ein 63,99-Bit-Korrektheitszertifikat und ein 116,13-Bit-Angriffszertifikat für koalaIRS12, wobei nach neun Einreichungen von sieben Lösern 52,14 Bits zwischen den beiden hochgestuften Ergebnissen ungelöst blieben. KoalaIRS12 ist ein festes Parameterprofil für eine verschachtelte Reed-Solomon-Reduktion, das in der Beweissystem-Forschung verwendet wird, nicht der vollständige zkEVM selbst. Das offene Intervall liegt deutlich unter Ethereums 128-Bit-Ziel nachweisbarer Sicherheit für das umfassendere System.
Warum es zählt
Die Zertifikate sind maschinengeprüfte Schranken innerhalb einer gepinnten Lean-Umgebung, in der Korrektheitseinreichungen das untere Zertifikat anheben und Angriffseinreichungen das obere Zertifikat nach unten ziehen. Jede Hochstufung verschiebt eine reproduzierbare Grenze, doch das Framework verbietet ausdrücklich, eines der beiden Zertifikate als Korrektheitsaussage für das Gesamtsystem zu lesen. Ein produktionsreifer zkEVM würde weitere Schichten benötigen: Vollständigkeit, die in formale Definitionen eingebaute Annahmen, Übereinstimmung zwischen Spezifikationen und Implementierungen sowie Beweiskomposition über separat analysierte Komponenten hinweg.
Eine Überprüfung einer SP1-Formalverifikationsarbeit im Mai zeigte, warum diese Schichten wichtig sind. Spezifikationen und Theorem-Aussagen sind selbst Code, Komponenten benötigen versioniertes Pinning, und einzelne Ergebnisse erfordern breiteres Schließen, bevor sie eine Systemaussage stützen können. Ein wissenschaftliches Papier von Gal Arnon, Dan Boneh und Giacomo Fenzi wies separat List-Decoding, Reed-Solomon-Proximitätslücken und Correlated-Agreement-Fragen als offene Probleme für kompakte Beweissysteme aus.
Marktauswirkung
Die zkEVM-Sicherheitsroadmap vom Dezember 2025 forderte 128-Bit-nachweisbare Sicherheit, Beweisgrößen bei oder unter 300 KiB und ein formales Korrektheitsargument für die Rekursionsarchitektur. Ein Februar-Update verschob die M3-Frist auf Anfang Dezember 2026, wobei das Architektur-Sicherheits-Argument nun an einen Liefertermin am 1. Dezember gebunden ist. Allein für koalaIRS12 würde ein unteres Zertifikat, das 128 Bit erreicht, lediglich die Korrektheitsseite dieses Benchmarks an seinem festen Parameterpunkt klären.
Häufig gestellte Fragen
-
Was ist die 52-Bit-Lücke im Ethereum-zkEVM?
Es ist das ungelöste Intervall zwischen einem 63,99-Bit-Korrektheitszertifikat und einem 116,13-Bit-Angriffszertifikat für den koalaIRS12-Benchmark, erfasst auf der better.codes-Bestenliste um 15:44:47 UTC am 21. August nach neun Einreichungen von sieben Lösern.
-
Was ist koalaIRS12?
KoalaIRS12 ist ein festes Parameterprofil für eine verschachtelte Reed-Solomon-Reduktion, das in der zkEVM-Beweissystem-Forschung verwendet wird. Der better.codes-Wettbewerb bewertet Zertifikate gegen dieses einzelne Profil, nicht gegen den vollständigen Ethereum-zkEVM.
-
Was ist der M3-Meilenstein im Dezember 2026?
M3 wurde ursprünglich in der zkEVM-Sicherheitsroadmap vom Dezember 2025 festgelegt und im Februar verschoben. Es verlangt 128-Bit-nachweisbare Sicherheit, Beweisgrößen bei oder unter 300 KiB sowie ein formales Korrektheitsargument für die Rekursionsarchitektur bis Anfang Dezember 2026.
-
Wirkt sich die 52-Bit-Lücke heute auf das Ethereum-Mainnet aus?
Nein. Ein Mai-Update der Foundation ordnete zkEVM-Beweise als nicht-konsenskritische optionale Beweise ein. Die Mainnet-Attestierung stützt sich weiterhin auf gewöhnliche Re-Execution durch Execution-Clients, während zkEVM-Beweise das Testen ergänzen.
-
Wie schließt der better.codes-Wettbewerb das Intervall?
Korrektheitseinreichungen heben das untere Zertifikat in Richtung des kodierten 128-Bit-Ziels an, während Angriffseinreichungen das obere Zertifikat nach unten ziehen. Jede akzeptierte Hochstufung ist eine maschinengeprüfte Grenzänderung innerhalb einer gepinnten Lean-Umgebung.
CoinTelegraph
CoinDesk
Crypto Rank News
WuBlockchain
Crypto News