ZK Industry News: October 30th to November 5th, 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 October 30th to November 5th, 2025.
The Sovra team joined Mexican government and ecosystem leaders to highlight the state’s role in advancing decentralized digital identity in Latin America
Sovra’s infrastructure, built on Ethereum using Aligned, enables 5M+ citizens to securely hold verifiable digital IDs, supporting transparency, interoperability, and trust across public and private services.
🇲🇽 @ethereum_mexico recap
— Sovra (@sovraio) November 3, 2025
The Sovra team joined government and ecosystem leaders in @mtygob to show how @nuevoleon is leading Latin America’s move toward decentralized digital identity.
Through Sovra’s infrastructure (built on @ethereum with @alignedlayer using @ethrex_client)… pic.twitter.com/l6CHSkePC7
Researchers claim to have shown that several conjectures currently used in ZK proving systems are not true
► The first result was made by Angus Gruen and Ben Diamond.
This result has real-world security implications, as many ZK teams have been working within the conjectured regime to reduce the size of proofs. In response, the authors of the paper suggest new parameters for practical use in SNARKs and recommend focusing on proven regimes instead.
Tweets from the authors' publications:
• https://x.com/AngusGruen/status/1984609613208051806
• https://x.com/benediamond/status/1984609556807213123
► The second result was made by Elizabeth Crites and Alistair Stewart.
They disproved the proximity gaps and list-decodability conjectures, which are crucial for SNARK security and efficiency. Their results suggest new directions, including exploring quantum attacks and proving the mutual correlated agreement conjecture.
• https://x.com/e1izabethcrites/status/1986177475232014702
StarkWare launched S-two, a next-gen open-source ZK prover on Starknet
It improves proving speed by 100x compared to Stone. S-two enables client-side proving on low-powered devices, enhancing scalability and privacy for applications.
1/ S-two is live on Starknet mainnet.
— Starknet (BTCFi arc) (@Starknet) November 3, 2025
The fastest prover ever built now proves every Starknet block, securing all transactions with the most advanced Circle STARK technology.
More speed, more privacy, more scalability, more decentralization 🧵 pic.twitter.com/ICMhO3xjEm
The Ethereum Foundation's Ecosystem Support Program has reopened grant applications
It offers two main tracks: Wishlist grants for broad opportunities and Request for Proposals (RFPs) grants for specific problems. Grants cover areas like cryptography, privacy, and community growth.
1/ ESP’s grant applications are now OPEN! ✨
— EF Ecosystem Support Program (@EF_ESP) November 3, 2025
Our new grants program is structured through two pathways:
💡 Wishlist
🎯 Requests for Proposals (RFPs)
Explore the new opportunities and apply below!https://t.co/qg4gBL62ED
Stay tuned: 🐦 Twitter | 💬 Telegram | 👾 Discord | 🌐 Website | 📺 Youtube | 📝 Manifesto
