Vitalik Buterin: 无错误的源代码可能在2030年代成为现实

Vitalik Buterin 认为真正无错误的源代码在2030年代变得可行，至少对于将安全性放在首位的开发者来说是如此。这一观点是在2024年12月Gnosis Chain引发争议的硬分叉之后提出的，旨在追回在Balancer攻击中损失的940万美元。

针对关于区块链不可变性和智能合约构建方式的批评，Buterin强调“形式验证”并不等同于“证明无错误”。他认为完全无错误的代码可能是不可实现的，因为错误源于人类意图与代码执行方式之间的差距——而人类意图本身非常复杂且难以把握。

尽管如此，Buterin相信通过采用多层保护措施，如强类型系统、选择性形式验证、备份机制和严格测试，可以大大减少错误。对于优先考虑安全性的开发者来说，“几乎无错误”的未来完全在掌控之中。