Vitalik最新长文:AI时代,代码如何变得更安全?
Vitalik探讨AI时代下代码安全的新路径:AI辅助形式化验证。该方法通过数学证明验证程序性质,提升智能合约、ZK系统、共识算法等关键基础设施的安全性,强调其并非万能但可构建更小、更可信的‘安全核心’,以应对AI增强的攻击能力。
知识
2026-05-19

