维塔利克·布特林的安全性呼吁
维塔利克·布特林（Vitalik Buterin）表示，在零知识以太坊时代，追求速度的竞争已经结束，安全性应当成为首要任务。在社交媒体平台X上，他祝贺ZKsync Airbender团队取得的新里程碑，并指出速度之争已经明确胜出。他希望正在构建zkEVM的团队能够专注于安全性。
正式验证的目标
他提出了三个正式验证的目标：
1. 证明证明背后的数学与以太坊规范完全一致。
2. 对区块中气体的最大证明成本设定硬性上限。
3. 证明系统本身的安全性。
以太坊的路线图更加依赖于零知识证明来检查区块，因此，快速但不正确的证明是危险的。
对Airbender团队的祝贺
对于Airbender团队取得的这一里程碑，我表示热烈祝贺。此时，我认为速度之战已经明确胜出，zkEVM的首要任务应完全转向安全性。
在我看来，这意味着要正式验证：
(i) 算术化与以太坊规范的等价性；
(ii) （证明成本）/（区块中的气体量）的硬性上限；
(iii) 证明系统本身的安全性。
对于重型区块来说，成本过高的证明可能会将小型运营商排挤出去，这会损害去中心化。维塔利克呼吁开发者在技术真正发挥作用之前，填补这些空白。
ETH市场动态
此消息发布时，ETH的价格处于低迷状态。ETH在日线图上交易接近2365美元，较9月底接近2800美元的高点下跌约15%。它跌破了约2490美元和2550美元的蓝色和青色均线，目前位于接近2360美元的橙色均线附近。接近2305美元的黑色均线是下一个支撑位，刚好低于最近的低点2313美元。
交易量稳定但不强，RSI接近38，接近超卖。这表明卖方占据主导地位，但如果橙色和黑色均线保持支撑，可能会出现反弹。回升至2490美元以上将是复苏的第一个迹象。
总结
维塔利克的信息并不是短期价格的触发因素。安全性工作进展缓慢，交易者不太可能对此作出反应。然而，这为以太坊的技术路线指明了明确方向。如果团队遵循这一方向，网络可能会最终实现快速、便宜且值得信赖的证明，这正是路线图所需要的。目前，图表将决定下一步的走势，跌破2305美元可能会危及自8月以来的更大复苏。
