NEAR Protocol 联合创始人 Illia Polosukhin 表示，AI 正帮助黑客更快发现软件漏洞，传统人工代码审查已难以应对，因此区块链开发应转向形式化验证，以数学证明代码按预期运行。他称，AI 可协助生成证明，再由独立系统验证其正确性，部分原本需要数年的工作已缩短至数周。近期 Zcash 的 Project Tachyon 即通过 AI 辅助验证，为 Ironwood 隐私池生成了防止同类隐蔽增发漏洞的数学证明。Polosukhin 认为，这一方法未来还应扩展至智能合约以外的关键互联网和网络软件。（The Block）
wu-talk