ZKsync hat Airbender Prime vorgestellt, einen Ethereum-Prover, der die Echtzeit-Verifizierung von Mainnet-Blöcken auf einer einzigen GPU demonstrierte — ein Meilenstein, der Ethereum-Mitgründer Vitalik Buterin dazu veranlasste, einen erneuten Sicherheitsfokus in der gesamten zkEVM-Entwicklung zu fordern.

In Tests verifizierte eine NVIDIA RTX PRO 6000 Blackwell GPU 99 % von 7.200 aufeinanderfolgenden Ethereum-Mainnet-Blöcken in jeweils unter 10 Sekunden, einschließlich der Witness-Vorbereitung — dem Schritt, bei dem die Daten zusammengestellt werden, die ein Prover zur Erzeugung eines Beweises benötigt. Jeder Block wurde innerhalb von 12 Sekunden abgeschlossen. Ethereum erzeugt ungefähr alle 12 Sekunden einen neuen Block, sodass die Verifizierung jedes Blocks innerhalb dieses Zeitfensters dafür sorgt, dass die Verifikation mit der Blockproduktion Schritt hält. ZKsync gab den Meilenstein in einem Beitrag auf X bekannt.

Airbender Prime Demonstriert Echtzeit-Verifizierung von Ethereum

Ein zkEVM erzeugt einen kryptographischen Beweis dafür, dass ein Block gemäß den Ethereum-Regeln ausgeführt wurde, sodass jeder das Ergebnis verifizieren kann, ohne die Berechnung selbst erneut ausführen zu müssen. Laut ZKsync verwendet Airbender Prime hashbasierte STARKs, eine Beweiskonstruktion, die für Post-Quanten-Sicherheit ausgelegt ist. Die Technologie kombiniert GKR Sumcheck, WHIR polynomiale Commitments und BLAKE2s-Hashing.

Für Layer-1-Beweise wird das System Keccak-256-basierte Commitments anstelle von BN254-Pairings verwenden. Es folgt außerdem dem offenen RISC-V-Standard und enthält einen eigenständigen Verifier für unabhängige Beweisprüfungen.

Laut ZKsync führt Airbender Prime die öffentliche Bestenliste von ETHproofs — die zkEVM-Prover gegen Ethereum-Mainnet-Blöcke misst — hinsichtlich der gemeldeten durchschnittlichen Verifizierungszeit, GPU-Effizienz und Kosten an. Das Projekt verfügt zudem über Live-Konfigurationen mit zwei und vier GPUs.

Vitalik Buterin Fordert Stärkere zkEVM-Sicherheit

Buterin gratulierte dem ZKsync-Team zu dem Meilenstein. Er erklärte, der Wettlauf um die Verifizierungsgeschwindigkeit sei endgültig gewonnen, und argumentierte, dass die zkEVM-Entwicklung nun Sicherheit priorisieren sollte.

Buterin benannte drei Anforderungen für die formale Verifikation: den Nachweis, dass die Arithmetisierung der Ethereum-Spezifikation entspricht, die Festlegung eines harten Höchstverhältnisses zwischenifizierungskosten und Block-Gas sowie die Überprüfung der Sicherheit des Beweissystems selbst. Arithmetisierung ist der Schritt, bei dem ein Prover die Ausführungsregeln von Ethereum in mathematische Aussagen kodiert, die ein Beweissystem prüfen kann. Seine Äußerungen lenken die Aufmerksamkeit darauf, ob Beweissysteme korrekte Ausführung, vorhersagbare Verifizierungskosten und zuverlässige kryptographische Schutzmechanismen nachweisen können.

ZKsync Zielt auf Unabhängig Verifizierbare Finanzinfrastruktur

ZKsync erklärte, Fortschritte in der künstlichen Intelligenz könnten die Entdeckung und Ausnutzung von Software-Schwachstellen beschleunigen. Institutionen benötigten Mechanismen, die Banken und Gegenparteien unabhängig verifizieren können.

Die Anforderung von Zero-Knowledge-Beweisen für Ledger-Updates könnte verhindern, dass kompromittierte Ausführungsserver Updates genehmigen, die hinterlegte Regeln verletzen, so das Unternehmen. Die geringeren Hardware-Anforderungen von Airbender Prime könnten auch die Beweiserstellung für Institutionen und unabhängige Betreiber zugänglicher machen.

Das Projekt zielt darauf ab, die unabhängige Verifikation in der gesamten Finanzinfrastruktur zu unterstützen. ZKsync kündigte weitere Ankündigungen zu Airbender Prime an, ohne in seiner Vorstellung zusätzliche Details zu nennen.