ZK Industry News: March 20th to 26th, 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 March 20th to 26th, 2025.
StarkWare published an article outlining the importance of incentivized integrity and public verifiability in the development of social constructs
This Eli Ben-Sasson article explains how blockchain technology has transformed the concept of money, the impact of Bitcoin and Ethereum, and how ZK technology, specifically STARK proofs, can enhance their uses.
Governments print it. Banks control it. Satoshi liberated it.
— StarkWare 🐺🐱 (@StarkWareLtd) March 21, 2025
But he didn’t just create internet money; he redefined trust.
Here’s @EliBenSasson’s take on why that matters 🫳https://t.co/XjhoAvo8i7
RISC Zero posted its path to the first formally verified RISC-V zkVM
They are leveraging Veridise's Picus tool to formally verify determinism across components of the zkVM, aiming to create a solution that is not only incredibly fast but also provably secure.
RISC Zero is building the first formally verified RISC-V zkVM.
— RISC Zero 🟡 (@RiscZero) March 21, 2025
Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits.
Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise. pic.twitter.com/GbvCltzcV1
ZK Podcastt: Exploring the latest developments and real-world applications of the ZK Email protocol
In this episode, Anna Rose chatted with Yush from ZK Email to explore how this project serves as a bridge between Web2 and Web3, as well as novel use cases for ZK technology.
🎙️This week @AnnaRRose chats w @yush_g from @zkemail. They cover the latest developments + real-world applications using ZK Email and explore how the this simple paradigm can connect Web2 systems with onchain systems in novel new ways!
— Zero Knowledge Podcast (@zeroknowledgefm) March 20, 2025
Listen here 👇 https://t.co/3aedteIQUo
Noir devs can now verify ZK proofs on Starknet
With the Garaga SDK, verifying Noir proofs on Starknet is possible without writing a single line of Cairo.
Noir gud, and Noir devs can now leverage Starknet’s scalability for their ZK-powered applications!
— Starknet 🐺🐱 (@Starknet) March 20, 2025
With Garaga SDK, you can verify Noir proofs on Starknet without writing a single line of Cairo.
Here’s how it works 🧵👇 pic.twitter.com/5wKNrUVg72
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
