“未来的安全竞争，不只是人与人的较量，而是智能系统之间的对抗。”

当人工智能开始进入网络攻击领域，区块链行业过去依赖的安全模式正在受到挑战。

NEAR Protocol联合创始人Illia Polosukhin近日发出警告，表示人工智能驱动的黑客攻击正在快速升级，传统依靠人工进行代码审查的方法，已经越来越难以保护复杂的区块链生态。

据相关报道，Polosukhin指出，从去年10月开始，AI生成攻击的数量和复杂程度明显增加。这意味着Web3安全正在进入一个新的阶段：攻击者不再只是寻找已知漏洞，而是在利用AI自动探索未知风险。

对于依赖智能合约运行的区块链项目而言，这种变化可能带来深远影响。

智能合约安全，正在面对AI时代的新变量

过去几年，智能合约漏洞一直是加密行业最大的风险来源之一。

从DeFi协议到跨链桥，再到各种去中心化应用，大量资金都锁定在代码之中。一旦代码存在漏洞，攻击者往往可以通过一次漏洞利用，快速转移大量资产。

传统安全方式主要依靠人工代码审计。

开发人员和安全团队会逐行检查代码，寻找潜在逻辑错误。这种方式虽然有效，但存在明显限制：成本高、周期长，而且依赖审计人员经验。

随着区块链应用越来越复杂，代码规模不断扩大，人工审核正在面临效率瓶颈。

Polosukhin认为，AI正在改变这一平衡。

过去，一个攻击者可能需要大量时间分析智能合约逻辑，而现在人工智能可以快速生成大量攻击方案，并尝试寻找系统中的薄弱环节。

简单理解，过去是“人找漏洞”，未来可能变成“AI自动寻找漏洞”。

为什么形式化验证成为行业关注重点？

面对AI带来的新风险，Polosukhin提出，区块链行业需要更加重视形式化验证。

所谓形式化验证，是一种利用数学方法证明程序代码是否符合预期行为的技术。

与传统测试不同，普通测试通常只能发现部分已知问题，而形式化验证试图从理论层面证明代码是否存在某类错误。

这也是它被认为更适合高价值区块链应用的重要原因。

不过，形式化验证过去一直面临两个现实问题：开发成本较高，以及技术门槛较高。

对于许多项目而言，全面验证所有代码并不容易。

但人工智能的发展可能正在改变这一情况。

Polosukhin认为，可以利用AI辅助形式化验证流程，让原本复杂、耗时的安全检查变得更加高效。

换句话说，行业正在尝试用攻击者使用的技术，建立新的防御体系。

AI既是攻击工具，也是安全工具

值得注意的是，AI带来的变化并不只是风险。

在网络安全领域，一个明显趋势正在形成：人工智能既可能成为攻击者的工具，也可能成为防御者的助手。

对于黑客而言，AI可以帮助自动寻找漏洞、生成攻击路径，提高攻击效率。

对于开发者而言，AI同样可以帮助分析代码、模拟攻击行为，并辅助发现潜在安全问题。

这意味着未来区块链安全竞争，可能不再只是比谁拥有更强的人工审核团队，而是比谁能够更有效地结合人工智能与安全技术。

对于开发者来说，这种变化意味着开发流程可能需要重新调整。

过去，很多项目更加关注快速上线和产品迭代，但未来安全验证可能成为智能合约部署前的重要环节。

对Web3行业意味着什么？

从行业角度来看，Polosukhin的观点反映了区块链生态正在经历一次安全理念升级。

早期区块链行业强调去中心化和创新速度，而随着资金规模扩大，安全逐渐成为决定项目长期价值的重要因素。

对于用户和投资者而言，安全能力可能成为判断一个区块链项目是否成熟的重要指标。

如果一个项目仍然依赖传统人工审核，而缺少更先进的验证体系，未来可能面临更高风险。

同时，监管机构也可能更加关注智能合约安全问题。

随着数字资产市场规模扩大，如何降低技术漏洞带来的损失，将成为行业必须面对的问题。

真正值得关注的是安全逻辑的改变

说实话，AI黑客并不是突然出现的新问题。

过去几年，区块链行业已经经历过多次安全事件，漏洞风险一直存在。

但真正值得关注的是，人工智能正在改变攻击成本。

当攻击者可以利用AI提升效率时，防御体系也必须同步升级。

这不是简单的技术竞争，而是整个行业安全逻辑的变化。

未来，区块链项目之间的竞争，可能不仅是功能、用户规模和生态建设的竞争，也会是安全基础设施能力的竞争。

区块链安全进入AI时代

NEAR Protocol联合创始人Illia Polosukhin关于AI黑客的警告，实际上提出了一个更大的问题：当人工智能开始重新定义攻击方式，区块链行业是否已经准备好迎接新的安全挑战？

传统代码审查依然重要，但面对高速发展的AI攻击能力，仅依靠人工审核可能越来越难满足需求。

形式化验证、AI辅助安全工具以及更加成熟的开发流程，或许将成为未来Web3安全体系的重要组成部分。

对于整个行业而言，真正的挑战并不是阻止AI进入安全领域，而是如何让AI成为保护区块链生态的重要力量。

FAQ

Q1：什么是区块链中的形式化验证？

形式化验证是一种通过数学方法证明代码行为是否符合设计目标的技术。与传统代码测试不同，它不仅寻找已知错误，还试图证明代码不存在某些类型的问题，因此被应用于对安全要求较高的智能合约和区块链系统。

Q2：为什么AI会增加智能合约安全风险？

人工智能能够快速分析代码结构，并自动生成大量潜在攻击方案，这让攻击者发现漏洞的效率大幅提升。过去依靠人工团队进行安全检查的方式，可能难以应对AI带来的速度和规模变化。

Q3：AI是否也能帮助提升区块链安全？

可以。AI不仅能够被用于攻击，也能够辅助防御。例如，AI可以帮助开发者分析代码漏洞、模拟攻击场景，并提升形式化验证效率。未来区块链安全可能会更多依赖人工智能与传统安全技术结合。