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.
๋ ๋ณด๊ธฐ
