Alex Ozdemir on where Theorem Provers and ZK meet - Zero Knowledge

Artwork for podcast Zero Knowledge

Alex Ozdemir on where Theorem Provers and ZK meet

15th July 2026 • Zero Knowledge • Zero Knowledge Podcast

00:00:00 01:01:56

Share Episode

Share

Start at

Embed

Download Audio Share to Facebook Share to X Share to LinkedIn

Follow

Video

More from YouTube