Zero Knowledge Podcast
@zeroknowledgefm
Where we talk decentralization and technology, open source communities & ZK proofs. Guests by invite only. Hosted by @AnnaRRose
Joined March 2018
61 Following 22.9K Followers
🎙️This past week, @AnnaRRose & @nico_mnbl spoke w Alex Ozdemir, Assistant Professor at Georgia Tech, about the formal verification/ZK connection — covering SMT solvers, Lean, zkPi and why verifiable software matters.
Show more
