zkMIPS 1.0 introduced a performant, auditable zkVM with leading CPU-based benchmarks. But proving on CPU alone is not enough. Scaling real-world ZK applications requires more than raw throughput - it demands accelerated proving, distributed systems, and a clean developer experience.
Enter Ziren - the next major release of ZKM's zkVM, formerly known as zkMIPS. This rebrand and upgrade mark the transition from years of building, testing, and optimizing, to a fully scalable, production-ready, and developer-friendly ZK proving infrastructure.
Ziren = zkMIPS v1.1.0 with GPU + Network Prover
This is the update developers have been waiting for:
With these advancements, Ziren launches as a truly production-ready proving system - capable of supporting blockchain-integrated use cases at scale.
The core proving pipeline is now GPU-accelerated, resulting in massive speedups:
This reduces latency across all proving stages, bringing Ziren performance closer to real-time and enabling high-frequency applications.
Ziren introduces the Network Prover:
This upgrade allows Ziren to be deployed as a distributed proving service, aligned with modular blockchain and rollup architectures.
Significant efficiency upgrades have been made across the constraint system:
These improvements reduce proof complexity and boost proving speed and reliability. The dense opcodes of MIPS32r2 mean smaller circuits, fewer constraints, and ultimately faster proofs.
From the standpoint of building the zkVM, it's the harder path to implement vs using RISC-V, but the optimal one for zero-knowledge applications. With the Ziren release, that payoff becomes tangible.
The new toolchain version (20250522) improves the developer experience:
With the release of Ziren, developers can now compile and verify applications with higher performance and better ecosystem compatibility.
These upgrades optimize Ziren integration into blockchain systems and broaden supported use cases.
All changes contribute to a more secure and consistent proving environment.
Ziren brings us close to the long-standing goal of real-time ZK proving. Verifiable on ethproofs.org, we doubled the total proof throughput by optimizing both stages of the pipeline: state preparation and proof generation. By switching the guest program from Revm to Reth and applying an in-parallel account state fetching strategy - combined with debug_traceBlock RPC calls - we reduced block state prep time from ~5 minutes to under 30 seconds.
This part of the stack is fully open source, and demonstrates the practical trajectory Ziren is on: from high-performance to low-latency, production-grade proving.
Ziren is the result of years of low-level engineering and zero-knowledge research converging into a single, production-ready system. With GPU acceleration, distributed proving, constraint optimizations, and hardened stability, Ziren isn’t just faster - it’s provably better.
For developers building trust-minimized systems that need real performance - whether on Ethereum, Bitcoin (via BitVM2), or across chains - Ziren delivers. Start writing in Rust. Compile to MIPS. Let Ziren handle the rest.
Build with confidence. Deploy without compromise.
zkMIPS 1.0 introduced a performant, auditable zkVM with leading CPU-based benchmarks. But proving on CPU alone is not enough. Scaling real-world ZK applications requires more than raw throughput - it demands accelerated proving, distributed systems, and a clean developer experience.
Enter Ziren - the next major release of ZKM's zkVM, formerly known as zkMIPS. This rebrand and upgrade mark the transition from years of building, testing, and optimizing, to a fully scalable, production-ready, and developer-friendly ZK proving infrastructure.
Ziren = zkMIPS v1.1.0 with GPU + Network Prover
This is the update developers have been waiting for:
With these advancements, Ziren launches as a truly production-ready proving system - capable of supporting blockchain-integrated use cases at scale.
The core proving pipeline is now GPU-accelerated, resulting in massive speedups:
This reduces latency across all proving stages, bringing Ziren performance closer to real-time and enabling high-frequency applications.
Ziren introduces the Network Prover:
This upgrade allows Ziren to be deployed as a distributed proving service, aligned with modular blockchain and rollup architectures.
Significant efficiency upgrades have been made across the constraint system:
These improvements reduce proof complexity and boost proving speed and reliability. The dense opcodes of MIPS32r2 mean smaller circuits, fewer constraints, and ultimately faster proofs.
From the standpoint of building the zkVM, it's the harder path to implement vs using RISC-V, but the optimal one for zero-knowledge applications. With the Ziren release, that payoff becomes tangible.
The new toolchain version (20250522) improves the developer experience:
With the release of Ziren, developers can now compile and verify applications with higher performance and better ecosystem compatibility.
These upgrades optimize Ziren integration into blockchain systems and broaden supported use cases.
All changes contribute to a more secure and consistent proving environment.
Ziren brings us close to the long-standing goal of real-time ZK proving. Verifiable on ethproofs.org, we doubled the total proof throughput by optimizing both stages of the pipeline: state preparation and proof generation. By switching the guest program from Revm to Reth and applying an in-parallel account state fetching strategy - combined with debug_traceBlock RPC calls - we reduced block state prep time from ~5 minutes to under 30 seconds.
This part of the stack is fully open source, and demonstrates the practical trajectory Ziren is on: from high-performance to low-latency, production-grade proving.
Ziren is the result of years of low-level engineering and zero-knowledge research converging into a single, production-ready system. With GPU acceleration, distributed proving, constraint optimizations, and hardened stability, Ziren isn’t just faster - it’s provably better.
For developers building trust-minimized systems that need real performance - whether on Ethereum, Bitcoin (via BitVM2), or across chains - Ziren delivers. Start writing in Rust. Compile to MIPS. Let Ziren handle the rest.
Build with confidence. Deploy without compromise.
