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.
もっと見る
