Formal Verification with Martin Lundfall

In this week's episode, we sit down with https://twitter.com/martinlundfall (Martin Lundfall) from Dapphub and MakerDAO to discuss https://en.wikipedia.org/wiki/Formal_verification (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: https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp (Is a type a lifebuoy or a lamp?) https://github.com/dapphub/klab (https://github.com/dapphub/klab) https://github.com/kframework/evm-semantics (https://github.com/kframework/evm-semantics) https://github.com/kframework/k (https://github.com/kframework/k) https://jellopaper.org/ (https://jellopaper.org/) https://dapphub.chat/ (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 (https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a) and https://github.com/w3f/Web3-collaboration/blob/master/grants/grants.md (grants.web3.foundation) If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcast (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon - https://www.patreon.com/zeroknowledge (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz