Zero Knowledge Formal Verification with Martin Lundfall
Mar 6, 2019
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.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8
Introduction
00:00 • 2min
Formal Verification: A Complex Field
01:45 • 10min
Formal Verification and its Definition
11:20 • 7min
Collaboration and Challenges in Smart Contract Development
17:55 • 4min
The Importance of Formal Verification in Terms of Security
22:01 • 22min
Researcher's Work on Formal Verification and Smart Contracts
44:12 • 9min
Formal Verification in the Security Stack
52:52 • 2min
Formal Verification and Smart Contracts in WASM
54:31 • 9min