4張GPU證明以太坊區塊，ZisK稱9.62秒完成

以太坊(ETH)即時證明競賽出現新主張：有團隊宣稱僅用4張圖形處理器(GPU)就能完成區塊證明。延遲時間雖然達到以太坊基金會設定的目標值，但由於電力消耗、證明大小等關鍵條件尚未公開，現在就說「家用證明環境」已經到來還言之過早。

根據CryptoSlate報導，ZisK的v1.1.0-alpha版證明器（prover）在4張輝達(NVDA) RTX 5090顯示卡上，完成以太坊區塊證明的p99（第99百分位）時間為9.62秒。報導同時指出，受測的以太坊區塊中有99.7%在10秒內完成證明，但作業範圍、測試區塊區間、證明大小與整體系統耗電量等資訊均未公開。

所謂「即時證明」，是指在下一個區塊產生週期內，把以太坊區塊轉換成可用零知識證明驗證的形式。p99則是衡量整體數據中有99%落在特定時間內的指標。以太坊每個區塊的產生週期（slot time）為12秒，因此證明時間能否壓縮到10秒左右，被視為即時證明能否成立的關鍵條件。

以太坊基金會在2025年7月提出即時證明的工作定義，訂出五項標準：△主網區塊p99證明時間須在10秒以內 △現場（on-premise）用電量須在10瓩(kW)以下 △現場設備投資須在10萬美元以下 △安全等級須達128位元以上 △免信任設置（trustless setup）下證明大小須在300KiB以下。基金會希望藉此讓驗證者不必重新執行所有交易，只要確認證明即可完成驗證。

問題不只在GPU數量。即時證明既是比拼區塊證明速度的競賽，也涉及誰能真正負擔並操作這套設備。以太坊基金會在同一份文件中，把家用等級的證明環境視為守住去中心化的重要防線。

如果證明生成集中在少數擁有高性能設備的業者手上，驗證成本雖然會降低，但證明生產本身卻可能走向中心化。正因如此，即時證明競賽不只是比速度，還得同時兼顧電力消耗、設備成本、安全等級與證明大小。

目前已有其他團隊公布類似成果可供比較。OpenVM 2.0宣布，使用8張RTX 5090顯示卡時p99證明時間為9.8秒，16張時則縮短到6.3秒。這項測試以第2400萬個區塊起算的7200個以太坊主網區塊為對象，並以100位元安全等級與300KB以下證明大小為條件。

Brevis旗下的Pico Prism則表示，在16張RTX 5090顯示卡的配置下，平均證明時間為6.91秒，整體硬體成本約為10萬美元。OpenVM與Brevis公布的成果都已接近即時證明的門檻，但兩者在GPU數量、安全等級、平均與p99基準上都不盡相同，直接拿來互相比較仍有侷限。

在這波競賽中，ZisK主張只用4張GPU完成證明，可說是目前硬體規模壓縮最激進的案例。不過，OpenVM與Brevis公布的測試區塊區間、安全等級、成本條件等比較項目，在ZisK的發表內容中並未一併附上。若只以GPU張數排名高下，恐怕會忽略即時證明真正該衡量的核心。

公開驗證平台Ethproofs目前的zkVM清單上，ZisK顯示的版本為0.18.0、0.16.0、0.15.0等，尚未看到v1.1.0-alpha版本的紀錄。

根據Ethproofs的API文件，「proving_time（證明時間）」的定義包含witness generation（見證生成）過程，但不包含資料擷取與結果提交所產生的延遲。這也是各團隊公布的p99數據難以直接放在同一基準上比較的原因。

電力條件同樣有待釐清。根據輝達官方規格，RTX 5090單卡總繪圖功耗為575瓦。若只把4張顯示卡的功耗相加，總計為2.3瓩，但這個數字並未計入CPU、記憶體、儲存裝置、散熱與電源轉換損耗等其他耗電項目。

整套系統的實際耗電量是否符合以太坊基金會設定的10瓩上限，仍需要另外驗證。放在一般家庭用電環境中，瞬間負載、散熱、噪音與設備擺放空間，都會是實際運作時必須面對的條件。

以太坊下一次重大升級的時程已延後至2026年第4季，即時證明與安全標準的討論仍在同步進行。以太坊基金會在2025年12月發布的補充文件中，再次提出128位元可證明安全等級、最終證明大小須在300KiB以下的標準，顯示速度競賽告一段落後，安全性與可重現性才是接下來的重點。

ZisK公布的結果顯示，以太坊即時證明所需的硬體門檻有機會進一步降低。不過，唯有在相同區塊區間、相同p99定義、證明大小與整體耗電數據都公開之後，各團隊之間的成果才具備真正的可比較性。