以太坊联合创始人维塔利克·布特林对当前关于人工智能可能颠覆网络安全的担忧提出反驳。他认为，尽管AI既可用于攻击也用于防御，但其在提升安全防护能力方面具有决定性优势。作为密码学与区块链领域的权威人物，布特林主张借助AI驱动工具，大幅降低形式化验证的技术门槛和实施成本。

AI助力防御方构建更可靠系统

布特林明确反对“AI进步必然加剧网络威胁”的普遍观点。他指出，防御者可利用智能系统自动检测代码是否符合预设安全规范，从而有效压缩攻击者发现漏洞的时间窗口。

随着算法优化，使用数学逻辑严格证明软件行为正确性的方法——即形式化验证——正变得更具可行性。这使得复杂系统的安全性可以被系统性地验证，尤其适用于高风险场景如加密资产存储与核心协议运行。

布特林强调，这一转变意味着开发者能够将原本仅限于理论研究的安全机制，应用于实际生产环境，实现更高水平的可靠性与可扩展性。

值得注意的是，布特林本人仍长期持有大量加密资产，其投资选择反映出他对去中心化技术持续安全性的坚定信心。他认为，只要防御方积极采用先进工具，构建真正安全的数字系统并非遥不可及。

定义“安全”仍是核心挑战

然而，布特林也承认，即便有最强大的AI辅助，一个根本问题仍未解决：如何准确界定“安全”的边界。以Signal等端到端加密应用为例，其安全性不仅依赖加密算法，还涉及服务器、操作系统、编译器乃至硬件层面的风险。

形式化验证只能覆盖被明确定义的规则。若开发人员未将某些潜在威胁纳入设计目标，这些盲点将无法通过数学证明识别。

因此，他提醒：安全不是自动实现的，而是取决于人类能否清晰表达并形式化其保护意图。缺乏精准描述，再先进的验证工具也无法填补认知空白。

以太坊持续推进安全标准升级

在以太坊生态中，多项技术演进正致力于强化基于证明的安全体系。布特林近期公开支持拟议的EIP-8288升级，该提案引入递归STARK聚合机制，旨在降低未来版本中抗量子交易的计算开销。

STARKs（可扩展透明知识论证）是一种无需透露原始数据即可验证计算过程真实性的密码学技术，广泛用于提升区块链隐私性与吞吐量。

与此同时，以太坊各层级团队仍在探讨账户抽象等新架构的设计路径，权衡可扩展性、隐私保护与抗审查能力之间的平衡。这一过程凸显了技术创新与建立稳定、可验证安全标准之间持续存在的张力。

布特林的最新论述再次印证：虽然双方都可能从更强的AI能力中获益，但真正的防线始终建立在对安全目标的清晰定义与严谨的数学证明之上。