# Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

Page: https://stenobird.com/podcast/zero-knowledge-1048106/announcement-zkmesh-exclusive-clip-vericoding-and-smt
Text version: https://stenobird.com/podcast/zero-knowledge-1048106/announcement-zkmesh-exclusive-clip-vericoding-and-smt.md
Podcast: [Zero Knowledge](https://stenobird.com/podcast/zero-knowledge-1048106)
Published: 2026-06-18T14:00:00+00:00
Episode link: https://zeroknowledge.fm/podcast/bxvericodingsmt
Audio file: https://episodes.captivate.fm/episode/2150ed00-78d1-4a4e-b024-3d62ba949aa7.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/announcement-zkmesh-exclusive-clip-vericoding-and-smt
Duration seconds: 73

## Resource

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

## Actions

- request_transcript: `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.
- read_markdown: `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.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.