以太坊批次結算草案：每個批次葉暫定最多納入256項命題

Marc Harvey-Hill 於13日提交一份以太坊(ETH) EIP 草案，提議將多筆交易的驗證命題合併為一份證明處理，並分攤費用。使用者仍各自保留交易與簽章，由贊助者支付整批費用。

這份名為「Batched Generic Proof Dependencies」的草案已提交至以太坊 EIP 儲存庫，列於 PR #12664。截至14日，草案狀態為「Draft」，仍待編輯審查與社群共識；EIP 編號和專屬討論串尚未指派。

草案將啟用 EIP-8288 預留的 leanSTARK 驗證路徑。EIP-8288 涵蓋簽章與證明的聚合，相關內容先前已報導。

命題是指每筆交易中需要驗證的條件。草案提議每個批次葉最多容納256項命題，但這個上限是效能測試前的暫定值。

使用者的交易不會合併。每筆交易仍保有各自的 nonce、收據與手續費支付者；即使只有部分批次交易被納入，也不必重新取得批次成員的簽章。

贊助者透過另一筆交易支付批次葉的費用。這筆付款必須與使用者交易納入同一個區塊才有效；若付款在更早的區塊完成，則不予承認。

草案暫定每項命題收取4200 gas，每個批次葉的付款收取675,000 gas。若將64項命題與一筆付款合併，費用為943,800 gas；這個例子未計入其他交易成本。

草案也列出一般 leanSTARK 驗證收取572,000 gas、proof share 收取5100 gas。這些數值同樣尚未定案。

符合折扣條件的批次交易不會透過公開 mempool 傳播，也不在交易納入清單（inclusion list）的保障範圍內。因此，批次製作者必須直接將使用者交易、證明及贊助者的付款交易提交給區塊建構者。

如果贊助者在證明生成後暫緩付款，或付款交易失效，建構者可能無法收回已投入工作的成本。草案指出，這些成本無法透過交易納入區塊所收取的 gas 費用補償。

贊助付款也不會自動向批次製作者支付報酬。草案提出，應用程式端可為批次工作準備資金，或另收服務費。

PR 作者表示，他進行了44項本機模型測試及文件檢查。證明驗證與交易執行使用測試用替代元件處理；他並說明，這些工作不屬於整合測試或實際效能測量。

草案也列出以16個工作者設定推算的效能數據，但目前仍處於模型階段，因此不能視為實際網路環境中的處理效能。

Nethermind 客戶端儲存庫的 PR #15842 也提供一個受功能旗標限制的「Draft」原型，作者為 Marchhill。這項原型本身不代表以太坊已批准採用該功能。

草案提議先在完整區塊條件下測量效能，並納入資源使用量最大的情境，再敲定 gas 費用與資源上限。測試時也應公開硬體規格與工作者數量，並把批次付款及一般證明驗證所需的交易額外開銷納入，以驗證相關上限。