ZKsync 推出 Airbender Prime，這款以太坊證明器在單一 GPU 上展示了主網區塊的即時證明——此里程碑促使以太坊共同創辦人 Vitalik Buterin 呼籲 zkEVM 開發重新聚焦於安全性。

在測試中，一張 NVIDIA RTX PRO 6000 Blackwell GPU 在10秒內完成了7,200個連續以太坊主網區塊中99%的證明，包括見證資料準備——即彙整證明器產生證明所需資料的步驟。每個區塊都在12秒內完成。以太坊大約每12秒產生一個新區塊，因此能在這個時間窗口內完成每個區塊的證明，正是讓驗證與出塊保持同步的關鍵。ZKsync 在一則 X 貼文中宣布了這項里程碑。

Airbender Prime 展示以太坊即時證明

zkEVM 會產生密碼學證明，證明區塊是依照以太坊的規則執行，讓任何人無需重新執行運算即可驗證結果。據 ZKsync 表示，Airbender Prime 採用雜湊式 STARK，這是一種為後量子安全而設計的證明結構。其技術結合了 GKR sumcheck、WHIR 多項式承諾與 BLAKE2s 雜湊。

對於 Layer 1 證明，該系統將使用基於 Keccak-256 的承諾，取代 BN254 配對。它也遵循開放的 RISC-V 標準，並包含用於獨立驗證證明的獨立驗證器。

ZKsync 表示，Airbender Prime 在 ETHproofs 公開排行榜——該榜追蹤各 zkEVM 證明器對以太坊主網區塊的表現——於通報的平均證明時間、GPU 效率與成本方面均居首位。該專案也有使用兩張與四張 GPU 的即時配置。

Vitalik Buterin 呼籲強化 zkEVM 安全性

Buterin 對 ZKsync 團隊達成此里程碑表示祝賀。他表示證明速度之戰已確定獲勝，並主張 zkEVM 開發現在應將安全性列為優先。

Buterin 提出形式化驗證的三項要求：證明算術化符合以太坊的規範、建立證明成本與區塊 gas 之間的硬性上限比例，以及驗證證明系統本身的安全性。算術化是證明器將以太坊的執行規則編碼為證明系統可檢驗數學陳述的步驟。他的言論將焦點放在證明系統能否展示正確執行、可預測的證明成本，以及可靠的密碼學保護。

ZKsync 以可獨立驗證的金融基礎設施為目標

ZKsync 表示，人工智慧的進展可能加速軟體漏洞的發現與利用。該公司主張，機構需要銀行與交易對手可獨立驗證的機制。

據該公司所述，要求帳本更新附帶零知識證明，可防止遭入侵的執行伺服器核准違反內建規則的更新。Airbender Prime 較低的硬體需求，也可能讓機構與獨立營運者更容易取得證明生成能力。

該專案旨在支援金融基礎設施的獨立驗證。ZKsync 表示計畫就 Airbender Prime 發布進一步公告，但在其介紹中未提供更多細節。