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