资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
以太坊创始人提议以AI辅助形式化验证提升安全性
以太坊联合创始人Vitalik Buterin表示，通过人工智能辅助的形式化验证技术将能生成“极致高效的代码”，并大幅提升系统安全性。这一提议的提出正值以太坊在当年头四个月因漏洞攻击损失超3亿美元之际。
形式化验证的技术路径
Vitalik在其最新技术论述中指出，采用人工智能技术并以低级语言或Lean语言实现的形式化验证，可能成为加密货币行业最重要的安全跃迁。他详细阐述了人工智能如何推动加密安全领域的新方法论，该方法涉及使用EVM字节码等底层语言或专门用于编写数学证明的Lean语言直接编写代码。
他特别强调：“若执行得当，这种方法既能输出极致高效的代码，其安全性也将远超传统编程方式。”当前加密领域普遍面临代码缺陷问题，攻击者通过在智能合约中植入漏洞即可窃取数百万资金且难以追回。以太坊因采用新型零知识证明技术而面临更严峻挑战。
形式化验证的演进与现状
形式化验证的核心在于创建可由计算机自动检查的数学证明。这项已存在十余年的技术因过程繁琐且技术门槛过高而难以规模化应用。Vitalik指出，人工智能通过自动化编写和验证证明的过程改变了这一现状。
他表示：“要构建不依赖信任少数权威机构的互联网安全模型，我们必须能够信任代码——包括面对强大AI攻击者时仍可信任的代码。AI辅助的形式化验证让我们向这个目标迈出重要步伐。”目前加密通讯应用Signal已与研究团队合作，尝试使用Lean语言验证其X3DH密钥交换协议。
以太坊安全态势与市场影响
在当年黑客加剧攻击数十个基于以太坊协议项目的背景下，强化以太坊安全体系显得尤为迫切。全年加密货币领域被盗总额超过10亿美元，其中以太坊生态占据相当比例。最大规模攻击发生在基于以太坊的KelpDAO平台，攻击者通过LayerZero跨链桥漏洞窃取3亿美元。
据相关数据显示，这些攻击事件动摇了投资者对去中心化金融领域的信心，约60%的去中心化金融平台在过去一个月出现资金外流，总额达180亿美元。当前以太坊价格维持在2100美元附近，过去一周下跌约10%。
