ZK news

ZK Industry News: March 20th to 26th, 2025

Aligned Layer

28 Mar 2025 — 2 min read

✨ 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.

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.

But he didn’t just create internet money; he redefined trust.

Here’s @EliBenSasson’s take on why that matters 🫳https://t.co/XjhoAvo8i7
— StarkWare 🐺🐱 (@StarkWareLtd) March 21, 2025

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.

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
— RISC Zero 🟡 (@RiscZero) March 21, 2025

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!
Listen here 👇 https://t.co/3aedteIQUo
— Zero Knowledge Podcast (@zeroknowledgefm) March 20, 2025

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!

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
— Starknet 🐺🐱 (@Starknet) March 20, 2025

Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto

What is a zkVM and why should you care about them?

You've probably heard the term zkVM buzzing around lately, especially in the context of ZK-rollups and scaling Ethereum. This guide is meant to demystify them so you can understand what they are, how they work (at a high level), why you should care about them, and what their

Alternatives to re-execution

The goal of blockchains Blockchain technology has emerged to provide a decentralized and secure way to record and verify transactions across a distributed network of participants. The main objective is to eliminate the need for intermediaries, by enabling peer-to-peer transactions. This is achieved through cryptographic techniques that ensure the integrity

Neutral, standardized benchmarking of zkVM proving times

Zero-knowledge virtual machines (zkVMs) are virtual machines that let you write and execute code in common languages like Rust or C and generate proofs demonstrating the integrity of computations. This makes building with ZK much more accessible to developers, and is a key part of Ethereum’s scaling roadmap. While

ZK Industry News: March 13th to 19th, 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 13th to 19th, 2025. Ingonyama released ICICLE-Snark, offering enhanced performance for ZK applications ICICLE-Snark outperforms other implementations in Groth16 benchmarks, pushing the