币圈界报道：

维塔利克·布特林预警：人工智能将深度重构加密系统安全架构

以太坊共同创建者维塔利克·布特林近期发文指出，人工智能技术的迅猛演进正深刻重塑加密系统在攻击与防御层面的动态格局，推动整个数字基础设施向可数学证明的代码体系转型。

智能算法加剧漏洞挖掘风险

布特林强调，随着大模型能力持续突破，自动化识别并利用复杂软件缺陷的门槛正在急剧下降。他特别指出，一旦人工智能具备高效执行漏洞探测的能力，现有加密网络中的代码薄弱环节将面临前所未有的暴露压力——这一判断已在安全研究界引发高度关注。

文中明确将以太坊底层架构、共识协议及后量子加密方案列为高危防护重点。布特林建议，开发者必须超越传统人工审计路径，积极采用形式化验证手段，即通过严谨的数学推导确保程序在预设条件下的行为完全符合设计预期。

数学证明为智能编程注入确定性

“人工智能可快速生成大量代码，却常牺牲准确性；而形式化验证则能重新夺回精确性。”布特林在文中阐明其核心观点。面对部分人士对AI生成代码可信度的疑虑，他展现出更具前瞻性的态度。

他认为，未来结合人工智能辅助编码与自动化验证工具，有望构建出比纯人工开发更稳定可靠的系统。同时提及了如Arklib、evm-asm等专注于以太坊虚拟机与加密组件安全的前沿项目。

然而他也提醒，形式化验证并非绝对保险。即便代码经由数学证明，若初始假设存在偏差，或攻击发生在未被覆盖的执行路径上，系统仍可能失效。

未来安全体系将聚焦微型可信核心

布特林构想了一种新型安全范式：关键数字资产将集中于极小规模的“可信核心”模块，实现物理隔离与全面验证；非核心功能则以最小权限运行，降低整体风险敞口。

今年以来，布特林已多次深入探讨人工智能带来的安全挑战。年初他曾倡导在效率提升与安全保障之间寻求平衡；五月则推荐了Lean等具备高可信度的形式化工具。此次论述进一步拓展至全局视角，将数学可验证性确立为应对链上与传统互联网系统中AI驱动攻击的终极防线。