airbender

V神今天點名誇ZKsync的Airbender：速度仗，他認爲打完了。
官博（10/13）稱Airbender Prime在單張NVIDIA RTX PRO 6000 Blackwell上，把連續7200個$ETH 主網區塊裏99%在10秒內證完（含witness），全部不超過12秒；還掛在ETHproofs公開榜前列。自家說法是「據我們所知第一個在單卡上做到實時證明」的以太坊prover。
Vitalik的重點不在吹更快，而是改題：zkEVM第一優先級應全面轉向安全——形式化驗證算術化與以太坊規範等價、證明成本相對區塊Gas的硬上限、證明系統本身的安全性。哈希STARK + RISC-V路線，官博還疊了抗量子敘事；$ZK 這邊速度數字已經夠硬，下一輪看誰敢把安全作業交出來。