{"href":"http://player.captivate.fm/services/oembed?url=http%3A%2F%2Fplayer.captivate.fm%2Fepisode%2F0632bd82-668e-48e4-9bae-2eb6750bf6ac","version":"1.0","provider_name":"Captivate.FM","provider_url":"https://www.captivate.fm","width":600,"height":200,"type":"rich","html":"<iframe style=\"width: 100%; height: 200px;\" title=\"Formal Verification with Martin Lundfall\" frameborder=\"0\" scrolling=\"no\" allow=\"clipboard-write\" seamless src=\"http://player.captivate.fm/episode/0632bd82-668e-48e4-9bae-2eb6750bf6ac\"></iframe>","title":"Formal Verification with Martin Lundfall","description":"In this week&#39;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. \r\n\n\nWe cover what formal verification is, where it makes sense, where it doesn&#39;t, the k-framework, how different this approach is to the &quot;move fast and break things&quot; approach, and much more. \r\n\n\nHere are some of articles and videos we mention: \r\n\n\n\nhttps://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp (Is a type a lifebuoy or a lamp?)\r\n\nhttps://github.com/dapphub/klab (https://github.com/dapphub/klab)\r\n\nhttps://github.com/kframework/evm-semantics (https://github.com/kframework/evm-semantics)\r\n\nhttps://github.com/kframework/k (https://github.com/kframework/k)\r\n\nhttps://jellopaper.org/ (https://jellopaper.org/)\r\n\nhttps://dapphub.chat/ (https://dapphub.chat/)\r\n\n\n\n\n\nThanks to Web3Foundation for being our sponsor on this week&#39;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) \r\n\n\n\n\nIf you like what we do: \r\n\nFollow us on Twitter - @zeroknowledgefm\r\n\nJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA)\r\n\nSupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcast (https://gitcoin.co/grants/38/zero-knowledge-podcast)\r\n\nSupport us on Patreon - https://www.patreon.com/zeroknowledge (https://www.patreon.com/zeroknowledge) \r\n\nOr directly here: \r\n\nETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a\r\n\nBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz\r\n","thumbnail_width":300,"thumbnail_height":300,"thumbnail_url":"https://artwork.captivate.fm/bb32a98e-63eb-4329-8f69-2d62351a2625/cover.jpg"}