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

Verifiable Compute

Alex Ozdemir on where Theorem Provers and ZK meet

Research,Verifiable Compute,Tools

15.07.2026

Pushing the Limits of Proof Systems with Benedikt Bünz

Research,L2's,Verifiable Compute

24.06.2026

Verifiable Databases with Shyam & Emanuele from Provably

ZK Applications,Verifiable Compute,Tools

08.04.2026

Kevin Lacker on AI-Assisted Theorem Proving and Acorn

Research,Verifiable Compute,Tools

22.10.2025

Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with...

Blockchain,Verifiable Compute,Ecosystem

20.08.2025

Local-First with grjte and Goblin Oats

Verifiable Compute,Miscellaneous

09.07.2025

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.