Here we report on the progress of the leading builders in the Proof Verification ecosystem, documenting recent significant releases, technical breakthroughs and general updates.
Featuring: @alignedlayer, @alt_layer, @NovaNet_zkp, @Pi_Squared_Pi2, & @ZKVProtocol
Tech
@alignedlayer shared a string of new updates covering the end of August: https://blog.alignedlayer.com/aligned-engineering-updates-august-25th-29th-2025/
In summary:
• Deployed new networks on Sepolia and Hoodi
• Launched Parity, a new game on the ZK Arcade platform
• Improved user interface elements in ZK Arcade
• Began using Sepolia to test integration between @ethrex_client L2s and Aligned
• Applied minor fixes and optimizations to the verification layer
• Merged 13 pull requests across aligned_layer and zk_arcade repositories
Publications
The project shared an article explaining how choosing between ZK circuits and zkVMs isn't a binary decision, but rather a trade-off between performance, complexity, and development speed: https://blog.alignedlayer.com/zkvms-circuits-and-the-optimization-game/
It explains that while circuits may offer faster proving, zkVMs enable faster iteration and easier optimization. Co-founder and CTO, @mauro_aligned, argues that combining both - using circuits for bottlenecks within general-purpose VMs - can be more effective.
The article also stresses the importance of system simplicity, trace generation, and architectural diversity for long-term security.
Partnerships
Aligned has announced a new collaboration with @0x4Mica, a financial infrastructure company enabling rapid value exchange across blockchains: https://blog.alignedlayer.com/4mica-aligned-partnership/
4Mica's cryptographic tools support trustless micropayment aggregation, which will enhance Aligned’s ZK Verification Layer. Founded by experts from @3miLabs, 4Mica brings technical depth that will help reduce verification costs on @ethereum and improve the developer experience.
They also announced support for @loom_finance’s new protocol, which connects on-chain liquidity with real-world yield from revenue-based loans: https://x.com/alignedlayer/status/1962968877698261442
Built on Aligned’s RaaS platform using an Ethrex L2 client, Loom enables scalable access to private credit markets. Its Web2 counterpart, @levenue_com, has already processed $600M in loans, signaling strong potential for crypto integration into traditional financing.
@alt_layer will participate in a series of key industry events this month, engaging with global leaders and sharing its vision for the future of scalable and verifiable blockchain infrastructure:
• Hack Seasons Opportunity Mixer – Seoul (Sept 24, Korea Blockchain Week): AltLayer will join founders, builders, and investors at this networking-focused gathering designed to connect the Web3 community: https://luma.com/mixer_seoul
The event continues the Hack Seasons series across major cities, offering opportunities for collaboration and partnerships.
• Verifying Intelligence: Where ZK Meets AI – Singapore (Sept 29): Co-hosted by @HouseofZK and @boundless_xyz in partnership with @googlecloud, this one-day summit explores the intersection of ZKPs and artificial intelligence: https://luma.com/ae6uqqvw
As a sponsor of the event, AltLayer will actively contribute to discussions on verifiable AI, highlighting both research directions and real-world applications.
• Re(fundamentals): Singapore Edition – TOKEN2049 (Sept 30): As part of @token2049, AltLayer’s CEO @yq_acc will speak alongside leading figures from @eigenlayer, @Optimism, @OffchainLabs, and more: https://luma.com/77ih7k2f
This event revisits first principles in blockchain, covering rollups, DeFi, and verifiability to shape the next phase of Web3.
@NovaNet_zkp has contributed to MSM-WebGPU, an open-source implementation of multi-scalar multiplication on the BN254 curve using WebGPU and WebAssembly: https://x.com/NovaNet_zkp/status/1966250765296742569
Originally based on a ZPrize 2023 submission, the library achieves up to 2.94× speedup over prior GPU implementations. It runs directly in modern browsers and is designed to support ZKP generation for use cases like private transactions, identity verification, and verifiable computation.
@RosuGrigore, Founder & CEO of @Pi_Squared_Pi2, shared the latest updates from the project: https://x.com/RosuGrigore/status/1965461171332346125
In summary:
• FastSet surpassed 200K operations per second and 100K+ transactions per second.
• Faucet rate limiting, transaction receipts, and RPC improvements were added, alongside a new vanity wallet release.
• OmniSet integrated deposit workflows with FastSet, while withdrawal processes and testnet contracts near completion.
• A browser wallet and website redesign are underway. • @ethereum validation progressed with finalized protocol changes, certificate DB integration, and local deployment tools for “blockchain in a bubble.”
Partnerships
Pi Squared announced several new partnerships focused on expanding use cases for its FastSet infrastructure across agents, gaming, events, and onboarding:
• @GoKiteAI: Partnered to enable high-performance, verifiable infrastructure for autonomous agents using Pi Squared’s FastSet, Omniset, and Omniswap technologies:https://x.com/Pi_Squared_Pi2/status/1966550695017893985
• @RhunaIO: Exploring how FastSet can support AI-powered event infrastructure for payments, ticketing, and loyalty systems: https://x.com/Pi_Squared_Pi2/status/1965781785503244481
• @_AI_Nexus: Collaborating on deploying 3D agents and interactive games with verifiable execution and real-time performance on FastSet: https://x.com/Pi_Squared_Pi2/status/1965447069042422184
• @swapperfinance: Working together to simplify Web3 access using cards, with Pi Squared powering fast and verifiable transactions: https://x.com/Pi_Squared_Pi2/status/1963527528884355238
• @PulsarMoneyApp: Integrated FastSet testnet and Pi² Portal, with plans to expand into payments and broader use cases after mainnet launch: https://x.com/Pi_Squared_Pi2/status/1962893546559885527
Vision
@ZKVProtocol has introduced “Zero Doubt”, a new positioning aimed at redefining how users experience proof verification:https://zkverify.io/blog/zero-doubt-where-zkverify-goes-next
The initiative emphasizes reliability, simplified integration, and consistent uptime, addressing common challenges faced by Web3 teams. Rather than focusing on new design elements, the company highlights a shift in how verification is perceived - from a source of concern to a dependable part of infrastructure.
Audit
zkVerify underwent a baseline security audit by @SecReLabs, covering its protocol and VFlow parachain: https://x.com/ZKVProtocol/status/1965453653021786143
The review identified five issues, including two critical ones, which have since been mitigated. The team was praised for design robustness and fast remediation. Recommendations include open-sourcing components, enhancing fuzz testing, and launching a bounty program to support long-term security.
Full report:
Partnerships
zkVerify has partnered with @ankr to integrate its proof verification technology with Ankr’s global RPC infrastructure: https://zkverify.io/blog/zkverify-partners-with-ankr-expanding-access-to-verifiable-proofs-through-reliable-rpc
This collaboration enables developers and enterprises to access zkVerify’s services without managing their own systems. The partnership supports faster development of verifiable dApps, cross-chain protocols, and AI tools, promoting a more secure and scalable digital environment built on trust and transparency. The project has also partnered with @cysic_xyz to help scale ZK technology and drive broader adoption: https://x.com/ZKVProtocol/status/1966495018262409595
Cysic contributes high-speed ZK hardware, including its C1 chip and Proof-of-Compute model, while zkVerify offers tools for seamless integration, validation, and deployment. Together, they aim to unify infrastructure and simplify ZK workflows, supporting efficient growth across the evolving ZK ecosystem.
Events
zkVerify Co-founder @robviglione will participate in the main panel of @HouseofZK's upcoming Verifying Intelligence event in Singapore.
The full speaking program was recently announced here, with registration link included: https://x.com/HouseofZK/status/1967908299312951777
