Vitalik Buterin 对人工智能黑客和网络安全的未来有不同的看法

[ETH] 正因为如此，Buterin 表示让定义更易于理解非常重要。Buterin 仍然认为，对于安全关键组件，定义可以是比实现本身小得多的攻击面。如果两个组有两个不同的定义，开发人员可以证明一个程序满足这两个定义。