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.
@alignedlayer is launching ZK Arcade, a new onchain gaming platform that lets players verify their scores using ZKPs through its Proof Verification Layer: https://blog.alignedlayer.com/zk-arcade-coming-soon/
Access starts with a free mint of 700 ZK Arcade Ticket NFTs distributed via community raffles and partners. Players can submit verified results to onchain leaderboards and earn rewards.
Early access opens soon before a public release.
Tech
@alt_layer AltLayer has launched @trade_rumour, a new platform built with @HyperliquidX that lets crypto users discover, discuss, and trade on emerging market chatter: https://x.com/alt_layer/status/1968664231525630254
The app combines real-time sentiment voting, community discussion, and direct trading in one interface. Designed to democratize access to market-moving information, Rumour lets users stay anonymous while engaging and trading.
The launch includes $40,000 in campaigns, spread across several major blockchain events.
Events
In addition to hosting (Re)Fundamentals during @token2049 week in Singapore, AltLayer sponsored and participated in Verifying Intelligence - coorganized by @HouseofZK and @boundless_xyz with support from @googlecloud: https://x.com/HouseofZK/status/1975905533983920527
Founder @yq_acc joined @alicelingl of HoZK, @FormallyJon of @VeridiseInc, @leofanxiong of @cysic_xyz, and @robviglione of @horizenglobal& @ZKVProtocol to discuss how to harness AI’s power securely - through verified models, ZK-backed proofs, and stronger data governance.
Verifiable Agent Kit
@NovaNet_zkp’s recent updates showcase how their Verifiable Agent Kit is evolving and integrating across different ecosystems - from blockchain verification to secure payments and trustless AI operations:
• It now supports an @avax-based workflow orchestrated by @OpenAI, providing on-chain records, ZKPs of data integrity, and verified proof validation: https://x.com/NovaNet_zkp/status/1970498480255676639
• zkML cryptographically links x402 attestations introduced by @coinbase and @Cloudflare to verified agent model performance, enabling secure and automated USDC payments on @base: https://x.com/NovaNet_zkp/status/1971652593975005271
• zkML ensures trustless agentic commerce where on-chain proofs confirm that an AI agent spends funds accurately before triggering @stripe payments: https://x.com/NovaNet_zkp/status/1973496291528417523
• The kit extends @circle’s Object Oriented Agent Kit with zkML, guaranteeing that even untrusted agents handle USDC correctly - with on-chain proof verification before secure execution: https://x.com/NovaNet_zkp/status/1974137444447436850
Publications
NovaNet shared an article explaining how zkML allows businesses to prove that AI models run correctly on specific data without revealing sensitive information: https://novanet.xyz/blog/how-verifiable-ai-inference-zkml-unlocks-new-business-value
This verifiability supports auditability and regulatory compliance, especially under the EU AI Act. With AI spending projected to exceed $2 trillion by 2026, zkML enables secure, accountable AI use in finance, advertising, and emerging pay-per-inference markets.
Tech
@RosuGrigore, Founder & CEO of @Pi_Squared_Pi2, shared the latest updates from the project: https://x.com/RosuGrigore/status/1975953849069252757
In summary:
• FastSet: enhanced multisig support with new code samples, tests, and documentation; demo wallet updated and signature batching under review.
• OmniSet: improved cross-chain stability, refined deployment scripts, completed FastSet Wallet extension, and released an internal demo.
• Verification: progress on @ethereum and @Optimism explorers with better stability and setup.
• Preparations for Devnet 2.0 are in the final stage.
Publications
Pi Squared has published a series of articles exploring how FastSet transforms performance, scalability, and verifiable infrastructure across Web3 and AI systems:
• In the first article, the authors clarify what TPS truly means for FastSet, explaining how it measures complete claim settlement. They show how FastSet achieves over 100K TPS and sub-100 ms finality through a horizontally scalable, set-based architecture: https://blog.pi2.network/what-does-tps-actually-mean-for-fastset/
• In the next article, @Google’s new Agent Payments Protocol (AP2) is shown to align naturally with FastSet’s claim model, turning user and agent mandates into verifiable, decentralized transactions. The piece highlights how FastSet provides the ideal foundation for scaling agent-to-agent interactions securely: https://blog.pi2.network/googles-ap2-explained-why-fastset-is-the-natural-foundation/
• In the final article, the Block Verification Explorer demonstrates how FastSet verifies @ethereum and other blockchains through cryptographic claims. It introduces a multi-verifier model with quorum and FastSet settlement, making blockchain data transparent, portable, and auditable: https://blog.pi2.network/what-is-the-block-verification-explorer/
Partnerships
Pi Squared has partnered with @eigenlayer to integrate its developer platform and data availability layer into Pi Squared’s FastSet system: https://blog.pi2.network/pi-squared-partners-with-eigencloud-to-advance-web3-infrastructure-beyond-blockchain/
The collaboration standardizes EigenCloud as the default registry for validators and data storage, while keeping Pi Squared’s protocols permissionless. With this integration, FastSet can process over 100,000 transactions per second, advancing scalable, verifiable Web3 applications across industries.
@primus_labs introduced the Programmable Gateway, a crypto payment system based on zkTLS that removes the need for wallet addresses: https://x.com/primus_labs/status/1969054155303264356
Instead, users can send funds to social accounts like email or X. Recipients prove account ownership through ZKPs and claim funds securely.
The system enhances privacy, hides wallet data, and simplifies transactions for both Web2 and Web3 users.
Tech
@ZKVProtocol has announced Runtime Upgrade 1.2.0 on the Volta testnet, following the launch of its mainnet: https://zkverify.io/blog/zkverify-volta-testnet-runtime-upgrade-1-2-0
The update adds full support for @RiscZero v3, enabling developers to verify the latest ZKPs. It also enhances claim mechanisms for the upcoming ProofPoints campaign.
The team encourages developers to test the new features.
Partnerships
zkVerify announced several new partnerships that strengthen its validator network and extend its role as a high-performance proof verification layer across Web3 infrastructure:
• @horizenglobal Foundation: Joined zkVerify as a validator partner to reinforce network security and decentralization. The Foundation brings proven experience in blockchain infrastructure, helping ensure reliable, tamper-proof verification as zkVerify scales its mainnet: https://zkverify.io/blog/horizen-foundation-joins-zkverify-as-a-validator
• ShadowML: A decentralized, privacy-focused machine learning platform that verifies model predictions using zkVerify. This collaboration enables confidential ML computations to be proven on-chain without revealing sensitive data, combining privacy, scalability, and transparency: https://zkverify.io/blog/revolutionizing-privacy-preserving-machine-learning-with-zk-proof-verification
• @NodeOpsHQ: Joined zkVerify as a validator partner, connecting its large decentralized compute network to the zkVerify ecosystem. The partnership enhances validator resilience and extends zkVerify’s infrastructure reach across 60+ blockchains and AI systems: https://zkverify.io/blog/powering-scalable-verification-across-decentralized-compute
• @ankr: Expanded its collaboration with zkVerify to provide enterprise-grade RPC access and validator infrastructure. This integration strengthens zkVerify’s mainnet performance and accessibility while ensuring developers benefit from fast and secure network connectivity: https://zkverify.io/blog/strengthening-proof-verification-with-secure-access-validator-infrastructure
