Nach einem Jahr harter Arbeit hat das zkEVM-Ökosystem einen Leistungssprung erzielt: Die Ethereum-Blockbeweiszeit ist von 16 Minuten auf 16 Sekunden gesunken und die Kosten haben sich um das 45-fache verringert. Teilnehmende zkVMs können nun auf Zielhardware 99 % der Mainnet-Blockbeweise innerhalb von 10 Sekunden abschließen.
Am 18. Dezember kündigte die Ethereum Foundation (EF) die Implementierung des Echtzeit-Beweis-Mechanismus und die Beseitigung von Leistungsengpässen an, betonte jedoch, dass die eigentliche Herausforderung in der Zuverlässigkeit liege. Geschwindigkeit ohne Sicherheitsunterstützung werde zur Belastung, und mehrere mathematische Vermutungen, auf die sich zkEVM basierend auf dem STARK-Algorithmus stützt, wurden in den letzten Monaten widerlegt, was zu einem Rückgang des Sicherheitsniveaus führte.
Die EF hatte bereits im Juli ein umfassendes Ziel für Echtzeitbeweise gesetzt, das mehrere Dimensionen wie Latenz, Hardware und Sicherheit abdeckt, und hat nun den EthProofs-Benchmark-Test bestanden.
Ihr Kernwandel besteht darin, von der Verfolgung von Durchsatz zu nachweisbarer Sicherheit überzugehen. Es ist klar, dass zkEVM auf L1-Ebene den 128-Bit-Sicherheitsstandard erfüllen und mit gängigen Verschlüsselungsspezifikationen übereinstimmen muss. Da das Fälschen von Beweisen zu fatalen Risiken wie Token-Fälschung und Manipulation des L1-Zustands führen kann, ist die Sicherheitsmarge nicht verhandelbar.
Gleichzeitig veröffentlichte die EF einen dreiphasigen Sicherheitsfahrplan:
- Bis Ende Februar 2026 müssen alle zkEVM-Teams ihre Beweissysteme mit dem Sicherheitsbewertungstool soundcalc der EF integrieren, um die Sicherheitsberechnungsstandards zu vereinheitlichen.
- Der Glamsterdam-Standard soll bis Ende Mai erreicht werden, wodurch Übergangsziele wie 100-Bit-nachweisbare Sicherheit realisiert werden.
- Das Endziel H-star soll bis Ende Dezember abgeschlossen sein, um 128-Bit-nachweisbare Sicherheit zu erreichen und einen formalen Sicherheitsnachweis der rekursiven Topologie bereitzustellen.
Um ihr Ziel zu erreichen, erwähnt die EF Kern-Technologie-Tools wie WHIR und JaggedPCS, die durch Optimierung der Beweiserzeugung und Vermeidung von Rechenleistungsverschwendung die Effizienz steigern können, während sie gleichzeitig die Größe der Beweise durch Techniken wie rekursive Topologie reduzieren.
Dennoch bleiben mehrere Herausforderungen bestehen: Echtzeitbeweise wurden noch nicht auf der Blockchain implementiert, und die tatsächliche Wirksamkeit der Validatoren ist fraglich; Sicherheitsparameter müssen dynamisch angepasst werden, da mathematische Vermutungen widerlegt werden; es ist unklar, ob einige Teams die Ziele termingerecht erreichen können; formale Verifizierungsprojekte mit rekursiven Architekturen stecken noch in den Kinderschuhen, und das Ökosystem entwickelt sich ungleichmäßig.
Es ist erwähnenswert, dass zkEVM, sobald es die Anforderungen erfüllt, Ethereum dabei unterstützen kann, Gaslimits zu erhöhen, wodurch die Blockkapazität steigt und gleichzeitig die Machbarkeit von Staking gewährleistet wird, was L1 fördert, eine vertrauenswürdige Abwicklungsschicht zu werden, und die Grenzen zwischen L2- und L1-Ausführung verwischt.
Nachdem der Leistungssprint beendet ist, hat sich das Kernproblem des zkEVM-Ökosystems darauf verlagert, ausreichend zuverlässige Sicherheitsbeweise zu erzielen, um Vermögenswerte im Wert von Hunderten von Milliarden zu unterstützen, ohne sich auf fragile Vermutungen zu stützen. Das Sicherheitsrennen hat offiziell begonnen und wird das Hauptthema von Ethereum im Jahr 2026 sein.
