Vitalik：zkEVM 速度之争已彻底结束，首要任务应全面转向安全

Foresight News 消息，Vitalik Buterin 发推向 Airbender 团队表示祝贺，并认为速度之争已彻底结束，zkEVM 的首要任务应全面转向安全。其指出，这意味着需对以下内容进行形式化验证：算术化与以太坊规范的等价性；证明成本与区块 Gas 量之比的硬性上限；证明系统本身的安全性。

Foresight News 此前消息，以太坊二层网络 ZKsync 推出证明器 Airbender Prime，并称其为首个在单块 GPU 上实现以太坊实时证明的证明器。Airbender Prime 基于开放的 RISC-V 标准，采用具备后量子安全性的哈希型 STARK，并结合 GKR sumcheck、WHIR 多项式承诺及 BLAKE2s 哈希；其 L1 证明将使用基于 Keccak-256 的承诺，而非 BN254 配对。