以太坊草案提出批次證明的共享付款機制

載入圖片中

載入圖片中

載入圖片中

載入圖片中

分享

以太坊貢獻者 Marchhill 已提交一份草案提案，旨在實現通用證明驗證與贊助式批次處理，讓多筆交易聲明共用一份證明，同時保留各自的付款與簽名。

• 贊助者可為批次證明付費，而成員交易則為各自的聲明付費。

• 有效的子集可以進入區塊，而無需成員再次簽署其交易。

• 擬議的費用與資源限制仍屬暫定，是否啟用取決於效能測量結果。

• 該提交是一份草稿拉取請求，尚未分配 EIP 編號，也沒有主網啟用日期。

Marchhill 的提案於 11 月 13 日提交至以太坊 EIP 儲存庫，將啟用 EIP-8288 中保留的 LEANSTARK_SCHEME，並為贊助批次引入相關規則。該提交內容仍在開發中，尚未被採納為以太坊網路升級。

該草案將通用驗證、證明身分、資源限制、依賴摘要與批次付款整合進同一份提案。它取代了先前的提交內容，即拉取請求 #12654，而 EIP 編號與專屬討論串仍有待指派。

以太坊批次證明將分離贊助者與成員的付款

該草案的核心是一項付款安排：由贊助者支付每個保留的批次葉節點（batch leaf），也就是包含多筆聲明的個別證明元件。成員交易則依各自提交的聲明付款。

根據擬議機制，建構者可以納入任何有效的子集，而無需要求成員再次簽名。因此，若某人的交易已準備好被納入，就不會僅因原始群組中的其他成員被排除在外而需要重新簽名。

該草案將保留個別交易的 nonce 與收據。nonce 用以標識一筆交易在帳戶交易序列中的位置，而收據則記錄其執行結果。共享證明工作將使這些記錄仍附著於各自獨立的交易上。

付款匹配將在最終化階段進行檢查，並以遞迴證明驗證批次中所使用的來源。該提案將確認各項聲明有效的工作，與確認隨附必要付款的工作區分開來。

折價聲明與贊助付款將直接支付給區塊建構者。涵蓋單一聲明的普通證明仍可進入公開記憶池，交易會在該處等待被納入區塊。

通用驗證建立在 EIP-8288 之上

基礎的 EIP-8288 由 Vitalik Buterin 與 Thomas Coratger 撰寫，提議在以太坊主要執行流程之外聚合密碼學簽章與證明。交易將標明其需要驗證的陳述，並由遞迴 STARK 在區塊層級確立其有效性。

STARK 是一種密碼學證明，用以證明某項運算已被正確執行，而無需每位驗證者重複執行該運算。遞迴則允許單一證明驗證其他證明，並合併其結果。

EIP-8288 目前保留通用的 leanSTARK 方案，而非允許其在依賴框架中使用。Marchhill 的提交提案主張啟用該路徑，並以代表一組陳述清單的穩定摘要，取代基礎草案中僅有資料雜湊的陳述。

此設計延續了先前關於密碼學驗證的討論，包括 Buterin 對透過聚合證明來處理複雜密碼學的支援。他的評論針對的是底層架構；Marchhill 的草案則提出了具體的驗證與付款安排。

擬議費用仍須校準

所提供的修訂版列出暫定費用：原生驗證為 15,400 gas，一般通用驗證為 572,000 gas。其中將 5,100 gas 分配給內在證明份額，675,000 gas 分配給葉節點付款，4,200 gas 分配給批次索賠。

草案解釋，葉節點付款需另行收費，因為綁定付款在一般驗證之外增加了固定工作量。各項聲明與付款不會產生額外的內在證明分攤。這些數字需要聯合校準，因此它們並不構成最終費用表，也不代表使用者已確認可節省費用。

資源控制包括暫定的區塊上限：16,384 個不同依賴項，獨立於 gas 之外另行適用，並搭配相應的納入清單適配規則。一個葉節點最多可包含 256 項聲明，而一個證明步驟最多可有 16 個輸入。這兩個數字都不是全區塊層級的上限。

啟用將需要進行全區塊效能測量

在啟用之前，該提案要求提供涵蓋完整處理時程、延遲的贊助者修復，以及符合交易 gas 上限的每證明費用（包含必要額外開銷）的測量數據。

其基準測試資料將實測的單節點與單機區塊結果，與模擬的 16 個工作節點數據區分開來。該草案要求將證據與其餘效能差距記錄於其基準測試資料中。

無效的贊助可能浪費建構者的工作，而提交文件指出，納入 gas 不會補償該項工作。具體的承諾建構與編碼仍保留在已固定的證明系統規格中。該提案未引入任何新的網路訊息。