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

AI 摘要

一句话摘要: NEAR联创称AI加速黑客攻击，主张用形式验证应对，并发布抗量子升级。 关键事实: NEAR联创Illia Polosukhin指出AI加速黑客发现漏洞，Balancer事件是AI攻击开端；他主张用形式验证通过数学证明确保代码安全；NEAR同日发布升级，支持抗量子账户密钥和自动扩展容量。 涉及主体: NEAR Protocol, Illia Polosukhin, Balancer 可能影响: 形式验证可能成为区块链安全新标准，推动智能合约和网络软件更广泛采用数学证明；抗量子升级预示行业对量子计算威胁的提前布局。 是否值得继续跟踪: 是，形式验证和抗量子技术是AI与Web3安全的关键趋势，NEAR的实践可能影响行业标准。 噪音/炒作风险: 中，形式验证概念成熟但实际应用有限，NEAR的升级和主张有实质内容，但需观察落地效果和行业采纳速度。