Starting this week, every block on Taiko mainnet is proven with zero-knowledge (ZK) proofs. Not someday but TODAY!

This achievement marks a step toward Stage 2 rollup maturity, the highest standard of decentralization defined by Vitalik Buterin and the Ethereum community. While implemented as a soft requirement today, every mainnet batch is already being proven with ZK in production.

In an industry where "decentralization roadmaps" often replace actual decentralization, Taiko is demonstrating that you can build infrastructure that's secure today, not eventually.

Our progress is driven by partnerships with two leading zkVM (zero knowledge Virtual Machine) providers: Succinct’s SP1 and Boundless‘s RISC0. Together, they unlock the breakthroughs needed for 100% ZK on Taiko:

• Flexible economics with Succinct, shifting from fixed-rate to usage-based pricing

• 100% ZK on-chain proving for all transactions using both SP1 and RISC0

SP1 provides centralized performance with seamless developer experience. Succinct’s managed service delivers 4–28x speedups over previous versions, reducing workloads from hours to minutes. This streamlined integration gives developers enterprise-grade proving without having to manage any infrastructure.

RISC0 by Boundless brings scalable decentralized proving. Its marketplace includes thousands of open provers equipped with GPUs, enabling verifiable computation over arbitrary code. This distributed design ensures resilience, cost efficiency, and strong cryptographic guarantees.

By combining a performance-optimized system with a decentralized one, Taiko ensures 24/7 reliability and rapid adoption of ZK innovations. With ZK-proven blocks and Taiko’s based rollup architecture, security becomes compounding and trust-minimized

1. Block Execution
Transactions submitted to Taiko are executed and organized into blocks, then grouped into batches for efficient proving.

2. zkVM Processing
Each batch is executed inside zkVM. Think of it as a transparent computer: it processes your transactions while simultaneously generating mathematical proof that every computation was performed correctly according to protocol rules.

The zkVM doesn't just verify, it creates unforgeable cryptographic receipts for every state transition.

3. Multiple Proving Options
Taiko maintains redundancy through multiple proving systems:

• SP1 (Succinct) - primary proving system

• RISC0 - backup system for resilience

This multi-vendor approach ensures 24/7 reliability while enabling us to quickly adopt improvements from the broader ZK ecosystem.

4. L1 Verification
Generated proofs are submitted to Ethereum L1, where verifier contracts check their validity. The beauty of ZK proofs: generating them takes minutes, but verifying takes milliseconds and saving gas considerably by using proof aggregation . This asymmetry makes ZK proofs perfect for rollup security，expensive to fake, cheap to verify.

The Ethereum community defines rollup maturity across three stages: Stage 0 rollups are controlled by a small team, Stage 1 systems introduce partial decentralization with safety guardrails, and Stage 2 represents full trust minimization where the protocol is secured entirely by code. Most rollups remain at Stage 0, and only a few have reached Stage 1. Stage 2 is the real endgame, and achieving it requires full-chain ZK proofs.

Reaching 100% ZK coverage is a long-term commitment. By achieving full ZK coverage now, Taiko ensures its security model will remain robust not only today, but as the ecosystem grows over the coming decade.

We're expanding Taiko’s proving ecosystem beyond SP1 and RISC0 to include others like Brevis, Zisk, and OpenVM, etc. This multi-provider design ensures redundancy, optionality, and fast access to proving innovations as the ZK landscape evolves.

With full-chain ZK already live, we're now optimizing the protocol, client, and node architecture to make proving native at every layer, reducing overhead, improving parallelism, and smoothing proving workflows so the system can scale as zkVM performance increases.

Our long-term direction is to turn ZK into invisible infrastructure: proofs generated continuously at the node layer, verification embedded at the protocol layer, and developers never needing to reason about circuits or proving systems, only that every transaction and state transition is secured by ZK by default.

Achieving 100% ZK coverage isn't just a Taiko milestone; it's a statement about what rollups should be.

In an industry where "decentralization" often means "eventual decentralization" and "trust-minimized" means "trust us for now," Taiko is taking a different approach:

• Secure today, not eventually

• Decentralized in practice, not just theory

• Proven through mathematics, not marketing

The future of Ethereum scaling is zero-knowledge.
And that future is being built on Taiko, one mathematically verified block at a time.

Join us

Explore open positions on our job board.

Get the latest from Taiko:

• Website: https://taiko.xyz.

• Discord: https://discord.gg/taikoxyz.

• GitHub: https://github.com/taikoxyz.

• Twitter: https://twitter.com/taikoxyz.

• Community forum: https://community.taiko.xyz.

• YouTube: https://www.youtube.com/@taikoxyz.

• Warpcast: https://warpcast.com/taikoxyz.

Contribute to Taiko on GitHub and earn a GitPOAP! You will also be featured as a contributor on our README. Get started with the contributing manual.