据 The Block 报道,NEAR Protocol 联合创始人 Illia Polosukhin 表示,AI 加速了黑客发现软件漏洞的速度,传统代码审查模式难以应对。Illia Polosukhin 主张采用形式验证,通过数学证明确保代码行为与规范一致,并建议将其扩展至智能合约之外。NEAR 同日发布升级,用户可切换至抗量子账户密钥,网络可随活动增长自动扩展容量。