ZK Industry News: May 8th to 14th, 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 May 8th to 14th, 2025.
Irreducible team has revealed a preview of PetraVM, in collaboration with Polygon
PetraVM is a general-purpose virtual machine that is succinctly verifiable using the Binius proof system.
Can't keep up with all the new zkVM announcements? Here's one you don't wont to miss.
— Irreducible (@IrreducibleHW) May 9, 2025
Today we are introducing a preview of PetraVM, a Binius-based verifiable VM built in collaboration with @0xPolygon!
RISC Zero has improved its proving time for an Ethereum block with R0VM
It is now twice as fast as the previous release from a month ago.
22s to prove an Ethereum block with R0VM - achieved internally.
— RISC Zero (@RiscZero) May 9, 2025
Real-time proving is coming.
Speedrun. pic.twitter.com/eH9c38e62p
Boundless team shared a Comprehensive Guide to Boundless
Boundless introduces a universal ZK protocol, decoupling execution from consensus to enable abundant, verifiable compute on any chain.
— Boundless (@boundless_xyz) May 9, 2025
Bonus track: Stripe announced its new Stablecoin Financial Accounts, built with USDC
With a stablecoin balance on Stripe, you get dollar access and can send and receive funds globally in both US dollars and stablecoins in over 100 countries.
Introducing Stablecoin Financial Accounts. Hold a stablecoin balance. Send and receive funds with fiat and crypto rails. Accessible from 101 countries: https://t.co/yXtE9cdeaz. pic.twitter.com/WnifgAutoA
— Stripe (@stripe) May 7, 2025
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
