ZK Industry News: September 4th to 10th, 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 September 4th-10th, 2025.
StarkWare has set a record proving the entire Bitcoin block header chain in just 6.5 hours for only $13.5
They have proven 16 years of blockchain history worth $2 trillion. The verification process takes only a few milliseconds, even on small devices, thanks to STARK technology.
NEW WORLD RECORD.
— A₿del ∞/21M (@dimahledba) September 8, 2025
WE CAN PROVE THE WHOLE BITCOIN BLOCK HEADER CHAIN IN 6.5 HOURS.
FOR $13.5.
YES, WE HAVE PROVEN 16 YEARS OF BLOCKCHAIN HISTORY OF A $2 TRILLION ASSET FOR LESS THAN A BIG MAC COMBO MENU.
STWO, FASTEST PROVER IN THE WORLD, BACKBONE OF STARKNET. pic.twitter.com/7wOuj8jj3D
Upbit plans to launch Ethereum L2 using OP Stack
Upbit, a leading South Korean crypto exchange, is preparing to deploy an Ethereum Layer 2 network using the OP Stack framework, based on Optimism's open-source technology. This aims to lower transaction costs, boost processing speeds for users, while maintaining compatibility with the Ethereum mainnet.
Great to see this announcement ahead of the Korea Blockchain Week. See you there.https://t.co/gpTfEV2fN1
— Tomasz K. Stańczak (@tkstanczak) September 9, 2025
ZisK in-browser verification is live on Ethproofs
This project allows direct verification of STARK proofs in web browsers and Node.js environments, accelerating Ethereum’s transition to open-source snarkification.
ZisK in-browser verification is LIVE on Ethproofs! 🚀 Big thanks to @ziskvm for their open-source verifier.
— Ethproofs (@eth_proofs) September 8, 2025
→ zkVM rollout status:
✅ Pico (@brevis_zk)
✅ Ziren (@ProjectZKM)
✅ Zisk (@ziskvm)
🚧 SP1-Turbo (@succinctlabs) – up next; team is exposing WASM-compatible STARK… https://t.co/IDqYFk95qD
Irreducible is pivoting from custom hardware to high-performance software, and has released its new proof system, Binius64
The announcement includes lessons from three years in hardware, and emphasizes that its mission remains to accelerate the verifiable Internet.
On the other hand, Binius64 is a CPU-optimized proof system with several improvements over Binius V0.
1/ Today marks the beginning of a new chapter for Irreducible. We started as a custom-hardware company, and now we are fully focused on high-performance software.
— Irreducible (@IrreducibleHW) September 9, 2025
Read below about our pivot and our new proof system, Binius64 👇
Ronin is integrating with Optimism’s OP Stack, transitioning from a sidechain to a full Ethereum L2
This will bring faster transactions, stronger security via Ethereum, and more funds to the Ronin Treasury.
Powering Ronin’s Homecoming to Ethereum with the OP Stack
— Ronin (@Ronin_Network) September 9, 2025
Welcome to Ronin, @Optimism ⚔️
Last week, the Ronin Governing Validators voted to adopt Optimism’s OP Stack as an L2 provider.
Ronin is coming home to Ethereum, and Optimism is making it possible.
Today, the OP Stack… pic.twitter.com/EXoxYV23QF
Bonus track: We shared an X article titled 'zkVMs, Circuits, and the Optimization Game' written by our co-founder and CTO, Mauro Toscano
In this new post, he explores the engineering trade-offs between ZK circuits and zkVMs, discussing how to approach the design and building of these systems.
— Aligned (@alignedlayer) September 10, 2025
Stay tuned: 🐦 Twitter | 💬 Telegram | 👾 Discord | 🌐 Website | 📺 Youtube | 📝 Manifesto
