bibibi.cc正在加载…
Vitalik称zkEVM速度竞争已胜，下一重点应转向安全验证。
Vitalik：zkEVM速度之战已胜，首要任务应转向安全性
PANews 10月15日消息，Vitalik Buterin在X发文祝贺zkSync airbender团队达成里程碑，并称zkEVM的”速度之战”已彻底胜利，首要任务应完全转向安全性。他认为这意味着需正式验证三项内容：算术化与以太坊规范的等价性；校验成本与区块内Gas量比值的严格最大上限；以及证明系统本身的安全性。
原文链接：https://www.panewslab.com/zh/articles/01a13da7-8422-7078-8331-b2d930a7b5e9
PANews报道，Vitalik Buterin在X发文祝贺zkSync airbender团队达成里程碑。
Vitalik称zkEVM的“速度之战”已彻底胜利，首要任务应转向安全性。
他提出需正式验证算术化与以太坊规范的等价性、校验成本与区块内Gas量比值的严格最大上限，以及证明系统本身的安全性。
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
zkEVM是帮助以太坊执行并验证交易的技术。报道中的观点是，性能竞争暂告一段落后，应重点确认其计算规则、验证成本上限和证明系统是否安全。
这些验证内容涉及zkEVM是否正确执行以太坊规范、验证成本是否可控，以及证明系统本身是否可靠。
对新手来说，核心信息是：zkEVM不只要快，还要在规则一致性、成本和安全性上经过正式验证。
正在加载事件时间线…