Vitalik：zkEVMs 速度竞争已取得胜利，首要任务转向安全性

Vitalik 在 X 平台发文表示，zkEVMs 的速度竞争已取得决定性胜利，首要任务应转向安全性，包括正式验证算术化与以太坊规范的等价性、证明者成本与区块 Gas 总量之比的硬性上限，以及证明系统本身的安全性。