Ethereum-Forscher stehen vor einer 52.14-Bit-Sicherheitslücke bei zkEVM vor Dezember

Kernaussagen

Der better.codes-Wettbewerb von Ethereum weist für koalaIRS12 ein unteres Zertifikat von 63.99 Bit und ein oberes Zertifikat von 116.13 Bit aus. Zwischen den beiden Zertifikaten bleiben nach neun hochgestuften Einreichungen von sieben Solvern 52.14 Bit ungeklärt. Die Punktzahl der Herausforderung misst weder die Soundness des Gesamtsystems noch die vollständige Sicherheit von zkEVM. Die für Anfang Dezember geplante Prüfung durch Ethereum erfordert außerdem eine Soundness-Bilanz auf Systemebene, die Einhaltung der Proof-Größe, Rekursionsargumente und Nachweise zur Implementierung.

Marktstimmung

neutral, technologiegetrieben.

Begründung: Die Ethereum-Forscher messen eine ungeklärte Sicherheitslücke im Proof-System, ohne den konsenskritischen Validierungspfad von Ethereum zu verändern.

Vergleichbare historische Fälle

Diese Art formaler Sicherheitsforschung stärkt das Vertrauen typischerweise schrittweise durch reproduzierbare Beweise, statt unmittelbar eine Neubewertung am Markt auszulösen. Der aktuelle Benchmark verfügt über einen festgelegten Satz und eine festgelegte Verifizierungsumgebung, wodurch sich Änderungen an den Zertifikaten direkt vergleichen lassen.

Folgewirkungen

Die unmittelbaren Auswirkungen bleiben auf die Sicherheitsforschung zu zkEVM begrenzt, da die erneute Ausführung durch gewöhnliche Execution-Clients weiterhin die Grundlage für Ethereum-Attestierungen bildet. Sollte sich das Zertifikatsintervall verengen, könnte dies spätere Sicherheitsarbeiten auf Systemebene stärken, ohne damit unabhängig die Sicherheit eines produktiven zkEVM-Systems nachzuweisen.

Chancen & Risiken

Chancen: Leser können beobachten, ob sich das untere Zertifikat dem kodierten Ziel von 128 Bit annähert. Ein engeres Intervall würde stärkere Nachweise auf Komponentenebene für künftige Sicherheitsargumente zu zkEVM liefern.

Risiken: Leser sollten beobachten, ob Ethereum die für die Prüfung Anfang Dezember erforderliche Bilanzierung auf Systemebene und die Nachweise zur Implementierung veröffentlicht. Das Benchmark-Ergebnis allein belegt nicht die vollständige Sicherheit eines produktiven zkEVM-Systems.