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, @primus_labs, & @ZKVProtocol
ZK Arcade
@alignedlayer has launched ZK Arcade on @ethereum mainnet, showcasing how games can use its Proof Verification Layer to prove and verify results onchain: https://blog.alignedlayer.com/zk-arcade-now-live-2/
Built as a demonstration platform, it lets players generate ZKPs of their scores and submit them for onchain verification. Through games like Parity and Beast, ZK Arcade illustrates how Aligned’s technology enables transparent, verifiable gaming and broader decentralized application use cases.
Engineering Updates
Aligned shared their latest engineering updates: https://blog.alignedlayer.com/aligned-engineering-updates-november-3rd-to-7th-2025/
Highlights include:
• Focused on resolving user-reported issues in ZK Arcade to improve experience and operational efficiency.
• Added enhanced summaries for operational costs and earnings within internal systems.
• Added support for Mina verifiers in Aligned staging to assist @nori_zk’s ongoing work on @MinaProtocol - Ethereum bridge, which uses Aligned’s Proof Verification Layer.
• Improved proof validation security, gas-based time estimation, and game-specific metrics tracking.
• Delivered multiple platform stability and monitoring enhancements.
• A total of 15 pull requests were merged across both repositories.
Events
The Aligned team announced they'll be hosting and speaking at a series of events in Buenos Aires during @EFDevcon, focusing on zkVMs, modular scaling, and verifiable computation: https://x.com/alignedlayer/status/1988044667569746309
• Nov 17-18: Align n’ Dine Brunches at Águila Pabellón, across from the Devconnect venue - informal meetups with the Aligned team: https://luma.com/e5bueaxh
• Nov 18: ZConnect with @brevis_zk and @HouseofZK - Head of Research @diego_aligned joins the “Beyond TPS” panel on modular scaling and verifiable computation: https://luma.com/jix04ltq
• Nov 22: Ethproofs Day - Co-founder & Head of Engineering @mauro_aligned speaks on “Security and Diversity in VMs,” exploring zkVM performance and standards: https://luma.com/ethproofs_day
x402 Suite
@alt_layer announced the upcoming launch of its x402 Suite, a collection of tools built on @coinbase’s per-request payment standard: https://x.com/alt_layer/status/1984140613961576494
The suite includes x402 Facilitator, x402 Gateway, and x402 for @trade_rumour, designed to simplify scalable, chain-agnostic transactions for developers and consumers. AltLayer says this marks a step toward enabling autonomous, self-operating web agents that can transact and coordinate seamlessly on-chain.
Publications
@yq_acc, Founder of AltLayer published a series of articles that map the path from HTTP-native crypto payments to trust, scale, and production-ready infrastructure for the agent economy:
• In the first article, he argues that while x402 revives HTTP 402 for web payments, its current design has economic, latency, and compatibility gaps. He proposes atomic contract settlement, sustainable protocol fees, multi-token support beyond EIP-3009, and intent-based multichain routing to reach internet scale: https://x.com/yq_acc/status/1983666744276480070
• The second article introduces ERC-8004 for agent identity, reputation, and validation, outlining NFT-based identities, cryptographically authorized feedback, and multi-model work verification as portable, on-chain trust primitives that interoperate with A2A/MCP and payment protocols like x402:https://x.com/yq_acc/status/1985302546349425147
• The third article explains EIP-3009 - the gasless authorization primitive behind USDC and x402 - detailing how single-use, time-bounded, off-chain signatures enable recipient-sponsored fees, safer transfers than approve/transferFrom, batching, and parallel nonce design for new payment UX: https://x.com/yq_acc/status/1986887722607530418
• The fourth article presents x402x, an implementation layer that extends x402 with platform fees, atomic settlement, extensibility hooks, batch processing, and multi-token support - positioning it as the practical, production-ready counterpart that enterprises and autonomous agents can deploy today: https://x.com/yq_acc/status/1987968102605484152
Partnerships
AltLayer has partnered with two projects, including:
• @cityprotocolHQ: Collaborated with AltLayer to explore how rollup-based infrastructure can enhance verifiability, composability, and yield optimization for intellectual property (IP) capital markets: https://x.com/alt_layer/status/1988160497427116262
• @MeetHubble: Partnered with AltLayer to deploy ERC-8004-native agents on x402 infrastructure. This integration brings scalable rollup infra, verifiable agents, and interoperable micropayments to Hubble’s Agent Marketplace, enabling real-time data-driven automation across decentralized ecosystems: https://x.com/alt_layer/status/1988514963414282746
zkx402
@NovaNet_zkp has unveiled zkx402, a zkML service built for the x402 protocol: https://x.com/NovaNet_zkp/status/1983648796396679422
The system enables agents to prove authorization without exposing private data. It allows public verification while maintaining privacy and includes cryptographic safeguards and governance features to ensure secure, transparent interactions between agents within the network.
Integrations
NovaNet announced that trustless USDC agents are being integrated into @arc, enabling secure on-chain proof attestation and USDC transfers: https://x.com/NovaNet_zkp/status/1985682286973526386
Through Arc, OOAK agents by @BuildOnCircle can use NovaNet’s zkML for cryptographic AI verification, with @CoinbaseDev’s x402 supporting USDC payments for zkML proofs.
Publications
@wyatt_benno, Co-founder of NovaNet, shared an article explaining how zkML is transforming AI verification: https://blog.icme.io/the-definitive-guide-to-zkml-2025/
Unlike trusted hardware or consensus systems, ZKML uses mathematics to prove that AI models ran correctly without revealing sensitive data. It enables verifiable and private computations for finance, healthcare, and autonomous agents.
Despite high computational costs, frameworks like EZKL, zkPyTorch, and NovaNet’s Jolt Atlas are making proofs faster and practical, signaling zkML’s shift from theory to real-world infrastructure.
Devnet 2.0
@Pi_Squared_Pi2 has launched Devnet 2.0, a major upgrade to its FastSet protocol, now achieving over 150,000 transactions per second with internet-speed finality: https://blog.pi2.network/devnet-2-0-is-live/
The update expands developer access with new apps, tools, and documentation. Devnet 2.0 introduces performance and scalability improvements, a growing ecosystem of DeFi and gaming applications, and an enhanced Block Verification Explorer.
This release strengthens Pi Squared’s progress toward creating a scalable, verifiable network where payments and transactions occur instantly and securely.
Tech
@RosuGrigore, Founder & CEO of Pi Squared, shared the latest updates from the project: https://x.com/RosuGrigore/status/1985808240060350838
Highlights include:
• FastSet introduced a new client and catch-up system to boost sync speed, plus improved transaction batching and wallet tools.
• OmniSet added activity history and UX updates for smoother navigation.
• Blockchain verification now measures performance, adds retry logic, and tracks uptime across @ethereum and @Optimism.
• Next steps focus on enhanced reliability and user experience improvements.
Publications
Pi Squared has published two new articles exploring how its FastSet network can redefine the foundations of the decentralized internet and trading infrastructure:
• In the first article, the team revisits the long-forgotten HTTP 402 status code and explains how FastSet, combined with the x402/h402 protocols, finally brings native web payments to life. It describes how AI agents can autonomously pay for APIs and services using real-time crypto micropayments, powered by FastSet’s instant, low-cost, and massively scalable settlement layer: https://blog.pi2.network/the-forgotten-prophecy-of-http-402-fulfilled-by-fastset-x402-h402/
• The second article examines the challenges facing perpetual futures DEXs - latency, cross-chain inefficiency, and liquidation risk — and shows how FastSet’s parallel consensus architecture solves them. By enabling millisecond-level settlement and verifiable decentralization, FastSet lays the groundwork for truly responsive, low-cost, and resilient on-chain perpetual trading: https://blog.pi2.network/are-we-ready-for-real-perp-dexs/
Events
At Verifying Intelligence 3.0, co-hosted by @HouseofZK, @brevis_zk, and @invisiblgarden during @EFDevcon, @_CHEN_Xiaohong_, CTO of Pi Squared, will take part in a panel focused on x402 and agent-to-agent payments: https://luma.com/xevcy7za
Joining @alicelingl (House of ZK), @0xThiru (@MetisL2), @bensepanski (@VeridiseInc), and @rolfversluis (@ZKVProtocol), the discussion will explore emerging approaches to building the internet’s native value layer.
Partnerships
1/ @primus_labs has announced that @SuccinctLabs has joined its AlphaNet as an official Attestor, contributing its expertise in ZK cryptography to improve network security and decentralization: https://x.com/primus_labs/status/1986071106231714178
The partnership enhances the cryptographic foundation of Primus’s zkTLS verification system and includes participation in AlphaNet’s revenue-sharing model, advancing efforts toward trustless, privacy-focused data verification and computation.
2/ @UnitasLabs has introduced a verifiable Proof-of-Reserves system for its USDu stablecoin, developed with Primus and Succinct: https://x.com/primus_labs/status/1985499479244787995
The solution addresses long-standing transparency issues in stablecoin and asset-backed projects. Using Primus’s zkTLS network and Succinct’s private zkVM, the protocol verifies real-time asset reserves without revealing sensitive information, ensuring both privacy and verifiable trust.
Events
At ZKONNECT, co-hosted by @brevis_zk and @HouseofZK, Co-founder @xxiang_xie will join a panel exploring the transition from ZK research to real-world app: https://x.com/brevis_zk/status/1988230235884572673
The discussion, led by Wanli from Brevis, will bring together @rolfversluis of @ZKVProtocol, @vtikhomirov75 of @CryptoAlgebra, and @sylvechv of @hyli_org to share insights on building and deploying products powered by ZK technology.
Events
1/ @ZKVProtocol is a major sponsor of Verifying Intelligence 3.0, an event co-hosted by @HouseofZK, @brevis_zk, and @invisiblgarden, taking place during @EFDevcon in Buenos Aires:
@rolfversluis, Co-founder of zkVerify, will participate in several panels, including:
• x402 & Agent-to-Agent Payments: The Internet’s Native Value Layer, alongside @alicelingl (HoZK), @0xThiru (@MetisL2), @bensepanski (@VeridiseInc), and @_CHEN_Xiaohong_ (@Pi_Squared_Pi2).
• User Data Privacy – Dignity-Preserving AI by Default, together with @_rutefig (@zkemail), @Shubhamb (@MantaNetwork), @barretodavid (@StarknetFndn), and @sd_eigen (@ProjectZKM).
CTO @zainlabs and CSO @AndyJBryant will also be speaking at the event.
2/ Rolf will also join the panel “From Proofs to Products: Shipping What Matters” at ZKONNECT, a conference co-hosted by Brevis and HoZK focused on real-world ZK adoption: https://x.com/ZKVProtocol/status/1988343776205848670
The panel, moderated by Wanli (Brevis), will feature @vtikhomirov75 (@CryptoAlgebra), @xxiang_xie (@primus_labs), and @sylvechv (@hyli_org).
Media
Rolf also featured in a recent episode of House of ZK Radio: https://x.com/HouseofZK/status/1983146613968101631
Rolf discussed zkVerify's vision, its path to mainnet launch, and future plans to expand verification technology beyond blockchain into wider computational applications.
Full podcast: https://hozk.io/radio#82-rolf-versluis-co-founder-of-zkverify
Partnerships
zkVerify has announced several new partnerships, including:
• @StakinOfficial: Joined zkVerify’s validator set to contribute secure and reliable infrastructure. With support for over 40 blockchain networks, Stakin brings transparency, decentralization, and community alignment to zkVerify’s Proof-of-Stake network: https://zkverify.io/blog/expanding-decentralized-validation-across-40-networks
• @CopperHQ: Integrated zkVerify’s proof verification layer into its institutional custody and settlement infrastructure. This partnership strengthens transparency, compliance, and security for institutional digital asset operations: https://zkverify.io/blog/bringing-verifiable-trust-to-institutional-digital-asset-infrastructure
• @5elementsnodes: One of zkVerify’s genesis validators, contributing since block zero. With years of experience validating PoS networks, 5 Elements Nodes brings privacy-focused infrastructure, resilience, and a strong commitment to Web3 principles: https://zkverify.io/blog/securing-zkverify-from-block-zero
• @KnidosLabs: Partnered to power ZK Trade Proofs - a new cryptographic primitive for AI-driven trading. By verifying fund performance without revealing private strategies, zkVerify enables Knidos to bring privacy-preserving, auditable trading activity on-chain, pushing forward the vision of verifiable finance: https://zkverify.io/blog/how-knidos-and-zkverify-are-redefining-trust-in-on-chain-finance
