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: @ZKVProtocol, @alignedlayer, @Pi_Squared_Pi2, @NovaNet_zkp, & @primus_labs
Tech
@ZKVProtocol has announced VFlow, a tool enabling its native token $VFY to move across any EVM-compatible chain: https://blog.zkverify.io/posts/beyond-verification-vfy-for-defi
The system aims to expand $VFY’s role in DeFi, allowing use in DEXes, lending protocols, and dApps. Currently live on the Volta Testnet, VFlow is open for community testing through ProofPoints quests, with participants bridging test tokens and confirming transactions to strengthen the new infrastructure.
(Disclaimer: This is not a token endorsement)
Partnerships
The project has partnered with @PhalaNetwork to streamline verification of Trusted Execution Environment attestations on-chain: https://blog.zkverify.io/posts/zkverify-partners-with-phala-network-to-bring-verifiable-tee-attestations-on-chain-to-boost
The integration removes the need to convert proofs into Groth16, cutting verification costs by over 20% and reducing gas fees by more than 90%. Phala’s decentralized infrastructure enables secure AI inference and confidential computation, while zkVerify offers developers a faster, cheaper, and more scalable path for privacy-focused Web3 applications.
Events
The zkVerify Foundation, with @HorizenLabs, will host a Verified Hacker House in New Delhi from Sep 22-29, 2025: https://blog.zkverify.io/posts/verified-hacker-house-zkverify-lands-in-new-delhi
In the first three days, participants will join the hackathon with accommodation, meals, and workshops provided. A $5,000 prize pool will reward projects using zkVerify’s fast, low-cost proof verification. Developers in privacy, ZKPs, and Web3 can build applications in finance, gaming, AI, and identity. Winners will be announced Sep 29.
Tech
@alignedlayer released a new progress report, with 25 merged pull requests across its repositories: https://blog.alignedlayer.com/aligned-engineering-updates-august-18th-22nd-2025/
Updates to the aligned_layer focused on batcher performance, concurrency improvements, and documentation refinements. The zk_arcade repository saw expanded gameplay features, a redesigned landing page, Windows support, and user interface upgrades, including proof submission steps and wallet integration prompts.
Publications
Aligned shared an article covering their two approaches to easing @ethereum’s challenge in verifying ZKPs: https://blog.alignedlayer.com/proof-verification-layer-vs-aggregation-service/
The Proof Verification Layer, live on mainnet since late 2024, uses a decentralized operator network to cut gas costs by up to 99% and process thousands of proofs per second.
Meanwhile, the Proof Aggregation Service, currently on testnet, compresses multiple proofs into one for direct @ethereum verification, offering stronger security with more latency and preparing for mainnet launch later in 2025.
Tech
@Pi_Squared_Pi2 has announced the pre-release of FastSet, a decentralized Web3 infrastructure processing over 100,000 transactions per second with sub-100 millisecond finality: https://blog.pi2.network/introducing-fastset-pre-release/
The rollout includes FastSet Explorer for real-time tracking, FastSet Wallet for multi-chain transactions, the Pi² Reactor Game for live throughput testing, as well as OmniSet for multichain liquidity and OmniSwap for bridgeless cross-chain swaps. Together, these tools showcase FastSet’s speed, scalability, and verifiability.
@RosuGrigore, Founder & CEO of Pi Squared, also shared more recent updates, including:
FastSet Explorer now enhanced with real-time block-mirroring metrics, supported by a developing web wallet prototype and the launch of Reactor Game, which serves as a large-scale stress test for speed and scalability.
OmniSet portal refreshed with a redesigned user interface and broader integration testing, while OmniSwap introduced a faster, more intuitive workflow and finalized its TOAD-AI Agent roadmap.
Optimism mirroring advanced with ECOTONE and GRANITE upgrades plus improved validation, moving Pi² closer to verifiable cross-chain settlement.
Publications
Pi Squared shared an article explaining how FastSet proposes a new model for digital payments by avoiding blockchains’ strict global ordering of transactions: https://blog.pi2.network/new-transaction-order/
Instead, it uses per-account sequencing and a concept called weak independence, where unrelated transactions can be processed in any order without changing results. This method prevents double-spending, enables faster and scalable processing, and supports decentralized applications while maintaining security and eventual consensus across the network.
Tech
@NovaNet_zkp introduced zkML-JOLT (“Atlas”), a version of JOLT designed for zero-knowledge machine learning: https://blog.icme.io/sumcheck-good-lookups-good-jolt-good-particularly-for-zero-knowledge-machine-learning/
Building on @a16zcrypto’s research, Atlas employs lookup tables and the sumcheck protocol, delivering 3-7x faster proving compared to other frameworks. Benchmarks highlight its advantage over Mina-zkml by @MinaProtocol and @ezklxyz. Currently running on CPU, GPU acceleration is planned. The project emphasizes verifiable correctness, privacy, and practical deployment for real-world AI apps.
Integrations
NovaNet announced new integrations of its Verifiable Agent Kit, expanding the use of ZK-powered agent workflows across key infrastructure layers:
@circle: Integrated with Circle’s Cross-Chain Transfer Protocol to enable privacy-preserving, cross-chain USDC transfers initiated by AI agents. ZKPs verify agent authorization and compliance before triggering trustless, automated settlement across @ethereum and @base: https://x.com/NovaNet_zkp/status/1957588399285522907
@iotex_io: Brought agent-powered ZKPs to the DePIN sector. Devices on IoTeX can now prove location proximity without revealing GPS data, register on-chain, and receive token rewards - all verified via NovaNet’s ZK framework: https://x.com/NovaNet_zkp/status/1956504279226728459
Tech
@xxiang_xie, Co-founder of @primus_labs and @manel1874, @jimouris, @miguel_de_vega and @andreilapets of @nillionnetwork introduced TLShare, a framework that enables data from TLS connections to be securely imported into multiparty computation (MPC) or fully homomorphic encryption without server modifications or exposing client credentials: https://eprint.iacr.org/2025/1434
Unlike earlier systems that only allowed limited proofs, TLShare treats the entire TLS payload as private input, supporting multi-client and multi-source data aggregation.
Applications include privacy-preserving financial risk assessment and wage equity studies, with protocols evaluated across LAN and WAN, demonstrating practical performance.
Integrations
Primus Labs and Nillion announced an integration that brings zkTLS technology to @Tickrdotapp, enabling @binance traders to prove performance without exposing credentials or trading history: https://x.com/primus_labs/status/1953446227212931072
The zkTLS protocol generates browser-based proofs of PnL data, which are verified inside Nillion’s confidential compute environment and distributed across secure database nodes. This collaboration allows Tickr users to establish trusted trading performance while maintaining complete privacy.
