维塔利克：形式化验证或成加密货币安全领域的最大飞跃_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

维塔利克：形式化验证或成加密货币安全领域的最大飞跃

2026-05-19 00:56:55

以太坊创始人提议以AI辅助形式化验证提升安全性

以太坊联合创始人Vitalik Buterin表示，通过人工智能辅助的形式化验证技术将能生成“极致高效的代码”，并大幅提升系统安全性。这一提议的提出正值以太坊在当年头四个月因漏洞攻击损失超3亿美元之际。

形式化验证的技术路径

Vitalik在其最新技术论述中指出，采用人工智能技术并以低级语言或Lean语言实现的形式化验证，可能成为加密货币行业最重要的安全跃迁。他详细阐述了人工智能如何推动加密安全领域的新方法论，该方法涉及使用EVM字节码等底层语言或专门用于编写数学证明的Lean语言直接编写代码。

他特别强调：“若执行得当，这种方法既能输出极致高效的代码，其安全性也将远超传统编程方式。”当前加密领域普遍面临代码缺陷问题，攻击者通过在智能合约中植入漏洞即可窃取数百万资金且难以追回。以太坊因采用新型零知识证明技术而面临更严峻挑战。

形式化验证的演进与现状

形式化验证的核心在于创建可由计算机自动检查的数学证明。这项已存在十余年的技术因过程繁琐且技术门槛过高而难以规模化应用。Vitalik指出，人工智能通过自动化编写和验证证明的过程改变了这一现状。

他表示：“要构建不依赖信任少数权威机构的互联网安全模型，我们必须能够信任代码——包括面对强大AI攻击者时仍可信任的代码。AI辅助的形式化验证让我们向这个目标迈出重要步伐。”目前加密通讯应用Signal已与研究团队合作，尝试使用Lean语言验证其X3DH密钥交换协议。

以太坊安全态势与市场影响

在当年黑客加剧攻击数十个基于以太坊协议项目的背景下，强化以太坊安全体系显得尤为迫切。全年加密货币领域被盗总额超过10亿美元，其中以太坊生态占据相当比例。最大规模攻击发生在基于以太坊的KelpDAO平台，攻击者通过LayerZero跨链桥漏洞窃取3亿美元。

据相关数据显示，这些攻击事件动摇了投资者对去中心化金融领域的信心，约60%的去中心化金融平台在过去一个月出现资金外流，总额达180亿美元。当前以太坊价格维持在2100美元附近，过去一周下跌约10%。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文