Coming today at 4pm UTC: @TheProofLab Special with the prover killer @YourBuddyConner 🤝 📍Live from @HouseofZK

House of ZK Radio #63: Ismael Hishon-Rezaizadeh, Founder of Lagrange - out now on Spotify & YouTube 🔳 Recorded live at the ZK/AI Summit in Dubai, we spoke with @Ismael_H_R, Founder of @lagrangedev, about DeepProve - the project’s high-performance ZKML framework - and its role in making AI outputs provably correct. We discuss why AI models must be verifiable, how ZK proofs can secure every stage of the ML pipeline, and why the convergence of ZK, AI, and crypto is a “directionally correct” technological shift 🤝 Spotify: YouTube:

Join us at SBC '25 for the Whitepaper Reading Sessions - coorganized with @WPReadingClub 📜 🗓️ August 6th, 11am-5.30pm 📍 @UCBerkeley Student Union To view the full agenda and to register, visit: In partnership with @CalBlockchain, @0xPolygon, @boundless_xyz/@RiscZero, @TheProofLab, @ligero_inc, @initc3org, and @anza_xyz 🤝

Is privacy finally catching up to convenience? In our fifth interview from @aztecnetwork's NoirCon2, @alicelingl speaks with @MayaDotan_, Product Manager at @StarkWareLtd, about the state of client-side proving, the real motivation behind StarkWare’s custom prover and zkVM efforts, and the overlooked ZK use cases in real-world systems like IoT. From rewriting Cairo for local proof generation to questioning whether real-time proving on massive GPU clusters is meaningful, this conversation gets into the heart of what ZK is for - and what it isn’t. Also available on YouTube:

“You don't play your N64 with a high-speed GPU. You don't pair an Intel i3 with an RTX 5090. Same thing with legacy blockchains - they're not built for what AI needs.” - @tomngodefi, CEO of @MetisL2 In the latest House of ZK Radio episode, Tom Ngo explains why Metis is moving fast to build Hyperion - an AI-optimized execution layer - designed from scratch for high throughput and high data availability. Rooted in the insight into legacy systems needing to evolve to meet the scale and complexity of intelligent agents, Metis is creating a bespoke, low-latency L2 that supports the real demands of AI: instant finality, verifiable data, and seamless agent integration. Watch the full episode at

This is awesome. @AlpenLabs, @citrea_xyz, @GOATRollup, @build_on_bob, @fiamma_labs, all now in testnet. @StarkWareLtd also making big moves in this area. The orange planet is in sight. BTCFI season is upon us 🟠

Tune in tomorrow for the @TheProofLab Special, featuring the prover killer himself, @YourBuddyConner 🤝 🗓️ August 5th 🕔 5pm UTC 📍 @HouseofZK Expect pure signal from a true crypto OG.

“It's outrageous.” Why are we still handing over passports and face scans just to access a website? In an upcoming interview from @aztecnetwork's NoirCon2, @StarkWareLtd Product Manager @MayaDotan_ calls out the broken state of digital identity - and explains how ZK can easily fix it. Full interview drops soon.

Give this a listen to hear about all things Noir, how we got here, apps that need privacy and the Aztec Testnet. Thanks for having me on, it was the most fun relaxed podcast I have done. 😃

Here we report on the progress of the leading builders in the zkBitcoin ecosystem, documenting recent significant releases, technical breakthroughs and general updates. Featuring: @StarkWareLtd, @GOATRollup, @citrea_xyz, @build_on_bob, @babylonlabs_io, @AlpenLabs, @fiamma_labs, @FairGateLabs, @layeredge, @BTC_OS, @fractal_bitcoin, @TheTNetwork, @BitlayerLabs, @MapProtocol, & @TaprootWizards 👇