#83: Doris Hernandez, CEO of Functor Network

In this episode, recorded at Aztec's Noircon, we sit down with Functor Network CEO Doris Hernandez to discuss the project's purpose-built L2: a minimal zk keystore layer inspired by Vitalik’s proposal that serves as a verifiable authentication layer for smart accounts. Doris also introduces Maxim - ephemeral, expiring session keys that are interoperable across EVM L2s - so AI agents can execute on your behalf without exposing primary keys.

cTlB4LG2jzM

https://open.spotify.com/embed/episode/7pPlOELiQnzTeCp6cWS4MS

#82: Rolf Versluis, Co-founder of zkVerify

In this episode, we sit down with Rolf Versluis, Co-founder of zkVerify, to discuss what zkVerify is, the journey leading up to its recent mainnet launch, and what comes next. Rolf shares insights into how zkVerify is building a verification layer for zero-knowledge proofs, its role in the emerging ZK infrastructure stack, and how it plans to expand beyond blockchain into broader computational verification.

T6I8lieVP2A

https://open.spotify.com/embed/episode/4XUnn2BSz0DEV5wVmnG9fA

#81: Ming Guo, Co-founder of ZKM

In this episode we sit down with Ming Guo, co-founder of ZKM and Laz AI, to explore the convergence of zero-knowledge and artificial intelligence. Ming traces the founding of ZKM back to the early rollup era - when the team chose to build a universal zkVM based on the MIPS32r2 ISA, rather than an EVM-specific one, to enable broader verifiable computation beyond blockchain contexts. The discussion expands into how real-time proving unlocks true ZK-AI integration, making it possible to prove inference, ensure trust in model execution, and build decentralized AI applications without compromising performance. Ming also introduces the vision behind Laz AI - creating deep, socially-driven data through natural human interaction, powered by crypto incentives and verifiable proofs.

DSQynELmuS0

https://open.spotify.com/embed/episode/6OjvtnhKSeTbIKJfKNTDta

#80: Jon Stephens, CEO of Veridise

In this episode we sit down with Jon Stephens, CEO of Veridise, to unpack how formal methods are reshaping Web3 security. Jon traces Veridise’s journey from manual audits to tool-augmented reviews and introduces AuditHub, a continuous security platform that brings static analysis, fuzzing, and formal verification into your CI/CD so bugs are caught while you build - not after you ship.

En5H7XdhLoI

https://open.spotify.com/embed/episode/7fWepL451L17nvMnMJW1PJ

#79: Daniil Liberman, Creator of Gonka Protocol

In this episode we sit down with Daniil Liberman, creator of Gonka Protocol, to dig into his wild founder journey - from early distributed compute and top-rated animation to Bitmoji/AR at Snap - and why he’s now building decentralized AI with a transformer-based proof-of-work to make compute abundant, verifiable, and permissionless. If you care about breaking Big Tech’s choke point on GPUs and the future of open AI infrastructure, this one’s a must-listen.

eWoa_Fe5ihM

https://open.spotify.com/embed/episode/2sM3JITqF4s8Nu7Q5qACbW

#78: Daniel Kwak, CMO at LazAI

In this episode, we sit down with Daniel Kwak, CMO at LazAI, to discuss fixing AI’s data misalignment - from reducing bias and hallucinations with context-rich datasets to building composable intelligence where agents integrate on shared state (not just message-pass). Daniel breaks down LazAI’s Data Anchoring Token (DAT) for tracking and monetizing dynamic datasets (selective disclosure, subscriptions, evolving agents), the team’s developer stack and agent framework atop a high-performance network, and how LazPad launches are shaping their path to mainnet.

yM_h5LZyYzY

https://open.spotify.com/embed/episode/3IRZJCYKtrTOa7aZ6xmsPD

#77: Shiv Shankar, CEO of Boundless

House of ZK Radio is a focused podcast and media initiative covering everything zero-knowledge, from the fundamentals and most recent advancements to exploring the ‘why’ of ZK and the stories of visionaries behind the tech. We examine how ZK is set to transform our digital lives and aim to make complex concepts digestible for all.

D6MQiPJPny4

https://open.spotify.com/embed/episode/2TS3OZHPsl6bsKRgXMkYVu

#76: Bobbin Threadbare, Co-founder of Miden

What if wallets stayed private, apps proved themselves, and blockchains scaled from the edge? In this episode, Bobbin breaks down Miden’s zk-powered edge blockchain: client-side proving, an actor model with programmable notes (UTXO-style), and a hybrid of public shared state + private self-custodied state - so privacy is cheaper and UX stays smooth. We also dig into the Rust-based toolchain and how devs can build real apps that run locally, prove globally.

F_4OLOtARMI

https://open.spotify.com/embed/episode/2NPPI6RyZFOG2yDYVertzX

#75: Jan Gorzny, Co-founder of Zircuit

In this episode we sit down with Jan Gorzny, Co-founder of Zircuit, to break down sequencer-level security (AI-driven quarantine of malicious txs), why the team is migrating from Halo2 to zkVM (SP1 via Sindri), what it really takes to run provers (GPU, costs, trade-offs), and how they’re thinking about decentralization vs. accountability.

K8Mk7PkF0Qo

https://open.spotify.com/embed/episode/1Yduwnzxa2TTVKTMvA7Bkh

#74: Rute Figueiredo, Devrel Engineer at ZK Email

Can your inbox prove things on-chain - privately? In this episode, Rute Figueiredo from ZK Email breaks down how DKIM signatures + ZK proofs enable selective disclosure: proving you have a valid account, completed KYC, or received a specific message without revealing the email or your identity. We dig into zk-regex + the blueprint registry (build proofs from text with no circuit work), the public DKIM archive, email wallets and recovery, soft-KYC for airdrops (Jupiter), Human Passport & Stamp, and what’s shipping next (Noir/SP1, “email as DNS”, OpenZeppelin signer standards).

coktxj-1tnc

https://open.spotify.com/embed/episode/7eowhRN8gXOQ9doFFfHXOo

#73: Lukas Helminger, CEO of TACEO, & Lukas Götz, CPO of TAC

In this episode we sit down with Lukas Helminger (CEO) and Lukas Götz (CPO) of TACEO to unpack private shared state - their approach to combining MPC + ZK (coSNARKs) so multiple parties can collaborate on encrypted inputs and still get verifiable on-chain outcomes. We cover why users care about privacy, why SNARKs pair better with MPC than STARKs, and how TACEO’s proof network delivers sub-second delegated proving so devs don’t ship giant keys or force slow client proofs.

KUTZp-QxuO4

https://open.spotify.com/embed/episode/0bKNURA4Buuu9G6qu57V7Q

#72: Carter Feldman, Founder of Psy Protocol

Carter Feldman breaks down how Psy Protocol uses ZK to parallelize an L1 and keep verification cheap: using software-defined keys (ZK circuits) instead of private keys, an agent-centric state model with programmable guardrails, and local proving that batches unlimited user ops while preserving privacy.

3spH-golxIQ

https://open.spotify.com/embed/episode/05D34quxHT8YgdEFVBaZQg

#71: Aryan Sheikhalian, Head of Research at CMT Digital

In this episode we sit down with Aryan Sheikhalian, Head of Research at CMT Digital, to examine venture’s role in ZK - where research drives thesis, and thesis feeds the next research cycle. Aryan details a pragmatic path for Ethereum’s ZK-heavy future and a verifiability stack that mixes TEEs with zkTLS, plus the emerging role of ZK coprocessors. We cover fragmentation vs. convergence (why middleware may be the forcing function), proof marketplaces and the economics of “who pays for trust”, and concrete founder guidance: proofs are the product, prioritize composability over raw speed, keep ZK invisible to users, and own the routing layer between apps and verifiability.

QiztA7cRDg8

https://open.spotify.com/embed/episode/2nryl6BYKtUZi1EFrlBijD

#70: Conner Swann, Founder of Prooflab

In this episode we sit down with Conner Swann, Founder of ProofLab, to discuss systematic stress testing for ZK provers: ZKarnage on ETHProofs, gas-to-cycle mispricing, precompile bottlenecks, and the path to formal verification and standardized benchmarks.

QiztA7cRDg8

https://open.spotify.com/embed/episode/2BMBUw7vpcddyCo4YgHMM2

#69: Yovela Luo, Co-founder of Fiamma

In this episode, we sit down with Succinct’s Uma Roy to discuss real-time proving for Ethereum: generating proofs in <12s to lift L1 gas limits while preserving verifiability, enabled by a decentralized prover network with sub-second auctions and GPU clusters.

HLY_bAbdLco

https://open.spotify.com/embed/episode/38IWjLuobTVXcY7ImbanUf

#68: Uma Roy, Co-founder of Succinct

In this episode, we sit down with Succinct’s Uma Roy to discuss real-time proving for Ethereum: generating proofs in <12s to lift L1 gas limits while preserving verifiability, enabled by a decentralized prover network with sub-second auctions and GPU clusters.

WP0glKeQSQk

https://open.spotify.com/embed/episode/0ji1SXs0jtoh4n7GcUp9lp

#67: Ming Guo, Co-founder & Chief Scientist at ZKM

In this episode, Alice sits down with Ming Guo - Co-founder & Chief Research Scientist at ZKM - to map how zero-knowledge has spread from Ethereum into Bitcoin, and what a Bitcoin economy secured by verifiable compute actually looks like. If you build on Bitcoin or ZK, this episode provides a clear framework for the stack, trade-offs, and what it takes to move from holding to a functioning, verifiable economy.

b5lRAm_3w_U

https://open.spotify.com/embed/episode/5ksdSCT10VBw3ADRJmz0dv

#66: Yovela Luo, Co-founder of Fiamma

Recorded live at the Bitcoin Economy Conference in Las Vegas, we sat down with Yovela Luo, Co-Founder of Fiamma, to unpack how BitVM2 and ZK proofs are transforming Bitcoin’s usability. We cover the biggest challenges users face today - from insecure bridging to the steep complexity of DeFi - and how Fiamma is tackling both with its trust-minimized bridge and new app, Fiamma One. Designed to make Bitcoin yield strategies as simple as a few clicks, Fiamma One abstracts away technical steps while keeping users in full custody of their BTC.

sc4nlHmfoqc

https://open.spotify.com/embed/episode/1f4Q6fSuRhIpHIL62rBohJ

#65: Michael Terpin, Founder of Transform Ventures

Recorded live at the Bitcoin Economy Conference in Las Vegas, this interview with Michael Terpin - early internet entrepreneur, BitAngels founder, and author of Bitcoin Supercycle - dives deep into Bitcoin’s four-season market cycles, why he defines himself a “Bitcoin preferentialist” rather than maximalist, and the key narratives driving this cycle, from Layer 2s to AI and tokenized real-world assets. We cover Michael's investment patterns across decades of tech innovation, the adoption path for programmable Bitcoin, the role of stablecoins in global finance, and what it will take for Bitcoin to become the world’s financial backbone.

vvQM_kAqzfA

https://open.spotify.com/embed/episode/2fpYa1HkiZlvTD0z1yNzJ6

#64: Howard Wu, Co-founder of Aleo & Provable

In this episode, Alice sits down with Howard Wu, founder of Provable and co-founder of Aleo, to trace the full arc of his 14-year journey in crypto - from early Bitcoin fascination to building one of the first private smart contract platforms. Howard shares the foundational vision behind Aleo, detailing its technical architecture (SnarkVM, SnarkOS), language design (LEO), and recent developments like ZKML tooling and ZPass identity proofs.

radj468W3Fk

https://open.spotify.com/embed/episode/41aHiTWGOHiIReBHHogNdK

#63: Ismael Hishon-Rezaizadeh, Founder of Lagrange

Recorded live at the ZK/AI Summit in Dubai, we spoke with Ismael Hishon-Rezaizadeh, Founder of Lagrange, about DeepProve - the company’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.

LeJAVyoMmUY

https://open.spotify.com/embed/episode/3tBEhWdb9u14FKHJmrn6zo

#62: Tom Ngo, CEO of Metis

Can blockchain help verify the truth behind AI? In this episode, Metis CEO Tom Ngo shares why the team is pivoting from Ethereum scalability to building AI-native infrastructure - including a new execution layer, agent framework, and decentralized data model. He breaks down why data quality is the foundation for trustworthy AI, and how Hyperion and LZ AI aim to solve it.

BjA94v4LeCA

https://open.spotify.com/embed/episode/4t8ibEoVLtI9R77tTMyrde

#61: Maxim Vezenov, Developer at Aztec

In this episode, we sit down with Maxim Vezenov, compiler engineer at Aztec, to explore the technical design of Noir - the domain-specific language for writing ZK circuits.

Czu74Fxi1_Q

https://open.spotify.com/embed/episode/6CSiObf8HkL2wt77qSjZVH

#60: Franklin Delehelle, Research Engineer at Lagrange

Franklin walks us through Lagrange’s evolving architecture - starting with their zkSQL co-processor and expanding into a modular, proof-system-agnostic prover network now powering zk rollups and beyond. We discuss: – Why Lagrange built its prover network from first principles (by necessity, not hype) – How modular prover infrastructure compares to monolithic systems – The role of auction design (DARF) in aligning incentives – zkSQL’s recursive architecture and cross-chain query capability – How Lagrange abstracts away prover complexity for devs – What’s next for ZK: lessons from hardware, and parallels to the rise of cloud computing

i1eI9m9jYtQ

https://open.spotify.com/embed/episode/5pJPdkIV8OKNtmvQZWPshl

#59: Eric Vreeland, CSO at Polyhedra

We speak with Eric Vreeland, CSO at Polyhedra, about building performant ZK infrastructure - from the industry’s fastest proof systems to a new frontier in verifiable AI. We cover Polyhedra’s move from bridging to ZKML, developer onboarding with ProofCloud, and how real-time proving unlocks a new class of zero-knowledge applications.Essential listening for anyone exploring ZKML, proof infra, or trust-minimized AI deployment.

JQD1S2L-z34

https://open.spotify.com/embed/episode/2f2U2nr6mN29XJcsctJzsf

#58: Michael Blind, Co-founder of Hibachi

In this episode, recorded live at the Bitcoin Economy Conference in Las Vegas, we sit down with Ming Guo (Chief Scientist at ZKM) and Stephen Duan (Core Contributor at GOAT Network) to discuss the role of ZKM's zkVM in powering GOAT Network’s Bitcoin L2 . We explore Entangled Rollup infrastructure, real-time proof generation, proof aggregation across thousands of blocks, the shift from validator trust to mathematical guarantees, and more - a must-listen for anyone looking to learn more about the vision and mechanics behind GOAT Network.

Dl4RZOVngeQ

https://open.spotify.com/embed/episode/2MAleAKZawUijbqjwhXWmU

#57: Ming Guo, Chief Scientist at ZKM, & Stephen Duan, Core Contributor at GOAT Network

In this episode, recorded live at the Bitcoin Economy Conference in Las Vegas, we sit down with Ming Guo (Chief Scientist at ZKM) and Stephen Duan (Core Contributor at GOAT Network) to discuss the role of ZKM's zkVM in powering GOAT Network’s Bitcoin L2 . We explore Entangled Rollup infrastructure, real-time proof generation, proof aggregation across thousands of blocks, the shift from validator trust to mathematical guarantees, and more - a must-listen for anyone looking to learn more about the vision and mechanics behind GOAT Network.

rIO0UQXnB3Y

https://open.spotify.com/embed/episode/0tEZKP9XKOhbMOKL9ZYbPp

#56: Muthu Venkitasubramaniam, CEO of Ligero, & Carmit Hazay, Chief Cryptographer at Ligero

In this episode, we’re joined by Muthu Venkitasubramaniam (CEO) and Carmit Hazay (Chief Cryptographer) of Ligero Inc., a company building lightweight, verifiable computation infrastructure for secure multiparty computation and zero-knowledge proofs.

koUBorhapo0

https://open.spotify.com/embed/episode/6IC2dB4MY29pg2aUPX2pi9

#55: Justin Drake, Researcher at Ethereum Foundation

In this episode, recorded live at House of ZK's Ethproofs Summit, we sit down with Justin Drake, Researcher at Ethereum Foundation, to explore Ethereum’s ZK strategy and the vision behind Ethproofs. From zkVM benchmarking and real-time proving to post-quantum security and validator diversity, we dive into the foundations of a scalable, resilient Ethereum.

fPRtVTB2ywg

https://open.spotify.com/embed/episode/4oaZvwRcXHWdMFxIN1JDBF

#54: Dr. Redouane Elkamhi, Chief Economist at GOAT Network

In this episode we sit down with Dr. Redouane Elkamhi, Chief Economist at GOAT Network, to explore sustainable Bitcoin yield models. From BTC-pegged incentives to decentralization and BitVM2 enhancements, we dive into the economic design behind Bitcoin-native Layer 2s.

FvBOazBasHM

https://open.spotify.com/embed/episode/6HsMomhKvl7tnjn21nQJoi

#53: Howard Wu, Co-founder of Aleo & Provable

In this episode we sit down with Jon Stephens, Co-founder & CEO of Veridise, to explore the state of security in zero-knowledge systems.

71ut2LvYwhI

https://open.spotify.com/embed/episode/6j3uCYdU1xNKXAZgFBxZaD

#52: Diego Kingston, Co-founder of Aligned Layer

In this episode we sit down with Jon Stephens, Co-founder & CEO of Veridise, to explore the state of security in zero-knowledge systems.

hd3YWsRnEW0

https://open.spotify.com/embed/episode/2iaoOLyYazoi1B4brcxVVX

#51: Yovela Luo, Co-founder of Fiamma

In this episode we sit down with Jon Stephens, Co-founder & CEO of Veridise, to explore the state of security in zero-knowledge systems.

3F_oL8_Akgk

https://open.spotify.com/embed/episode/3ffNQRMFu7yCkulpULgN9p

#50: Daniel Lumi, Senior Product Manager at Arbitrum

In this episode we sit down with Daniel Lumi, Senior Product Manager at Arbitrum, to discuss the evolution of ZK, the scalability roadmap for Ethereum, and why we're still early in crypto. Lumi shares insights on ZKVMs vs. custom circuits, the role of universal intents, and what makes Orbit chains a breakthrough for app-specific scaling.

Ut9ARAEudGA

https://open.spotify.com/embed/episode/2ExEIKhIuFXdSeAOt3GEuN

#49: Jon Stephens, CEO of Veridise

In this episode we sit down with Jon Stephens, Co-founder & CEO of Veridise, to explore the state of security in zero-knowledge systems.

W-9hD7LuTIU

https://open.spotify.com/embed/episode/1VLBRfmOeMkt3xeiYjylJO

#48: Alan Li, CTO of Brevis

In this episode we sit down with Lasha Antadze, Co-founder of Rarimo, to discuss sovereign zk identity, self-attestation without third-party issuers, and passport-based proof systems.

trQFjLYiIAE

https://open.spotify.com/embed/episode/0Cffy2jgFHGwVjSnStSU8Y

#47: Lasha Antadze, Co-founder of Rarimo

In this episode we sit down with Lasha Antadze, Co-founder of Rarimo, to discuss sovereign zk identity, self-attestation without third-party issuers, and passport-based proof systems.

PB1qC8klC3o

https://open.spotify.com/embed/episode/05XUaEq4jc1xaDAUjOvrCf

#46: Barnabas Kiss, Co-founder of Malda

In this episode we sit down with Barnabas Kiss, Co-founder of Malda - a unified zk-powered lending protocol. Built atop Linea and using Risc Zero’s zkVM, Malda introduces global liquidity pools across rollups, trust-minimized sequencing, and plans for ZKML-based risk modeling. We cover Malda’s architecture, zk interoperability, the shift toward provable DeFi, and more.

yU9hdd2qg7c

https://open.spotify.com/embed/episode/2hvGv2srAJTzTMPEhkEEak

#45: Varun Kumar & Thibault Binier, Co-founders of Hashflow

In this episode we sit down with Varun Kumar and Thibault Binier, co-founders of Hashflow, about the launch of Exchange OS - a new zk-powered infrastructure layer that enables centralized exchanges to prove solvency onchain using zero-knowledge proofs.

Et4heXjVJEQ

https://open.spotify.com/embed/episode/2hvGv2srAJTzTMPEhkEEak

#44: Jordi Baylina, Co-founder of Polygon

In this episode we sit down with Jordi Baylina, Co-founder of Polygon, to unpack the journey behind Polygon zkEVM - from early rollup experiments to building one of the first production zkEVMs.

pJX_6UdHgXs

https://open.spotify.com/embed/episode/4OlAhwbw7inZtAwqySaonq

#43: Zac Williamson, CEO of Aztec

In this episode, Zac breaks down why privacy is critical for blockchain’s future, how Aztec is architecting private + transparent smart contracts, and what makes their approach to proving systems, recursion, and client-side proving unique.

OfaukKhYgm0

https://open.spotify.com/embed/episode/7He7Dn0PQSy2Yq0nlTk2XX

#42: Adrian Brink, Co-founder of Anoma & Namada

In this episode we sit down with Adrian Brink, Co-founder of Anoma and Namada. Adrian shares his journey from early Tendermint and Cosmos engineering to building intent-centric, privacy-first systems. We explore Anoma’s architectural vision, the evolution of generalized intents, the importance of local sovereignty in protocol design, and how declarative systems reshape both privacy and scalability in Web3.

ZdtmBhgSv3c

https://open.spotify.com/embed/episode/4QEbcnyYRPNgN61TpuW6Sr

#41: Alexei Zamyatin, Co-founder of BOB

In this episode of House of ZK Radio, Alexei Zamyatin, co-founder of Build on Bitcoin (BOB), unpacks the technical and ecosystem design behind BOB’s hybrid Bitcoin-Ethereum Layer 2. He explains the evolution of BitVM to BitVM2, its integration with ZK proofs, the limitations of merge mining, and why BOB adopted a Bitcoin staking model via Babylon. The episode also covers trust-minimized Bitcoin bridges, activating dormant BTC in DeFi, and the long-term vision for a Bitcoin-secured modular ecosystem.

AW7epVu-otw

https://open.spotify.com/embed/episode/3Qfjgye0FQDYq0h31pyhMz

#40: Xiang Xie, Co-founder of Primus

In this episode of House of ZK Radio, Xiang Xie, Co-Founder of Primus, joins to discuss the full data lifecycle—from authenticated access with ZK-TLS to privacy-preserving computation with ZK-FHE. He explains Primus’s unique Quicksilver proof system, the importance of client-side proving, and how combining ZK and FHE enables new classes of verifiable agents, identity primitives, and data monetization use cases.

AW7epVu-otw

https://open.spotify.com/embed/episode/1egEfjSSAEaqaxgCgva5Uu

#39: Hanzhi Liu, Co-founder of Nubit

In this episode we speak with Hanzhi Liu, Co-founder of Nubit, about scaling Bitcoin through native ZK-powered data availability, BitVM, and the upcoming launch of Goldinals - a trust-minimized Bitcoin token standard. We cover compiler design, stateless indexing, zkOracles, and Nubit's broader vision for a programmable Bitcoin ecosystem.

jCAD6lGgfNQ

https://open.spotify.com/embed/episode/0jodWphorYYKURBZlQNjPM

#38: Yumin, CTO of Galxe

In this episode, Yumin, CTO of Galxe, discusses the design and motivations behind Galxe’s ZK-powered identity protocol and their Layer 1 chain, Gravity. He explains the challenges of in-browser proof generation, the architecture of Gravity - including its five-stage pipeline and parallel EVM - and how Galxe is optimizing for cross-chain interoperability, low-latency execution, and privacy-preserving identity infrastructure.

Or32oO1UwNQ

https://open.spotify.com/embed/episode/4WrWSPHBBhG98VwUkhmsGx

#37: Ming Guo, Co-founder & Chief Scientist at ZKM

In this episode, Alice speaks with Ming Guo, Co-founder and Chief Scientist at ZKM, about the architecture and vision behind zkMIPS, ZKM’s zkVM optimized for Entangled and Hybrid rollups. Ming explains the choice of the MIPS architecture, the benefits of combining ZK and optimistic rollups, and the development of Entangled Rollups for trustless cross-chain interoperability. He also shares his broader vision for the "DAC Economy" - a decentralized economic model to capture unpaid and unvalued human contributions - and how ZK and AI can be leveraged to reshape global value systems.

_iLYbdDeGR0

https://open.spotify.com/embed/episode/4Il55E8yDO04NRZT0bpQUf

#36: Kevin He, Co-founder of BitLayer

In this episode we sit down with Kevin He, Co-founder of BitLayer, to discuss the architecture and design decisions behind building a Bitcoin L2 with onchain ZK verification. Kevin shares his perspective on the tradeoffs between scalability, security, and programmability in the Bitcoin ecosystem, the rationale for using both fraud and validity proofs, and BitLayer's contributions to BitVM and Bitcoin-friendly STARKs. The conversation also covers real-time EVM execution, developer experience, upgrade governance, and BitLayer’s broader mission to enable trustless BTC-Fi onchain.

AfY9d6ixipE

https://open.spotify.com/embed/episode/1I9VylErpiEkLNzjd8lktF

#35: White Z, Co-founder of 6block & Trustless Labs

In this episode, we discuss all about making zkVMs more accessible with Sinka Gao, founder of Delphinus Lab. Sinka discusses the shift to WebAssembly for zkVMs, the challenges of mainstream ZK adoption, and how Delphinus Lab is simplifying trustless Web3 infrastructure.

S6b-3Tv31rw

https://open.spotify.com/embed/episode/04oBz36vqvHAngzndtOFhC

#34: Sinka Gao, Founder of Delphinus Lab

In this episode, we discuss all about making zkVMs more accessible with Sinka Gao, founder of Delphinus Lab. Sinka discusses the shift to WebAssembly for zkVMs, the challenges of mainstream ZK adoption, and how Delphinus Lab is simplifying trustless Web3 infrastructure.

D21pHH-P3VQ

https://open.spotify.com/embed/episode/5cQu1X9gDRJr0jUAPYCmVA

#33: Alberto Garoffolo, Head of ZK Tech at Telos Foundation

In this episode we sit down with Alberto Garoffolo, Head of ZK Tech at the Telos Foundation, where he spearheads advancements in scalability. With over 15 years of experience in software engineering, he specializes in Zero Knowledge proofs, notably contributing to Telos’ SNARKtor and co-authoring the Zendoo and Latus white papers on decentralized sidechains.

pGzrfLVdN1I

https://open.spotify.com/embed/episode/2BTYR3r08Wgc1ppEEQ3z57

#32: Viv Ford, VP of Community at Aleo

In this episode, recorded live at ZK Hub DevCon, we sit down with Viv Ford, Head of Community at Aleo. Since 2022, Viv has led key initiatives like Aleo’s Ambassador Program, bringing her expertise from her time as Senior VP of Operations at comma.ai.

v52JZb3kEeE

https://open.spotify.com/embed/episode/0prqBYLMlsXt340xtVau34

#31: Niall Emmart, Co-founder of Snarkify

In this episode Niall Emmart, Co-founder and Head of GPU Engineering at Snarkify, offers a masterclass in hardware acceleration for zkProofs.Niall holds a PhD in Computer Science from UMass Amherst, with expertise in GPU optimization and elliptic curve cryptography. Previously at NVIDIA and Yrrid Software, he now leads Snarkify’s GPU efforts for scalable ZK systems, notably contributing to a 900x speedup in the 2023 ZPrize competition.

ml1hB997JjY

https://open.spotify.com/embed/episode/2y2Y0DfmKaFHnMWSBGuGba

#30: Eli Ben-Sasson, CEO of StarkWare

In this episode, Eli Ben-Sasson, CEO of StarkWare, gives his optimistic take about OP_CAT going live on Bitcoin, and also offers insight into the possible alternative methods of Bitcoin scaling. Eli believes that StarkNet will be the first L2 network to simultaneously settle on both Bitcoin and Ethereum, scaling Bitcoin to over 1,000 transactions per second. He also emphasized that scaling Bitcoin is crucial to prevent it from becoming an asset only for the rich, aligning with its original mission as a payment network.

wv6xBywYCyw

https://open.spotify.com/embed/episode/1uC5iSj2ZTeZRjio24pWYB

#29: Leo Fan, Co-founder of Cysic

In this episode, we sit down with Leo Fan, Co-founder of Cysic and a cryptography expert with a PhD from Cornell. At Cysic, Leo focuses on hardware acceleration for ZKP generation, aiming to enhance the efficiency and scalability of ZK protocols for blockchain applications.

Fv2syqLit80

https://open.spotify.com/embed/episode/6HE6lnyZNWp1iLUdmE9EvE

#28: Sylve Chevet, CEO of Hylé, & Ming Guo, Chief Scientist at ZKM

In this follow-up session to a panel at ZK Hub, DevCon, focused on the future of ZK, Sylve Chevet, CEO of Hylé, & Ming Guo, Chief Scientist at ZKM, expound once again on the underlying principles and philosophies that drive their work.

MGlu34QVIoo

https://open.spotify.com/embed/episode/4I1LCCyb71SyoiV3wOO0Mn

#27: Ayush Gupta, CEO of LayerEdge

In this episode we sit down with Ayush Gupta, CEO of LayerEdge, an emerging force in the Bitcoin ecosystem aiming to power the Bitcoin-backed Internet using BitVM-based verification & proof aggregation for all layers & apps.

mSNxU8n3WG0

https://open.spotify.com/embed/episode/5KdsLfGhRsBLnjkujR6D0U

#26: Porter Adams, Core Contributor at zkSync & Matter Labs

Recorded on the main stage at ZK Hub in Bangkok, we sat down with Porter Adams, core contributor at Matter Labs and zkSync.Porter’s work advances technology efficiency and security in the Matter Labs ecosystem, with recent efforts focused on zkVM capabilities.

aN7ZTtSMiQQ

https://open.spotify.com/embed/episode/77U4psX6wpCRIANgZVww5U

#25: Amrit Kumar, COO of AltLayer

In this episode we sit down with Amrit Kumar, COO of AltLayer. Amrit has a deep background in the industry, notably as co-founder and chief science officer at Zilliqa, where he focused on blockchain scalability through sharding. Currently at AltLayer, his focus is on operational strategy and advancing the company's mission to provide scalable L2 solutions on Ethereum, offering custom roll-ups-as-a-service for Web3 applications.

m-tVAXy9Xt4

https://open.spotify.com/embed/episode/4sDYBIewUAueuKqdjCNX5T

#24: Misha Komarov, Founder of [[alloc] init]

In this episode we sit down with Misha Komarov, Founder of [[alloc] init].

fRdOSZVQZiE

https://open.spotify.com/embed/episode/0au5cB3cR1gdnqfi1yrRj2

#23: Dr. Jiannan Ouyang, Co-founder and CEO of Snarkify

In this episode we sit down with Brandon Kase, CEO of O(1) Labs and the team behind Mina Protocol.

qCPoDI-NVBE

https://open.spotify.com/embed/episode/6OLz9xm6cLcAI1jPWR3xSD

#22: Brandon Kase, CEO of o1 Labs (Mina)

In this episode we sit down with Brandon Kase, CEO of O(1) Labs and the team behind Mina Protocol.

m0vUAagMmTE

https://open.spotify.com/embed/episode/3MYtjTotGY573SiZZE9dP0

#21: Orkun Kılıç, Co-Founder of Citrea

In this episode, Orkun Kılıç, Co-Founder of Citrea and CEO of Chainway Labs, discusses his team's effort to integrate zkRollups into Bitcoin. Citrea uses the BitVM verification framework to enhance Bitcoin's scalability and enable smart contracts, expanding its utility beyond a store of value.

fMKKtjqItcE

https://open.spotify.com/embed/episode/7B2b9fp1q9Hl3oKrkMHbZa

#20: Uma Roy, Co-Founder of Succinct

In this episode, Uma Roy takes us through the journey that led to the formation of Succinct, offering a behind-the-scenes look at the insights and challenges that shaped the company's vision. She shares her broad perspectives on the current state of the industry, its key opportunities and hurdles, and where she sees the technology heading in the future.

dwOtGdCqzZc

https://open.spotify.com/embed/episode/0SNvF4mKFJxoU8PPw7IWeK

#19: Michael, Co-Founder of Brevis

IIn this episode, we sit down with Michael, Co-Founder of Brevis, to discuss the current state of ZK and the series of insights that led to the formation of Brevis, the smart ZK Coprocessor for Blockchains.

3yctDm1btcY

https://open.spotify.com/embed/episode/7EEeRSrpVWr97IiDf4Hatg

#18: Jeremy Bruestle, Co-Founder & CEO of RISC Zero

In this episode, we sit down with Jeremy Bruestle, Co-Founder and CEO of RISC Zero.‍With expertise in cryptography, distributed computing, and software engineering, he brings vast experience as a serial founder with former roles at Intel. In this must watch episode, Jeremy discusses his journey and perspectives on the state and future of the zero-knowledge space 🤝

2apEvzPVgtU

https://open.spotify.com/embed/episode/3J92K8svDq3kZPph7FBRHE

#17: Ismael Hishon-Rezaizadeh, Founder of Lagrange Labs

In this episode, we sit down with Ismael Hishon-Rezaizadeh, Founder and CEO of Lagrange Labs.

g_0v5x1koWY

https://open.spotify.com/embed/episode/30MC6bFBQjujRQeAwDXNy8

#16: Justin Drake, Researcher at Ethereum Foundation

Justin Drake shares his journey from Bitcoin to ZK, his view on the ZK endgame, and discusses his Beam Chain proposal, which aims to enhance Ethereum's consensus layer using zkVM's and SNARKs. The conversation also addresses Ethereum's scaling strategies compared to its competitors and provides insights into ongoing and future research aimed at advancing Ethereum's core infrastructure.

uhHz9LXBPqY

https://open.spotify.com/embed/episode/1xmFQoQsRvUyGqK06oIiQN

#15: Eli Ben-Sasson, CEO of StarkWare

In this episode we interview Eli Ben-Sasson, Co-Founder & CEO of StarkWare and the Co-Inventor of zkSTARK, FRI, and Zcash, about his recent introduction of Circle STARKs and his broad view of the blockchain space.

PDzYtoGWWqI

https://open.spotify.com/embed/episode/0ACCtA1gmqnERekRl493hP

#14: Scott Dykstra, Co-Founder & CTO of Space and Time

Scott Dykstra, Co-Founder & CTO of Space and Time, discusses his overarching view of the ZK landscape and explains the mission of his project, SxT.

3Nz2-BFbSq0

https://open.spotify.com/embed/episode/4icPr9bOWTHBD1X6Kdj4fy

#13: Shyam Duraiswami & Emanuele Ragnoli, Co-Founder's of Provably

In this episode we sit down with Shyam Duraiswami & Emanuele Ragnoli, Co-Founder's of Provably, to discuss their verifiable analytics solution and search engine that enables AI data teams to collaborate on private data in minutes.

0Am2_xy11W8

https://open.spotify.com/embed/episode/480rXU7ejzxmK5oM6J0KBu

#12: Ines Isljami, Founder & CEO of txFusion

In this episode, Ines Isljami, Founder & CEO of txFusion, shares her broad experience and viewpoint's on blockchain and ZK, and explains how she's passionately working towards crafting a future defined by freedom and tolerance.

K28Opiok7F4

https://open.spotify.com/embed/episode/35HZZ0L1UAZ81sVK5VT2DB

#11: Avi Zurlo, CEO of =nil; Foundation

Avi Zurlo, CEO of =nil; Foundation, shares his dynamic personal journey and dives deeply into =nil;, a general-purpose Ethereum L2 designed for enhanced scalability and composability through zkSharding.

LJq65LqDC3Q

https://open.spotify.com/embed/episode/2qnl5j1KCbk2PARIimD7oE

#10: David Wong, Founder of zkSecurity

In this episode, we sit down with David Wong, Founder of zkSecurity, who shares his extensive journey and the key insights he's learned along the way.David's vast experience stretches from his early exploration of ZK as a student, to becoming an architect at Mina Protocol, authoring 'Real-World Cryptography', and ultimately founding zkSecurity - a project dedicated to security audits, development, and research for ZKP, FHE, and MPC applications.

7or0u4MUhkw

https://open.spotify.com/embed/episode/1LWlvPFF0wSbuiidanZzlG?

#9: Sylve Chevet, Co-Founder & CEO of Hylé

In this episode, we sit down with Sylve Chevet, Co-Founder & CEO of Hylé.Sylve shares his unique journey, industry insights, and reveals his vision for Hylé, a lean blockchain for provable decentralized applications.

q9hP5AlUZi0

https://open.spotify.com/embed/episode/5wwHXWiSuKakcEe5ZuQTbn

#8: Adam Gągol & Antoni Zolciak, Co-Founder's of Aleph Zero

Adam Gągol & Antoni Zolciak, Co-Founder's of Aleph Zero, discuss their journey's and vision for Aleph Zero, an EVM-compatible ZK-based Layer 1 infrastructure for the next generation of confidential Web3 apps.

amsT7jyta3w

https://open.spotify.com/embed/episode/5I44Ao92mGE1Rg2x1KnmR4

#7: Teemu Päivinen, Founder & CEO at Gevulot

In this episode Teemu Päivinen, Founder & CEO at Gevulot, shares his story and vision for Gevulot, an internet scale compute network for zero-knowledge proofs.

7nvxEpMpTb0

https://open.spotify.com/embed/episode/2dIttQQ8n1HDgVqqsNcDo6

#6: Brecht Devos, Co-Founder of Taiko/Gwyneth

In this episode, Brecht Devos, Co-Founder of Taiko/Gwyneth, shares his story and vision for Gwyneth, a based Taiko Rollup that's synchronously composable with Ethereum.House of ZK Radio is a focused podcast and media initiative covering everything zero-knowledge, from the fundamentals and most recent advancements to exploring the ‘why’ of ZK and the stories of visionaries behind the tech. We examine how ZK is set to transform our digital lives and aim to make complex concepts digestible for all.

Jy-bidVUzj0

https://open.spotify.com/embed/episode/6FCUV3342c15bNAPilEcdh

#5: Elias Tazartes, Co-Founder & CEO of Kakarot

In this episode, we sit down with Elias Tazartes, Co-Founder & CEO of Kakarot.Elias dives deep into Kakarot’s evolution as it approaches its two-year anniversary. He discusses the challenges ahead, the ambitious goals for 2025 and beyond, and how Kakarot plans to deliver Ethereum-compatible block proving in real-time. Through insights into the genesis of the project and the future of ZK infrastructure, Elias sheds light on the larger vision of ZK's role in evolving Ethereum and the broader digital ecosystem.

bmqWHcgUR4k

https://open.spotify.com/embed/episode/6EnwMCkrtEzLBk6DY91AS9

#4: Vanishree Rao, Founder & CEO of Fermah

Vanishree Rao, Founder and CEO of Fermah, shares her journey from discovering zero-knowledge proofs 20 years ago to building Fermah's universal proof generation layer. With her deep experience, Vanishree offers a unique perspective on addressing the industry's major gap - making ZK proof generation simpler, more accessible, and cost-effective.

Z493hzlS2TA

https://open.spotify.com/embed/episode/43DFkZShbMohspIXBSxrcW

#3: Rob Viglione, Founder of Horizen & zkVerify

In this episode, we sit down with Rob Viglione, Founder of Horizen and zkVerify, to explore his unique story from physicist and mercenary mathematician to leading visionary in blockchain and ZK. Rob explains the journey of Horizen, from its crypto-anarchistic origins to becoming a major player in the blockchain and ZK space. He dives in to the upcoming Horizen 2.0 upgrade, an optimization of Horizen as an EVM-compatible chain for ZK applications, and the important role zkVerify will play in enabling fast, low-cost zkProof verification, unlocking new possibilities across multiple industries.

xkdhlKMCYwM

https://open.spotify.com/embed/episode/7ChwO8KCBrEM6EqfWo60Qz

#2: Veteran of Cryptography, Jeroen van der Graaf, Ph.D

House of ZK Radio hosts, Alice & Cat, discuss the inside perspective of ZKM's Senior Cryptographer, Jeroen van der Graaf, Ph.D, who has partook in the advancements of cryptography since the 1980's. Jeroen van der Graaf, Ph.D, entered the field of cryptography with a keen focus on theoretical cryptography for privacy applications. In this podcast we dive into Jeroen's interests and key events he has witnessed and contributed to in the history of cryptography from participating in one of the world's first cryptography courses to applying cryptography via Zero Knowledge Proofs today.

mSob8icNFxA

https://open.spotify.com/embed/episode/2AYzRzFMyk6WzQQptXC7pP

#1: DAC Economy with Ming Guo

House of ZK Radio hosts, Cat and Alice, discuss all things ZK and beyond with Ming Guo, Chief Research Scientist at ZKM. Ming explains the fundamental philosophies that motivate his work across several blockchain-based projects, highlighting his DAC Economy worldview and ultimate vision of an self-sustainable, decentralized economy.

JicdQ4Gf1ak

https://open.spotify.com/embed/episode/0PIXjN5F4vYcYIZWoib7GZ