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, & @alt_layer
Tech
@ZKVProtocol has added support for Ultrahonk, a fast, browser-compatible proof system built for high-performance apps like games and DeFi: https://blog.zkverify.io/posts/ultrahonk-is-here-and-zkverify-is-the-only-place-you-can-use-it
While @ethereum and many EVM chains require complex upgrades to verify Ultrahonk, zkVerify supports it out of the box. This makes zkVerify a key tool for developers, offering immediate access to advanced ZK tech without the delays and risks of hardforks.
The project has also introduced optimistic verification, cutting proof confirmation time from 30 seconds to milliseconds: https://blog.zkverify.io/posts/from-lag-to-winnings-how-we-solved-zk-proofs-for-a-better-on-chain-gaming-experience
After UX issues in a blackjack demo, the team pivoted to slot machines. The new game, built on the @base network, shows how on-chain gambling can combine speed, transparency, and cryptographic trust -making real-time, provably fair gaming a practical and engaging experience.
GitHub Innovations
zkVerify have developed a way to reward users for starring a GitHub repo without exposing their identities: https://blog.zkverify.io/posts/from-github-stars-to-secure-identity-a-guide-to-zktls
Using zkTLS, users can prove they’ve completed the task while keeping session data private.
A demo shows how a ZKP links the GitHub action to a wallet address. This technique can also enable private KYC and data verification.
Tech
@alignedlayer shared their latest engineering updates: https://blog.alignedlayer.com/aligned-engineering-updates-july-28-august-1-2025/
ZK Arcade: A full version was completed and tested with external users. Feedback is now guiding UX improvements. New features include leaderboard views, SP1 by @SuccinctLabs chip support, and user history tracking.
Proof Verification Layer: Minor upgrades focused on developer experience and reliability, including @RiscZero integration and improved batch retry logic.
Documentation: Several updates were made to ensure accuracy and clarity.
Partnerships
The project has partnered with @sovraio to support its Digital Identity Stack across Latin America, providing blockchain-based tools for issuing and verifying credentials: https://blog.alignedlayer.com/aligned-sovra-partner-to-power-digital-trust-in-latin-america/
Sovra's system already serves over 8 million users in Argentina, Mexico, and Colombia. Powered by Aligned’s @ethereum infrastructure and the @ethrex_client client, Sovra’s tech enables secure, private identity verification. The partnership aims to scale trustworthy digital services across governments and institutions.
They also partnered with @zerobasezk to deliver cost-efficient, persistent ZKP verification across the Zerobase ZK App Network: https://x.com/alignedlayer/status/1947323883243155664
Using @eigenlayer-secured verifiers, Aligned helps ensure Ethereum-grade finality, uptime, and reliability. This supports critical applications - from staking to AI audits - enabling developers to deploy ZK systems that stay online and production-ready.
Publications
Aligned published two new of articles outlining the vision and technology behind its next-generation rollup infrastructure:
Why Aligned chose Ethrex for Based ZK Rollups: A deep dive into Ethrex - the high-performance, Rust-based execution client powering Aligned’s RaaS platform: https://blog.alignedlayer.com/why-is-aligned-using-ethrex-for-based-zk-rollups/
Designed for modularity, maintainability, and native support for based rollups, Ethrex enables fast, secure, and low-cost ZK-rollup deployment with one-click simplicity.
Aligned RaaS and the future of Ethereum with based rollups: An introduction to based rollups and why they matter: https://blog.alignedlayer.com/aligned-raas-based-rollups-to-build-the-future-of-ethereum/
Aligned explains how its integrated RaaS stack - featuring Ethrex and its ZK Verification Layer - is purpose-built to deliver scalable, decentralized rollups that inherit Ethereum’s security, liquidity, and composability without the typical overhead.
Tech
@RosuGrigore, Founder and CEO of @Pi_Squared_Pi2, shared the latest technical updates from Pi Squared: https://x.com/RosuGrigore/status/1952745103950258677
In summary, these include:
FastSet Testing: FastSet is live with internal testing. Enhancements include stronger RPC handling, wallet and explorer integration, expanded multi-asset support, a test faucet, and a proxy script for stress testing.
OmniSet & OmniSwap: Core workflows - deposit, withdraw, and revoke - have been integrated into the live FastSet network. Work has begun on OmniSwap to combine deposit and withdraw for seamless user swaps.
@Optimism Integration: Progress on Optimism includes improved KEVM scheduling, resolution of static linking issues in CI builds, and adaptation of @ethereum Claim Generator for REth using op-revm tests.
Execution Roadmap: Each release pushes toward fast, verifiable cross-chain execution. Early access and continued updates are available via their Discord.
Publications
Pi Squared also shared an article explaining how FastSet differs from traditional blockchains by removing the need for a total transaction order: https://blog.pi2.network/fastset-to-blockchain-or-not/
Unlike platforms like @Bitcoin or Algorand that rely on global consensus, FastSet allows independent validation of unrelated claims, enabling parallel processing. This approach avoids scalability trade-offs by certifying claims without coordination, making FastSet suitable for high-throughput decentralized applications beyond just payments.
@NovaNet_zkp recently expanded the use of its Verifiable Agent Kit across multiple blockchains, demonstrating real-world application of ZKPs.
These applications include:
Enabling multi-chain KYC compliance with automated ZKP generation and USDC transfers on @ethereum and @solana: https://x.com/NovaNet_zkp/status/1945482669472837842
Launching on @base with AI prediction proofs verified via time-stamped on-chain commitments: https://x.com/NovaNet_zkp/status/1948027652641611998
Adding support for @avax with HIPAA-compliant private medical record verification: https://x.com/NovaNet_zkp/status/1952649122197999724
@alt_layer has announced several new integrations and partnerships, including:
@boundless_xyz: Collaborated to support ‘The Signal’, a ZK consensus client that lets any chain verify @ethereum finality trustlessly - improving rollup scalability and security without oracles or multisigs: https://x.com/alt_layer/status/1947350882468630831
@leap_wallet: Integrated Leap’s multi-chain wallet into its RaaS platform, enhancing UX for dApps with seamless access to over 200 chains and features like staking, swaps, and NFT support: https://x.com/alt_layer/status/1948427068103884827
@anoma: Joined the Anoma ecosystem as part of its AI infrastructure cohort, aligning with a shared vision of building intent-centric apps across modular and decentralized networks: https://x.com/alt_layer/status/1951151192165212408
