ZK Industry News: June 12th to 18th, 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 12th to 18th, 2025.
We shared an article outlining our new Rollup-as-a-Service (RaaS) platform
With a single click, users will be able to deploy an enterprise-grade ZK-rollup that’s secure, maintainable, and scalable from day one.
We believe launching an Ethereum rollup should be as simple as deploying a web app.
— Aligned (@alignedlayer) June 18, 2025
Our new Rollup-as-a-Service (RaaS) platform will make that a reality with one-click ZK-rollup deployment.
Built with ethrex from @class_lambda and our integrated ZK infra stack. Learn more ⬇️ pic.twitter.com/lmAom3Y1Ok
LambdaClass published a blog post explaining The fields powering Binius
This article reviews the Binius protocol, binary towers, field element operations, and their connection to circuit-level tasks, referencing key works by Diamond & Posen, Cantor, and Wiedemann.
Explaining Binius and binary towers with @class_lambda. @IrreducibleHW work is top notch. pic.twitter.com/QsIl8pPG9l
— Fede’s intern 🥊 (@fede_intern) June 18, 2025
Boundless explained how they enables ZK Mining on their protocol
The article provides an introduction to Boundless, an explanation of Proof of Verifiable Work (PoVW), and a recommended minimum configuration for optimal proving performance.
— Boundless (@boundless_xyz) June 12, 2025
RISC Zero posted a security disclosure about its zkVM
A critical vulnerability was found in the rv32im circuit, affecting RISC-V instructions in risc0-zkvm versions 2.0.0, 2.0.1, and 2.0.2. The issue has been patched in version 2.1.0.
RISC Zero Security Disclosure
— RISC Zero (@RiscZero) June 18, 2025
A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2.
This vulnerability was reported by Christoph Hochrainer via…
A new paper titled Optimizing the Sum-check Protocol is now available, in collaboration with Quang Dao, Justin Thaler, and Ingonyama
It builds on results from two previous papers, achieving 2-3x speedups in Spartan within Jolt!
My latest paper on optimizing the sum-check protocol is out! https://t.co/cHSayz7kC4
— Quang Dao (@QuangVDao) June 17, 2025
Joint work with @SuccinctJT and Ingonyama (Suyash & Yuval).
This combines and extends results from two prior papers, leading to 2-3x speedups in Spartan within Jolt!
Quick thread...🧵
1/
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto