Direkt zum Hauptinhalt

Cysic Venus veröffentlicht Open-Source ZK-Proving-Stack und macht Ethereum-Echtzeit-Verifizierung wirtschaftlich

· 12 Min. Lesezeit
Dora Noda
Dora Noda
Software Engineer

Sieben Komma vier Sekunden. Das ist die Zeit, die es nun dauert, einen Zero-Knowledge-Proof für einen gesamten Ethereum-Mainnet-Block auf einem 24-GPU-Cluster zu generieren, auf dem der neue Venus-Prover von Cysic läuft. Vor einem Jahr benötigte die gleiche Aufgabe noch 200 High-End-Grafikkarten und zehn Sekunden, um Echtzeit-Parität zu erreichen. Das Schließen dieser Lücke – etwa eine Größenordnung bei den Hardwarekosten bei gleichzeitiger Unterschreitung der zwölfsekündigen Slot-Zeit von Ethereum – ist der leiseste Wendepunkt in der Krypto-Infrastruktur in diesem Quartal. Und dies geschieht genau in dem Moment, in dem das PeerDAS-Upgrade von Fusaka die Schleusen für die Datenverfügbarkeit öffnet und die Proof-Generierung zum einzigen verbleibenden Engpass zwischen Ethereum und einer Zukunft mit Hunderten von Rollups macht.

Am 8. April 2026 veröffentlichte Cysic Venus als Open-Source-Software, ein hardwareoptimiertes Proving-Backend, das auf Zisk basiert, der ursprünglich von Polygon Hermez entwickelten zkVM. Das Release wurde nicht mit der üblichen Choreografie eines Token-Unlocks vermarktet. Es wurde auf GitHub mit einer technischen Notiz veröffentlicht, die eine neunprozentige End-to-End-Verbesserung gegenüber ZisK 0.16.1 versprach, zusammen mit einer Einladung zur Mitarbeit. Dieses Understatement verbirgt die eigentliche Geschichte: ZK-Proving hat sich still und leise vom Forschungsprojekt zum Massenmarkt-Computing (Commodity Compute) entwickelt, und der Infrastruktur-Stack, der in den nächsten zwei Jahren gewinnen wird, wird nicht so aussehen wie das, worauf die meisten L2-Teams derzeit hinarbeiten.

Der Engpass, den niemand einkalkuliert hat​

Drei Jahre lang konzentrierte sich die Debatte um die Skalierung von Ethereum auf die Datenverfügbarkeit. Blobs, EIP-4844, PeerDAS, Danksharding – jedes Gespräch über die Roadmap ging davon aus, dass L2s die Kostensenkung automatisch erben würden, sobald Ethereum Rollup-Daten kostengünstig veröffentlichen könnte. Diese Annahme brach Ende 2025 klammheimlich in sich zusammen. Fusaka wurde am 3. Dezember 2025 veröffentlicht, und mit ihm kam PeerDAS, das 48 Blobs pro Block und einen Pfad zu 12.000 Transaktionen pro Sekunde versprach. Zum ersten Mal in der Geschichte von Ethereum war die Datenverfügbarkeit nicht mehr der engste Flaschenhals des Systems.

Der neue kritische Engpass ist die Generierung von Proofs. ZK-Rollups benötigen kryptografische Bestätigungen (Attestations), dass ihre Zustandsübergänge gültig sind. Die Erstellung dieser Proofs ist rechenintensive Arbeit, die Off-Chain auf spezialisierter Hardware stattfindet. Optimistische Rollups, die Streitigkeiten über ein Challenge-Window anstatt über mathematische Beweise beilegen, überspringen diese Kosten vollständig – weshalb die führenden ZK-L2s derzeit bei einem Total Value Locked (TVL) von etwa 3,3 Milliarden US-Dollar liegen, während optimistische Rollups die 40-Milliarden-Marke überschritten haben. Die 12 : 1-Lücke ist kein Narrativ-Problem. Es ist ein Problem der Prover-Ökonomie.

Die interne Forschung von Succinct brachte die Zahlen unverblümt auf den Punkt. Um jeden Ethereum-Block in Echtzeit mit SP1 Turbo zu beweisen, war ein Cluster von 160 bis 200 RTX 4090-GPUs erforderlich – ein Investitionsaufwand von 300.000 bis 400.000 US-Dollar pro Proving-Cluster bei einem Stromverbrauch im Netzmaßstab. Jedes L2, das seinen eigenen Prover betreiben wollte, stand vor der Wahl: Entweder die Proof-Generierung bei einer Handvoll Betreibern zu zentralisieren, die sich diesen Stack leisten konnten, oder mehrminütige Proving-Latenzen in Kauf zu nehmen, die das Nutzererlebnis beeinträchtigten. Keine der beiden Optionen lieferte das „ZK-Endgame“, das Vitalik seit 2021 skizziert hat.

Wie Venus tatsächlich funktioniert​

Venus ist weniger für das interessant, was es ist, als für das, was es repräsentiert. Cysic hat kein neues Proof-System erfunden. Die zugrunde liegende Kryptografie stammt von Zisk, das aus der jahrelangen Arbeit von Jordi Baylina und dem Polygon-Team hervorgegangen ist. Was Cysic getan hat, war die Neugestaltung der Ausführungsebene (Execution Layer), sodass die Proof-Generierung zu einem expliziten Berechnungsgraphen wird – einem gerichteten azyklischen Graphen (DAG) von Operationen, die End-to-End über heterogene Hardware geplant werden können.

In der Praxis bedeutet dies, dass der CPU-GPU-Synchronisations-Overhead, der frühere zkVMs dominierte, auf der Scheduling-Ebene wegoptimiert wird. Der Prover hält nicht an und wartet auf das Ende eines GPU-Kernels, bevor er die nächste Operation sendet. Der Graph ist im Voraus bekannt, sodass Datenbewegungen, Speicherzuweisungen und Kernel-Starts im Pipelining-Verfahren ablaufen können. Daher rührt die neunprozentige Verbesserung gegenüber ZisK 0.16.1 – nicht von einem Durchbruch in der Polynommathematik, sondern von einem technischen Erfolg in der Art und Weise, wie die Mathematik auf das Silizium trifft.

Wichtiger noch: Derselbe Berechnungsgraph läuft auf FPGAs und schließlich auf dem dedizierten ZK-ASIC von Cysic. Das Unternehmen hat öffentlich behauptet, dass sein ASIC 1,33 Millionen Keccak-Hash-Funktionsauswertungen pro Sekunde durchführen kann – eine hundertfache Verbesserung gegenüber typischen GPU-Workloads bei einer etwa fünfzigfach besseren Energieeffizienz. Interne Schätzungen deuten darauf hin, dass eine einzige zweckgebundene ZK Pro-Einheit etwa 50 GPUs ersetzen könnte, während sie nur einen Bruchteil des Stroms verbraucht. Wenn diese Zahlen in der Produktion Bestand haben, verschiebt sich die Ökonomie des Provings von der Miete ganzer Lagerhallen voller RTX-Karten hin zum Betrieb eines kompakten Racks mit spezialisierten Chips.

Das Rennen um das Sub-12-Sekunden-Proving​

Venus entstand nicht in einem Vakuum. In den letzten zwölf Monaten haben drei Teams denselben Meilenstein erreicht: das Beweisen von Ethereum-Blöcken in weniger als der zwölfsekündigen Slot-Zeit, die die Echtzeit-Verifizierung definiert.

Succinct erreichte dies als Erstes öffentlich. SP1 Hypercube, angekündigt im Mai 2025, bewies 93 Prozent einer 10.000 Blöcke umfassenden Mainnet-Stichprobe in Echtzeit unter Verwendung eines Clusters mit 200 RTX 4090-Karten. Eine Überarbeitung im November 2025 steigerte die Erfolgsquote auf 99,7 Prozent mit nur sechzehn RTX 5090-GPUs – eine Senkung der Hardwarekosten um etwa 90 Prozent in sechs Monaten.

Das System ist nun im Ethereum-Mainnet live und erstellt Proofs für jeden Block, während dieser gemined wird. Die Zahlen von Cysic sind in Bezug auf die Kosten sogar noch knapper. Sieben Komma vier Sekunden mit 24 GPUs platzieren das End-to-End-Proving bequem innerhalb der Slot-Zeit auf Standardhardware. Das aktuelle Venus-Release ist Open Source, noch nicht für die Produktion auditiert und befindet sich in aktiver Entwicklung. Doch die technologische Entwicklung deutet darauf hin, dass ein Proof unter zehn Sekunden auf einem Cluster der Verbraucherklasse mittlerweile eine Frage der Software-Optimierung und nicht der grundlegenden Architektur ist.

Die Kosten pro Proof sind im Gleichschritt eingebrochen. Branchen-Benchmarks beziffern die aktuellen Best-Case-Kosten auf etwa zwei Cent pro Ethereum-Block-Proof bei Verwendung von 16x RTX 5090-Hardware. Das Ziel für die Massenadaption liegt bei unter einem Cent. Vor einem Jahr kostete derselbe Proof noch fast einen Dollar. Vor drei Jahren war es buchstäblich unwirtschaftlich – die Gas-Gebühren für das abgerechnete Rollup hätten nicht einmal die Stromrechnung des Provers gedeckt. Dies ist die Art von Kostenkurve, die still und leise ganze Produktkategorien auslöscht, und sie beschleunigt sich.

Die Marketplace-Wars sind bereits da​

Günstige, schnelle Proof-Erstellung wird nicht automatisch zugänglich. Jemand muss die Hardware betreiben, die Nachfrage abgleichen, Proof-Aufträge bepreisen und Zahlungen abwickeln. Drei verschiedene architektonische Wetten konkurrieren nun um diese Middleware-Schicht.

Boundless, das im September 2025 von RISC Zero im Mainnet gestartet wurde, betreibt einen Auktionsmarktplatz. GPU-Betreiber bieten um die Erstellung von Proofs, und das System leitet die Arbeit an den kostengünstigsten qualifizierten Prover weiter. Das Modell lehnt sich an Spot-Compute-Märkte wie AWS Spot Instances an und verspricht, die Proof-Kosten in Richtung der marginalen Hardwarekosten zu drücken. Boundless hat kürzlich das Bitcoin-Settlement hinzugefügt, wodurch Ethereum- und Base-Proofs auf dem Bitcoin-Base-Layer verifiziert werden können – eine Nische, aber eine bedeutende Erweiterung des Einsatzbereichs von ZK-Attestierungen.

Das Prover Network von Succinct setzt auf eine andere Strategie. Anstatt einer reinen Auktion betreibt es ein Routing-Protokoll mit zugelassenen Hochleistungs-Provern, die spezifische Workloads bearbeiten. Cysic trat dem Netzwerk als Multi-Node-Prover-Betreiber bei und betreibt GPU-Cluster, die auf den SP1-Hypercube-Produktions-Traffic abgestimmt sind. Diese Vereinbarung deutet darauf hin, dass Succinct Wert auf Zuverlässigkeit und Latenzgarantien legt, die ein reiner Spot-Markt für verbraucherorientierte Rollups nicht bieten kann.

Cysic selbst startete sein Mainnet und den CYS-Token am 11. Dezember 2025 und hat seitdem über zehn Millionen ZK-Proofs verarbeitet, die in Scroll, Aleo, Succinct, ETHProof und andere integriert sind. Der Pitch des Netzwerks lautet „ComputeFi“ – die Umwandlung von Proving-Kapazität in ein liquides On-Chain-Asset, das Betreiber tokenisieren und staken können. Ob dies zu einem dritten großen Marktplatz wird oder sich in einer Zuliefererrolle für die beiden größeren Netzwerke festigt, ist die offene Frage des Jahres 2026.

Warum dies für die Rollup-Ökonomie wichtig ist​

Der entscheidende Punkt liegt drei Ebenen unter den Infrastruktur-News, in der Unit-Economics der tatsächlichen L2s. Heute gibt ein zkEVM-Rollup einen erheblichen Teil seiner Kosten pro Transaktion für die Proof-Generierung aus. Diese Kosten werden entweder als Gas-Gebühren an die Nutzer weitergegeben oder vom Rollup-Betreiber als Margenverlust getragen. In jedem Fall vergrößern sie die Lücke zwischen dem, was ein ZK-Rollup berechnen kann, und dem, was ein optimistisches Rollup für dieselbe Transaktion verlangt.

Wenn die Proof-Kosten auf Sub-Cent-Niveaus sinken und die Proving-Latenz in die Slot-Zeit von Ethereum passt, schließt sich diese Lücke. Ein ZK-Rollup muss dann keinen Sicherheitsaufschlag mehr verlangen. Das Nutzererlebnis wird ununterscheidbar von einem optimistischen Rollup – außer dass Auszahlungen in Minuten statt in dem siebentägigen Challenge-Fenster abgewickelt werden, das heute noch jede optimistische Bridge als „Reibungssteuer“ belastet.

Dieser Umschwung ist strukturell von Bedeutung, da die größten Pools institutioneller Liquidität immer noch die Auszahlungsverzögerung optimistischer Rollups als Grund für den Verbleib auf L1 anführen. Echtzeit-ZK-Proving mit marktplatzgesteuerter Preisgestaltung beseitigt das letzte funktionale Argument gegen eine ZK-first Rollup-Architektur. Jedes L2-Team, das derzeit einen optimistischen Stack einsetzt, wird im Jahr 2026 vor einer ernsthaften technischen Überprüfung stehen. Einige werden migrieren oder zumindest einen ZK-Fork ihres Sequencers veröffentlichen.

Was immer noch schiefgehen könnte​

Das Venus-Release geht ehrlich mit seinen Einschränkungen um. Der Code wurde nicht für den Produktionseinsatz auditiert. Das Ausführen von nicht auditierten Prover-Software in einem Live-Rollup ist die Art von Entscheidung, die Karrieren beendet, wenn ein Soundness-Bug einen ungültigen Proof erstellt, den der Verifier akzeptiert. Es ist zu erwarten, dass der Produktionseinsatz der Open-Source-Veröffentlichung um Monate, nicht um Wochen, hinterherhinken wird.

Auch die Hardware-Seite birgt Risiken. Wenn ASIC-basiertes Proving den versprochenen fünfzigfachen Effizienzgewinn liefert, wird eine Handvoll Hersteller die Prover-Hardware dominieren, so wie Bitmain das Bitcoin-Mining dominiert hat. Diese Dynamik widerspricht dem Dezentralisierungs-Narrativ, das ZK-Rollups überhaupt erst rechtfertigte. Die ASIC-Roadmap von Cysic ist eine Antwort auf ein Rechenproblem, wirft aber neue Fragen darüber auf, wer die Chips besitzt, die die weltweit größte Smart-Contract-Plattform sichern.

Schließlich spielt Echtzeit-Proving nur dann eine Rolle, wenn der Rest des Stacks Schritt hält. Data Availability Sampling via PeerDAS muss tatsächlich im Produktionsmaßstab funktionieren, nicht nur in Testnet-Benchmarks. Die Dezentralisierung des Sequencers bleibt ein ungelöstes Problem bei allen großen L2s. Proving ist notwendig, aber nicht ausreichend für das Endspiel, und die Branche hat eine Geschichte darin, den Sieg auf einer Ebene zu erklären, während Brüche in benachbarten Ebenen stillschweigend ignoriert werden.

Der kurzfristige Wendepunkt​

Wenn man herauszoomt, wird das Muster deutlich. Im Mai 2025 erforderte Echtzeit-Ethereum-Proving einen 400.000 $ teuren GPU-Cluster und ein neunstelliges Forschungsbudget. Im April 2026 läuft es auf 24 handelsüblichen Grafikkarten mit Open-Source-Software. Die nächsten achtzehn Monate werden die Kostenkurve weiter stauchen – hin zu ASIC-Ökonomie, hin zu Cent-Preisen pro Proof, hin zu Proving als Versorgungsleistung statt als maßgeschneidertes Infrastrukturprojekt.

Für Entwickler bedeutet dies in der Praxis, dass ZK-basierte Architekturen, die 2024 unwirtschaftlich waren, jetzt neu bewertet werden sollten. Protokolle für privatsphärenschützende Transaktionen, verifizierbare KI-Inferenz, Cross-Chain-Messaging mit mathematischer statt Multisig-Sicherheit, On-Chain-Identität mit Zero-Knowledge-Offenlegung von Berechtigungsnachweisen – all dies scheiterte bisher an einer Kostenmauer für Prover, die nun nicht mehr existiert.

Das Cysic Venus-Release ist für sich genommen ein bescheidenes technisches Update für ein Open-Source-Proving-Backend. Im Kontext von Succincts Hypercube-Mainnet-Start, Boundless’ Live-Proof-Auktionen und Fusakas PeerDAS, das den Datenverfügbarkeits-Engpass beseitigt, gelesen, markiert es den Punkt, an dem ZK-Infrastruktur aufhört, die Einschränkung zu sein, und beginnt, das Substrat zu werden. Jede Rollup-These, die vor diesem Übergang geschrieben wurde, muss überarbeitet werden.

BlockEden.xyz bietet Enterprise-RPC- und Dateninfrastruktur für über 27 Chains, darunter Ethereum L2s, Scroll und Aptos. Da Echtzeit-Proving die L2-Landschaft neu gestaltet, erkunden Sie unseren API-Marktplatz, um auf soliden Fundamenten für die ZK-native Ära aufzubauen.

Quellen:

Share on Twitter