以太坊區塊99%在10秒內完成證明　最壞情況區塊成本仍需另行檢視

ZKsync（ZKsync）於10月13日公布測試結果，使用單張GPU證明了7200個<詞>以太幣(ETH)主網區塊。樣本區塊中有99%在10秒內完成證明，但這項紀錄，並不代表在Gas上限內所能打造出的最重區塊，其證明成本也已受到約束。

這項名為Airbender Prime的測試，使用一張輝達（NVIDIA）RTX PRO 6000 Blackwell GPU。包含見證資料（witness）準備時間在內，99%的樣本區塊各自在10秒內完成證明，全部區塊則在12秒內完成。見證資料是指證明執行內容所需的輸入與中間資訊。這組數字是特定樣本與設定下的表現，不代表所有允許的區塊組合，即使是最重的情況，也同樣只需這麼久。

執行Gas限制的是運算與儲存等執行過程的成本。但即使耗用相同Gas量的區塊，因運算類型與輸入值組成不同，證明的工作量也可能有差異。因此，很難用一般區塊的處理紀錄，來保證最壞情況下的證明時間。

以太坊改進提案EIP-7904也沒有直接填補這個落差。該文件以最佳化執行客戶端的CPU處理量每秒1億Gas為基準，並得出結論：所分析的運算，其Gas成本無須調整。不過文件自己也說明，它只是分析CPU執行時間，並未處理ZK-SNARK證明生成的特殊負擔。EIP-7904目前屬於「Informational」提案。僅憑以CPU為基準的Gas分析結果合理，並不能就此認定證明成本可以預測。

針對個別運算的測量研究，則為「最壞情況需另行檢視」提供了更多依據。刊登於以太坊研究論壇的Nethermind Research研究，由林·奧西谷（Lin Oshitani）撰寫，在4張輝達GeForce RTX 4090 GPU上測試了SP1 v5.2.3與RISC0 v3.0.4。研究團隊指出，部分密碼學預編譯（precompile）以及模數算術、除法運算，每單位Gas所需的證明時間相對較長。ZK週期數與實際證明時間，也並未在各運算之間呈現一致的對應。預編譯是以獨立功能提供常用複雜運算的EVM組件。這些結果是特定證明器、硬體與設定下的測量值。

該研究提出的解法之一，是計算依運算類型加權的「ZK Gas」，並為每個區塊設定上限，作為可能的應用案例。構想是讓證明負擔較重的運算，比一般執行Gas上限更早觸及另一道獨立上限。要讓這類限制真正發揮作用，必須納入輸入值造成的成本變動、區塊整體的固定開銷，以及證明聚合過程。研究團隊也表示，需要後續以各種輸入值進行測量。目前沒有資料顯示ZK Gas已被採納為以太坊協議規則。

這次快速證明的展示，只是特定樣本的效能紀錄；EIP-7904的Gas分析，則是關於CPU處理量的結論。兩者都沒有直接處理最壞情況區塊的證明成本。若要說證明成本的上限已經確立，就必須同時檢驗最壞情況的區塊，以及明確載明的硬體與時間標準。EIP-7904的最終意見提交期限為2026年11月1日。