{"podcast":{"title":"Zero Knowledge","slug":"zero-knowledge-1048106","podcast_index_feed_id":1048106,"rss_url":"https://feeds.captivate.fm/zeroknowledge/","website_url":"https://www.zeroknowledge.fm","image_url":"https://artwork.captivate.fm/eed81918-5c2c-4ed4-9ddc-11dbb519e2dd/cover.jpg","author":"Zero Knowledge Podcast","episode_count":420,"summary":"Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT","last_synced_at":"2026-07-30T02:18:37.841188+00:00","page_url":"https://stenobird.com/podcast/zero-knowledge-1048106"},"episode":{"title":"lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize","slug":"lean-ethereum-part-3-security-of-pq-snarks-and-an-update-about-the-proximity-prize","published_at":"2026-03-04T13:00:00+00:00","page_url":"https://stenobird.com/podcast/zero-knowledge-1048106/lean-ethereum-part-3-security-of-pq-snarks-and-an-update-about-the-proximity-prize","show_page_url":"https://stenobird.com/podcast/zero-knowledge-1048106","url":"https://zeroknowledge.fm/podcast/393","audio_url":"https://episodes.captivate.fm/episode/b488c39a-6845-4e19-b6ae-6c55817aabf3.mp3","summary":"https://youtu.be/v8SGKS3T-3A In this episode, Nico Mohnblatt speaks with Giacomo Fenzi from EPFL and Antonio Sanso from the Ethereum Foundation . For this 3rd instalment of the lean Ethereum miniseries, they talk about the theory and security behind post-quantum SNARKs. They dive into the hash-based proof systems underpinning LeanVM, multilinear approaches like sumcheck, and how these fit into Ethereum's post-quantum upgrades. They cover the $1M Proximity Prize and the recent wave of papers on proximity gaps, correlated agreement, and list decoding. From negative results near the Elias bound to breakthroughs beyond the Johnson bound for certain codes, the discussion explores how new results slightly degrade conjectural security, why the 128-bit threshold still matters, and what it means to move from conjectural to provable security in large-scale systems like Ethereum. Related Links lean Ethereum Part 1: Introduction with Justin Drake lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt lean Ethereum Lean Consensus R&D Progress leanSig Implementation Poseidon2: A Faster Version of the Poseidon Hash Function On Proximity Gaps for Reed–Solomon Codes Proximity Gaps in Interleaved Codes On Reed–Solomon Proximity Gaps Conjectures Optimal Proximity Gaps for Subspace-Design Codes and (Random) Reed-Solomon Codes All Polynomial Generators Preserve Distance with Mutual Correlated Agreement Additional Resources Soundcalc GitHub Proximity prize On the Distribution of the Distances of Random Words Small-field hash-based SNARGs are less sound than conjectured by Fenzi and Sanso WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification STIR: Reed–Solomon Proximity Testing with Fewer Queries Linear-Time Accumulation Schemes TensorSwitch     A…","meta_description":"https://youtu.be/v8SGKS3T-3A In this episode, Nico Mohnblatt speaks with Giacomo Fenzi from EPFL and Antonio Sanso from the Ethereum Foundation . For this…","key_points":[],"chapters":[],"topics":[],"duration_seconds":2203,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/lean-ethereum-part-3-security-of-pq-snarks-and-an-update-about-the-proximity-prize/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/zero-knowledge-1048106/lean-ethereum-part-3-security-of-pq-snarks-and-an-update-about-the-proximity-prize.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}