导语：以太坊联合创始人 Vitalik Buterin 近日表示，零知识证明领域的“速度竞赛”已经结束，接下来应把安全放在首位。他在 X 平台祝贺 ZKsync Airbender 团队取得新里程碑，并强调构建 zkEVM 的团队需要从此刻转向全面安全。
安全成为核心目标
Buterin 指出，zkEVM 等工具通过数学方式证明以太坊交易有效，其安全性将直接影响以太坊路线图。随着以太坊越来越依赖零知识证明来验证区块，速度快但错误的证明可能带来风险；而针对大区块成本过高的证明器可能排挤小型运营者，削弱去中心化。
形式化验证的三大目标
Buterin 为形式化验证提出三项关键目标：
- 证明背后的数学逻辑必须与以太坊规范完全一致；
- 针对区块 Gas 数量，为证明器成本设定硬性上限；
- 确保证明系统自身的安全。
他呼吁开发者在这项技术真正承担关键角色之前弥补这些缺口。
ETH 价格仍承压
上述言论出现在 ETH 走势疲弱之际。日线图上，ETH 交投于约 2365 美元，较 9 月底接近 2800 美元的高点下跌约 15%。价格已跌破约 2490 美元和 2550 美元的蓝、青色均线，目前位于约 2360 美元的橙色均线附近。约 2305 美元的黑色均线是下一支撑，略低于近期低点 2313 美元。成交量平稳但不算强劲，RSI 接近 38，逼近超卖区域。这表明卖方仍占主导，但如果橙色和黑色均线守住，可能出现反弹。若重新站上 2490 美元，将是复苏的首个信号。
展望
Vitalik 的表态并非短期价格催化剂。安全工作进展缓慢，交易者不太可能立即作出反应。不过，它为以太坊的技术路线设定了清晰方向。如果开发团队遵循这一方向，网络最终可能获得快速、低成本且可信的证明，而这正是路线图所需。眼下，图表将决定下一步走势；若跌破 2305 美元，可能危及 8 月以来的更大级别复苏。
原文来自 U.Today。