以太坊 EIP-8288 草案：在記憶池驗證並彙整 2 至 3 KB 簽章

以太坊（ETH）開發者提出在記憶池驗證並彙整簽章與密碼學證明，再於區塊中放入涵蓋這些資料的遞迴 STARK。EIP-8288 草案旨在減少大型且驗證成本高的密碼學資料（例如抗量子簽章）反覆寫入區塊所帶來的負擔。

EIP-8288（In-mempool signature and proof aggregation）由維塔利克·布特林（Vitalik Buterin）與托馬斯·科拉特格（Thomas Coratger）於 6 月 3 日撰寫，目前狀態為「草案（Draft）」。提案指出，正在評估的雜湊式簽章約為 2 至 3 KB，直接驗證可能耗費 15 萬至 20 萬 gas。這是提案中的示例估算，並非所有簽章方案或實際實作的確定數值。

記憶池是交易等待納入區塊的空間。依照這項設計，交易會宣告驗證所需的依賴項，而非直接附上簽章與證明的原始資料。節點在轉送交易前驗證這些依賴項，記憶池節點與區塊建構者則會彙整多項證明。區塊只需包含一份遞迴 STARK，用來證明其中所有交易的依賴項均有效。

STARK 是用來證明計算正確執行的密碼學證明；遞迴方法則能在一份證明中納入其他證明的有效性。因此，相關資料並未從網路上消失，只是驗證與彙整的位置有所改變。

這套方法也希望減少每次推出新簽章體系時，都得另外加入驗證功能的負擔。草案以 EIP-8141 框架交易為基礎，讓簽章與 STARK 證明能透過同一條路徑處理。框架交易的設計讓帳戶能自行選擇驗證邏輯與簽章方式。草案也提出與 FOCIL 納入清單相容的做法，為其附加遞迴 STARK。

這項提案的背景是成本問題。抗量子簽章與隱私證明的資料量及驗證成本可能高於現有方式。提案選擇以 STARK 封裝簽章與證明，並在記憶池階段一併彙整，藉此建立共用處理路徑，避免為每種新密碼學方法另加功能。

不過，相關負擔並未消失。記憶池中的證明驗證與彙整工作可能增加，草案也指出，記憶池遭受阻斷服務攻擊的風險可能隨之升高。草案提出限制單筆交易可包含的簽章與 STARK 依賴項數量。此外，STARK 證明本身可能超過 128 KB；若以快速生成為目標，大小可能達約 512 KB。這些數值均為提案設計中的估算。

用來證明目標程式的指令集也仍在討論。10 月 8 日刊登於以太坊研究（Ethereum Research）的開發者文章比較了 EVM、RISC-V 與以太坊專用指令集。文章指出，RISC-V 在證明工具與效率方面可能是一種選項，但指令規則與版本需要長期維持。這篇文章屬於比較不同選項的技術討論。

本刊先前報導的布特林 EIP-8288 構想，探討了以 STARK 證明彙整多項簽章驗證的方向。這次開發者討論則將證明所依據的指令集選擇，以及長期相容性列為具體議題。布特林在 9 月 27 日的文章中，將遞迴 STARK 與簽章彙整納入以太坊的長期構想，但當時並未提出確定的升級時程或功能清單。

EIP-8288 目前仍處於草案階段，是否採納及分叉時程尚未確認。