币圈界报道：

布特林力挺AI赋能网络安全：全栈验证或成未来防线

以太坊联合创始人维塔利克·布特林在社交媒体平台X上公开回应关于人工智能可能颠覆网络安全体系的担忧，明确表示此类观点过于悲观。他认为，随着AI技术演进，其在复杂逻辑推理上的突破将反向强化安全团队的能力。

形式化验证或成AI辅助安全的核心工具

布特林指出，若人工智能具备证明高阶数学定理的潜力，那么它同样有能力验证软件系统的正确性。他强调“形式化验证”作为一种基于数学逻辑的严格检测机制，可有效识别代码行为偏差，为系统构建可信基础。

社区质疑AI安全承诺：现实挑战仍待解决

部分加密领域观察者提出异议，认为以太坊应优先应对当前存在的性能瓶颈与生态漏洞，而非过度聚焦于远期的AI威胁。有用户质疑其在Layer 2市场疲软期间仍持有大量ETH的合理性，亦有人指出当前大模型普遍存在生成错误代码与逻辑缺陷的问题，暗示依赖AI生成的安全证明尚需人工复核。

社会工程风险高于技术攻防：更需警惕新型攻击形态

另有声音提醒，相较于针对密码学协议的直接入侵，由AI驱动的钓鱼诈骗与社交工程更具现实危害。金融稳定理事会主席安德鲁·贝利曾警示，这类非技术性攻击正成为全球金融体系面临的首要AI相关风险。近期案例显示，一名香港长者因误信伪造的AI验证界面而损失逾167万美元。

全栈验证：从局部防护迈向整体韧性建设

布特林主张，成熟的人工智能不应仅用于检查核心模块，而应参与数据库、网络协议、缓存机制乃至供应链组件的完整验证过程。该策略旨在实现开发阶段即嵌入安全性，避免依赖部署后的漏洞修复。他将此视为以太坊在扩展性与隐私功能推进中的核心路径之一。

信任源于实践：布特林以持仓表达长期信念

面对外界对其预测准确性的质疑，布特林透露其约90%的资产仍配置于加密货币，视持续持有为对“防御方终将胜出”这一理念的隐性支持。他同时否认了天使投资人Liron Shapira所预言的“两年内主流加密资产价值腰斩”的可能性，称区块链底层密码学被破解的概率近乎为零，并强调去中心化网络可通过常规升级抵御新威胁。