币圈界报道：

AI赋能防御方：维塔利克论网络安全的潜在反转

以太坊联合创始人维塔利克·布特林公开质疑“人工智能将彻底瓦解网络安全”的主流看法。他认为，随着AI能力增强，开发人员同样能借助其构建具备更强数学基础保障的系统。在攻防双方均获得先进工具的背景下，软件设计与验证的重要性正日益凸显。

形式化验证或成防御优势的核心支柱

布特林指出，当开发流程广泛采用形式化验证——即运用严格数学手段证明程序行为符合预设逻辑——网络安全格局可能向防御方倾斜。尽管攻击者也可利用AI发现漏洞，但高级人工智能亦能显著降低生成和验证复杂数学证明的成本与难度。

安全边界界定仍是根本性挑战

他强调，当前最大障碍并非技术实现，而是如何准确定义“安全”。以Signal为例，其加密仅保护消息内容，而攻击面涵盖从服务器到硬件的多个环节。若安全规则未涵盖所有潜在威胁，即便完成形式化证明也无法确保实际防护有效。因此，必须在启动自动化证明前完成精细且全面的安全建模。

以太坊推进基于证明的体系演进

近期以太坊生态正加速探索基于证明的安全机制。布特林支持EIP-8288提案，该方案拟通过递归STARK聚合技术整合多重密码学证明，以减少量子抗性交易的开销。目前该提案尚处草案阶段，旨在为后续网络升级奠定基础。同时，围绕账户抽象与交易架构的争议反映出一个深层议题：唯有先明确定义安全目标，才能实现有效的形式化验证。