Insights from recent episode analysis
Audience Interest
Podcast Focus
Publishing Consistency
Platform Reach
Insights are generated by CastFox AI using publicly available data, episode content, and proprietary models.
Most discussed topics
Brands & references
Total monthly reach
Estimated from 1 chart position in 1 market.
By chart position
- 🇸🇪SE · Technology#8810K to 30K
- Per-Episode Audience
Est. listeners per new episode within ~30 days
5K to 15K🎙 ~2x weekly·409 episodes·Last published today - Monthly Reach
Unique listeners across all episodes (30 days)
10K to 30K🇸🇪100% - Active Followers
Loyal subscribers who consistently listen
4K to 12K
Market Insights
Platform Distribution
Reach across major podcast platforms, updated hourly
Total Followers
—
Total Plays
—
Total Reviews
—
* Data sourced directly from platform APIs and aggregated hourly across all major podcast directories.
On the show
From 14 epsHosts
Recent guests
Recent episodes
Pushing the Limits of Proof Systems with Benedikt Bünz
Jun 24, 2026
Unknown duration
Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT
Jun 18, 2026
Unknown duration
Building ZK-Powered AI Guardrails with Wyatt Benno
Jun 10, 2026
1h 07m 25s
The Quantum Question Panel – Live from zkSummit14
May 27, 2026
58m 55s
From Access Control to Encrypted Execution with Auryn Macmillan
May 20, 2026
53m 23s
Social Links & Contact
Official channels & resources
Official Website
Login
RSS Feed
Login
| Date | Episode | Topics | Guests | Brands | Places | Keywords | Sponsor | Length | |
|---|---|---|---|---|---|---|---|---|---|
| 6/24/26 | Pushing the Limits of Proof Systems with Benedikt Bünz | In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso’s shared sequencer architecture, its role in rollup finality, and the challenges of building high-throughput blockchain infrastructure. The conversation then turns to Benedikt’s recent research on folding schemes, hash-based proof systems such as Arc and Warp, and Golden, a non-interactive distributed key generation protocol for threshold signatures. The episode later explores Flock, a new proof system for standard hash functions such as Blake3 and SHA-256 that exceeds Ethereum's post-quantum proving targets without relying on specialized hash functions. They conclude by discussing proof system performance, post-quantum cryptography, and the use of AI-assisted development in cryptographic engineering. Related Links Bulletproofs — Short Proofs for Confidential Transactions and MoreProtostar — Generic Efficient Accumulation/Folding for Special-Sound ProtocolsHyperPlonk — Plonk with Linear-Time Prover and High-Degree Custom GatesNova — Recursive Zero-Knowledge Arguments from Folding SchemesArc — Accumulation for Reed–Solomon CodesWarp — Hash-Based Folding Schemes for Accumulation (coming soon)Golden: Lightweight Non-Interactive Distributed Key GenerationFlock — High-Speed Batch Proofs for Standard Hash Functions (coming soon)TensorSwitch — Nearly Optimal Polynomial Commitments from Tensor CodesBolt: Faster SNARKs from Sketched CodesLigero — Lightweight Sublinear Arguments Without Trusted Setup Systems and Infrastructure Espresso Systems DocumentationCAPE (Configurable Asset Privacy for Ethereum)Monero Additional Reading Vitalik Buterin — The Splurge: Post-Quantum EthereumAccumulation without HomomorphismNeo and SuperNeo: Post-Quantum Folding with Pay-Per-Bit CommitmentsEspresso’s HotShot: A Consensus Protocol Designed for Rollups **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 6/18/26 | Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT | No main episode this week, but we’ve got an exclusive bonus clip for our zkMesh+ subscribers! Continuing our conversation from last week, Wyatt Benno (ICME) describes the world of 'vericoding' - the next stage after the era of 'vibecoding.' Vericoding uses formal mathematics to prove that AI code is actually correct and help prevent bugs in AI-written code. We go deep on SMT (Satisfiability Modulo Theories), a decades-old verification technique originally built for cloud infrastructure, and discuss how SMT can now take a plain-English description and mathematically verify that your AI-generated code does exactly what you want it to do.If you want to hear this bonus clip, please head over to zkMesh and become a paid subscriber! Link to subscribe: https://zkmesh.substack.com/subscribe | — | ||||||
| 6/10/26 | Building ZK-Powered AI Guardrails with Wyatt Benno✨ | Zero-KnowledgeAI+4 | Wyatt Benno | ICME LabsZKHack+5 | — | Zero-KnowledgeAI Guardrails+5 | — | 1h 07m 25s | |
| 5/27/26 | The Quantum Question Panel – Live from zkSummit14✨ | quantum computingpublic-key cryptography+4 | Justin Drake | — | Rome | quantum computingShor's algorithm+5 | — | 58m 55s | |
| 5/20/26 | From Access Control to Encrypted Execution with Auryn Macmillan✨ | DAOsaccess control+5 | Auryn Macmillan | Gnosis GuildZodiac+4 | — | ZodiacDAOs+8 | — | 53m 23s | |
| 5/6/26 | Quantum Advances, Hybrid Signatures and SNARKs to the Rescue with Dan Boneh✨ | quantum computingpost-quantum cryptography+4 | Dan Boneh | AcornOratomic+8 | — | quantum advanceshybrid signatures+7 | — | 1h 24m 35s | |
| 4/22/26 | Is ZK dead? Or has it just begun? with the ZK Pod co-hosts✨ | Zero Knowledgedecentralization+4 | Guillermo AngerisNico Mohnblatt+1 | Zero Knowledge Podcast | — | Zero KnowledgeZK+4 | — | 1h 02m 44s | |
| 4/8/26 | Verifiable Databases with Shyam & Emanuele from Provably✨ | verifiable databasescryptography+4 | Shyam DuraishwamiEmanuele Ragnoli | ProvablyMidnight Network+5 | — | verifiable databasesProvably+5 | — | 56m 15s | |
| 4/1/26 | Dev Ojha on the Osmosis Story and his Return to Privacy✨ | Osmosisprivacy technology+4 | Dev Ojha | OsmosisZcash+5 | — | OsmosisZcash+8 | — | 1h 12m 06s | |
| 3/25/26 | lean Ethereum Part 6: Formal Verification with Alex Hicks✨ | formal verificationlean Ethereum+4 | Alex Hicks | Ethereum Foundationlean Ethereum | Rome, Italy | formal verificationlean Ethereum+5 | — | 57m 42s | |
Want analysis for the episodes below?Free for Pro Submit a request, we'll have your selected episodes analyzed within an hour. Free, at no cost to you, for Pro users. | |||||||||
| 3/18/26 | lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl✨ | EthereumDevnets+4 | Will CorcoranRaúl Kripalani | Ethereum Foundation | Rome, Italy | EthereumDevnets+6 | — | 39m 06s | |
| 3/11/26 | lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation✨ | EthereumzkVM+5 | Thomas CoratgerEmile | Ethereum FoundationCairo+5 | — | LeanVMzkVM+8 | — | 32m 55s | |
| 3/4/26 | lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize✨ | post-quantum SNARKsEthereum upgrades+4 | Giacomo FenziAntonio Sanso | EPFLEthereum Foundation | — | SNARKsEthereum+7 | — | 36m 43s | |
| 2/25/26 | lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt✨ | cryptographyEthereum+4 | Benedikt WagnerDmitry Khovratovich | Ethereum Foundationlean Ethereum Part 1: Introduction+9 | — | leanSigBLS+5 | — | 35m 11s | |
| 2/18/26 | lean Ethereum Part 1: Introduction with Justin Drake✨ | Ethereumcryptography+4 | Justin Drake | Ethereum Foundationlean Ethereum+2 | Rome, Italy | Ethereumlean Ethereum+5 | — | 35m 55s | |
| 2/18/26 | lean Ethereum Miniseries Kick-off with Anna & Nico✨ | lean Ethereumzero-knowledge cryptography+4 | Nico Mohnblatt | Ethereum Foundationlean Ethereum+3 | Rome, Italy | lean Ethereumzero-knowledge cryptography+5 | — | 9m 19s | |
| 2/11/26 | Bonus: zkMesh+ & Upcoming Miniseries | There’s no full-length episode this week, but we wanted to highlighting a new bonus segment available exclusively to zkMesh+ subscribers. In this, we revisit last week’s conversation with Ian Miers, Assistant Professor of Computer Science at the University of Maryland. Ian dives deeper into: The renewed cultural focus on privacyThe evolving narrative around ZcashHis recent research on reducing nullifier state growth without relying on traditional pruning Join zkMesh+ as a paid subscriber to get access to this and all our extra members-only perks. https://zkmesh.substack.com/subscribe We return next week with a 6-part series on Lean Ethereum… stay tuned! | — | ||||||
| 2/4/26 | Stateful ZK Identity with Ian Miers | In this episode, Anna Rose and Nico Mohnblatt welcome back Ian Miers, Assistant Professor of Computer Science at the University of Maryland, to continue the conversation from a previous episode and dig deeper into his latest work like zk-Promises, zk-Cookies, and Cryptographic Personas. These ZK tools aim to build social networks that protect user privacy while maintaining integrity, like anonymous moderation and reputation systems without central databases. Ian explains how they differ from traditional creds but share ideas around proving attributes securely. The conversation explores real-world applications, such as banning bad actors without de-anonymizing them, setting rules in private group chats, and creating self-sovereign identities that persist over time. Ian also touches on challenges like stolen accounts, trolling, age checks, and how these primitives could shape future online interactions. Related Links Ian Miers: Academic profile and publicationszk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructurezk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbackszk-Cookies: Continuous Anonymous Authentication for the WebCryptographic Personas: Responsible Pseudonyms Without De-AnonymizationZexe: Enabling Decentralized Private ComputationZerocoin to zk-creds: Modern ZK History with Ian Miers zkMesh+ is live! Subscribe for zkMesh+ and catch the latest State of ZK 2025 report. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 1/29/26 | Bonus: Join zkMesh+ for some bonus podcast content! | No full length episode this week, but we have released an additional podcast clip with Sean Bowe to our a zkMesh+ paid subscribers. Sean Bowe is a Zcash core developer and lead on Tachyon. In this clip, Sean shares his thoughts on the question of quantum computers and their real impact on blockchains and ZK systems. Join zkMesh+ as a paid subscriber to get access to this and all our extra members-only perks. https://zkmesh.substack.com/subscribe | — | ||||||
| 1/21/26 | Sean Bowe on Tachyon and the Evolution of Zcash | In this episode, Anna Rose catches up with Sean Bowe, a Zcash core developer now leading work on Tachyon, the upcoming Zcash shielded pool upgrade. They discuss the evolution of Zcash’s technical roadmap over the past five years and how it has influenced the design of Tachyon. Sean then walks through the cryptographic ideas behind Tachyon, including its proving systems, new techniques for pruning nullifiers without disrupting other parts of the protocol, and how the upgrade aims to address Zcash’s remaining scalability bottlenecks. They also explore plans for Zcash governance, wallet UX, and the long-term outlook for privacy-focused zero-knowledge systems. Related Links Tachyon WebsiteZcashElectric Coin Company (ECC)Halo (ZK Proof System)Orchard Shielded PoolTachyon (Zcash Upgrade)ZK Podcast: Halo with Sean Bowe and Daira Hopwood from ECCZK Podcast: Sean Bowe on SNARKs, Trusted Setups and Elliptic Curve CryptographyzkSummit4: Sean Bowe on Halo: Recursive Proofs without Trusted SetupsA Note on Notes: Towards Scalable Anonymous Payments via Evolving Nullifiers and Oblivious Synchronization by Bowe and Miers zkMesh+ launches today! Subscribe for zkMesh+ and catch the latest State of ZK 2025 report. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 1/19/26 | Bonus: Welcome to 2026 from ZK Podcast & zkMesh+ | We share some updates about the upcoming episodes and the ZK Podcast & ZK Hack ecosystem - specifically zkMesh+ launching this Wednesday. zkMesh+ will bring together work from the Zero Knowledge Podcast, ZK Hack, and ZK Mesh. Subscribers will have access to a set of additional resources, including: the quarterly State of ZK Reportmonthly addendums on adjacent technologies such as FHE, iO, and MPCearly access and discounts for events like zkSummit and ZK Hack hackathonsselect subscriber-only Zero Knowledge Podcast segments and other experimental content If that sounds interesting, you can subscribe ahead of launch directly on the ZK Mesh Substack https://zkmesh.substack.com/subscribe | — | ||||||
| 12/3/25 | Year in Review: ZK Podcast in 2025 & Beyond | In this end-of-year episode, Anna recaps the major ZK themes of 2025 and gives a preview of what’s coming in 2026 — new episodes, a mini-series, zkSummit14, and the rollout of ZK Mesh Plus, a unified space for newsletters, educational content, and events. She highlights this year’s core research threads, from lattices and Ligero to quantum security, ZK-ID systems, emerging applications, and the ongoing push toward better proving benchmarks. Anna wraps with reflections on why privacy tech is becoming more urgent in the age of AI and what the community will be exploring next year. Related Links Ecosystem ZK Whiteboard Sessions ZK MeshSubscribe to ZK MeshZK Podcast substackState of ZK Report ZK Systems Story Back to the Future with Zero KnowledgeZero Knowledge Systems, Privacy and Security with Jonathan WilkinsThe Founding of Zero Knowledge Systems with Austin Hill Lattices Implementing LatticeFold with Matthew and Albert from Nethermind Lattices, Folding, & Symphony with Binyi ChenZK Whiteboard:Lattice-based SNARKs, w/ Vadim LyubashevskyZK Whiteboard:LatticeFold, w/ Binyi Chen Ligero Ligero for Memory-Efficient ZK with MuthuZK Whiteboard:The Ligero Proof System, w/ Muthu Venkitasubramaniam Quantum Quantum Engineering with Jelena VučkovićQuantum Punks with Alex and NicolaCountdown to Q-Day with Project 11 ZK-ID Bringing ID Onchain with SelfzkPDF and zkID with Vikas Rushi and Ying TongEvolving ZK Identity from Iden3 to Privado & BillionsZKPassport, Obsidion & the Emerging Noir EcosystemBuilding ZK Registries Onchain with Rarimo More How ZK inspired AI Watermarking with Miranda ChristLighter, Perp DEXs and Custom ZK CircuitszkTLS with Maddy from Reclaim ZKTorch & the Evolution of ZKML with Daniel Kang Zerocoin to zk-creds: Modern ZK History with Ian MiersEthproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake ZK Benchmarks with Conner Swann Verifiable Key Management and TEEs with TurnkeyTLSNotary with Dan and Sinu Local-First with grjte and Goblin Oats AI and ZK Auditing with David WongThe Quest for Practical iO with Machina iO Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 11/26/25 | Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More | In this episode, Anna Rose and Nico Mohnblatt catch up with Pratyush Mishra, Assistant Professor of Computer and Information Science at the University of Pennsylvania. They discuss the various themes in his ZK research and some of the works he has been a part of in the last few years. They explore how Garuda and Pari achieve extremely small SNARK proofs, how Arc facilitates hash-based folding, proximity proofs with FICS and FACS, his work on low-memory SNARKs, and ZK applications outside the blockchain space. Pratyush shares how these ideas intersect with one another, from faster proving to smallest proof sizes to real-world uses. He also touches on his collaborations with other leading cryptographers like Benedikt Bünz and Alessandro Chiesa, and how ZK is finding its place in broader computer science. Related Links Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial CommitmentsArc: Accumulation for Reed--Solomon CodesFICS and FACS: Fast IOPPs and Accumulation via Code-SwitchingScribe: Low-memory SNARKs via Read-Write StreamingCoral: Fast Succinct Non-Interactive Zero-Knowledge CFG ProofsHekaton: Horizontally-Scalable zkSNARKs via Proof AggregationQuery-Optimal IOPPs for Linear-Time Encodable CodesTime-Space Trade-Offs for SumcheckBlendy: A Time-Space Tradeoff for the Sumcheck ProverAccumulation without HomomorphismvSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced DatabasesSuccinct Arguments in the Quantum Random Oracle ModelLattices, Folding, & Symphony with Binyi Chen Aztec is a privacy-first Layer 2 on Ethereum supporting smart contracts with both private and public state and execution. Details about Aztec’s technology, research, and community programmes are available at aztec.network. ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here. Check out the latest jobs in ZK at the ZK Podcast Jobs Board. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 11/19/25 | Lattices, Folding, & Symphony with Binyi Chen | In this episode Anna Rose and Nico Mohnblatt chat with Binyi Chen, researcher at Stanford University. They discuss his work on lattice-based folding schemes, revisit LatticeFold and LatticeFold+, and cover how lattices enable low-cost, post-quantum-secure folding by replacing Pedersen hashes with Ajtai commitments. They discuss the early folding work from 2023 and how it has evolved and explore the advantages of lattices over other approaches in the folding context while also highlighting their tradeoffs. Binyi goes on to introduce Symphony, his new work that eliminates the need to implement Fiat-Shamir in the recursive verification circuit, and describes how that improves efficiency and removes the chances for a KRS-style attack. Related Links Binyi Chen’s WebsiteLatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof SystemsLatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof SystemsSymphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity FoldingProtostar: Generic Efficient Accumulation/Folding for Special-sound ProtocolsZK Whiteboard Sessions:SEASON 3 MODULE 3: Lattice-based SNARKs, w/ Vadim LyubashevskyZK Whiteboard Sessions:SEASON 3 MODULE 4: LatticeFold, w/ Binyi ChenImplementing LatticeFold with Matthew and Albert from NethermindLattice-based ZK Systems with Vadim Lyubashevsky Further Reading Generating Hard Instances of Lattice Problems by M. Ajtai SWIFFT: A Modest Proposal for FFT HashingDelegating Computation: Interactive Proofs for MugglesHow to Prove False Statements: Practical Attacks on Fiat-ShamirBaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable CodesBlaze: Fast SNARKs from Interleaved RAA CodesNeo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitmentsLaBRADOR: Compact Proofs for R1CS from Module-SIS? Aztec is a privacy-first Layer 2 on Ethereum supporting smart contracts with both private and public state and execution. Details about Aztec’s technology, research, and community programmes are available at aztec.network. Check out the latest jobs in ZK at the ZK Podcast Jobs Board. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
| 11/12/25 | The Quest for Practical iO with Machina iO | In this episode, Anna Rose and Tarun Chitra chat with Sora Suegami and Enrico Bottazzi from Machina iO. They explain indistinguishability obfuscation (iO) technology and how they are working to bring this powerful cryptographic primitive from theoretical territory into the practical world. They discuss how the pair got into iO and how new assumptions like all-product LWE and evasive LWE will help bridge theory to practice. They explore the benchmarks, the challenges and opportunities of this cutting-edge privacy cryptography and cover potential optimizations and real-world uses. While iO is still far from being truly practical, their work shows tangible steps ahead and offers interesting insights into how this could actually work. Related Links Indistinguishability Obfuscation (iO) with Huijia (Rachel) LinMachina iODiamond iO: A Straightforward Construction of Indistinguishability Obfuscation from LatticesCompact Pseudorandom Functional Encryption from Evasive LWEIndistinguishability Obfuscation from Well-Founded Assumptions Lookup-Table Evaluation over Key-Homomorphic Encodings and KP-ABE for Nonlinear OperationsOriginal BGG+ paper:Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits∗Gentry’s classic thesis on FHE bootstrapping:A FULLY HOMOMORPHIC ENCRYPTION SCHEMEGentry (GGH+) paper for obfuscation for all circuits:Candidate Indistinguishability Obfuscation and Functional Encryption for all circuitsOptimal Broadcast Encryption and CP-ABE from Evasive Lattice AssumptionsEvasive LWE Assumptions: Definitions, Classes, and CounterexamplesLattice-Based Post-Quantum iO from Circular Security with Random Opening Assumption (Part II: zeroizing attacks against private-coin evasive LWE assumptions)Simple and General Counterexamples for Private-Coin Evasive LWEEvasive LWE: Attacks, Variants & Obfustopia ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here. Check out the latest jobs in ZK at the ZK Podcast Jobs Board. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript | — | ||||||
Showing 25 of 416
Sponsor Intelligence
Sign in to see which brands sponsor this podcast, their ad offers, and promo codes.
Chart Positions
1 placement across 1 market.
Chart Positions
1 placement across 1 market.