Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT
About this episode
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
Get every episode summarized
Each time Zero Knowledge publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Zero Knowledge
The Evolution from ZKP2P to Peer with Richard Liang
Zero Knowledge
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
Zero Knowledge
Private Information Retrieval (PIR) with Alex Hoover
Zero Knowledge
Alex Ozdemir on where Theorem Provers and ZK meet
Zero Knowledge