Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

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


Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(421)

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

This week, Anna and Guillermo are joined by Patrick O'Grady, founder of Commonware. They discuss his journey from Coinbase and Avalanche to building Commonware, a Rust library of composable primitives...

5 Aug 1h 12min

Private Information Retrieval (PIR) with Alex Hoover

Private Information Retrieval (PIR) with Alex Hoover

In this episode, Anna and Kobi are joined by Alex Hoover, cryptographer and Assistant Professor at Stevens Institute of Technology. They explore Private Information Retrieval (PIR)—a cryptographic pri...

29 Jul 1h 4min

Alex Ozdemir on where Theorem Provers and ZK meet

Alex Ozdemir on where Theorem Provers and ZK meet

This week, Anna and Nico are joined by Alex Ozdemir, Assistant Professor at Georgia Tech, to explore the intersection of formal verification and zero knowledge. They begin by revisiting the evolution ...

15 Jul 1h 1min

Sergey Gorbunov on TEEs and the Arc Privacy Sector

Sergey Gorbunov on TEEs and the Arc Privacy Sector

This week, Anna speaks with Sergey Gorbunov, Engineer at Circle, about Arc, Circle’s new EVM-compatible Layer 1 blockchain, and its approach to a TEE based on-chain privacy. They begin by revisiting S...

8 Jul 1h 7min

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

Last week on the show, we interviewed Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. The conversation ran long, so we're releasing some of the extra material as an exclusive ...

1 Jul 6min

Pushing the Limits of Proof Systems with Benedikt Bünz

Pushing the Limits of Proof Systems with Benedikt Bünz

In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso's architecture, its role in delivering fas...

24 Jun 1h 8min

Building ZK-Powered AI Guardrails with Wyatt Benno

Building ZK-Powered AI Guardrails with Wyatt Benno

In this episode, Anna and Nico chat with Wyatt Benno, technical founder of ICME Labs. They trace Wyatt’s start into ZK in the ZKHack Discord and Justin Thaler’s study group before diving into ICME’s e...

10 Jun 1h 7min

Populært innen Fakta

fastlegen
dine-penger-pengeradet
relasjonspodden-med-dora-thorhallsdottir-kjersti-idem
treningspodden
foreldreradet
jakt-og-fiskepodden
mikkels-paskenotter
rss-strid-de-norske-borgerkrigene
rss-kunsten-a-leve
sinnsyn
hverdagspsyken
babyverden
gravid-uke-for-uke
tomprat-med-gunnar-tjomlid
rss-var-forste-kaffe
fryktlos
ryddepodden
dopet
rss-impressions-2
rss-sarbar-med-lotte-erik