币圈界报道：

布特林重申：zkEVM发展进入安全优先新阶段

以太坊共同创建者维塔利克·布特林近期向零知识以太坊虚拟机（zkEVM）开发团队发出明确信号，呼吁将系统安全性置于所有其他目标之上。他指出，随着ZKsync旗下Airbender团队在生成效率上的突破，关于‘更快证明’的技术竞赛已基本结束，当前核心任务必须全面转向构建可信赖的验证机制。

三重安全基石确立，支撑去中心化未来

布特林提出三项关键标准，用以强化zkEVM在执行层面上的可信度，并确保小型运营节点具备参与能力：

数学等价性必须形式化验证

证明系统所表达的计算过程必须在数学上严格对应以太坊主网的执行规则。这一要求旨在暴露官方规范与实际实现之间的潜在偏差，防止因逻辑不一致导致的共识分歧。

证明开销需设定可预期上限

为避免个别区块因复杂交易引发过高证明成本，必须建立与气体消耗挂钩的费用天花板。此举有助于遏制大型运营商垄断，降低中小参与者的技术门槛，维护生态多样性。

底层密码学假设须经得起时间考验

关注证明体系所依赖的数学基础是否稳固，包括抗量子攻击能力及对现有算法破解的防御力。任何薄弱环节都可能成为系统性风险的源头。

布特林在社交平台表示：“现阶段，速度层面的竞争已取得决定性成果，接下来唯一值得投入精力的方向就是安全。对我而言，这意味着推进形式化验证，确保证明与链上行为完全等价。”

上述措施共同应对三大根本挑战：证明是否真实反映有效操作、生成成本是否可持续、系统能否抵御未知威胁。以太坊长远愿景中，零知识技术将大幅减少验证负担，但其有效性始终依赖于可信的证明机制。因此，即便处理速度提升，严谨的形式化验证仍是不可逾越的防线。

ETH价格承压，技术升级与市场情绪分道扬镳

与此同时，以太坊现货价格维持在约2,365美元水平，相较9月底创下的2,800美元高点回落近15%。当前市场正测试2,360美元与2,305美元的关键支撑区域，而2,490美元和2,550美元则构成反弹所需跨越的阻力关口。

相对强弱指数（RSI）稳定在38附近，显示动能偏弱但尚未进入超卖状态，短期走势仍存在不确定性。值得注意的是，布特林此次发言聚焦于底层协议的安全架构，而非直接调整质押回报率、交易费结构或代币供应模型。

开发人员在形式化验证方面的实质性进展，将成为衡量zkEVM能否真正承担起未来大规模验证任务的关键指标，同时也决定了整个网络能否在不牺牲安全的前提下实现可持续扩展。