以太坊联合创始人 Vitalik Buterin 呼吁开发者将安全性作为首要任务，此前他宣布构建更快零知识证明的竞赛实际上已经结束。Buterin 在 10 月 15 日于 X 上发文，祝贺 ZKsync Airbender 团队取得最新里程碑，并表示速度之战已尘埃落定，zkEVM 的工作现在应全面转向安全性。zkEVM 是生成加密证据以证明以太坊交易按照网络规则执行的证明系统，其正确性与链上活动验证方式直接相关。这一公告引发了对零知识系统在以太坊交易验证中扮演更重要角色时如何检查其正确性的关注。

他的表态是在 ZKsync 于 10 月 13 日推出 Airbender Prime 两天后作出的。据该项目介绍，一块 NVIDIA RTX PRO 6000 Blackwell 显卡在不到 10 秒内证明了 7,200 个连续以太坊区块中的 99%，测试集中的每个区块都在 12 秒内完成。所报告的时间包括了每个区块所需的证明准备工作。ZKsync 的 X 账户将该发布宣传为单 GPU 上的实时证明，即证明生成速度足以跟上区块生产——这正是 Buterin 如今认为已尘埃落定的速度竞赛的核心基准。

Airbender 基于开源软件构建，并采用基于哈希的证明，该项目称这一方法旨在抵御未来的量子威胁。Airbender Prime 仍是 ZKsync 的开发成果，并非以太坊网络升级。

Buterin 提出三项安全要求

Big congratulations to the @zksync airbender team for this milestone. At this point, I consider the battle for speed to be definitively won, and the top priority for zkEVMs should shift fully to security. To me that means formally verifying (i) equivalence of the… — vitalik.eth (@VitalikButerin) 2026年10月15日

在该帖子中，Buterin 呼吁通过数学检查来确认证明计算是否完全遵循以太坊规则。形式化验证——通过数学证明而非逐案测试来确立系统属性——被广泛视为证明软件可用的最严格检查手段之一。他还希望对相对于区块 gas（以太坊衡量每个区块计算工作量的指标）的证明成本设定严格上限，以免运行证明对运营者而言成本过高。他的第三项要求涉及证明系统本身的安全性。Buterin 并未公布这些正式安全检查的时间表。

这些要求之所以重要，是因为以太坊计划在验证交易时使用更多零知识证明。这类证明让计算机无需重复每次计算即可确认结果，从而节省计算工作量，但也使正确性变得至关重要。高昂的证明成本还可能使硬件有限的运营者更难参与。

另外，Buterin 近期对加密钱包提出了安全担忧，与人工智能的进展相关。

以太坊价格逼近关键支撑区域

根据 一份近期的以太坊价格分析，10 月 15 日以太坊交易价格接近 2,361 美元。该报告指出当日低点接近 2,317 美元，并将 2,300 至 2,350 美元区间确定为交易者关注的区域。日线强弱指数接近 34，反映出动能减弱。

ETH 在 2,400 至 2,450 美元区间面临初步阻力，其后是 2,500 至 2,550 美元区间。这些市场水平来自图表数据，而非 Buterin 的言论，后者聚焦于协议开发。

现货以太坊 ETF 录得 1,970 万美元净流出

10 月 14 日，美国现货以太坊基金录得 1,970 万美元净流出。此前一周也已出现 ETF 资金撤出。单独的市场数据显示，随着价格下跌，加密货币期货出现大规模清算。

ZKsync 的速度数据来自其自身测试，而以太坊开发者仍面临确认证明准确性和控制计算成本的独立任务。