以太坊的證明成本面臨維塔利克的硬性限制挑戰

維塔利克·布特林呼籲為每單位區塊氣體的以太坊證明成本設立硬性上限。布特林在10月15日的帖子中祝賀ZKsync的Airbender團隊，並確定了三個形式化驗證優先事項：將執行的數學表示與以太坊規範相匹配、將證明者成本與區塊氣體綁定，以及確保證明系統的安全性。氣體代表執行工作並限制區塊資源消耗，但一個有用的證明上限必須將此配額與證明生成資源（包括故意困難的工作負載）聯繫起來。以太坊基金會於2025年12月設定了以安全為重點的階段。

EIP-7904 目前的計算成本分析建議不對計算 gas 成本進行任何調整，並明確規定不對以太坊的 gas 計劃進行任何修改。截至 10 月 18 日，EIP-7904 是一項處於最後徵求意見階段的資訊性提案，截止日期為 11 月 1 日。EIP-7904 的分析目標是在優化的原生執行客戶端上實現每秒 1 億 gas。EIP-7904 將其結論的改變歸因於區塊級訪問清單所啟用的優化，包括加速以往問題操作的並行工作。然而，EIP-7904 僅涵蓋在純 CPU 上的執行，明確排除了對 ZK-SNARK 證明生成的特定考量，因為後者會帶來不同的工作負載。

ZKsync 於 10 月 13 日報告，一張 NVIDIA RTX PRO 6000 Blackwell 在不到 10 秒的時間內證明了 7,200 個連續的以太坊主網區塊的 99%，包括證人準備工作。ZKsync 表示，所有抽樣區塊均在不到 12 秒內完成。ZKsync 還描述了使用兩張和四張 GPU 的獨立實時 ETHproofs 配置。然而，最大成本保障必須涵蓋在所述假設下所有允許的工作負載，包括故意組裝以增加證明難度的區塊。一個典型區塊可能適合小型設置，而困難的允許工作負載則決定了運營商為及時生成證明所需的備用容量。

Nethermind 研究團隊的 Oshitani Lin 於 1 月 27 日的測量中發現，密碼學預編譯與多種模運算或除法運算在每單位 gas 下的證明成本相對較高。Oshitani 的測量顯示，成本因證明器而異，且 ZK-cycle 數量並未在各運算中轉化為一致的證明耗時。該研究透過固定周圍執行環境、變動運算次數來估算邊際證明時間。研究測試了 SP1 v5.2.3（搭配 sp1-cluster）與 RISC0 v3.0.4，使用 reth v1.9.3 及四張 NVIDIA GeForce RTX 4090 GPU。RISC0 使用了 RISC0_KECCAK_PO2=15 的設定。測量使用固定代表性或最佳努力下的最壞情況輸入，省略了區塊標頭驗證，並意外遺漏了 BLOCKHASH。關於依賴參數的成本的完整調查仍為未來工作。

以太坊基金會的1月最壞情況基準測試框架將所需的證明吞吐量與所選的區塊_gas_limit 和證明截止時間相關聯。該框架要求困難區塊必須符合預定的硬體和時間預算。該框架指出，由於證明生成具有固定開銷、聚合可能呈非線性，且硬體配置和安全參數會影響效能，因此操作層級的估計需要進行端到端的檢查。預期參與的執行客戶端和證明系統集合也至關重要。

優化昂貴的電路或執行路徑，可在不改變交易執行 gas 單位的情況下減少證明工作，讓運營商以更少的資源處理相同的負載。Nethermind 的研究還提出了加權 ZK-gas 計量方式，並設置每區塊上限，可在普通執行 gas 配額耗盡前限制證明密集型操作。加權 ZK-gas 計量的保護效果取決於權重對困難輸入的準確捕捉程度。資源上限可以限制允許的工作量，而不影響應用程式使用者的付款或證明者收益。對證明資源收費則需要額外的設計選擇。EIP-7999 仍為草案形式的多維度費率市場提案，將 calldata 分離為獨立資源。

Opcode 重新定價會為昂貴的操作分配更多氣體，從而在固定氣體限額下，每個區塊能容納的此類操作更少。使用重新定價操作的應用程式，在相同成功執行的情況下，可消耗更多氣體。EIP-1559 的執行費用機制會將收取的氣體乘以有效氣體價格。對於相同成功交易，若收取更多氣體，在不變的正有效氣體價格下，應用程式將支付更多費用。

EIP-8025 仍為一份草案式可選執行證明提案，不提供證明者激勵，且即使已有證明可用，仍保留重新執行的機制。以太坊基金會九月的優先事項將強制性證明推後，並正在審查分叉順序。EIP-7904 的十一月一日審查截止日期涉及 CPU 分析，而獨立證明者需要一個與明確工作負載、實現、安全設定和硬體假設相關的上限。此類上限可將燃料配額轉變為運營商必須準備提供的證明資源的可靠限制。