AI辅助黑客攻击速度超过传统代码审查，NEAR联创主张采用形式验证

NEAR Protocol 联合创始人 Illia Polosukhin 表示，AI 正大幅加速黑客发现软件漏洞的能力，传统代码审查模式已难以应对。他指出，去年 10 月的 Balancer 事件是 AI 辅助黑客攻击的开端，依赖人工审查的旧模式在 AI 时代已不可持续。Polosukhin 主张采用形式验证，通过数学证明确保代码行为与规范完全一致。AI 可生成大部分证明，再由人类验证其正确性，大幅缩短证明生成时间。他认为形式验证应扩展到智能合约之外，覆盖关键互联网和网络软件。NEAR 同日发布升级，用户可切换至抗量子账户密钥，网络可随活动增长自动扩展容量。