Cysic open‑sources “Venus” zkVM engine, angling for a role in Ethereum’s proof‑market future
Cysic has open‑sourced Venus, a new compute engine for zero‑knowledge virtual machines that rethinks proof generation as a single global computation graph rather than a set of isolated hardware calls. Built on top of the company’s ZisK stack, Venus is positioned to play a key role as Ethereum moves toward an L1 proof‑market model under proposals such as EIP‑8025.
What Venus changes
- Graph‑first architecture: Venus represents the entire proof pipeline as an explicit computation graph instead of a traditional hardware abstraction layer (HAL). That lets the system plan and schedule work end‑to‑end across GPUs, FPGAs and future ASICs.
- Better resource use: By enabling the compiler to reorder instructions and fuse memory operations across kernel boundaries, Venus reduces pointless data movement and CPU–GPU synchronization, improving GPU utilization and matching the massive parallelism of heavy ZK maths (e.g., MSM and NTT operations).
- Measurable gains: In Cysic’s internal tests, Venus achieved more than a 9% end‑to‑end proof‑time improvement over ZisK 0.16.1, with most gains coming from reduced synchronization overhead rather than raw hardware speedups.
Why it matters for Ethereum
The release arrives as Ethereum’s EIP‑8025 (“Optional Execution Proofs”) pushes toward a multi‑prover model for L1 validation using zkVMs — a framework that could give rise to an L1 proof market where multiple independent provers submit block proofs. Cysic notes ZisK is explicitly named among five zkVMs discussed in community channels (alongside projects like RISC Zero and openVM), and the team says it can generate a proof for an Ethereum block in 7.4 seconds using 24 GPUs — meeting real‑time targets cited in protocol discussions.
Real‑world testing and partnerships
Cysic says Venus is already in production testing: the project is live on Ethproofs, submitting real‑time proofs for Ethereum blocks using a single RTX 4090, and it’s listed as an Ethproofs integration partner. That on‑chain presence strengthens Cysic’s claim it can scale into a multi‑prover ecosystem.
A bigger stack and a strategic thesis
Venus is framed as the “software acceleration core” inside a larger Cysic stack: ZisK serves as the protocol entry point, custom ASICs provide the computational base, and a proposed ComputeFi network would handle job scheduling across provers. Cysic argues the main obstacle to scaling zkEVMs isn’t raw compute but an architectural mismatch — one that a tightly integrated zkVM, hardware, and scheduling stack could resolve as Ethereum builds toward a proof‑market future.
The open‑source release makes Venus available for auditors, integrators and other zkVM teams to test and adapt as community debate around EIP‑8025 and on‑chain proof markets continues.
Read more AI-generated news on: undefined/news
