Vitalik称以太坊ZK速度竞赛已结束，安全成zkEVM首要优先级

Vitalik Buterin宣布以太坊零知识证明的速度竞赛已终结，指出zkEVM当前首要任务应转向安全性。此前ZKsync声称其Airbender Prime在单张显卡上实现实时证明，7200个主网区块中99%的证明耗时低于10秒。Vitalik强调需对zkEVM进行形式化验证以确保其与以太坊规范一致及证明系统健全。