据 Woofun AI 消息，NEAR Protocol 联合创始人 Illia Polosukhin 指出，人工智能显著提升了黑客发现软件漏洞的能力，致使传统代码审查模式难以应对。他以去年 10 月的 Balancer 事件为例，认为这标志着 AI 辅助黑客攻击时代的开启，依赖人工审查的旧模式已不可持续。

Polosukhin 提倡采用形式化验证技术，利用数学证明确保代码行为符合设计规范。他提出由 AI 生成大部分证明、人类核查正确性的协作模式，以大幅缩短时间。此外，该技术应扩展至各类关键互联网软件。同日，NEAR 发布升级，支持用户切换抗量子攻击账户密钥，并实现随用量自动扩展处理能力。