Cysic’s Venus zkVM goes open source as Ethereum eyes proof markets
Cysic open‑sources its Venus zkVM engine, recasting proof technology as a world computation graph and positioning ZisK inside Ethereum’s rising EIP‑8025 proof market.
Cysic has launched Venus, a brand new open‑supply zkVM compute engine that restructures proof technology round a world computation graph quite than a standard {hardware} abstraction layer, positioning the corporate’s ZisK stack squarely inside Ethereum’s rising L1 proof‑market debate. Asserting the transfer on X, Cysic described Venus as “constructed on high of ZisK” and mentioned the system “abandons the normal HAL mannequin” in favor of a graph‑based mostly illustration of all the proof pipeline. “This paradigm shift yields three core benefits: international compute optimization, decreased ineffective information motion, and markedly improved GPU utilization,” the staff wrote.
As an alternative of treating {hardware} backends as a sequence of remoted operate calls, Venus encodes zero‑data proof technology as an specific computation graph that may be scheduled finish‑to‑finish throughout GPUs, FPGAs and future ASICs. Cysic says this permits the compiler to “reorder directions and fuse reminiscence operations throughout kernel boundaries,” chopping down on reminiscence thrash between CPU and accelerator and higher matching the massively parallel character of MSM and NTT operations. In inside checks, the Venus engine delivered “over 9% finish‑to‑finish proof‑time enchancment in comparison with ZisK 0.16.1,” primarily by trimming CPU‑GPU synchronization overhead quite than counting on uncooked {hardware} good points.
The Venus announcement lands as Ethereum’s EIP‑8025 proposal, dubbed “Non-compulsory Execution Proofs,” formalizes a multi‑prover mannequin for L1 block validation utilizing zkVMs. In its explainer, Cysic notes that ZisK is “one of many 5 zkVMs explicitly named as candidates in official neighborhood discussions,” alongside programs comparable to RISC Zero and openVM, and says the staff can already “full proof technology for an Ethereum block in 7.4 seconds utilizing 24 GPUs,” assembly actual‑time targets. The challenge is “already stay on Ethproofs, submitting actual‑time proofs for Ethereum blocks utilizing a single RTX 4090,” and is listed as an Ethproofs integration accomplice because the ecosystem strikes towards an L1 proof market.eips.
Cysic frames Venus because the software program acceleration core inside a bigger stack that features the ZisK zkVM on the protocol entry level, customized ASIC {hardware} because the computational base and a ComputeFi community for scheduling jobs throughout provers. “The actual downside is just not inadequate uncooked compute however a basic architectural mismatch,” the staff argues, contending {that a} tightly built-in zkVM, {hardware} and scheduling stack is required to hyperscale Ethereum’s deliberate zkEVM roadmap.college.
