Episode
Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT
- Podcast
- Zero Knowledge
- Published
- Jun 18, 2026
- Duration seconds
- 73
- Processing state
not_requested- Canonical source
- https://zeroknowledge.fm/podcast/bxvericodingsmt
Actions
POST https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/announcement-zkmesh-exclusive-clip-vericoding-and-smt/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/zero-knowledge-1048106/announcement-zkmesh-exclusive-clip-vericoding-and-smt.md
Read the agent-friendly Markdown representation of this episode resource.
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