币圈界报道：

布特林力挺AI赋能网络安全：攻击与防御或将迎来新平衡

以太坊联合创始人维塔利克·布特林针对当前关于人工智能威胁网络安全部署的广泛焦虑提出反驳，认为先进算法不仅可能被滥用，更将成为强化数字系统防护的关键工具。作为密码学领域的权威人物，他指出，借助AI驱动的技术，形式化验证的实施成本与复杂度正被系统性降低，从而让开发者能够更高效地保障关键基础设施的可靠性。

AI助力构建更难攻破的软件体系

布特林明确反对“人工智能发展必然加剧网络风险”的主流叙事。他主张，防御者可通过智能系统对代码进行严格合规审查，自动识别潜在违规行为，大幅压缩攻击者发现并利用漏洞的时间窗口。

尽管攻击与防御双方均能从更强的AI能力中获益，但若广泛采用由人工智能支持的形式化验证流程，将使具备数学严谨性的安全设计在复杂系统中更具可行性与可扩展性。

他进一步解释，形式化验证是一种通过数学逻辑证明程序完全符合预设规范的方法。随着机器学习与自动化推理技术的进步，这一原本高门槛的过程正变得更为普及。这使得开发团队能够在大规模代码库中部署经得起推敲的安全机制，而不再受限于人力成本。

布特林透露，其个人资产主要配置于加密数字资产，这一长期持有策略正是源于他对安全系统可通过技术迭代实现的信心——只要防御方持续采纳更先进的工具，一个可信的加密生态仍具可实现性。

“安全”本身仍是未解难题

布特林指出，即便最前沿的AI也无法彻底解决一个根本问题：在高度复杂的软件环境中，如何精确界定“安全”这一概念。以Signal等端到端加密通信应用为例，其安全性不仅依赖于加密算法本身，还涉及服务器、操作系统、第三方库、编译器乃至硬件组件的完整性。

形式化验证仅能确保其被明确建模的部分无误；若开发人员遗漏了某些威胁场景，这些盲区将永远无法通过形式化手段捕捉。

他强调，随着系统复杂度上升，安全边界也在不断延展，往往需要详尽的文档描述和精准的语言表达。只有当开发者主动识别并形式化其安全目标时，再强大的AI辅助证明才能真正发挥作用。

以太坊推动更高标准的证明架构演进

以太坊生态内部正持续推进基于可证明性的安全范式升级。布特林公开支持拟议的EIP-8288提案，该方案聚焦于引入递归STARK聚合技术，旨在将多个密码学证明合并处理，从而显著降低未来版本中抗量子交易的运行开销。

STARKs（可扩展透明知识论证）是一类无需披露数据即可验证计算正确性的密码学机制，常用于提升区块链系统的隐私保护能力与吞吐性能。

与此同时，以太坊各层级开发团队仍在就下一代交易模型展开讨论，重点权衡可扩展性、隐私保护与抗审查性之间的取舍。不同路径的探索反映出技术创新与建立清晰、稳健的安全标准之间仍存在张力。

布特林近期观点表明，尽管攻击者与防御方皆可借助更强大的AI提升能力，但真正的挑战始终在于对系统安全性的精准定义，以及构建能够严密捍卫这些定义的数学证明体系。