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

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

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

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

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

該草案的核心是一項付款安排，其中由贊助者負擔每個保留的批次葉節點，即包含多筆聲明的個別證明元件。成員交易則依其自行提交的聲明付費。

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

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

付款匹配將在最終化期間進行檢查，並以遞迴證明驗證批次中所使用的來源。該提交區分了確立聲明有效的工作，與確認必要付款隨附於這些聲明的工作。

折扣聲明與贊助者付款將直接支付給區塊建構者。涵蓋單一聲明的普通證明仍將有資格進入公開記憶池，即交易等待被納入區塊之處。

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

由 Vitalik Buterin 與 Thomas Coratger 撰寫的基礎 EIP-8288，提議在以太坊主執行流程之外聚合密碼學簽名與證明。交易將標識其需要驗證的聲明，而遞迴 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 不會補償該工作。具體的承諾建構與編碼仍保留在已固定的證明系統規格中。該提案未引入任何新的網路訊息。