Vitalik Buterin：AI非网络安全终结者，反成加密防御利器

以太坊联合创始人Vitalik Buterin近日在社交平台X上发表观点，明确反对“人工智能将导致网络安全崩溃”的普遍认知。他认为，先进AI不仅不会让黑客占据绝对优势，反而有望显著增强加密软件的抗攻击能力。

AI助力构建更安全的加密系统

Buterin指出，尽管存在对AI可能被用于自动化攻击的担忧，但真正决定胜负的关键在于防御体系能否跟上威胁演进的步伐。他本人约90%的资产配置于加密货币，显示出其对行业长期信心。

“一种流行看法认为，AI驱动的攻击将使网络安全彻底失效，”他写道，“但我坚信，只要人类能够理清逻辑并协同合作，防御方始终具备结构性优势。”

形式化验证迎来突破性进展

Buterin进一步阐述，当前前沿AI模型具备解决复杂数学难题的能力，这为实现程序级的安全性证明提供了可能。他举例称，若AI可证明纳维-斯托克斯方程或费马大定理，那么同样有能力将“该程序无安全缺陷”作为数学命题进行验证。

“即使面对高度复杂的智能合约或协议代码，只要定义清晰，AI也能完成安全性验证。”但他也提醒，核心挑战并非技术本身，而是如何准确界定“安全”的标准。

开发者加速引入防御性AI工具

随着多起高风险漏洞事件曝光，区块链社区正加快部署基于AI的防御机制。目前已有研究团队利用AI代理扫描代码、检测异常行为，并在攻击发生前识别潜在风险。

今年5月，安全研究员Taylor Hornby借助Anthropic的Claude Opus 4.8，在Zcash隐私池中发现一个持续四年的严重缺陷，该漏洞若被利用可能导致无限伪造代币，所幸未实际发生攻击。

7月，以太坊基金会确认其网络基础设施中存在由AI代理发现的漏洞。同月，攻击者利用Coldcard钱包固件中的长期缺陷窃取约1.3亿美元比特币，事后调查显示AI可能曾协助定位该问题。

进入8月，威胁范围扩展至比特币生态。Boltz因发现攻击者利用漏洞速度远超修复周期而暂停服务；Core Lightning亦证实多个漏洞报告来自AI生成分析。为此，志愿者组成的比特币红队启动大规模审计，借助AI辅助在390个开源项目中识别出4,962个潜在风险点。

迈向全面程序验证的新阶段

Buterin强调，未来方向是实现对整个程序而非局部组件的自动化验证。这一目标已被纳入以太坊长期发展路线图。

“若无法做到这一点，特别是对于具备可扩展性和隐私功能的下一代区块链，其可持续性将面临根本挑战。”他表示，当前在形式化验证与自动化审计方面已取得实质性进展，标志着加密系统正走向更高层次的安全保障。