Here we report on the progress of the leading builders in the Proof Verification ecosystem, documenting recent significant releases, technical breakthroughs and general updates
Testnet
@ZKVProtocol has launched a new challenge on its Incentivized Testnet, inviting developers to use the zkVerify Relayer - a lightweight REST API - to verify ZKPs without smart contracts or onchain complexity.
The challenge helps participants learn how to generate, submit, and integrate verified proofs into applications, making ZK more accessible for builders across gaming, identity, and finance projects: https://blog.zkverify.io/posts/cut-the-complexity-verify-proofs-with-the-zkverify-relayer…
Meanwhile, they launched ProofPoints - a dashboard for tracking progress in the zkVerify testnet, helping users view activity, discover new tasks, and engage with the ecosystem.
With real-time point updates, weekly rankings, and various contribution options like quests and challenges, ProofPoints supports developers and users exploring proof verification tools in a transparent and structured environment: https://blog.zkverify.io/posts/proofpoints-is-live-track-your-zkverify-testnet-progress…
Upgrade
zkVerify has released Runtime Upgrade 0.16.0 ahead of the zkHack Berlin hackathon. The upgrade includes full support for Risc0 v2.1, featuring a new API and proof formats, and an update of the runtime to polkadot-stable-2412.
Designed for developers, this release improves compatibility and performance while preparing the platform for future enhancements: https://blog.zkverify.io/posts/zkverify-runtime-upgrade-0-16-0…
Integrations
zkVerify has integrated with @zkemail, enabling private, verifiable email proofs using ZK technology. This allows users to prove details like sender or content without exposing actual emails.
zkVerify’s infrastructure cuts verification costs by over 90% and supports Groth16 proofs, making Web3 apps more private, scalable, and interoperable with traditional email systems: https://blog.zkverify.io/posts/zkverify-x-zkemail-bringing-privacy-preserving-email-proofs-to-web3…
Additionally, zkVerify has integrated with @Galxe Identity Protocol, enabling faster, cost-efficient proof verification for developers using the Galxe ID SDK.
This allows on-chain or off-chain credential validation with minimal overhead. Born from a zkVerify hackathon project, the collaboration highlights the potential of ZK tools to power scalable, privacy-preserving identity solutions across Web2 and Web3:
Product Launches
@alignedlayer has launched a Rollup-as-a-Service platform that enables developers and businesses to deploy ZK Rollups on @ethereum with a single click. Built on Ethrex by @class_lambda and integrated with Aligned’s ZK infrastructure stack, the platform offers performance, security, and cost-efficiency without requiring deep blockchain expertise.
Features include proof verification, wallet support, and an interoperability protocol. Open-source and modular, Aligned’s RaaS supports both standard and based rollups to streamline scalable Ethereum deployments: https://blog.alignedlayer.com/introducing-aligned-raas/…
Updates
Aligned Layer has shared its latest updates: https://blog.alignedlayer.com/aligned-engineering-updates-june-9th-13th-2025/…
• Finalizing interactive examples for Aligned, including a ZK Sudoku and a puzzle game where servers generate proofs to confirm valid states.
A preview of the Sudoku example was posted by @rj_aligned: https://x.com/rj_aligned/status/1933251582700749083…
• zkML use cases are being tested.
• PRs merged: naming convention unification, workflows expanded to testnet/staging, and new docs on AggregationMode.
Media
On a recent episode of @HouseofZK Radio, @diego_aligned, Co-founder of Aligned Layer, joined @alicelingl where they talked about the importance of efficient proof verification in the ZK space, the motivation behind creating a dedicated verification layer, and how Aligned Layer is enabling scalable, flexible, and low-cost verification solutions that stay closely integrated with Ethereum.
They also discussed broader ZK trends, TEEs as complementary tools, and exciting future applications - from on-chain gaming to zkTLS bridging Web2 and Web3:
https://x.com/HouseofZK/status/1932817011161117179
Updates
@RosuGrigore, Founder & CEO of @Pi_Squared_Pi2, shared the latest updates: https://x.com/RosuGrigore/status/1934985536856367301…
• Devnet preparations progressing with infrastructure upgrades, @MetaMask payments, and bug fixes.
• Final demos for VSL Clients are live with UI and deployment improvements.
• AI demos now include pay-to-verify via MetaMask.
• KEVM saw a performance boost from 10x to 8x slowdown vs native.
• Final QA is underway ahead of the public rollout.
Blog
Pi Squared shared an article explaining how state mirroring via its Verifiable Settlement Layer allows blockchains to cryptographically access and verify each other’s state without bridges or trust assumptions.
By anchoring state data on the VSL, chains can interact natively and securely. This enables real-time cross-chain applications, unified liquidity, shared governance, and composability across ecosystems - ushering in a new model for blockchain interoperability: https://blog.pi2.network/mirror-to-the-
@NovaNet_zkp has launched its ZKP Agent Kit, enabling anyone to create ZKPs using simple natural language - no advanced math or cryptography expertise needed.
Users can generate proofs for age, content authenticity, or private location. Built on a memory-efficient zkVM, the system ensures private yet verifiable AI workflows. Future features include zkML, USDC
@alt_layer announced several new partnerships:
• @lagrangedev: Integrated Lagrange’s zkML suite to enhance transparency and trust in rollups. The stack enables verified analytics, agentic coordination, and offchain data integrity - without burdening the chain. This collaboration supports AltLayer's vision for a verifiable, AI-powered rollup ecosystem: https://x.com/alt_layer/status/1935687763640361349…
• @DINBuild: Collaborates with DIN to build and evolve its AVS infrastructure. AltLayer contributes to SLA and slashing architecture, onboards operators to @eigenlayer, and supports testnet iterations - helping bring decentralized, verifiable RPC to rollups using AltLayer's stack: https://x.com/alt_layer/status/1932443021506744656…
• @privy_io: Enabled embedded wallet functionality for AltLayer rollups through Privy integration. Users can now onboard with email or social login, without browser extensions or seed phrases. This brings a seamless and secure UX, backed by sharding and TEEs: https://x.com/alt_layer/status/1930973055024869802 compliance, and agent integrations: https://x.com/NovaNet_zkp/status/1934653328081768478
