Martin Lundfall

Martin Lundfall from Dapphub & MakerDAO joins to discuss formal verification, its complexities and importance in the blockchain industry. They explore the definition, challenges, and benefits of formal verification, especially in terms of security. They also delve into the collaboration and challenges in smart contract development, the work of a researcher in formal verification and smart contracts, and the application of formal verification in the security stack and smart contracts written in WASM.