[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

![HouseofZK Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::1720780406440579072.png) House of ZK [@HouseofZK](/creator/twitter/HouseofZK) on x 53.5K followers
Created: 2025-07-21 10:50:06 UTC

Proof Verification Report

Full report -

We released an ecosystem update on the infrastructure teams building the final leg of the ZK pipeline - verifying proofs. Featuring: @ZKVProtocol, @alignedlayer, @Pi_Squared_Pi2, @NovaNet_zkp, and @alt_layer.

zkVerify 
- Tech Update: Released version 0.17.0 with support for SP1 by @SuccinctLabs verifiers, improved compatibility with modern zkVMs:
- Partnership: Teamed up with @zerobasezk to integrate as a scalable, trustless verification layer. Enables real-time validation (identity checks, AI audits, staking) and connects results across chains:
- Events: Announced “Verified Hacker House” in Ho Chi Minh City, Aug 4–11, with a hackathon Aug 5–7. $XXXXX prize pool, workshops, meals, grants, incubation:

Aligned Layer
- Infrastructure Rollout: Launched Ethereum-focused tools (ZK Verification Layer, Rollup‑as‑a‑Service, Meta‑proving). Verification layer is in mainnet beta; aggregation is in testnet:
- Engineering Updates: Upgraded RISC Zero to v2.1.0, integrated Circom, added proof-of-completion game “Beast ZK” via RISC Zero zkVM, and updated gnark/rapidsnark stack:
- Partnership: Powering Sovraio’s Digital Trust Stack (8M+ users) across Mexico, Argentina, Colombia—supporting digital identity via Rollup‑/Wallet‑as‑a‑Service and ZK tooling:

Pi Squared
- FastSet Rollout: Developed FastSet for fast, verifiable claim settlement (identity, payments, proofs) without linear consensus:
- Tech Work: Progress on FastSet protocol, cross-chain liquidity MVP, XX% Ethereum speedup via Mint, LLVM callbacks for Reth integration:
- Partner Integrations: Working with @rv_inc on formally verified infrastructure using the K Framework—supporting Ethereum, Solana, Stellar:

NovaNet 
Verifiable Agent Kits: Agents can now transfer USDC via natural-language prompts (with KYC) and trigger multi-proof workflows across Ethereum and Solana (USDC + KYC + location):
- USDC transfers via prompt:
- Circle API integration:
- Multi-proof support:

AltLayer 
- Integrated Gattaca-based rollup overlay for Optimism’s OP Stack—enabling pre-confirmations every XXX ms with Ethereum-level security:
- Full support for Polkadot-native rollups via no-code dashboard and Rollups-as-a-Service:
- Staking Launch: Joined Astar Network’s dApp staking - supporting @soneium’s real-time gaming rollup. Offers sub-second pre-confirmation using ASTR restaked on EigenLayer and ETH:


XXX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1947247707933847724/c:line.svg)

**Related Topics**
[zk](/topic/zk)

[Post Link](https://x.com/HouseofZK/status/1947247707933847724)