ZK Industry News: July 3rd to 9th, 2025

✨ ZK-Newsflash! ✨
We're bringing you industry highlights each week so you can stay aligned with the latest developments in ZK.
Here's what happened from July 3rd to 9th, 2025.
RJ and Diego Fernandez, from Aligned and Sovra, discussed the use of Ethereum for digital identity on The Rollup
Aligned and Sovra co-founders chatted with Robbie about how 700K citizens now store government documents in crypto wallets, why Ethereum beats private blockchains, and how the Trust Stack drives global adoption.
In this @therollupco episode, our founder @rj_aligned and @sovraio founder @fernandezdiego break down how Buenos Aires put 700K+ citizens onchain — and why Ethereum beat every private blockchain for the job. https://t.co/AUCdvLfltH
— Aligned (@alignedlayer) July 9, 2025
Kakarot team shared insights on building CairoM, a mobile-first ZK stack using StarkWare's S-two
It enables client-side ZK proofs on smartphones and laptops. This enhances privacy, decentralization, and accessibility. S-two’s powerful proving engine makes ZK proofs possible on everyday devices, unlocking real-time privacy protection.
🥕 The future isn't just about making ZK faster. It's about making it accessible 📲
— Kakarot (@KakarotZkEvm) July 4, 2025
1 month after S-two's launch, we're generating ZK proofs... on your phone. We demo'd it all week at EthCC, and the feedback? 🔥
Client-side ZK proofs are the privacy game-changer: age… https://t.co/TONpyGIT18
Ingonyama introduced IMP1, a mobile-optimized framework for zero-knowledge proofs on iOS and Android
Built on the fast ICICLE-SNARK engine, it offers up to 3x faster proving than alternatives. With minimal dependencies, open-source access, and seamless APIs, IMP1 brings advanced cryptography to mobile devices.
🚨 Introducing IMP1 – Zero-knowledge proofs on mobile, made simple.
— Ingonyama (@Ingo_zk) July 2, 2025
Built with ICICLE, IMP1 is a lightweight, open-source, mobile-first proving framework for iOS and Android.
✅ Up to 3× faster than RapidSnark
✅ Powered by ICICLE-SNARK
✅ Groth16 optimized for mobile
✅… https://t.co/Gpvbctj3qq
ZKM has rebranded zkMIPS to Ziren, a high-performance zkVM designed for real-world use
Ziren offers GPU acceleration, distributed proving, and optimizations with zero-knowledge guarantees. It compiles languages like Rust, C, and Go, providing faster proofs and scalable, fault-tolerant infrastructure for blockchain applications.
Introducing Ziren (formerly zkMIPS)
— ZKM (@ProjectZKM) July 7, 2025
The most performant general-purpose zkVM on CPU, now scaled with GPU, distributed proving, and more.
Build with confidence. Deploy without compromise 🟠
Full context: https://t.co/VLTqRRJ4i0
Technical updates: https://t.co/7fXYJXjn6o pic.twitter.com/dgqo63SeZH
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto