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 👇 🔹 Visit for more reports from across the industry 🔹

Aligned Layer 🔹 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: 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: 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: • Nov 17-18: Align n’ Dine Brunches at Águila Pabellón, across from the Devconnect venue - informal meetups with the Aligned team: • Nov 18: ZConnect with @brevis_zk and @HouseofZK - Head of Research @diego_aligned joins the “Beyond TPS” panel on modular scaling and verifiable computation: • Nov 22: Ethproofs Day - Co-founder & Head of Engineering @mauro_aligned speaks on “Security and Diversity in VMs,” exploring zkVM performance and standards: 🔹 Visit for more reports from across the industry 🔹

Pi Squared 🔹 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: 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: 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: • 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: 🔹 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: 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. 🔹 Visit for more reports from across the industry 🔹

zkVerify 🔹 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: 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: 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: 🔹 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: • @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: • @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: • @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: 🔹 Visit for more reports from across the industry 🔹