Cysic veröffentlicht seinen Venus-zkVM-Engine als Open Source und stellt die Generierung von Beweisen als globalen Rechen-Graph dar; außerdem positioniert es ZisK innerhalb des sich entwickelnden EIP‑8025-Beweis-Marktes in Ethereum.
Zusammenfassung

• Venus ersetzt eine traditionelle Hardware-Abstraktionsschicht durch eine graphbasierte Sicht auf die gesamte Beweispipeline und ermöglicht so globale Compute-Optimierung sowie eine bessere GPU-Auslastung.
• Cysic meldet über 9% End-to-End-Verbesserung bei der Beweiszeit gegenüber ZisK 0.16.1, indem es die CPU‑GPU-Synchronisations-Overheads reduziert, statt auf neue Hardware zu setzen.
• ZisK ist bereits live bei Ethproofs und wird in EIP‑8025-Diskussionen zitiert; das Team behauptet 7,4‑Sekunden Ethereum-Block-Beweise mit 24 GPUs sowie Echtzeit-Beweisen auf einer einzelnen RTX 4090.

Cysic hat Venus veröffentlicht, eine neue Open-Source-zkVM-Compute-Engine, die die Generierung von Beweisen um einen globalen Rechen-Graph statt um eine traditionelle Hardware-Abstraktionsschicht herum neu strukturiert und die ZisK-Stack des Unternehmens fest in die Debatte um den entstehenden Ethereum-L1-Beweis-Markt einordnet. Cysic kündigte die Änderung auf X an und beschrieb Venus als „auf ZisK aufgebaut“ und sagte, das System „verabschiedet sich vom traditionellen HAL-Modell“ zugunsten einer graphbasierten Darstellung der gesamten Beweispipeline. „Dieser Paradigmenwechsel bringt drei zentrale Vorteile: globale Compute-Optimierung, reduzierten unwirksamen Datentransfer und deutlich verbesserte GPU-Auslastung“, schrieb das Team.

Graph-first zkVM-Design {#graphfirst-zkvm-design}

Anstatt Hardware-Backends als Abfolge isolierter Funktionsaufrufe zu betrachten, kodiert Venus die Generierung von Zero-Knowledge-Beweisen als expliziten Rechen-Graph, der Ende-zu-Ende über GPUs, FPGAs und zukünftige ASICs geplant werden kann. Cysic sagt, dies ermögliche es dem Compiler, „Instruktionen neu zu ordnen und Speicheroperationen über Kernel-Grenzen hinweg zu fusionieren“, wodurch es zu weniger Speicher-„Thrashing“ zwischen CPU und Beschleuniger kommt und die massiv parallele Natur von MSM- und NTT-Operationen besser getroffen wird. In internen Tests lieferte die Venus-Engine „über 9% Verbesserung der End-to-End-Beweiszeit im Vergleich zu ZisK 0.16.1“, hauptsächlich durch das Kürzen der CPU‑GPU-Synchronisations-Overheads statt durch das Verlassen auf reine Hardwaregewinne.

Direkte Linie in Ethereums Beweis-Track {#direct-line-into-ethereums-proof-track}

Die Venus-Ankündigung fällt auf den Zeitpunkt, an dem der Vorschlag von Ethereum für EIP‑8025, benannt „Optional Execution Proofs“, ein Multi‑Prover-Modell für die L1-Blockvalidierung mit zkVMs formalisiert. In seinem Erklärtext hält Cysic fest, dass ZisK „einer der fünf zkVMs ist, die explizit als Kandidaten in offiziellen Community-Diskussionen genannt werden“, zusammen mit Systemen wie RISC Zero und openVM, und sagt, das Team könne bereits „die Beweisgenerierung für einen Ethereum-Block in 7,4 Sekunden mit 24 GPUs abschließen“ und damit Echtzeit-Ziele erfüllen. Das Projekt „ist bereits live auf Ethproofs und übermittelt Echtzeit-Beweise für Ethereum-Blöcke mithilfe einer einzelnen RTX 4090“, und ist als Partner für eine Ethproofs-Integration gelistet, während das Ökosystem in Richtung eines L1-Beweis-Marktes.eips voranschreitet.

Full-Stack ZK-Infrastruktur-Strategie {#fullstack-zk-infrastructure-play}

Cysic stellt Venus als Software-Beschleunigungskern innerhalb eines größeren Stacks dar, der die ZisK zkVM am Protokoll-Einstiegspunkt, maßgeschneiderte ASIC-Hardware als rechnerische Basis und ein ComputeFi-Netzwerk zur Planung von Jobs über Prover umfasst. „Das eigentliche Problem ist nicht unzureichende reine Rechenleistung, sondern eine grundlegende architektonische Nichtübereinstimmung“, argumentiert das Team und führt aus, dass ein eng integrierter zkVM-, Hardware- und Scheduling-Stack nötig sei, um den geplanten zkEVM-Roadmap von Ethereum zu hyperskalieren.university.