币圈界报道：

布特林：人工智能或成网络防御核心助力

以太坊联合创始人维塔利克·布特林驳斥了‘强人工智能将彻底摧毁网络安全’的普遍担忧。他认为，攻击者与防御方都将获得更先进的AI工具，而后者有望借助数学化手段实现系统性优势。

数学化验证或扭转攻防格局

布特林强调，当开发流程广泛采用形式化验证时，软件安全性将显著提升。该方法利用严格数学逻辑证明程序行为符合预设规范，即便面对智能攻击，也能提供可量化的保障。他指出，先进AI能大幅降低此类证明的生成成本，使防御能力持续进化。

安全边界模糊催生定义难题

他警示，当前最大障碍并非技术实现，而是如何准确定义‘安全’。以Signal为例，其加密仅保护消息内容，但攻击面涵盖从硬件到编译器的全链路环节。若安全规则未覆盖潜在威胁，即使完成形式化证明，也无法规避风险。因此，必须在AI介入前完成精细且全面的安全建模。

以太坊推进基于证明的架构演进

近期以太坊生态正加速向可验证安全模型转型。布特林支持EIP-8288提案，该方案拟通过递归STARK聚合技术整合多层密码学证明，以降低量子抗性交易的开销。此设计尚处草案阶段，旨在为未来协议升级奠定基础。

与此同时，以太坊社区就账户抽象标准展开深入讨论，Layer 1与Base等项目在会议后提出差异方案，反映出对隐私、可扩展性与抗审查性的权衡困境。这印证了布特林的观点：唯有明确安全目标，才能有效运用验证工具进行系统性保障。