THE BLOCK：Vitalik Buterin表示，以太坊正在朝着通过AI辅助验证整个程序的方向发展，以增强软件安全性。 他认为，开发者必须验证数据库、网络、缓存和其他层，而不仅仅是自我声明的关键代码。