This chapter explores the concept of formal verification as a means of ensuring code integrity in the security stack. It emphasizes the importance of specifications and discusses when formal verification is necessary.
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.