2026-07-20 18:32:13
AI 辅助黑客攻击正在超越传统代码审查,NEAR 联合创始人表示
据 NEAR Protocol 联合创始人 Illia Polosukhin 周一在接受 The Block 采访时表示,人工智能如今正在让黑客比传统安全审查更快发现软件漏洞,而传统安全审查往往还来不及修补。Polosukhin 认为,传统做法——由经验丰富的开发人员手动审查代码——在考虑到升级到新一代 AI 模型的能力之后,已经不可持续。他提出形式化验证,即在数学上证明代码“确实做到了它所声称的事”。尽管从历史上看,这项工作昂贵且耗费人力,但 AI 现在可以帮助生成大部分所需的证明,而这些证明还能被独立地验证。作为示范,Zcash 计划通过 Project Tachyon 使用 AI 辅助验证,在数周而非数年内产出了一份数学证明。