PANews 7月21日消息，据The Block报道，NEAR Protocol联合创始人Illia Polosukhin表示，AI正极大加速黑客发现软件漏洞的能力，传统代码审查模式已难以应对。他指出，去年10月的Balancer事件是AI辅助黑客攻击的开端，依赖人工审查的旧模式在AI时代已不可持续。

Polosukhin主张采用形式验证，通过数学证明确保代码行为与规范完全一致。AI可生成大部分证明，再由人类验证其正确性，大幅缩短了证明生成时间。他认为形式验证应扩展到智能合约之外，覆盖关键互联网和网络软件。NEAR同日发布升级，用户可切换至抗量子账户密钥，网络可随活动增长自动扩展容量。