Vitalik Buterin：网络安全需深层转变以实现防御优势

Vitalik Buterin 表示，网络安全最终将偏向防御有利局面，但过渡过程艰难。实现防御优势需要形式化验证、积极最小化 TCB 等方法论转变，目前这些转变才刚刚起步。Vitalik Buterin 支持放缓或暂停，并认为需要超过 GDP 的 1% 投入网络安全、生物安全及物理世界加固。