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
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 Juli 1h 4min
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 Juli 1h 1min
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 Juli 6min
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 Juni 1h 8min
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 n...
18 Juni 1min
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 Juni 1h 7min
