Zero Knowledge
Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT
1:13
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…