[用一張 GPU 證明了以太坊，但實際運營中需要通過的測試卻不同] @zksync 成功使用一張 GPU 證明了 7,200 個以太坊主網區塊。 其中 99% 的區塊在 10 秒內完成證明，所有區塊均在 12 秒內完成。 然而，根據 @ethereum Foundation 支持的 EthProofs 實時證明運營指標，在最近一週的評估中，8 個候選證明者僅有 2 個符合資格標準。 這兩組結果的測量對象與環境不同，無法直接比較性能。 相反，它們的差異揭示了 ZK 技術接下來的挑戰。 簡要總結： - Airbender Prime 證明了單張 GPU 有潛力應對以太坊約 12 秒的區塊生成週期。 - 在實際證明者運營中，不僅需考慮證明速度，還需考量可用率、證明失敗率與硬體需求。 - 從長期來看，zkEVM 的競爭力可能更取決於證明的準確性驗證、最壞情況下的證明成本，以及穩定運營能力。 ZKsync 於 10 月 13 日發布的 Airbender Prime，使用一張 NVIDIA RTX PRO 6000 Blackwell GPU 成功證明了連續的 7,200 個以太坊主網區塊。 由於以太坊約每 12 秒生成一個區塊，7,200 個區塊理論上相當於約 24 小時的區塊量。 關鍵在於，包含準備證明輸入數據（witness）的時間在內，99% 的區塊均能在 10 秒內完成處理。 若證明生成速度足以跟上新區塊產生的速度，驗證者便無需重新執行所有交易，而可透過密碼學證明確認執行結果。 這意味著驗證所需的計算量有望大幅降低。 然而，對 7,200 個區塊進行性能測試，與在實際運營環境中持續提供證明，是兩回事。 EthProofs 公開測量多個系統對以太坊區塊的實時證明性能與運營狀態。 截至 10 月 26 日的儀表板數據如下： - 評估對象共 8 個證明者，最近一週符合資格者僅 2 個 - 所有評估對象中，區塊槽位在 10 秒內成功證明的比例為 69.7% - 被歸類為離線的比例為 26.2% 這些數據並非來自 Airbender Prime 的單張 GPU 測試，而是針對多個證明者的運營統計，其硬體、執行環境與資格標準均不相同。 但這清楚表明：若要在實際網絡中應用證明，除了個別性能表現，還必須確保運營可靠性。 即使某個證明者平均僅需 5 秒生成證明，若頻繁中斷或無法處理特定區塊，僅依賴該系統的驗證架構也難以穩定運作。 必須確認：當某個證明者失敗時，是否有其他實現能提供證明？當連續出現難處理的區塊時，處理延遲是否會累積？ 硬體需求也需單獨驗證。 Airbender 開源倉庫中的 GPU 指南指出：在基礎與遞歸證明階段使用 GPU，而最終證明階段則需 CPU 及約 150 GB RAM。 目前尚不清楚該文檔是否與最新 Prime 基準測試的執行配置一致。 因此，單憑「一張 GPU」的測試結果，尚無法確定整個系統的記憶體需求或運營成本。 10 月 15 日，@VitalikButerin 對 Airbender 團隊的成果給予高度評價，並提出 zkEVM 的下三個挑戰： 第一，從數學上驗證證明所使用的計算與以太坊實際執行規範完全一致。 第二，對證明成本設定嚴格上限，使其與區塊 Gas 使用量相匹配。 第三，驗證證明系統本身的密碼學安全性。 第二點與實際運營成本直接相關。 即使一般區塊能在 10 秒內完成證明，若有人刻意構造一筆 Gas 使用量在允許範圍內、但極難生成證明的運算呢？ 區塊執行雖正常支付費用，但生成證明卻可能需要過度龐大的計算與時間。 若此情況可行，則無論平均每區塊證明時間多短，網絡都難以預測其穩定處理的最大負載。 實時證明的經濟性，不僅取決於平均區塊的證明成本，更取決於最壞情況下需要多少資源。 EthProofs 的路線圖也正朝此方向推進。目前性能優化階段已完成，安全驗證階段正在進行中。 隨後將進入整合即時證明、義務證明以及直接將證明融入協議的階段。 此順序至關重要，因為建立一個快速的證明系統，與讓以太坊在共識過程中信任該證明，是兩件不同的事。 Airbender Prime 的發表提供了強有力的證據，表明可降低即時證明的硬體負擔。 下一階段的成果將難以僅憑更快的記錄來評估。 真正重要的是：在實際運行環境中，能否長期維持高證明成功率；在最壞情況的區塊中，證明成本是否受到限制；以及不同實現能否準確證明相同的以太坊執行結果。 ZK 證明技術正從展示快速計算的階段，邁向成為網絡可真正依賴的基礎設施階段。 #Ethereum #zkEVM