ZK Industry News: June 19th to 25th, 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 June 19th to 25th, 2025.
StarkWare x Giza: Powering LuminAIR with S-two for Verifiable Machine Learning
They announced the integration of StarkWare’s S-two prover in LuminAIR, enhancing the zkML framework to ensure verifiable AI computations for decentralized, autonomous systems.
S-two is unlocking integrity for onchain AI.@gizatechxyz is building verifiable agents for DeFi with LuminAIR, a zkML framework that compiles ML models into STARK-proven computation.
— StarkWare 🐺🐱 (@StarkWareLtd) June 18, 2025
Discover how Giza is leveraging S-two to make every AI action provable 👇 pic.twitter.com/xASUSzTWRK
ZKsync introduced Airbender: the world’s fastest open-source RISC-V zkVM
It’s up to 6x faster than its closest competitor. On a single GPU, it proves Ethereum blocks in under 35 seconds, enabling decentralized proving, cost reductions, and real-time cross-chain coordination.
Ready to prove Ethereum in seconds on a single GPU?
— ZKsync (∎, ∆) (@zksync) June 24, 2025
Introducing ZKsync Airbender:
The world’s fastest open-source RISC-V zkVM ⚡️ pic.twitter.com/8OZBmhUjRo
ZisK's team achieves a 1.5GHz RISC-V zkVM trace generation
By using custom x86 assembly and ahead-of-time compilation, they approach native CPU speeds. This reduces GPU needs for real-time proving and paves the way for future ASIC-based trace generation.
Major RISC-V zkVM breakthrough!
— Ethproofs (@eth_proofs) June 23, 2025
The ZisK team hit 1.5GHz trace generation—10x faster than other RISC-V zkVMs. A huge unlock for the space, and it's fully open source.
With zkVMs almost all proving can be parallelised, e.g. farmed across a cluster of GPUs. The exception is the… pic.twitter.com/6hyvGoYLyN
Privacy & Scaling unveils zkPDF: Verifiable PDFs with Zero-Knowledge Proofs
It's a library that enables verifiable digital signatures on PDFs, offering selective proof capabilities without exposing the full document.
🔓 Introducing zkPDF: a new library for making PDFs verifiable with zero-knowledge proofs.
— Privacy & Scaling Explorations (@PrivacyScaling) June 14, 2025
PDF Association estimates +90% all signed documents in the world are PDFs, growing 25% annually, what if we can unlock them?
We built zkPDF to provide digital signature checks with…
A New EIP Proposed Shortening Ethereum's Slot Time for Better UX & Efficiency
The proposal by Dankrad Feist, Barnabe Monnot, Ben Adams, and Julian Ma suggests reducing Ethereum's slot time from 12 to 6 seconds to enhance interoperability, lower fees, and boost network performance.
Shorter slot times are the highest priority for Glamsterdam IMO
— Dankrad Feist (@dankrad) June 20, 2025
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
