{"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":"Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT","slug":"announcement-zkmesh-exclusive-clip-vericoding-and-smt","published_at":"2026-06-18T14:00:00+00:00","page_url":"https://stenobird.com/podcast/zero-knowledge-1048106/announcement-zkmesh-exclusive-clip-vericoding-and-smt","show_page_url":"https://stenobird.com/podcast/zero-knowledge-1048106","url":"https://zeroknowledge.fm/podcast/bxvericodingsmt","audio_url":"https://episodes.captivate.fm/episode/2150ed00-78d1-4a4e-b024-3d62ba949aa7.mp3","summary":"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","meta_description":"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 (ICM…","key_points":[],"chapters":[],"topics":[],"duration_seconds":73,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/announcement-zkmesh-exclusive-clip-vericoding-and-smt/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/announcement-zkmesh-exclusive-clip-vericoding-and-smt.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}