以太坊创始人Vitalik发文反驳"AI黑客攻击将终结网络安全"的观点
Vitalik Buterin在X平台发文反驳"AI黑客攻击将终结网络安全"的观点，明确表示不认同这一判断，并称网络安全本质上是有利于防御方的机制。
他特别提到自身立场的利益绑定：包括他本人在内，任何目前仍持有加密货币的人，都在隐性地对"防御方占优"这一判断下注，而他本人约90%的净资产以加密货币形式持有，意味着这一押注对他而言权重极高，直接关系到个人财富的安全边界。
Vitalik指出AI技术路径的具体方向：AI可以将"程序安全"转化为可被验证的数学定理，也就是说安全性不再依赖人工审计或经验判断，而是可以通过形式化证明的方式得到确定性结论，这与传统靠"打补丁、堵漏洞"的被动防御逻辑存在本质差异。
但他同时划定了这一方法的边界：安全定义必须覆盖密钥管理、服务器、终端设备、操作系统、数据库、网络层以及缓存层等多重风险因素，仅验证代码逻辑本身并不足够，真正的安全需要对整条链路上的每一个环节都建立同等强度的保障。
针对安全关键型组件，Vitalik给出的解决方案是"整体验证"——即不再对单一模块或函数做局部审查，而是对整个程序进行端到端的形式化验证，这意味着验证的颗粒度和工作量都将显著提升。
Vitalik表示，以太坊未来数年的技术路线将沿着这一方向推进，尤其强调区块链要实现"扩展性"与"隐私性"兼备的同时，必须把软件安全作为底层前提，否则规模化和隐私化本身会放大攻击面。
从市场机制看，这类表态更多是叙事层面的信号而非直接资金异动：其面向的是坚定长期持有ETH及以太坊生态资产的用户群体，本质是为"AI威胁论"引发的潜在抛售情绪提供反叙事支撑；若市场此前存在因AI安全恐慌而观望或减仓以太坊系资产的资金，此类表态可能缓解部分抛压，而对冲AI风险类叙事的资金则可能承压。
来源：公开信息
ABAB AI 解读
以太坊历史上并非没有为安全付出过代价：2016年The DAO智能合约漏洞导致约6000万美元资产被盗，最终以太坊社区选择硬分叉挽回资金，由此分裂出以太坊经典（ETC），这是行业公认最惨烈的智能合约安全事故之一；2017年Parity多重签名钱包因代码漏洞被冻结超过30万枚ETH，进一步暴露了"代码即法律"模式下安全缺陷的破坏力。这些历史事故正是Vitalik此次强调"安全需覆盖整条链路"的现实背景。
资本路径上，以太坊基金会近年持续把资源投向形式化验证与零知识证明方向：其内部的Privacy and Scaling Explorations（PSE）团队专门研究零知识证明技术在隐私与扩容上的应用，同时以太坊生态长期资助KEVM（基于K框架对以太坊虚拟机的形式化建模）等项目，目的正是把"安全"从依赖人工审计的经验活动，转向可被机器验证的数学问题，这与Vitalik此次表态中"AI将程序安全转化为数学定理"的方向完全一致。
行业类比上，形式化验证并非区块链首创，而是脱胎于对安全性要求极高的传统工程领域：例如seL4微内核是全球首个经过完整数学证明"无漏洞"的操作系统内核，被广泛应用于航空、军事等高可靠性场景；区块链行业目前正处于把这套"关键基础设施级"验证方法论从小范围学术实践，向大规模生产系统迁移的扩张阶段，而非成熟应用阶段。
结构层面看，这本质是一场"技术替代"——AI驱动的形式化验证正在替代传统的人工安全审计模式。传统安全审计依赖审计公司的经验积累和抽样检查，存在天然的覆盖盲区和成本上限；而AI具备大规模自动化生成数学证明的能力后，验证成本随规模递减，覆盖率却可以趋近完整链路，这使得"验证"本身从稀缺的专家服务变成可规模化部署的基础设施能力，安全博弈的成本结构由此被重新定价。
ABAB News · 认知定律
防御的护城河,是让攻击成本永远高于收益
能被数学证明的信任,才不会被谈判
系统越透明,漏洞越无处可藏