This month marked a giant leap in accessibility: the release of Ziren’s new verifier. Built from a single Rust codebase compiled to both native binaries and WASM for browsers, it supports STARK, Groth16, and Plonk proofs. Developers and users can now verify full Ethereum block proofs client-side, without custom infrastructure.
Independent verification is core to ZKM’s mission. By lowering verification friction, we’re widening who can check proofs - from researchers and builders to end users running nothing more than a browser.
The development was initially announced by the Ethereum Foundation led Ethproofs, after several months of close collaboration.
Dive in to the full details: https://www.zkm.io/blog/ziren-verifier-now-live-in-browser
Alongside verification, we detailed the inner workings of Ziren itself. “Ziren: The Hidden Engine” lays out how a MIPS32r2-based, GPU-accelerated, distributed zkVM sustains pipelined proving in production. The piece highlights the concept of proof longevity - designing circuits and infrastructure with Bitcoin’s permanence in mind, ensuring proofs remain valid and efficient years into the future.
Full breakdown: https://www.zkm.io/blog/ziren-the-hidden-engine
New major explainers joined ZKM’s growing technical library:
These explainers bridge abstract math into practical tools for building and optimizing provers.
At Frontier Tower in San Francisco, ZKM joined GOAT Network to deliver a developer-focused workshop on Ziren integration paths and upcoming features in ZKM's proving stack.
ZKM Co-founder & Chief Scientist Ming Guo, alongside COO Sophia Li and Education Lead Alice Liu, covered the evolution from Ziren’s initial build to powering GOAT’s real-time Bitcoin rollup, detailing the challenges and solutions of building a full proving pipeline.
The ZKM engineering team also participated in ETHVietnam and ETHShenzen, contributing to technical sessions on zkVM architecture, proof aggregation, and interoperability for the Vietnam and China builder communities.
ZKM’s Ming Guo joined House of ZK Radio for a wide-ranging discussion on ZK, Bitcoin, and decentralization. The episode explored the origins of ZK in Bitcoin, why early experiments like Zcash paved the way for today’s zkVMs, and how BitVM2 and GOAT Network extend those ideas into production.
Ming emphasized that ZK is not just about financial transactions - it enables a universal settlement network, where any computation can be verified and trusted. He argues that true decentralization must go beyond currency to include incentives, governance, and accountability, all enforced through verifiable compute. The conversation also revisited Satoshi’s original vision of Bitcoin as a peer-to-peer payment system, highlighting how zkRollups can reclaim that utility while preserving Bitcoin’s security guarantees.
Ziren’s proving pipeline is running in production, and now verification has moved into the browser. Research continues to translate complex primitives into efficient code, while workshops expand education across global developer communities.
Next steps focus on:
ZKM’s direction remains clear: build infrastructure that is fast, stable, and production-grade - and make verification accessible to all.
Build with confidence. Deploy without compromise.
Docs: https://docs.zkm.io/
GitHub: https://github.com/ProjectZKM/Ziren
Blog: https://zkm.io/blog
X: https://x.com/ProjectZKM
This month marked a giant leap in accessibility: the release of Ziren’s new verifier. Built from a single Rust codebase compiled to both native binaries and WASM for browsers, it supports STARK, Groth16, and Plonk proofs. Developers and users can now verify full Ethereum block proofs client-side, without custom infrastructure.
Independent verification is core to ZKM’s mission. By lowering verification friction, we’re widening who can check proofs - from researchers and builders to end users running nothing more than a browser.
The development was initially announced by the Ethereum Foundation led Ethproofs, after several months of close collaboration.
Dive in to the full details: https://www.zkm.io/blog/ziren-verifier-now-live-in-browser
Alongside verification, we detailed the inner workings of Ziren itself. “Ziren: The Hidden Engine” lays out how a MIPS32r2-based, GPU-accelerated, distributed zkVM sustains pipelined proving in production. The piece highlights the concept of proof longevity - designing circuits and infrastructure with Bitcoin’s permanence in mind, ensuring proofs remain valid and efficient years into the future.
Full breakdown: https://www.zkm.io/blog/ziren-the-hidden-engine
New major explainers joined ZKM’s growing technical library:
These explainers bridge abstract math into practical tools for building and optimizing provers.
At Frontier Tower in San Francisco, ZKM joined GOAT Network to deliver a developer-focused workshop on Ziren integration paths and upcoming features in ZKM's proving stack.
ZKM Co-founder & Chief Scientist Ming Guo, alongside COO Sophia Li and Education Lead Alice Liu, covered the evolution from Ziren’s initial build to powering GOAT’s real-time Bitcoin rollup, detailing the challenges and solutions of building a full proving pipeline.
The ZKM engineering team also participated in ETHVietnam and ETHShenzen, contributing to technical sessions on zkVM architecture, proof aggregation, and interoperability for the Vietnam and China builder communities.
ZKM’s Ming Guo joined House of ZK Radio for a wide-ranging discussion on ZK, Bitcoin, and decentralization. The episode explored the origins of ZK in Bitcoin, why early experiments like Zcash paved the way for today’s zkVMs, and how BitVM2 and GOAT Network extend those ideas into production.
Ming emphasized that ZK is not just about financial transactions - it enables a universal settlement network, where any computation can be verified and trusted. He argues that true decentralization must go beyond currency to include incentives, governance, and accountability, all enforced through verifiable compute. The conversation also revisited Satoshi’s original vision of Bitcoin as a peer-to-peer payment system, highlighting how zkRollups can reclaim that utility while preserving Bitcoin’s security guarantees.
Ziren’s proving pipeline is running in production, and now verification has moved into the browser. Research continues to translate complex primitives into efficient code, while workshops expand education across global developer communities.
Next steps focus on:
ZKM’s direction remains clear: build infrastructure that is fast, stable, and production-grade - and make verification accessible to all.
Build with confidence. Deploy without compromise.
Docs: https://docs.zkm.io/
GitHub: https://github.com/ProjectZKM/Ziren
Blog: https://zkm.io/blog
X: https://x.com/ProjectZKM
