This week at @HouseofZK, we completed the publishing of the full video archive from last months @eth_proofs Summit, featuring every keynote, panel, and interview, and we released a detailed article recapping the event.
Our reports covered the latest technical advances across the zkVM, zkL1, coprocessing, and cross-chain ecosystems - from @Agglayer's OP Stack SDK to @AleoHQ's view key compliance, and @brevis_zk's trustless incentive platform.
We also released new HoZK Radio episodes with @hibachi_xyz and @GOATRollup, where we explored the future of ZK-powered exchanges and infrastructure for trust-minimized Bitcoin yield.
Below, we break down the most relevant updates across the ZK space this week, all in one place
Exactly one month on from our @eth_proofs Summit, we published a full recap of the event - detailing all twelve sessions focused around zkVM design, benchmarking methodologies, and infrastructure maturity.
Full article: https://hozk.io/journal/the-hozk-ethproofs-summit-a-major-step-toward-transparent-standardized-zk-infrastructure
The article highlights how the event surfaced five key priorities for the future of ZK:
Benchmarks must reflect production environments.
zkVM diversity increases resilience and design parallelism.
Proof infrastructure is now protocol infrastructure.
Validator-side proving is becoming viable.
Security must be treated as a first-class design constraint.
Fundamentally, the summit confirmed what many already suspected: @ethereum is all-in on ZK, and coordination around metrics, formats, and governance is critical to its next phase.
Video archive: https://youtube.com/watch?v=K7g8fIPjqNs&list=PLKquVQ64ui2Q-HJXriMvoht30oNH-a9A_
We published two new @HouseofZK Radio episodes this week, plus a key insight from our @eth_proofs Summit interview with @drakefjustin:
#57: @DacEconomy (@ProjectZKM) & @sd_eigen (@GOATRollup)
Recorded live at the Bitcoin Economy Conference in Las Vegas, this episode explores how ZKM’s zkVM powers GOAT Network’s Bitcoin Layer 2.
Ming and Stephen unpack the concept of entangled rollups, real-time proof generation, proof aggregation across thousands of blocks, and the transition from validator trust to mathematical guarantees → https://open.spotify.com/episode/0tEZKP9XKOhbMOKL9ZYbPp
#58: @michael_hibachi (@hibachi_xyz)
What would it take to build a trustless exchange with centralized performance?
In this episode, Michael Blind explains Hibachi’s core architecture - ZK-proven offchain execution with onchain settlement - and how it removes the tradeoff between speed and trust.
We cover regulatory implications, the future of exchange infrastructure, and why ZK is the unlock → https://open.spotify.com/episode/2MAleAKZawUijbqjwhXWmU
Justin Drake on zkVM Diversity and Fault Isolation, from the live interview at our Ethproofs Summit:
Justin explained the logic behind Ethereum’s current strategy to avoid enshrining a single zkVM. Off-chain zkVMs with uncorrelated failure domains mirror Ethereum’s consensus design - enabling validators to require k-of-n zkVM agreement per block.
He also highlighted other advantages to zkVM diversity, including: “Each team comes up with a mini-breakthrough… and when you compound all those, you get something really amazing.” → Full Interview: https://hozk.io/radio#55-Justin-Drake-Researcher-at-Ethereum-Foundation
We explored recent advances across the zk cross-chain ecosystem - focusing on universal settlement, composable naming, ZK bridging, and fast proof-based transfers: https://x.com/HouseofZK/status/1942563434450600403
@Agglayer released v0.3 with “pessimistic proofs” allowing any chain to join securely. Polygon PoS joins Q3. Also launched OP Stack support and EggNS—ZK-native naming across chains: https://agglayer.dev/blogs/agglayer-v0-3-is-live
@PolyhedraZK launched Expander-GPU: a CUDA-based backend for ZKP generation - achieving 7–10x speed-ups and 16,384:1 compression: https://blog.polyhedra.network/expander-gpu-blasting-past-cpu-limits-with-a-10x-speed-force
@union_build launched App v3 with new testnets, UX upgrades, and a governance model that works cross-chain without bridges - built on @cosmos: https://union.build/blog/crosschain-governance-by-union
@Orbiter_Finance integrated with @KyberNetwork for fast swaps across major L2s, OrcaMind AI for text-based bridging, and Katana for DeFi yield:
https://x.com/Orbiter_Finance/status/1940886257837748651
@ZekoLabs partnered with @ZkNoid to build Obirium, a cross-chain game using @SuiNetwork for gameplay and Zeko for settlement via recursive proofs: https://x.com/ZekoLabs/status/1939838018787152311
@AcrossProtocol released V4: a unified architecture for fast ZK-verified bridging using intents and @SuccinctLabs's zkVM: https://across.to/blog/across-v4
House of ZK hosted a special broadcast covering the partnership, featuring @mrice32 and @pumatheuma: https://x.com/i/broadcasts/1yoJMoARqNlKQ
We tracked major updates across the zk coprocessor stack - spanning data indexing, identity verification, campaign logic, and privacy tooling: https://x.com/HouseofZK/status/1942922865168236999
@SpaceandTimeDB added full @Optimism indexing and rolled out several integrations.
@vlayer_xyz released a deep-dive on connecting bank accounts, social accounts, and web2 data to smart contracts via ZK proofs: https://vlayer.xyz/blog/the-missing-bridge-between-web2-and-web3-data
@brevis_zk launched Incentra - a ZK-powered, trustless campaign platform that runs incentive logic off-chain and handles claims on-chain: https://blog.brevis.network/2025/06/30/incentra-launches-with-euler-campaigns-on-arbitrum-trustless-incentive-infrastructure-for-sustained-defi-growth
@primus_labs introduced zkTLS-based payments using social handles: https://x.com/primus_labs/status/1937888517259919479
@AutomataNetwork launched TEE Wiki, a collaborative open knowledge hub for Trusted Execution Environment research, with contributions from Flashbots, Oasis, Secret, and others.
We documented major updates across privacy-preserving and ultra-scalable L1s - from view keys and digital identity to shielded pools, protocol migrations, and EVM-integrated ZK privacy engines: https://x.com/HouseofZK/status/1943409666798563632
@AleoHQ introduced account-level and transaction-level view keys - granting users cryptographic control over what data to disclose. This enables compliance (audits, KYC) without sacrificing privacy: https://aleo.org/post/aleo-view-key-compliance/
@MinaProtocol/@o1_labs completed a transition of ecosystem leadership from Mina Foundation to o1Labs: https://forums.minaprotocol.com/t/community-call-recap-transition-milestones-ecosystem-priorities-and-what-s-next-for-mina/6883
o1Labs will now lead development, community, and tooling. A decentralized treasury is planned for end-2025. A protocol upgrade and zkApp improvements will follow in Q3–Q4.
@horizenglobal released final node updates (ZEN 6.0.0, EON 1.5.0) as it migrates to @Base and sunsets its legacy chain: https://mirror.xyz/0xF4D306be0E45E78bfE29588Bd018fe9CE405a62d/lpHBXvyI3p8Si0gzFoRz58kZJKF9KtJvRSeJyklmWLo
@Zcsh announced their latest ecosystem updates:
https://zechub.substack.com/p/zcash-shielded-news-vol37
Highlights:
• $708K grant for ZSA integration
• Zenith 0.10.0.0-beta release
• Growth of Zcash Arabia
• New website and education plans
• Progress on Zallet, Zaino, and Zebra
@namada completed its full mainnet launch with shielded transfers enabled for 10 IBC assets: https://namada.net/blog/namada-mainnet-launch-is-complete
Built for cross-chain privacy, Namada will now focus on expanding ZK-based privacy tooling across dApps and other blockchains.
@DuskFoundation introduced Hedger, a new privacy engine for its EVM chain that enables private assets, hidden order books, and in-browser proving using homomorphic encryption + ZKPs: https://dusk.network/news/hedger-confidential-duskevm
@hyli_org showcased four zk-native experiments as part of its testnet:
• eZKasino: Blackjack using RiscZero proofs, with verifiable randomness: https://blog.hyli.org/deep-dive-ezkasino
• Hyli Chat: Noir-proven messaging to filter spam: https://blog.hyli.org/deep-dive-chat
• Orange Trail: Multiplayer board game with SP1-verified logic: https://blog.hyli.org/deep-dive-orange-trail
• Hyligotchi: Onchain pet with SP1 + Merkle-based state updates: https://blog.hyli.org/deep-dive-hyligotchi
To get these insights delivered directly, subscribe to our newsletter at http://hozk.io and explore our podcasts, events, & education libraries.
ZK is moving fast - we’re here to make it easier to keep up, surfacing the most important industry updates with as little noise as possible
