House of ZK

Verifying Intelligence at @EFDevcon x.com/i/broadcasts/1…

Deepfakes are becoming indistinguishable from reality. Congrats to @brevis_zk on launching Brevis Vera, verifiable media authenticity is emerging as one of the most important infrastructure layers in the age of AI.

@GOATNetwork GOATED

Everyone keeps saying it.

@Calcutat @StarkWareLtd @Starknet 💯

@HouseofZK @StarkWareLtd @Starknet huge

JUST IN: Leading theoretical computer scientist and quantum computing expert, Professor Scott Aaronson, has joined the @StarkWareLtd Scientific Advisory Board. Scott will help accelerate @Starknet efforts in making Bitcoin quantum-ready.

House of Zk Radio #99: Zac Williamson, CEO of Aztec - out now on Spotify & YouTube 🔳 In this previously unaired episode from 2025, we sit down with @Zac_Aztec CEO @Zac_Aztec to discuss the origins of Aztec and why privacy is the hardest problem in ZK. Topics covered include client-side proving constraints, why privacy requires rethinking blockchain architecture, trade-offs between zkVMs and DSLs (including Aztec’s @NoirLang), and where TEEs and FHE fit as partial tools rather than end-to-end privacy solutions. Spotify: open.spotify.com/episode/6JFrLm… YouTube: youtube.com/watch?v=61Ihn2…

JUST IN: @goatnetwork's GOAT BitVM2 Testnet (V3) is live - their final public testnet before mainnet.

JUST IN: @citrea_xyz Mainnet is now live, enabling a suite of DeFi applications on the Bitcoin Network.

“If you’re not technical, all you need to know is this: GOAT Network is built to earn yield in BTC, with clear risk levels.” - Dr. Redouane Elkamhi, Economic Lead at @goatnetwork In Episode #88, the @UofT Professor of Finance breaks down: • What “earning yield on BTC” actually means (BTC-denominated returns, not reward points). • Why risk disclosure matters more than APY marketing: different risk profiles should map to different expected returns. • The minimum questions to ask any “Bitcoin L2” before deploying capital: decentralization, enforcement/exit path, and how it anchors back to Bitcoin. • Why GOAT Network’s design targets incentive alignment with Bitcoin’s long-term security model (activity that ultimately pays for L1 security). If you’re evaluating Bitcoin yield products, this episode is the baseline: understand the risk tier you’re choosing, the return you’re being paid for it, and whether the system is actually built to be enforceable on Bitcoin: #88-dr-redouane-elkamhi-chief-economist-at-goat-network" target="_blank" rel="nofollow noopener">hozk.io/radio#88-dr-re…

@idealgroup @robin_linus @liameagen @therealyingtong Congrats 👏

Today, the creators of BitVM, including @robin_linus, @liameagen, and @therealyingtong, launch { 𝙞𝙙𝙚𝙖𝙡 }. We're using cryptography to advance privacy and scalability on Bitcoin. Our first contribution is Argo, a garbling scheme enabling 2000× efficiency gains.

House of ZK Radio #98: Illia Polosukhin, Co-founder of NEAR Protocol - out now on Spotify & YouTube 🔲 In this episode we sit down with @ilblackdragon, co-founder of @NEARProtocol, to trace NEAR’s origin as an AI-first startup and how scaling global micropayments led to building a new L1. We cover NEAR’s developer stack (Wasm, Rust, TypeScript, Python), the emerging “AI + blockchain” thesis, where zero-knowledge proofs fit (privacy, local proving, verifiable computation), and why TEEs plus ZK may converge into practical hybrid systems. Illia also shares NEAR’s work on offchain computation via TEEs, formal verification priorities, and the roadmap toward agent-driven, cross-chain execution. Spotify: open.spotify.com/episode/6MvkqD… YouTube: youtube.com/watch?v=_Nd9IK…

Thank you, Satoshi.

@kirkthebaird hi Kirk

@HouseofZK 👀

House of ZK highlights recent progress on Alpen in their latest report.

A common framing of Bitcoin today is that it’s a savings technology. Digital gold. Something you hold, not something you use. I think that framing is incomplete and ultimately wrong. Bitcoin isn’t meant to sit alongside fiat as a savings vehicle. It’s meant to replace fiat as a monetary base. And a monetary base that cannot be used cannot function as money. For Bitcoin to operate as money, it has to be usable at scale. That implies execution, settlement abstraction, faster interactions, and cost-efficient transactions. Bitcoin L1 is not designed for that, and shouldn’t be. Its role is finality and neutrality. This is why Bitcoin needs L2's. Once you accept that Bitcoin needs L2s to be usable as money, you stop asking whether alts are competing with Bitcoin and start asking whether they are serving Bitcoin. If acceptance of alts is even possible in the Bitcoin-first community, it won’t come from alternative monetary assets. It will only come from systems that keep Bitcoin as the unit of account/native asset, while extending its usability (crcucially, without weakening its guarantees). I.e. introducing auxiliary tokens ONLY where Bitcoin alone cannot perform the required coordination or incentive functions around things like expressiveness and yield. Any non-BTC asset that has any chance of gaining legitimacy within this community will do so only by filling those gaps in a way that BTC itself cannot.

“Bitcoin is this really great asset, but it’s a little bit like gold or houses. It’s mostly sitting there.” - @EliBenSasson, CEO of @StarkWareLtd In episode #87, Eli made a crucially important point about how Bitcoin is drifting into a “static collateral” role: a strong store-of-value that mostly sits idle, and when holders want utility (borrow/lend, deploy capital, build an economy), the common path today is to hand control to intermediaries or move into systems that don’t preserve Bitcoin’s core guarantees. That creates a failure mode where Bitcoin’s value concentrates under centralized custody and its “usable” layer lives elsewhere, weakening self-custody, decentralization, and censorship resistance - defeating the entire point of Bitcoin's existence. His proposed fix is building Bitcoin-native (or maximally Bitcoin-aligned) scalability and programmability so users can use BTC without exiting Bitcoin’s security model and values. Concretely, he says mainstream “Bitcoin as usable money” requires three things: 1. Scalability (transaction throughput far beyond L1) 2. UX/accessibility (usable by non-experts without brittle key-management overhead) 3. Expressibility (smart-contract-like functionality for lending/borrowing and broader economic activity), ideally via Bitcoin L2s that are tightly integrated with Bitcoin rather than “BTC on another chain". Watch the full episode with Eli Ben-Sasson on the future of Bitcoin-scaling at #87-eli-ben-sasson-ceo-of-starkware-co-founder-of-zcash" target="_blank" rel="nofollow noopener">hozk.io/radio#87-eli-b…