Vitalik Buterin 在推特上表示，他不认同「AI 黑客意味着网络安全注定失败」的观点。一旦相应方法成熟，网络安全自然倾向于防守方；他持有加密资产（约占自身净资产的 90%）本身就是对这一判断的押注。其简化表述为：如果 AI 能够证明纳维–斯托克斯方程和费马大定理，同样也能把「该程序是安全的」这一命题化为数学定理，即便程序极其复杂。Vitalik 强调，难点在于「安全」极易被定义得过窄，从而漏掉大量攻击面，必须采用可读、可叠加的定义。对消息协议、沙箱、SNARK、FHE 等关键组件，验证其安全定义的可行性往往比直接扫描代码更具可行性。过去的形式化验证往往仅覆盖自认的关键模块，其余代码仍可能成为突破口；他主张应验证所有程序，包括数据库、网络与缓存等，并认为现代 AI 已使这一路径更具现实性。他认为这并非「好人抢在坏人之前找漏洞」，而是让代码先天更具抗攻击能力；若缺乏此路径，尤其是在支持扩容与隐私的区块链将没有未来，以太坊未来几年将朝此方向推进。
