Cysic open‑sources its Venus zkVM engine, recasting proof generation as a global computation graph and positioning ZisK inside Ethereum’s emerging EIP‑8025 proof market.
Summary
- Venus replaces a traditional hardware abstraction layer with a graph‑based view of the entire proving pipeline, enabling global compute optimization and better GPU utilization.
- Cysic reports over 9% end‑to‑end proof‑time gains versus ZisK 0.16.1 by cutting CPU‑GPU synchronization overhead rather than relying on new hardware.
- ZisK is already live on Ethproofs and cited in EIP‑8025 discussions, with the team claiming 7.4‑second Ethereum block proofs on 24 GPUs and real‑time proving on a single RTX 4090.
Cysic has released Venus, a new open‑source zkVM compute engine that restructures proof generation around a global computation graph rather than a traditional hardware abstraction layer, positioning the company’s ZisK stack squarely inside Ethereum’s emerging L1 proof‑market debate. Announcing the move on X, Cysic described Venus as “built on top of ZisK” and said the system “abandons the traditional HAL model” in favor of a graph‑based representation of the entire proof pipeline. “This paradigm shift yields three core advantages: global compute optimization, reduced ineffective data movement, and markedly improved GPU utilization,” the team wrote.
Instead of treating hardware backends as a sequence of isolated function calls, Venus encodes zero‑knowledge proof generation as an explicit computation graph that can be scheduled end‑to‑end across GPUs, FPGAs and future ASICs. Cysic says this allows the compiler to “reorder instructions and fuse memory operations across kernel boundaries,” cutting down on memory thrash between CPU and accelerator and better matching the massively parallel character of MSM and NTT operations. In internal tests, the Venus engine delivered “over 9% end‑to‑end proof‑time improvement compared to ZisK 0.16.1,” primarily by trimming CPU‑GPU synchronization overhead rather than relying on raw hardware gains.
The Venus announcement lands as Ethereum’s EIP‑8025 proposal, dubbed “Optional Execution Proofs,” formalizes a multi‑prover model for L1 block validation using zkVMs. In its explainer, Cysic notes that ZisK is “one of the five zkVMs explicitly named as candidates in official community discussions,” alongside systems such as RISC Zero and openVM, and says the team can already “complete proof generation for an Ethereum block in 7.4 seconds using 24 GPUs,” meeting real‑time targets. The project is “already live on Ethproofs, submitting real‑time proofs for Ethereum blocks using a single RTX 4090,” and is listed as an Ethproofs integration partner as the ecosystem moves toward an L1 proof market.eips.
Cysic frames Venus as the software acceleration core inside a larger stack that includes the ZisK zkVM at the protocol entry point, custom ASIC hardware as the computational base and a ComputeFi network for scheduling jobs across provers. “The real problem is not insufficient raw compute but a fundamental architectural mismatch,” the team argues, contending that a tightly integrated zkVM, hardware and scheduling stack is needed to hyperscale Ethereum’s planned zkEVM roadmap.university.
