Zero Knowledge

Episode 67: Formal Verification with Martin Lundfall



March 6th, 2019  •  1 hr 3 mins  •  Download (43.5 MB)  •  Link with Timestamp

RSS Feed

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.