Proof Verification Latest

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

zkVerify 

Tech

@ZKVProtocol has released version 0.17.0, introducing support for SP1 by @SuccinctLabs verifiers, enhancing compatibility with modern zkVMs: https://blog.zkverify.io/posts/the-big-beautiful-runtime-upgrade-zkverify-version-0-17-0-is-live 

The update also prepares for the upcoming VFlow parachain through XCM and parachain parameter upgrades. Additionally, it launches new governance and treasury tracks to support on-chain participation. 

The release focuses on performance, interoperability, and long-term scalability goals.

Partnerships

The project has also partnered with @zerobasezk to provide a scalable, trustless verification layer for ZKPs.

Integrated into the ZK App Network, zkVerify enables real-time validation of tasks like identity checks, AI audits, and staking. Acting as the final trust checkpoint, it connects verified results to any L1 or L2 chain with high throughput and reliability: https://x.com/ZKVProtocol/status/1941875119204487200 

Events

Finally, the zkVerify Foundation has announced it will host a Verified Hacker House in Ho Chi Minh City from August 4-11, 2025, featuring a hackathon from August 5-7 that invites developers to build Web2 and Web3 applications using zkVerify’s ZKP verification system: https://blog.zkverify.io/posts/verified-zk-hacker-house-before-ethvietnam 

With a $1,750 prize pool, technical workshops, meals, and community support provided, the event also offers potential follow-up opportunities through grants and incubation, while submitted projects will be evaluated based on their innovation, functionality, and effective integration of zkVerify’s tools and supported proof systems.

Aligned Layer 

Tech

@alignedlayer has launched a suite of @ethereum-focused infrastructure tools to help teams deploy and scale efficiently, with key products including a ZK Verification Layer, Rollup-as-a-Service, and Meta-proving Services: https://x.com/alignedlayer/status/1940056948461945241  

Their Proof Verification Layer is in mainnet beta, while aggregation is in testnet. Additional offerings include an interoperability protocol and Wallet-as-a-Service, all designed to reduce complexity and cost while supporting high performance and seamless blockchain integration.

The project also shared a string of other tech updates, which include:

• Preparations for the upcoming v0.17.0 release.
• The team upgraded RISC Zero to v2.1.0, integrated Circom into supported verifiers, and updated the documentation.
• They also completed the integration of the Beast ZK puzzle game, featuring ZK proof-of-completion via @RiscZero zkVM.
• Additional work included renaming Gnark, migrating to go-rapidsnark, and updating contracts in the zk-arcade repository.

For the full list of updates, see the blog post: https://blog.alignedlayer.com/aligned-engineering-updates-june-23rd-27th-2025/ 

Partnerships

Aligned is powering @sovraio’s Digital Trust Stack with infrastructure critical for scaling verifiable digital identity systems: https://x.com/alignedlayer/status/1939641462024716457

Sovra, already serving over 8 million users in Mexico, Argentina, and Colombia, helps governments and citizens securely issue, verify, and control digital credentials. Aligned provides Rollup-as-a-Service, Wallet-as-a-Service, and ZK

Pi Squared

Tech

@Pi_Squared_Pi2 has introduced FastSet, a new infrastructure designed to enable fast, verifiable claim settlements across future blockchains, apps, and AI systems - without relying on traditional consensus: https://blog.pi2.network/introducing-the-vsl-devnet-a-new-era-of-fast-verifiability/ 

Using quorum-based finality and a principle called weak independence, FastSet avoids validator communication and linear consensus, yet maintains consistency and safety. Claims - such as payments or proofs - are settled in seven steps, from creation to finalization. It supports diverse use cases, including identity, asset transfers, and public proof of compute.

In addition, @RosuGrigore, Founder & CEO of Pi Squared, shared a string of other tech updates, including:

• FastSet Development: Implementation of the FastSet distributed protocol began, with FastPay chosen as a reference. Key features and user stories were defined.
• Client Focus: Teams pivoted toward MVP development for cross-chain liquidity and fast settlement.
• Ethereum Optimization: K-based validation achieved a 10% speedup via MInt; 20% expected soon.
• LLVM Work: Fine-grained callbacks initiated for better Reth client integration.

Full post: https://x.com/RosuGrigore/status/1942614199743701485

Partnerships

The project has partnered with @rv_inc to develop secure, formally verified infrastructure using the K Framework: https://x.com/Pi_Squared_Pi2/status/1937940265244741663 

The collaboration focuses on protocol design, programming language tooling, and formal semantics. Pi2 is building its Verifiable Settlement Layer, while Runtime Verification provides tools across ecosystems like @ethereum, @solana, and @StellarOrg.tooling to ensure Sovra's platform remains private, scalable, and interoperable.

NovaNet

@NovaNet_zkp’s Verifiable Agent Kit now allows agents to act autonomously using ZKPs on @ethereum and @solana:

Agents can transfer USDC with natural language prompts, if KYC conditions are met: https://x.com/NovaNet_zkp/status/1939769150689485239

Integration with @circle’s API enables verifiable, cross-chain USDC workflows with proof-based verification: https://x.com/NovaNet_zkp/status/1938701560659485029

The system now supports multi-proof logic, allowing agents to combine KYC, location, and transaction data into a single verified action: https://x.com/NovaNet_zkp/status/1942973361476587716

AltLayer 

Integrations

@alt_layer has integrated @gattacahq’s based rollup stack, enhancing @Optimism’s OP Stack rollups with faster and more secure transaction processing: https://blog.altlayer.io/altlayer-supports-gattacas-based-rollup-stack-0ecca6b298cc 

Built by the team behind @titanbuilderxyz, Gattaca’s overlay enables transaction preconfirmations every 200ms while preserving @ethereum-level security. 

By relying on Ethereum validators for sequencing, based rollups improve decentralization, reduce latency, and ensure liveness. AltLayer RaaS users benefit from improved performance, redundancy, and seamless cross-rollup interoperability.

The project also now fully supports @Polkadot Native Rollups through their Rollups-as-a-Service platform: https://blog.altlayer.io/altlayer-now-supports-polkadot-native-rollups-277e0592280f 

In collaboration with the @PolkadotDeploy Portal, developers can deploy and manage app-specific chains in minutes using a no-code dashboard. 

The service offers customizable infrastructure, low fees, and automated scaling. By simplifying backend operations, they enable builders to focus on their product while aligning with Polkadot’s modular, multichain vision for Web3.

Staking

AltLayer has joined @AstarNetwork’s dApp Staking program, allowing users to stake ASTR to support @soneium, a rollup focused on real-time gaming and SocialFi: https://x.com/alt_layer/status/1944728758663119033 

AltLayer’s MACH finality layer offers sub-second pre-confirmations backed by ASTR and restaked ETH via @eigenlayer. 

This integration turns ASTR into infrastructure, enhances Soneium’s performance, and creates new staking rewards for the Astar community while supporting network security.