Cysics Venus zkVM wird Open Source, während Ethereum die Märkte im Auge behält

Cysic stellt seine Venus zkVM-Engine als Open-Source-Lösung zur Verfügung, wandelt die Proof-Generierung in einen globalen Berechnungsgraphen um und positioniert ZisK im aufstrebenden EIP-8025-Proof-Markt von Ethereum.

Cysic hat Venus veröffentlicht, eine neue Open-Source-zkVM-Rechner-Engine, die die Beweisgenerierung um einen globalen Berechnungsgraphen statt einer herkömmlichen Hardware-Abstraktionsschicht herum neu strukturiert und damit den ZisK-Stack des Unternehmens direkt in die aufkommende L1-Proof-Marktdebatte von Ethereum einordnet. Cysic kündigte den Wechsel zu „Dieser Paradigmenwechsel bringt drei wesentliche Vorteile mit sich: globale Rechenoptimierung, reduzierte ineffektive Datenbewegungen und deutlich verbesserte GPU-Auslastung“, schrieb das Team.

Graph-First-zkVM-Design

Anstatt Hardware-Backends als eine Folge isolierter Funktionsaufrufe zu behandeln, kodiert Venus die Zero-Knowledge-Proof-Generierung als expliziten Berechnungsgraphen, der durchgängig über GPUs, FPGAs und zukünftige ASICs hinweg geplant werden kann. Cysic sagt, dass dies dem Compiler ermöglicht, „Anweisungen neu anzuordnen und Speicheroperationen über Kernelgrenzen hinweg zu verschmelzen“, wodurch die Speicherüberlastung zwischen CPU und Beschleuniger verringert und der massiv parallele Charakter von MSM- und NTT-Operationen besser angepasst wird. In internen Tests lieferte die Venus-Engine „über 9 % End-to-End-Proof-Time-Verbesserung im Vergleich zu ZisK 0.16.1“, vor allem durch die Reduzierung des CPU-GPU-Synchronisierungsaufwands, anstatt sich auf reine Hardwaregewinne zu verlassen.

Direkter Zugang zum Proof-Track von Ethereum

Mit der Venus-Ankündigung formalisiert der EIP-8025-Vorschlag von Ethereum mit dem Namen „Optional Execution Proofs“ ein Multi-Prover-Modell für die L1-Blockvalidierung mithilfe von zkVMs. In seiner Erklärung stellt Cysic fest, dass ZisK neben Systemen wie RISC Zero und openVM „eine der fünf zkVMs ist, die in offiziellen Community-Diskussionen ausdrücklich als Kandidaten genannt werden“, und sagt, dass das Team bereits „die Beweiserstellung für einen Ethereum-Block in 7,4 Sekunden mit 24 GPUs abschließen“ kann und damit Echtzeitziele erreicht. Das Projekt ist „bereits live auf Ethproofs und übermittelt Echtzeit-Proofs für Ethereum-Blöcke mit einem einzigen RTX 4090“ und wird als Ethproofs-Integrationspartner aufgeführt, während sich das Ökosystem in Richtung eines L1-Proof-Marktes bewegt.eips.

Full-Stack-ZK-Infrastrukturspiel

Cysic bezeichnet Venus als Software-Beschleunigungskern innerhalb eines größeren Stapels, der die ZisK-zkVM am Protokolleintrittspunkt, benutzerdefinierte ASIC-Hardware als Rechenbasis und ein ComputeFi-Netzwerk zur Planung von Jobs über Prüfer hinweg umfasst. „Das eigentliche Problem ist nicht unzureichende Rohdatenverarbeitung, sondern eine grundlegende Nichtübereinstimmung der Architektur“, argumentiert das Team und behauptet, dass ein eng integrierter zkVM-, Hardware- und Planungsstapel erforderlich ist, um die geplante zkEVM-Roadmap von Ethereum zu hyperskalieren.university.