logo
  • PODCAST
  • BLOG
  • EVENTS
  • JOBS
  • ABOUT
  • HACK

Formal Verification

Alex Ozdemir on where Theorem Provers and ZK meet

Research,Tools,Formal Verification

15.07.2026

Connect:

YouTube
X
GitHub
Telegram
Reddit

Support:

Patreon
ETH – Donation address
BTC – Donation address
SOL – Donation address
ZEC – Donation address

More:

ZK Announcements
ZK Mesh
Sponsorship Enquiry
Disclosures

Sign up to our newsletter:

Substack

Contact:

hello@zeroknowledge.fm

Check our privacy policy on how we collect and process your information.