以太坊(ETH)联合创始人Vitalik Buterin反驳“AI致网络安全崩溃”论,自曝九成身家仍在加密货币

形式化验证,而非末日叙事

以太坊(ETH)联合创始人Vitalik Buterin近日公开回击了一种日益流行的观点:足够强大的AI将让网络安全彻底失守。他在9月17日发布于X的长文帖子中明确表示,结局很可能恰恰相反。“越来越多人认为AI黑客意味着网络安全注定崩溃,我不同意,”Buterin写道。他的判断是,AI同样会把更强的工具交到防御者手中,让软件从源头上就更难被利用。这套论证的核心是形式化验证——即用数学方法证明一个程序(包括智能合约)满足某些特定性质。“如果AI能证明Navier-Stokes方程和FLT(费马大定理),那它就能把‘这个程序是安全的’当作一条数学定理来证明,”他写道,引用了数学界两道公认的难题。他也不回避定义层面的困难:即便是像Signal这样的即时通讯应用,光是界定“安全”意味着什么,规格说明就可能超过一千行——攻击面涵盖伪造消息、重放攻击,一直到恶意编译器和硬件层面的信息泄露。Buterin还把这套论点与自身利益挂钩:他透露自己约90%的净资产仍留在加密货币中。用他自己的逻辑说,这本身就是一张隐性赌注——面对足够老练的攻击者,足够安全的数字系统依然可以被建造出来。

长文帖子https://x.com/VitalikButerin/status/2100337594722890145

1250亿参数跑进一台笔记本

当天晚些时候,这位以太坊联合创始人在另一条X帖子中把话题从安全转向本地AI,晒出了在自己笔记本电脑上完整运行阿里巴巴Qwen3.8-Flash-Next的实测速度。与ChatGPT不同,这套方案从不连接云端服务器——模型就在本机,机器自己作答。硬件是关键:他的笔记本搭载AMD的Strix Halo芯片,处理器与显卡部分被放在同一块硅片上,共享最高128GB的统一内存池,而独立显卡通常只有8至24GB显存。正是这种统一内存设计,让一台笔记本装下了此前需要服务器硬件才能承载的模型。阿里巴巴已于8月26日开源了该模型的权重:总参数量达1250亿,但每次仅激活60亿参数,因此内存占用保持温和。Buterin评价该模型“确实令人印象深刻”,并指出llama.cpp对它的处理能力正在快速改善。他晒出的速度对日常使用而言相当实用——短提示词能以舒适的阅读速度返回结果;不过一旦提示词扩展到数万字,输出速度便会明显放缓,超长文档仍是短板。

X帖子https://x.com/VitalikButerin/status/2100388909410885974

不上云的隐私方案

除了原始速度,Buterin还把本地推理定位成一道隐私防线。本地模型在设备上直接作答,任何服务商都不会收到请求。面对更重的任务,他提出了一个折中方案:“用本地模型来编排对强大模型的查询,让你的查询不泄露个人信息。”实际操作中,本地模型会先把姓名、钱包地址或私有代码从提示词中剥离,只把剩余的问题转发出去——这确实减少了离开设备的数据量,但并不能保证没有任何敏感信息漏网。这一主张与他一贯的立场吻合:在欧盟“聊天监控”法案之争期间,他就曾对大规模监控发出警告,而加密货币用户出于类似的理由,也一直在推动对自动化代理设置更严格的限制。今年5月提起的一起集体诉讼指控OpenAI将ChatGPT的用户查询共享给Meta和Google。链上安全事件同样在不断印证这种警惕——例如近期价值780万美元的以太坊(ETH)Safe钱包攻击事件。与此同时,.ETH域名这类自主主权工具已经让用户可以把身份掌握在去中心化平台之外。云端服务商依然占据技术前沿,但本地性能的每一次提升,都在把日常任务从它们的服务器上搬下来。 希望实时跟踪行情的读者，可在Bitget查看现货与合约的实时价格。

安全是贯穿两条帖子的主线

我们对9月17日发布于Buterin本人X账户的两条原始帖子的解读是:它们其实构成了同一个论证——AI是双刃剑,谁先把推理过程形式化,谁就赢得主动。形式化验证有望让更广泛的以太坊生态中的验证者软件与合约代码达到可证明的可靠性,而本地模型则把敏感数据挡在第三方服务器之外。约90%的净资产押在加密货币中,意味着Buterin对权益证明安全的信心绝非纸上谈兵——那是真金白银的信念。