In this chapter, the speakers discuss the complexities of formal verification and how it is often misunderstood as a magical solution to security problems. They also share their journey into blockchain and formal verification.
In this week's episode, we sit down with Martin Lundfall from 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, how different this approach is to the "move fast and break things" approach, and much more.