NEAR联合创始人：AI黑客攻击正超越传统代码审计，需转向形式化验证

BlockWeeks 7月21日消息，NEAR 联合创始人 Polosukhin 表示，AI 辅助的黑客攻击正在超越传统代码审计，因此需要转向形式化验证来保障区块链代码安全。他指出，随着 AI 技术的进步，黑客利用 AI 进行攻击的速度和效率已超过人工审查。Polosukhin 认为，形式化验证是应对这一趋势的必要手段。（本快讯由 BlockWeeks 编译整理自公开信息）