ZKsync hat Airbender Prime vorgestellt, einen Zero-Knowledge-Prover, der 7.200 Ethereum-Blöcke in unter 10 Sekunden bewiesen hat – mit nur einer einzigen GPU. Ethereum-Mitgründer Vitalik Buterin bezeichnete das als entscheidenden Meilenstein und erklärte, die zkEVM-Entwicklung müsse sich nun auf Sicherheit statt Geschwindigkeit konzentrieren.
Was ist passiert
ZKsync kündigte Airbender Prime, seinen Zero-Knowledge-Prover für Ethereum, am 17. Oktober 2026 an, wie Wu Blockchain berichtet. Im Test generierte eine einzelne NVIDIA RTX PRO 6000 Blackwell GPU Proofs für eine zusammenhängende Reihe von 7.200 Ethereum-Mainnet-Blöcken. 99 % der Block-Proofs dauerten weniger als 10 Sekunden, und jeder einzelne Block war inklusive Witness-Vorbereitung innerhalb von 12 Sekunden fertig bewiesen. Der Prover basiert auf dem offenen RISC-V-Standard und nutzt hashbasierte STARK-Proof-Technologie, die auf Post-Quanten-Sicherheit ausgelegt ist. Mitgeliefert wird ein eigenständiger Verifier für unabhängige Prüfungen. Vitalik Buterin gratulierte dem Airbender-Team und erklärte, das Wettrennen um zkEVM-Proof-Geschwindigkeit habe nun entscheidende Ergebnisse erreicht. Die Priorität müsse sich jetzt vollständig auf Sicherheit verlagern.
Wie es dazu kam
Zero-Knowledge-Proofs erlauben es einem Rollup, die Gültigkeit von Ethereum-Transaktionen zu beweisen, ohne jede Berechnung erneut auszuführen – das senkt Kosten und verkürzt die Finalität. Jahrelang konkurrierten zkEVM-Teams vor allem über Proof-Geschwindigkeit, da langsames Proving Auszahlungen verzögerte und Kosten erhöhte. Die Ergebnisse von Airbender Prime – 99 % der Blöcke in unter 10 Sekunden bewiesen, auf einer einzigen Consumer-GPU – markieren einen der schnellsten öffentlich bekannten Benchmarks für einen Ethereum-äquivalenten Prover. Buterin nannte drei offene Aufgaben für die formale Verifikation: den Nachweis, dass die Arithmetik des Proof-Systems exakt den Protokollregeln von Ethereum entspricht, die Festlegung fester Kostengrenzen gekoppelt an den Gasverbrauch pro Block, sowie die Überprüfung, dass das Zero-Knowledge-System selbst mathematisch korrekt ist. Damit wird aus dem zkEVM-Wettlauf um Performance ein Sicherheitsaudit-Problem.
Warum das für dich wichtig ist
Für ZKsync könnte schnelleres Proving niedrigere Gebühren und raschere Finalität für Nutzer bedeuten, die auf dem Rollup bridgen oder handeln. Für andere zkEVM-Teams setzt Buterins Aussage eine neue Messlatte: Reine Geschwindigkeit entscheidet das Argument nicht mehr, formale Sicherheitsgarantien schon. Entwickler im Bereich Ethereum-Skalierung könnten nun Audits und mathematische Korrektheitsnachweise stärker priorisieren als Benchmark-Wettrennen. Halter von Assets auf zk-Rollups sollten beobachten, ob Wettbewerber Ressourcen in Richtung formale Verifikation verlagern – das könnte manche Roadmaps verlangsamen, senkt aber das Risiko, dass ein Prover-Fehler zu Vermögensverlusten führt. Letztlich profitieren Nutzer von einer Chain, die sowohl schnell als auch sicher beweist.
Die größere Frage
Wenn Proof-Geschwindigkeit nicht mehr das entscheidende Kriterium ist, welcher neue Standard wird konkurrierende zkEVMs dann unterscheiden? Formale Verifikation kann bestätigen, dass ein System seiner eigenen Spezifikation entspricht – sie kann aber nicht garantieren, dass diese Spezifikation jeden realen Angriff abdeckt. Wer entscheidet, wann ein Prover sicher genug ist, um Vermögenswerte in Milliardenhöhe zu schützen?
Was als Nächstes zu beobachten ist
ZKsync hat noch kein Datum für die Mainnet-Integration von Airbender Prime genannt. Es lohnt sich zu beobachten, wie Ethereum-Core-Entwickler in den kommenden Wochen auf Buterins Roadmap zur formalen Verifikation reagieren. Andere zkEVM-Projekte könnten eigene Benchmark-Vergleiche veröffentlichen, während sich der Fokus auf Sicherheitsaudits verlagert. Bonuz wird verfolgen, wie sich diese Debatte auf Proving-Infrastruktur auswirkt, die künftig leichte, dauerhaft aktive Geräte wie Smart Glasses unterstützen könnte, die auf schnelle, günstige Verifikation am Edge angewiesen sind.
