Tese: À medida que o custo (intelectual!) de verificar formalmente o software se torna mais barato nos próximos anos, veremos uma revolução no software, onde a maioria dos softwares será formalmente verificada

E sim, DeFi definitivamente precisa de uma verificação formal!