Zero Knowledge Podcast
@zeroknowledgefm
Where we talk decentralization and technology, open source communities & ZK proofs. Guests by invite only. Hosted by @AnnaRRose
加入 March 2018
61 正在关注 22.9K 粉丝
🎙️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.
显示更多
