Buterin:zkEVM 速度竞赛结束,安全为重
Vitalik Buterin 宣布 zkEVM 速度竞赛结束,呼吁开发者聚焦安全,强调证明准确性、成本上限和系统安全,因零知识证明在以太坊中日益重要。
Vitalik Buterin 宣布零知识以太坊技术的速度竞赛已经结束,并呼吁开发者将注意力转向安全性。在一系列帖子中,他祝贺 ZKsync Airbender 团队取得的重要里程碑,并强调当前的主要挑战是确保系统的强大安全性。 Buterin 指出,形式化验证有三大关键优先事项:一是确保证明的数学结构与以太坊技术规范一致;二是为每个区块的 gas 成本设定严格的证明生成费用上限;三是保障证明系统本身的安全。 他警告称,速度快但不准确的证明或过高的成本可能会对以太坊构成风险,损害去中心化。随着零知识证明在以太坊路线图中,尤其是在区块验证流程中扮演越来越重要的角色,安全性成为关注重点。