This month we shipped Ziren v1.2.0 (interop + DX), open-sourced GPU prover binaries for reproducible acceleration, verified determinism in Ziren’s arithmetic core with Veridise, and outlined an x402 infrastructure path for agent-native payments.
The focus has been on making Ziren easier to integrate, easier to verify, and faster to run.
We shipped Ziren v1.2.0 with a focus on interoperability and developer experience: compressed→Groth16 conversion, a no-std STARK verifier (with verify_proof()), and network prover upgrades (cycle tracking, ELF-based proving). A new zkm CLI streamlines proving/verification. The release adds Go guest support (first step toward Linux ABI), Bitcoin guest examples, and Poseidon2/AES-128 precompiles—alongside security patches and expanded docs.
Release notes: zkm.io/blog/ziren-v1-2-0
Following the v1.2.0 update, we open-sourced Ziren’s GPU prover binaries to improve reproducibility and widen access to accelerated proving - foundational for community testing and the upcoming ZKM Proof Network. External operators are welcome.
This milestone is recorded as “binary open-sourced” on Ethproofs.org. Full GPU code is planned for H1 2026.
Try it now (CUDA setup & requirements): docs.zkm.io/dev/prover.html#hardware-acceleration
Veridise has verified determinism for Ziren’s arithmetic core using the Picus framework. Via a Plonky3→LLZK extraction into AuditHub, the AddSub chip (add/sub) was confirmed deterministic in ~2 seconds.
The next phase wil extend coverage to larger components and integrate automated checks in workflow.
Full details: zkm.io/blog/verifying-determinism-in-zirens-arithmetic-core
The Metis-GOAT Network-Laz AI-ZKM ecosystem revealed how we’re building a complete infrastructure for x402 - payment, attribution, cross-chain routing, and cryptographic verification - so agent-native micropayments are trustless end-to-end.
We released an article detailing ZKM’s role as the verifiable facilitator: Ziren produces proofs for each payment/attribution/split, with light-client verification before fulfillment.
Full details of ZKM’s role in enabling a complete infrastructure for x402: zkm.io/blog/verifying-x402-a-complete-infrastructure-for-the-internets-trustless-value-layer
House of ZK Radio hosted ZKM Co-founder Ming Guo to discuss the MIPS32r2 choice for Ziren, real-time proving for ZK+AI, and socially-incentivized, verifiable data with Laz AI.
Watch the full episode: hozk.io/radio#81-ming-guo-co-founder-of-zkm
ZKM CTO Stephen Duan will be mentoring at both Invisible Garden and at Ethereum Argentina’s hackathon during November's DevConnect. He’ll also be speaking at Brevis’s ZKonnect and House of ZK’s Verifying Intelligence.
ZKM will sponsor the latter event, with Co-founder Ming Guo and Education Lead Alice Liu heavily involved in the speaking program. More details: luma.com/xevcy7za
Docs: docs.zkm.io • Repo: github.com/ProjectZKM/ziren • GPU setup: docs.zkm.io/dev/prover.html#hardware-acceleration
Questions or integrations: open an issue, or contact us via Discord.
This month we shipped Ziren v1.2.0 (interop + DX), open-sourced GPU prover binaries for reproducible acceleration, verified determinism in Ziren’s arithmetic core with Veridise, and outlined an x402 infrastructure path for agent-native payments.
The focus has been on making Ziren easier to integrate, easier to verify, and faster to run.
We shipped Ziren v1.2.0 with a focus on interoperability and developer experience: compressed→Groth16 conversion, a no-std STARK verifier (with verify_proof()), and network prover upgrades (cycle tracking, ELF-based proving). A new zkm CLI streamlines proving/verification. The release adds Go guest support (first step toward Linux ABI), Bitcoin guest examples, and Poseidon2/AES-128 precompiles—alongside security patches and expanded docs.
Release notes: zkm.io/blog/ziren-v1-2-0
Following the v1.2.0 update, we open-sourced Ziren’s GPU prover binaries to improve reproducibility and widen access to accelerated proving - foundational for community testing and the upcoming ZKM Proof Network. External operators are welcome.
This milestone is recorded as “binary open-sourced” on Ethproofs.org. Full GPU code is planned for H1 2026.
Try it now (CUDA setup & requirements): docs.zkm.io/dev/prover.html#hardware-acceleration
Veridise has verified determinism for Ziren’s arithmetic core using the Picus framework. Via a Plonky3→LLZK extraction into AuditHub, the AddSub chip (add/sub) was confirmed deterministic in ~2 seconds.
The next phase wil extend coverage to larger components and integrate automated checks in workflow.
Full details: zkm.io/blog/verifying-determinism-in-zirens-arithmetic-core
The Metis-GOAT Network-Laz AI-ZKM ecosystem revealed how we’re building a complete infrastructure for x402 - payment, attribution, cross-chain routing, and cryptographic verification - so agent-native micropayments are trustless end-to-end.
We released an article detailing ZKM’s role as the verifiable facilitator: Ziren produces proofs for each payment/attribution/split, with light-client verification before fulfillment.
Full details of ZKM’s role in enabling a complete infrastructure for x402: zkm.io/blog/verifying-x402-a-complete-infrastructure-for-the-internets-trustless-value-layer
House of ZK Radio hosted ZKM Co-founder Ming Guo to discuss the MIPS32r2 choice for Ziren, real-time proving for ZK+AI, and socially-incentivized, verifiable data with Laz AI.
Watch the full episode: hozk.io/radio#81-ming-guo-co-founder-of-zkm
ZKM CTO Stephen Duan will be mentoring at both Invisible Garden and at Ethereum Argentina’s hackathon during November's DevConnect. He’ll also be speaking at Brevis’s ZKonnect and House of ZK’s Verifying Intelligence.
ZKM will sponsor the latter event, with Co-founder Ming Guo and Education Lead Alice Liu heavily involved in the speaking program. More details: luma.com/xevcy7za
Docs: docs.zkm.io • Repo: github.com/ProjectZKM/ziren • GPU setup: docs.zkm.io/dev/prover.html#hardware-acceleration
Questions or integrations: open an issue, or contact us via Discord.
