This month marked a defining milestone for ZKM: the launch of Ziren - a heavily upgraded rebrand of zkMIPS.
Ziren is much more than just a new name. Built on a stable, constraint-efficient ISA (MIPS32r2), optimized with modular chips, and now accelerated with GPUs and distributed proving infrastructure, Ziren is designed to serve real engineering teams building real-world use cases. From Rust and C today to Golang tomorrow, developers can compile directly to verifiable programs without DSLs.
We published a full technical walkthrough of the stack - spanning constraint structure, recursion layers, proof compression, and verification - and released a hands-on project template for developers to build with Ziren today. A deep architectural explainer complements this, outlining the full journey from high-level code to Groth16 proof.
Ziren is already live in production environments. GOAT Network, a Bitcoin-native rollup built on BitVM2, is now the first L2 on Bitcoin to support pipelined real-time proving.
This implementation eliminates proof queues, accelerates finality, and enables operators to maintain capital efficiency under load. Instead of relying on trusted bridges or validator sets, GOAT’s Rollup enforces state transitions cryptographically - proving, aggregating, and verifying blocks in real time. Read the full article.
ZKM’s integration with GOAT Network was discussed in a joint interview with ZKM Co-founder Ming Guo and CTO Stephen Duan in a recent ZK Spaces episode. They unpacked the rebranding of Ziren, its new updates, and how its architecture underpins GOAT’s entire proving pipeline:
We published parts 2 and 3 of a three-part technical series explaining why ZKM chose MIPS32r2 over RISC-V. Each piece tackled a critical dimension of zkVM design:
This series has helped clarify a foundational decision behind Ziren’s design: build on stable primitives, or risk chasing a moving target. That’s why Ziren is built to last.
We took part in House of ZK’s developer-focused ZK Day in San Francisco during Crypto Summit Week - hosted at Frontier Tower and featuring speakers from Lita, The Prooflab, GOAT Network, Aztec, and Succinct.
ZKM Education Lead, Alice Liu, led a hands-on workshop titled “Building ZK & BTCFi Applications on ZKM.” It was tailored for developers new to ZK, focusing on real-world use cases and practical integration.
The event followed earlier education and onboarding efforts, where we released an overview and walkthrough of Ziren.
In the video, Alice covers what Ziren is, how it works in practice, and how to go from setting up the toolchain to generating proofs and verifying them on-chain. The walkthrough includes context, commands, and architectural insight. If you’re new to developing with Ziren, this is where to get started:
Our latest research article introduced Jagged Polynomial Commitments - a method to efficiently commit and verify sparse matrices with variable column heights. This structure is essential for recursive zkVMs with dynamic depth, and forms part of Ziren’s long-term roadmap for proof composability.
Read the full article.
Ziren is now live. GOAT Network’s real-time proving is live. And the ZKM architecture - spanning the ISA, constraint system, proving pipeline, and recursion layers - is in the hands of real builders.
Optimizations are ongoing. Education is expanding. And the commitment remains the same: build general-purpose ZK infrastructure that’s fast, stable, and production-grade.
Build with Confidence. Deploy without compromise. Get started today: github.com/ProjectZKM/Ziren
Subscribe to the ZKM Blog to stay updated with the latest research by ZKM.
Explore the docs: https://docs.zkm.io/
Start building: https://github.com/ProjectZKM/Ziren
Follow on X: https://x.com/ProjectZKM
This month marked a defining milestone for ZKM: the launch of Ziren - a heavily upgraded rebrand of zkMIPS.
Ziren is much more than just a new name. Built on a stable, constraint-efficient ISA (MIPS32r2), optimized with modular chips, and now accelerated with GPUs and distributed proving infrastructure, Ziren is designed to serve real engineering teams building real-world use cases. From Rust and C today to Golang tomorrow, developers can compile directly to verifiable programs without DSLs.
We published a full technical walkthrough of the stack - spanning constraint structure, recursion layers, proof compression, and verification - and released a hands-on project template for developers to build with Ziren today. A deep architectural explainer complements this, outlining the full journey from high-level code to Groth16 proof.
Ziren is already live in production environments. GOAT Network, a Bitcoin-native rollup built on BitVM2, is now the first L2 on Bitcoin to support pipelined real-time proving.
This implementation eliminates proof queues, accelerates finality, and enables operators to maintain capital efficiency under load. Instead of relying on trusted bridges or validator sets, GOAT’s Rollup enforces state transitions cryptographically - proving, aggregating, and verifying blocks in real time. Read the full article.
ZKM’s integration with GOAT Network was discussed in a joint interview with ZKM Co-founder Ming Guo and CTO Stephen Duan in a recent ZK Spaces episode. They unpacked the rebranding of Ziren, its new updates, and how its architecture underpins GOAT’s entire proving pipeline:
We published parts 2 and 3 of a three-part technical series explaining why ZKM chose MIPS32r2 over RISC-V. Each piece tackled a critical dimension of zkVM design:
This series has helped clarify a foundational decision behind Ziren’s design: build on stable primitives, or risk chasing a moving target. That’s why Ziren is built to last.
We took part in House of ZK’s developer-focused ZK Day in San Francisco during Crypto Summit Week - hosted at Frontier Tower and featuring speakers from Lita, The Prooflab, GOAT Network, Aztec, and Succinct.
ZKM Education Lead, Alice Liu, led a hands-on workshop titled “Building ZK & BTCFi Applications on ZKM.” It was tailored for developers new to ZK, focusing on real-world use cases and practical integration.
The event followed earlier education and onboarding efforts, where we released an overview and walkthrough of Ziren.
In the video, Alice covers what Ziren is, how it works in practice, and how to go from setting up the toolchain to generating proofs and verifying them on-chain. The walkthrough includes context, commands, and architectural insight. If you’re new to developing with Ziren, this is where to get started:
Our latest research article introduced Jagged Polynomial Commitments - a method to efficiently commit and verify sparse matrices with variable column heights. This structure is essential for recursive zkVMs with dynamic depth, and forms part of Ziren’s long-term roadmap for proof composability.
Read the full article.
Ziren is now live. GOAT Network’s real-time proving is live. And the ZKM architecture - spanning the ISA, constraint system, proving pipeline, and recursion layers - is in the hands of real builders.
Optimizations are ongoing. Education is expanding. And the commitment remains the same: build general-purpose ZK infrastructure that’s fast, stable, and production-grade.
Build with Confidence. Deploy without compromise. Get started today: github.com/ProjectZKM/Ziren
Subscribe to the ZKM Blog to stay updated with the latest research by ZKM.
Explore the docs: https://docs.zkm.io/
Start building: https://github.com/ProjectZKM/Ziren
Follow on X: https://x.com/ProjectZKM
