Vitalik Buterin 9月17日在 X 说，别老觉得 AI 黑客一出来网络安全就完蛋了。他的看法是，形式化验证（用数学校验软件守不守规矩）反而能让写安全代码的成本降下来，长远看防守方更划算。他还顺手提了一句，自己差不多九成身家都还在加密资产里，相当于拿钱包投票，赌数字系统顶得住更强的自动攻击。$ETH 这边早把形式化验证排进协议安全的长期路线了。#以太坊 #网络安全