以太坊联合创始人 Vitalik Buterin 表示,让零知识以太坊虚拟机(zkEVM)变得更快的一场竞赛已“决定性地胜出”,生态系统现在应全面转向安全。
Buterin 在 X 平台发文,祝贺 @zksync Airbender 团队达成一项里程碑。据 Odaily 消息,他表示,zkEVM 的速度竞赛实际上已经结束,安全必须成为首要任务。
他提出三个需要重点关注的方向:一是对算术与以太坊规范之间的等价性进行形式化验证;二是对证明者成本与区块总 gas 的比率设置硬性上限;三是证明系统自身的安全。
分析认为,这一表态意味着 zkEVM 讨论正从原始性能转向证明系统能否安全支撑以太坊规模活动的保障。对加密行业而言,未来进展可能不再主要以基准速度衡量,而更多取决于可验证安全、成本纪律和最小化信任执行。
