维塔利克·布特林提出基于人工智能的代码审计理念,以太坊项目开发者支持其观点

据以太坊联合创始人Vitalik Buterin提出,利用人工智能改进代码审计,减少区块链项目中的漏洞。AI辅助代码审计能够适应和学习新信息,使其比当前自动化工具更加有效。开发者表示,人工检查可以与AI系统结合,创建强大的漏洞检测系统。

2023年,加密货币用户因黑客攻击和诈骗估计损失了20亿美元,以太坊由于其广泛的生态系统和备受关注的项目而遭受了最高的损失。代码审计可能是人工智能(AI)项目寻求利用这一新技术的潜在应用,以太坊联合创始人Vitalik Buterin在本周早些时候的一条推文中表示。

Buterin称:“我对AI的一个应用感到兴奋的是AI辅助代码的形式验证和漏洞发现。目前以太坊最大的技术风险可能是代码中的漏洞,任何能够显著改变这一局面的东西都将是令人惊讶的。”

在过去几周,随着OpenAI的新产品发布和芯片制造商英伟达(NVDA)表现优异,AI行业再次成为投资热点。CoinGecko数据显示,一些AI代币的价格在过去一周内翻了一番。

Buterin的想法是利用AI进行代码审计,可以增强一个以利用漏洞和诈骗而闻名的行业的安全性,两位以太坊开发者本周告诉Crypto。

AI如何帮助代码审计?
区块链项目已经借助各种自动化工具进行智能合约审计,但这些程序的一个主要限制是它们无法像AI工具那样适应新信息。一位希望匿名的TokenFi开发者在接受Crypto采访时解释说:“AI可以被训练以识别和适应新信息和环境,使其更有效地识别静态分析规则可能未涵盖的漏洞。”

“AI工具可以根据新数据集和模式进行更新,这种适应能力在智能合约安全领域的快速发展中至关重要,零日漏洞可能会出现,并且现有漏洞可以以新的方式被利用。”他们补充道。

“AI学习和不断改进的能力,再加上其深度分析和模式识别的能力,使其成为推动人工辅助审计限制的强大工具。”另一位开发者认为,AI系统可以根据历史和预测数据预测漏洞。AI检查,再加上人工检查,最终可以创建一个强大的系统检查机制。

“我们可以通过教授AI系统根据以往经验寻找问题来加速审计过程,从而在问题升级之前发现潜在问题。”以太坊二层项目Taiko的开发者RJ Ke在一次电报聊天中解释说。“AI可以协助处理诸如确保代码在各种条件下的预期行为等高度技术性的任务。”

“人工智能和人工检查的结合不仅加强了我们的代码,也为我们在今年以太坊生态系统中带来了更多令人振奋的进展。”

损失程度
据报道,2023年加密货币用户因黑客攻击和诈骗估计损失了20亿美元,其中绝大部分损失源自协议漏洞或攻击编写不当的系统。以太坊,作为活跃用户和锁定价值最高的区块链,损失最为严重,估计有约13.5亿美元在大约170起事件中被抹去。

这一数字表明以太坊由于其广泛的生态系统和备受关注的项目对恶意行为者的吸引力。其中最大的漏洞是今年7月对跨链平台Multichain的2.3亿美元攻击。