论点：随着在未来几年中正式验证软件的（智力！）成本变得更低，我们将看到软件领域的革命，大多数软件将得到正式验证。

是的，DeFi 确实需要正式验证！