Ziren v1.2.0 is live. What's new? Compressed→Groth16, no-std STARK verifier + verify_proof(), network prover cycle introspection/ELF IDs/config, zkm cli, @golang guest (toward Linux ABI), Bitcoin guest + BitVM2 headerchain proving, Poseidon2 + AES-128 precompiles, and more.

“Ziren is complex. Manual audits matter, but continuous automated verification is just as critical.” - @sd_eigen, CTO of @ProjectZKM In episode #95 (recorded at @EFDevcon), ZKM CTO Stephen Duan explains why securing a zkVM requires more than periodic audits - it demands a

What Is Ziren Optimized For? The Ziren stack is tuned around three concrete classes of systems: • Trust-minimized rollups (@Ethereum, @Bitcoin, and cross-chain) • Trust-minimized agent payments and x402 infrastructure • Privacy-enhanced variants of (1) and (2), which are

Veridise built a custom translation pipeline to analyze Ziren’s MIPS-based architecture, allowing their Picus verifier to systematically test constraint soundness across the VM’s instruction set, precompiles, and emulation logic. For ZKM, this audit is the beginning of a

On Ziren: "The backend infrastructure we've been building for the past three years can accelerate the x402 implementation in the whole @MetisL2 ecosystem. That's our advantage: we already have the tech that we need." - @kevinliub, CEO of ZKM

Did you know? When ZKM started building Ziren (formerly zkMIPS), @RiscZero was the only other publicly known general-purpose zkVM builder. Today there are 30+ zkVMs - but Ziren is still the only one using the MIPS architecture. MIPS was the harder path for our engineers due to

What Is Ziren? Modern systems keep pushing more and more logic off-chain: • Rollups and L2s move execution off the base layer. • Bitcoin L2s and BitVM constructions run complex state machines off Bitcoin. • Agent and x402 payment systems execute settlement and attribution

This Verifying Intelligence 3.0 panel - User Data Privacy - asks whether privacy is an essential requirement for AI and what must be provable by default - covering consent, purpose binding, data minimization, and resistance to inference attacks. The panelists compare where ZK

Excited to be part of the ZKM verification work!! 🙌

@brevis_zk @DelphinusLab @a16zcrypto @SuccinctJT @eth_proofs @0xMiden @NexusLabs @BruestleJeremy @RiscZero @SuccinctLabs @ethereum @ziskvm ZKM 🔹 Audit 🔹 ZKM's Ziren is undergoing an audit by @VeridiseInc, using its Picus verification platform: https://t.co/VAR4UxOj1n Veridise adapted Ziren’s Plonky3 constraints and ran analyses through @AuditHubDev. Initial results confirmed deterministic behavior for addition

The future of both Bitcoin and Ethereum is ZK.

“The future is AI blended into your apps and into your life. But if it needs intimate data to serve you well, you need zero-knowledge and other security technologies wrapped around it.” - @DacEconomy, Co-founder of @ProjectZKM Today’s large language models already sit in our

ZKM Co-founder @DacEconomy joined the AI & Work panel at @EFDevcon's Verifying Intelligence, outlining why the next phase of AI requires verifiable compute rather than trust-based execution - and why zkVMs like Ziren will be the critical infrastructure enabling this. As AI

Independent teams, unified ecosystem. @kevinliub explains @LazAINetwork, @GOATRollup, and @ProjectZKM each have dedicated teams to penetrate certain areas. Stronger together🦾

Buenos Aires, thank you for having us 🇦🇷 The ZKM team would like to thank all of our @EFDevcon partners for hosting us: @brevis_zk, @invisiblgarden, @HouseofZK, @EtherArgentina, @ethereumfndn, @Starknet, @StarkWareLtd, @build_on_bob, @babylonlabs_io, @zk_monk, and more 🤝 Read

https://t.co/ITTvVGaAJm

Happening live on the main stage at StarkConnect by Starknet Foundation!🧉🇦🇷 Our Core Contributor and CTO of @projectZKM, @sd_eigen, just took the stage alongside @simanta_gautam (@AlpenLabs), @AdamBorco (@atomiqlabs) & @bsturisky (@StarknetFndn) to discuss “Scaling Bitcoin!

ZKM is a proud sponsor of @EtherArgentina's hackathon - happening now at @EFDevcon 🇦🇷 It's not too late to join CTO @sd_eigen and Education Lead @alicelingl at this developer-focused event in Buenos Aires: https://t.co/qlUSwpVGLa

Verifying Intelligence 3.0 at @EFDevcon wouldn't have been possible without our sponsors - @ZKVProtocol, @VeridiseInc, @Starknet, @ProjectZKM, @0G_labs, @OntologyNetwork, @MinaProtocol, & @EtherArgentina - and of course our cohosts, @brevis_zk & @invisiblgarden 🫂 Look out for

Catch ZKM CTO @sd_eigen today at StarkConnect 🐺 He'll be discussing how to optimally scale Bitcoin with @AlpenLabs CEO @simanta_gautam, @atomiqlabs CTO @AdamBorco, and @Starknet's @bsturisky. Registration link below 👇