ZK Industry News: April 24th to 30th, 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 April 24th to 30th, 2025.
Miden announced their $25 million seed fundraise and shared a technical overview of how they're building the Edge Blockchain
Miden will support public and private transactions, ensure safety, and avoid new languages; preserving self-custody and censorship resistance for trustless global value transfer.
Introducing Miden, the Edge Blockchain.
— Miden (@0xMiden) April 29, 2025
Today, we announce our $25 million seed fundraise and spinout from @0xPolygon. pic.twitter.com/ita7OzW4JQ
Lita proposed the Valida ISA extension to replace EVM
This aims to speed up transaction execution, reduce proof costs, and simplify verification.
Re: @VitalikButerin’s proposal
— Lita (@0xLita) April 24, 2025
Why we think Custom ISA > RISC-V for Ethereum’s future. https://t.co/ujXUV6TdW6
Kakarot delivered Ethereum's first alternative ZK stack, aiming for real-time STARK proofs on L1 by end-2025
They've implemented the Ethereum State Transition Function in Cairo, enabling a novel approach to generating proofs of Ethereum L1 blocks.
— Kakarot ZK-EVM (@KakarotZkEvm) April 29, 2025
LayerZero and Succinct introduced vApps: Verifiable Applications at Internet Scale
It's a Rust-based framework that enables apps with internet-grade performance. With zkVM: 832× fewer cycles than EVM, 95.7% less proving cycles, 30× GPU throughput, 346MB→1.5MB proof compression.
Introducing vApps: Verifiable Applications at Internet Scale
— LayerZero (@LayerZero_Core) April 24, 2025
vApp is a Rust-based development framework for applications to build on crypto rails with internet-grade performance.
When implemented with a zkVM, benchmark results show consistently high performance:
• Up to 832×… pic.twitter.com/9HRTjrxNtK
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto