ZK Industry News: May 1st to 7th, 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 May 1st to 7th, 2025.
Pectra upgrade is live on Ethereum!
It provides enhanced smart wallet UX, 2x L2 scaling blobs, and improved validator UX.
0/ the biggest ethereum upgrade since the merge is coming.
— Ethereum.org (@ethereum) May 6, 2025
and this time, you’ll feel it.
it’s called pectra and here’s why it matters
a guest thread by @binji_x ↓ pic.twitter.com/xhn1kt3qgG
Vitalik Buterin published an article explaining plans to simplify the L1
The post outlines a way forward to simplify the Ethereum protocol, accepting short-term costs for long-term benefits.
Simplifying the L1https://t.co/fVbQCkheX9
— vitalik.eth (@VitalikButerin) May 3, 2025
Google adopted zero-knowledge technology to enable age verification through Google Wallet
Its approach combines the Ligero ZK system and the GKR protocol. This work was pioneered by a paper published in late 2024, Anonymous Credentials from ECDSA.
Google introduced a way to prove your age with your google wallet using Zero-Knowledge Proofs (ZKP)
— Ligero Inc. (@ligero_inc) May 2, 2025
(https://t.co/OIs5GREsaz). This work was pioneered by Matteo Frigo and abhi shelat (https://t.co/x3Ak3s5ebg) and uses a clever combination of Ligero (designed by founders of…
RISC Zero has introduced Steel 2.0, a ZK-coprocessor for the EVM
It offloads execution offchain, where you can aggregate data, run complex logic, and compute over multiple blocks and historical state, returning a small proof onchain. EVM contracts verify it with constant gas, regardless of computation size.
Introducing Steel 2.0
— RISC Zero (@RiscZero) April 29, 2025
The EVM no longer decides how big your app can be.
Go beyond the block. pic.twitter.com/0nKRgI8Ri2
ZKM announced zkMIPS 1.0: The first production-ready version of its MIPS-based zkVM
This upgrade boosts zkMIPS 0.3.0 performance with new architecture, optimized proving, memory checks, chip decomposition, and precompiles for a simple, stable, scalable real-time verifiable computation foundation.
zkMIPS 1.0 is here - our most significant leap toward real-time proving, following months of careful engineering and system-level breakthroughs: https://t.co/nKmLFsajIp pic.twitter.com/EKeuE5DxEZ
— ZKM (@ProjectZKM) May 6, 2025
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto