Tesis: A medida que el coste (¡intelectual!) de verificar formalmente el software se vuelva más barato en los próximos años, veremos una revolución en el software en la que la mayoría del software será verificado formalmente

Y sí, ¡DeFi definitivamente necesita una verificación formal!