Skip to main content

Cysic Venus Open-Sources the ZK Proving Stack Making Ethereum Real-Time Verification Economical

· 11 min read
Dora Noda
Dora Noda
Software Engineer

Seven point four seconds. That is how long it now takes to generate a zero-knowledge proof for an entire Ethereum mainnet block on a 24-GPU cluster running Cysic's new Venus prover. A year ago, the same task required 200 high-end cards and ten seconds to hit real-time parity. The collapse of that gap — roughly an order of magnitude in hardware cost while breaking below Ethereum's twelve-second slot time — is the quietest inflection point in crypto infrastructure this quarter. And it is happening precisely as Fusaka's PeerDAS upgrade throws open the data availability floodgates, turning proof generation into the single remaining bottleneck between Ethereum and a hundred-rollup future.

On April 8, 2026, Cysic open-sourced Venus, a hardware-optimized proving backend built on top of Zisk, the zkVM originally developed by Polygon Hermez. The release was not marketed with the usual token unlock choreography. It was dropped on GitHub with a technical note claiming a nine-percent end-to-end improvement over ZisK 0.16.1 and an invitation to contribute. That understatement conceals the real story: ZK proving has quietly crossed from research project to commodity compute, and the infrastructure stack that wins the next two years will not look like what most L2 teams are currently building toward.

The Bottleneck Nobody Priced In​

For three years, Ethereum's scaling debate has fixated on data availability. Blobs, EIP-4844, PeerDAS, danksharding — every roadmap conversation assumed that once Ethereum could cheaply post rollup data, L2s would inherit the cost reduction automatically. That assumption quietly broke in late 2025. Fusaka shipped on December 3, 2025, and PeerDAS arrived with it, promising 48 blobs per block and a path to 12,000 transactions per second. Data availability, for the first time in Ethereum's history, stopped being the tightest constraint on the system.

The new tightest constraint is proof generation. ZK rollups need cryptographic attestations that their state transitions are valid. Generating those proofs is expensive compute work that happens off-chain, on specialized hardware. Optimistic rollups, which settle disputes through a challenge window rather than mathematical proof, skip this cost entirely — which is why the top ZK L2s currently sit at roughly $3.3 billion in total value locked, while optimistic rollups have passed $40 billion. The twelve-to-one gap is not a narrative problem. It is a prover economics problem.

Succinct's internal research put the math bluntly. To prove every Ethereum block in real time with SP1 Turbo required a cluster of 160-200 RTX 4090 GPUs — a capital outlay of $300,000 to $400,000 per proving cluster, consuming grid-scale electricity. Any L2 wanting to run its own prover faced a choice between centralizing proof generation with a handful of operators who could afford that stack, or accepting multi-minute proving latencies that broke the user experience. Neither option delivered the "ZK endgame" that Vitalik has been sketching since 2021.

How Venus Actually Works​

Venus is interesting less for what it is than for what it represents. Cysic did not invent a new proof system. The underlying cryptography comes from Zisk, which descended from years of work by Jordi Baylina and the Polygon team. What Cysic did was re-architect the execution layer so that proof generation becomes an explicit computation graph — a directed acyclic diagram of operations that can be scheduled end-to-end across heterogeneous hardware.

In practice, this means the CPU-GPU synchronization overhead that dominated prior zkVMs gets optimized away at the scheduling layer. The prover does not stop and wait for a GPU kernel to finish before dispatching the next operation. The graph is known in advance, so data movement, memory allocation, and kernel launches can be pipelined. That is where the nine-percent improvement over ZisK 0.16.1 comes from — not a breakthrough in polynomial math, but an engineering win in how the math touches silicon.

More importantly, the same computation graph runs on FPGAs and, eventually, on Cysic's dedicated ZK ASIC. The company has publicly claimed its ASIC can perform 1.33 million Keccak hash function evaluations per second, a hundred-fold improvement over typical GPU workloads, with roughly fiftyfold better energy efficiency. Internal estimates suggest a single purpose-built ZK Pro unit could replace roughly 50 GPUs while drawing a fraction of the power. If those numbers hold in production, the economics of proving shift from renting warehouse space full of RTX cards to operating a compact rack of specialized chips.

The Race to Sub-Twelve-Second Proving​

Venus did not arrive in a vacuum. Over the last twelve months, three teams have converged on the same milestone: proving Ethereum blocks in under the twelve-second slot time that defines real-time verification.

Succinct hit it first in public. SP1 Hypercube, announced in May 2025, proved 93 percent of a 10,000-block mainnet sample in real time using a 200-card RTX 4090 cluster. A November 2025 revision pushed the success rate to 99.7 percent using just sixteen RTX 5090 GPUs — a hardware cost reduction of roughly 90 percent in six months. The system is now live on Ethereum mainnet, producing proofs for every block as they are mined.

Cysic's number is even tighter on cost. Seven point four seconds with 24 GPUs puts end-to-end proving comfortably inside the slot time on commodity hardware. The current Venus release is open source, not audited for production, and still under active development. But the engineering trajectory suggests that a sub-ten-second proof on a consumer-grade cluster is now a matter of software tuning rather than fundamental architecture.

Per-proof costs have collapsed in lockstep. Industry benchmarks place the current best-case cost at roughly two cents per Ethereum block proof using 16x RTX 5090 hardware. The target for mass adoption is below one cent. A year ago, that same proof cost closer to a dollar. Three years ago, it was literally uneconomic — the gas fees on the settled rollup would not cover the prover's electricity bill. This is the kind of cost curve that quietly kills entire product categories, and it is accelerating.

The Marketplace Wars Are Already Here​

Cheap, fast proving does not automatically become accessible. Someone has to operate the hardware, match demand, price proof jobs, and settle payments. Three different architectural bets are now competing for that middleware layer.

Boundless, launched on mainnet by RISC Zero in September 2025, runs an auction marketplace. GPU operators bid to produce proofs, and the system routes work to the lowest cost qualified prover. The model borrows from spot compute markets like AWS Spot Instances and promises to drive proof costs toward marginal hardware cost. Boundless recently added Bitcoin settlement, which lets Ethereum and Base proofs verify on the Bitcoin base layer — a niche but meaningful expansion of where ZK attestations can live.

Succinct's Prover Network takes a different bet. Rather than pure auction, it operates a routing protocol with approved high-performance provers handling specific workloads. Cysic joined the network as a multi-node prover operator, running GPU clusters tuned for SP1 Hypercube production traffic. The arrangement suggests Succinct sees value in reliability and latency guarantees that a pure spot market cannot provide for consumer-facing rollups.

Cysic itself launched its mainnet and CYS token on December 11, 2025, and has since processed over ten million ZK proofs integrated with Scroll, Aleo, Succinct, ETHProof, and others. The network's pitch is "ComputeFi" — turning proving capacity into a liquid, onchain asset that operators can tokenize and stake. Whether this becomes a third major marketplace or settles into a supplier role for the two larger networks is the open question of 2026.

Why This Matters for Rollup Economics​

The punchline sits three layers down from the infrastructure news, in the unit economics of actual L2s. Today, a zkEVM rollup spends a meaningful fraction of its per-transaction costs on proof generation. Those costs get passed through to users as gas fees or eaten by the rollup operator as margin. Either way, they widen the gap between what a ZK rollup can charge and what an optimistic rollup charges for the same transaction.

If proof costs drop to sub-cent levels and proving latency fits inside Ethereum's slot time, that gap closes. A ZK rollup stops needing to charge a security premium. The user-facing experience becomes indistinguishable from an optimistic rollup — except that withdrawals settle in minutes rather than the seven-day challenge window that still friction-taxes every optimistic bridge.

That flip matters structurally because the largest pools of institutional liquidity still cite the optimistic-rollup withdrawal delay as a reason to stay on L1. Real-time ZK proving with marketplace-driven pricing removes the last functional argument against ZK-first rollup architecture. Every L2 team currently shipping an optimistic stack will face a serious technical review in 2026. Several will migrate, or at minimum ship a ZK fork of their sequencer.

What Still Might Break​

The Venus release is honest about its limitations. The code has not been audited for production use. Running unaudited prover software in a live rollup is the kind of decision that sinks careers if a soundness bug creates an invalid proof the verifier accepts. Expect production deployment to lag the open-source release by months, not weeks.

The hardware story also concentrates risk. If ASIC-based proving delivers the promised fiftyfold efficiency gain, a handful of fabricators will dominate prover hardware the way Bitmain dominated Bitcoin mining. That dynamic cuts against the decentralization narrative that justified ZK rollups in the first place. Cysic's ASIC roadmap is an answer to a compute problem, but it is a fresh question about who owns the chips that secure the world's largest smart contract platform.

Finally, real-time proving only matters if the rest of the stack keeps up. Data availability sampling via PeerDAS needs to actually work at production scale, not just in testnet benchmarks. Sequencer decentralization remains an unresolved problem across every major L2. Proving is necessary but not sufficient for the endgame, and the industry has a history of declaring victory on one layer while quietly papering over breakdowns in adjacent layers.

The Near-Term Inflection​

Zoom out and the pattern becomes clear. In May 2025, real-time Ethereum proving required a $400,000 GPU cluster and a nine-figure research budget. In April 2026, it runs on 24 commodity cards with open-source software. The next eighteen months will compress the cost curve further — toward ASIC economics, toward cent-level per-proof pricing, toward proof generation as a utility service rather than a bespoke infrastructure project.

For builders, the practical implication is that ZK-based architectures which were uneconomic in 2024 are worth re-evaluating now. Privacy-preserving transaction protocols, verifiable AI inference, cross-chain messaging with mathematical rather than multisig security, onchain identity with zero-knowledge credential disclosure — all of these sat behind a prover cost wall that is no longer there.

The Cysic Venus release, read alone, is a modest engineering update to an open-source proving backend. Read in the context of Succinct's Hypercube shipping to mainnet, Boundless running live proof auctions, and Fusaka's PeerDAS clearing the data availability bottleneck — it is the point where ZK infrastructure stops being the constraint and starts being the substrate. Every rollup thesis written before that transition needs a rewrite.

BlockEden.xyz provides enterprise-grade RPC and data infrastructure across 27+ chains including Ethereum L2s, Scroll, and Aptos. As real-time proving reshapes the L2 landscape, explore our API marketplace to build on reliable foundations for the ZK-native era.

Sources:

Share on Twitter