ZKPodcast: Formal Verification with Martin Lundfall

Episode 67. Originally aired on March 6 2019:

To Follow the Zero Knowledge Podcast and find the links to this episode -https://www.zeroknowledge.fm/67

--------

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:
* Is a type a lifebuoy or a lamp? -https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp
* https://github.com/dapphub/klab
* https://github.com/kframework/evm-semantics
* https://github.com/kframework/k
* https://jellopaper.org/
* https://dapphub.chat/
​
------
​
Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: -https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a and grants.web3.foundation -https://github.com/w3f/General-Grants-Program/blob/master/grants/grants.md

--------

To Follow the Zero Knowledge Podcast us at -https://www.zeroknowledge.fm

To the listeners of Zero Knowledge Podcast, if you like what we do:
- Follow us on Twitter - @zeroknowledgefm
- Join us on Telegram -https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA
- Support our Gitcoin Grant -https://gitcoin.co/grants/38/zero-knowledge-podcast
- Support us on Patreon - https://www.patreon.com/zeroknowledge