币圈界报道：

布特林回应AI威胁论：防御者或将掌握长期主动权

9月17日，以太坊联合创始人维塔利克·布特林公开挑战“人工智能将彻底瓦解网络安全”的主流悲观预期。他指出，随着验证技术的演进，尤其是形式化方法的发展，防御方有望获得不可逆的体系性优势。

持有资产即投票：持续囤币是信任机制的体现

布特林在同日发布的声明中透露，其个人财富约九成仍以加密资产形式持有。这一行为本身被视为对数字系统抗攻击能力的深层背书——若真如外界所言安全已无解，理性投资者不会选择长期锁定风险敞口。

数学为盾：形式化验证重构安全可信基础

其核心主张聚焦于“形式化验证”技术，即借助严格的数学逻辑规范来证明程序是否满足预设属性。布特林将其类比为高等数学中的定理推导，认为具备足够智能的系统可协助完成复杂代码的安全性论证。

他明确反对“自动化攻击已无解”的流行观点，认为一旦建立合理的验证框架，网络安全本质上偏向防守方。所有继续持有加密资产的个体，无论身份如何，都在用资本投票支持这一信念。

然而，以太坊基金会的技术文档也提示了关键限制：验证仅能确认程序符合既定规范，无法保证规范本身涵盖全部潜在风险。若安全边界设定过窄，协议、服务器、网络层或缓存等非核心模块的漏洞仍可能被遗漏。因此，布特林呼吁扩展验证范围，覆盖整个系统而非孤立模块。

实战检验：AI已在以太坊发现真实漏洞

尽管全系统自动证明尚未实现，但以太坊研究团队已在实践中引入AI辅助检测。今年7月，协议安全小组报告称，协同运行的AI代理成功识别出Rust libp2p库中Gossipsub组件的一处远程崩溃漏洞。

该缺陷被标记为CVE-2026-34219，存在于0.49.4版本之前的软件中。恶意构造的PRUNE消息可触发算术溢出，在退避处理阶段引发远程服务中断。该问题已在后续版本中修复。

不过，团队指出，真正挑战在于筛选有效发现。大量由AI生成的报告包含不可达路径、调试专属故障或表面通过验证但实际意义薄弱的结论。因此，人工复现仍是接受漏洞的前提。此过程被形容为“分诊”——AI负责生成候选，人类负责判断其真实威胁等级。

验证体系纳入长期路线图：迈向全链可信

以太坊基金会已将形式化验证列为跨年度研究重点。9月7日更新的协议优先级清单显示，该技术将成为隐私保护、状态管理、zkEVM开发、后量子安全等多个领域的通用支撑工具，持续至2029年。

其中，L1 zkEVM的发展预计将推动验证工具链和经过验证的密码学组件成熟。目标是让验证者仅需审查简洁的执行证明，而非重新执行全部区块数据。

此外，8月启动的“better.codes”项目正整合AI代理与机器检查流程。研究人员可引导模型在Lean语言环境中解决密码学健全性问题，由内核严格校验提交的证明是否匹配固定定理。

第二季度资金报告还披露了多项前沿探索，包括ETHeorem（用于检测客户端是否合规）、SPECA与LeanAgent（自动化协议一致性检查），以及针对RISC-V zkVM基础设施的形式化验证工作。

布特林此次发言延续现有研究脉络，并未宣布新硬分叉或强制验证规则。其立场不涉及具体提案（EIP）或部署时间表，而是重申对长期安全架构的信心。

攻防双刃：AI同时提升攻击与防御效能

尽管布特林强调防御潜力，现实数据显示AI同样显著增强了攻击能力。Anthropic在9月发布的威胁情报报告指出，部分恶意行为者已建立可自主运行的漏洞研究流水线，实现自动化漏洞挖掘与多目标渗透。

该公司早期研究亦证实，截至8月26日，已有392个开源项目因AI发现而暴露2,300个漏洞，其中421个已被上游修复。

Anthropic亦将该技术用于防御端。其Project Glasswing倡议通过与安全厂商合作，利用先进模型提前定位高危漏洞，力求在攻击者利用前完成修补。

但进攻影响依然可观。6月至2026年3月期间分析的832个账户显示，多数攻击环节已嵌入AI支持。报告还确认存在专门针对安全设备与政府机构的攻击者，其利用自建漏洞管道，并在测试环境验证未知漏洞后发动真实攻击。

此前，布特林也曾反驳“AI会动摇比特币信心”的说法，认为网络层问题可通过升级缓解，而工作量证明机制本身极难被突破。