ZK Industry News: July 10th to 16th, 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 10th to 16th, 2025.
Boundless Mainnet Beta is Live
With the launch, they introduced The Signal—an open-source ZK consensus client designed to prove all chains. It enables direct access to Ethereum state for any chain, contract, or app.
Boundless Mainnet Beta is Live.
— Boundless (@boundless_xyz) July 15, 2025
With it, we are launching The Signal: an industry-wide collaboration to ZK prove all chains.
A new era of scaling and interoperability starts now. pic.twitter.com/uo65WKmCh3
Sophia Gold‘s recent blog post outlines the Ethereum Foundation’s plan to ship an L1 zkEVM
It aims for ZK clients to verify execution proofs after Glamsterdam’s release next year. The proposal includes defining security requirements for zkVMs and emphasizes real-time proving with low power consumption to enable home-based validators.
0/ L1 zkEVMs are coming soon to Ethereum mainnet. They will allow us to significantly scale the gas limit and enable native zk-rollups without sacrificing the levels of security, liveness, and censorship-resistance that make Ethereum unique. https://t.co/SQY3oPGNx8
— Sophia Gold (@_sophiagold_) July 10, 2025
Zisk team released v0.9.0 of its zkVM: Packed with major improvements, optimizations & bug fixes
Still under active development, key features include GPU optimizations and various improvements on the executor. Mac support is coming soon.
📢 We’ve just released Zisk v0.9.0 — an important update with many improvements, optimizations, and bug fixes.
— ziskvm (@ziskvm) July 11, 2025
It’s a meaningful step forward, and we’re steadily continuing to improve.
📦 https://t.co/WDuDaMgI4k#ZK #zkVM #Ethereum #Zisk @eth_proofs pic.twitter.com/tEdXTkCa77
Lita open-sourced Valida VM
Valida 0.10.0 is now open-source under Apache 2 & MIT licenses. Key updates include multi-segment proving, Ethereum block proving, and Rust 1.86 support.
Congrats @0xLita for open-sourcing Valida VM 🎉
— Ethproofs (@eth_proofs) July 11, 2025
Only Valida and Miden target Ethproofs in 2025 with custom zk-friendly ISAs—high risk, high reward 💪 pic.twitter.com/s6zskbTwuW
Starknet is now integrated with 140+ chains via Hyperlane
It enables builders to create custom bridges across the multichain universe. The first use cases go live soon. Launch interchain apps, tokens, and bridges across 140+ chains, including EVM, Solana, and more.
Starknet is now connected to +140 chains.
— Starknet 🐺🐱 (@Starknet) July 11, 2025
With @hyperlane integration, builders can deploy custom bridges across the multichain universe.
First use cases go live in the coming weeks. pic.twitter.com/eR66Nykmb9
Ingonyama introduced Labrador, a lattice based prover, powered by the newly released ICICLE v4.0.0
ICICLE v4 introduced support for common lattice primitives, which Ingonyama used to create a simple, highly readable C++ implementation of the Labrador protocol — the first practical lattice-based zkSNARK.
Introducing Labradorrrr 🏎️💨
— Ingonyama (@Ingo_zk) July 14, 2025
Our blazing-fast, home-made, GPU-native, lattice based prover, powered by ICICLE v4.
Code: https://t.co/ot8iGBwqR2
(Note: Expect breaking changes as we finalize for production and boost performance even more!) https://t.co/SBvyGj8Rdc pic.twitter.com/lXxLp3AY0n
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
