Formal Verification with Martin Lundfall

Episode 67 · March 6th, 2019 · 1 hr 3 mins

About this Episode

In this week's episode, we sit down with Martin Lundfall from 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, 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:

Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: and

If you like what we do:
Follow us on Twitter - @zeroknowledgefm
Join us on Telegram -
Support our Gitcoin Grant -
Support us on Patreon -
Or directly here:
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz