ZKPodcast: Formal Verification with Martin Lundfall

Episode 67. Originally aired on March 6 2019:

--------

Formal Verification with Martin Lundfall

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.

We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the "move fast and break things" approach, and much more.
​
Here are some of articles and videos we mention:
​
------
​

--------

To the listeners of Zero Knowledge Podcast, if you like what we do:
- Follow us on Twitter - @zeroknowledgefm