波宝pro钱包安全|Vitalik Buterin 表示，人工智能将解决以太坊的“最大问题”

近几个月来，人工智能在几乎所有行业都取得了进展。 以太坊联合创始人 Vitalik Buterin 表示，它对于修复网络中的主要技术缺陷也非常有用。

“令我兴奋的人工智能应用之一是人工智能辅助的形式代码验证和错误查找，” 写道 Buterin 在他的社交网络帐户上

Vitalik Buterin 所说的形式化验证涉及使用数学方法来证明软件代码的正确性。 因此，它确保协议按预期运行，并将错误或漏洞的风险降至最低。

在以太坊的背景下，智能合约至关重要，拥有可靠的代码并不是一件小事。 事实上，2023 年 12 月，Open Zeppelin 团队披露了两个以太坊智能合约功能中的漏洞，导致超过 20 万美元的加密货币被盗。

用 Solidity 为以太坊编写的智能合约片段。 来源：Etherscan。

人工智能辅助的形式验证可以提高识别代码中潜在问题的过程的自动化和效率。 通过利用机器学习算法，人工智能系统可以全面分析复杂的代码结构，并识别仅通过手动检查无法检测到的潜在漏洞。

分析：比特币价格两周内上涨23%

PlanB 分析师做出令人震惊的比特币 60 万美元预测

人工智能在加密货币网络中的 4 个用途

上述 X 帖子并不是 Vitalik Buterin 第一次提到加密货币领域的人工智能。 在他个人博客上最近发表的一篇文章中，开发人员解释了人工智能在这个技术领域可以扮演的四个角色，尽管迄今为止它的联系还有限。

但 Buterin 解释说，由于更强大的人工智能和更强大的加密货币网络，过去三年人们的看法发生了变化。 一个重要的对比是，在密码学中，透明度对于安全至关重要，而在人工智能中，开放性增加了对抗性机器学习攻击的脆弱性。

Vitalik Buterin 表示，人工智能和区块链之间的差异。 来源：Vitalik.eth.limo。

Vitalik Buterin 强调的四个潜在用途是：人工智能“作为游戏中的玩家”，参与激励来自人类输入协议的机制； 人工智能“作为游戏界面”，帮助用户了解加密的世界，并确保他们的行为符合他们的意图，避免陷阱或诈骗； 人工智能“作为游戏规则”，区块链和类似机制使用基于人工智能的“法官”； 人工智能“作为游戏的目标”，设计区块链和机制来维持人工智能可用于其他目的，使用加密货币来激励培训并防止人工智能的滥用。