March 6th, 2019 • 1 hr 3 mins • Download (43.5 MB) • Link with Timestamp
In this week's episode, we sit down with Martin Lundfall (Dapphub, MakerDAO) to discuss formal verification - a topic request that comes directly from the Zero Knowledge audience. We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, and much more.