维塔利克呼吁zkEVM开发者聚焦安全：三大核心要求确立

以太坊联合创始人维塔利克·布特林近日公开呼吁，零知识以太坊虚拟机（zkEVM）的开发者应将安全保障置于首位。随着ZKsync团队在“更快零知识证明”方面取得关键突破，他认为技术竞赛已进入新阶段，当前核心任务应全面转向系统安全性。

三大安全基石正式确立

布特林明确指出，为确保zkEVM能够可靠支撑以太坊生态的长期扩展，必须满足三项基础性要求：

数学准确性：所有证明必须通过严格的数学验证，确保其完全符合以太坊执行环境的规则逻辑。这一机制有助于识别官方规范与实际计算模型之间的潜在偏差，避免因抽象不一致引发的系统风险。

可预测的证明成本：需设定每区块内生成证明所需资源的上限，防止个别高负载区块导致小型运营商承担过重开销。若缺乏成本可控性，将加剧基础设施集中趋势，削弱网络去中心化水平。

密码学可靠性：底层数学假设必须经得起学术界和实践检验，确保抗攻击能力足以抵御未来可能出现的量子或算法突破威胁。

他在社交媒体平台表示：“在现阶段，我认为速度之争已基本落幕，zkEVM的首要目标应当彻底转向安全。对我而言，这意味着推进形式化验证，尤其是证明系统与以太坊主网行为的等价性确认。”

这三项措施共同应对三大挑战：证明是否真实反映链上操作、生成过程是否对中小型参与者友好，以及系统能否抵御潜在漏洞。随着以太坊路线图逐步引入零知识技术以降低验证负担，可信证明成为关键环节。尽管效率提升显著，但形式化验证仍是保障信任不可或缺的一环。

以太坊价格承压，短期走势待观察

与此同时，以太坊（ETH）市场价格稳定在约2,365美元，较9月底峰值2,800美元回调近15%。当前市场面临2,360美元与2,305美元的关键支撑位，而2,490美元和2,550美元则构成上方重要阻力区域。

相对强弱指数（RSI）维持在38附近，显示市场动能仍处于弱势区间，尚未形成明确反转信号。布特林此次发言主要聚焦于底层协议的安全架构优化，并未涉及交易费用调整、质押回报或代币供应机制等直接影响价格的变量。

开发者在形式化验证领域的进展，将直接决定零知识技术能否在未来大规模部署中建立足够信心，同时防范可规避的技术隐患，为以太坊的长期稳健运行提供保障。