吴说获悉，以太坊联合创始人 Vitalik Buterin 发文祝贺 ZKsync Airbender 团队取得技术进展，并表示 zkEVM 在证明速度方面的竞争已取得决定性成果，未来的首要任务应全面转向安全性。他认为，zkEVM 应重点通过形式化验证解决三个问题：确保证明系统采用的算术化方案与以太坊协议规范完全等价；为区块 Gas 消耗对应的证明生成成本设定严格上限；验证零知识证明系统本身的安全性。这意味着，在证明性能取得重大进展后，zkEVM 的下一阶段重点将从速度优化转向安全性保障。
来源：吴说区块链
本文由 GTokenTool 摘编，版权归原作者所有；内容仅供参考，不构成投资建议。