据 Woofun AI 消息，NEAR协议联合创始人伊利亚·波洛苏欣发出严厉警告，指出人工智能驱动的黑客攻击正严重威胁区块链生态，传统代码审查方法已显不足。

自去年10月起，AI引发的攻击显著加剧，这标志着网络安全领域的一个转折点。此类攻击在复杂程度和速度上远超人工审计，后者往往效率低下、成本高昂且容易出错。相比之下，AI能在几秒钟内生成数千种攻击路径，以远超人类团队反应速度的方式检测智能合约及去中心化应用中的漏洞。

Woofun AI 整理数据显示，形式化验证通过数学方法确保代码按预期运行，虽历史上成本高昂且计算量大，但能提供传统测试无法达到的确定性水平。波洛苏欣呼吁整合人工智能工具，使该过程更快捷、更经济，从而在代码部署之前从数学层面保证安全性，降低那些已给加密货币行业造成数十亿损失的漏洞攻击风险。

对于区块链开发者而言，这意味着需采用新的工具和工作流程，将可验证的安全性置于速度之上。用户和投资者将见证行业风险管理能力的提升，而未能实施完善验证机制的项目可能面临监管机构和市场更加严格的审视。伊利亚·波洛苏欣倡导广泛采用形式化验证，凸显代码安全领域变革之必要，当前挑战在于如何让整个生态系统中的开发者都能以经济实惠的方式使用这些先进技术。