热烈祝贺 @zksync airbender 团队达成这一里程碑。 在我看来，速度之战已经尘埃落定，现在 zkEVMs 的首要任务应该完全转向安全性。 对我来说，这意味着需要正式验证： (i) 算术化与以太坊规范的等价性 (ii) （证明者成本）/（区块中的 gas 数量）的硬性最大限制 (iii) 证明系统本身的安全性 https://firefly.social/post/x/2110011544360607842