Tese: Etter hvert som den (intellektuelle!) kostnaden ved å formelt verifisere programvare blir lavere i årene som kommer, vil vi se en revolusjon innen programvare hvor mesteparten av programvaren blir formelt verifisert

Og ja, DeFi trenger definitivt formell verifisering!