什麼是 EIP-8361？深入解析以太坊 Validity Proofs 機制

EIP-8361 專為 EIP-8141 框架交易引入以證明為基礎的準入機制。此提案未涉及更換以太坊執行流程、引入新交易類型、部署智慧合約、加強交易隱私、調整驗證者獎勵，亦未設置 18 個月的實施期。其目標明確：在維持對無效或高資源消耗交易防護的同時，降低交易驗證過程中的重複計算負擔。

本文將深入解析證明攜帶流程的實際運作、節點驗證機制、EIP-8361 與 rollup 有效性證明及交易模擬的差異，以及現階段的技術挑戰。

關鍵要點

• EIP-8361 標準化點對點傳播的交易有效性證明資料。 框架交易可攜帶 STARK，證明其驗證前綴已獲批准。
• 節點僅需驗證證明，無須重複執行高成本授權邏輯。 證明與驗證分離，有效減少以太坊網路節點的重複計算。
• 證明不參與共識流程。 僅作為交易傳遞與記憶池準入依據，無需時可直接棄置。
• 設計支援複雜智慧帳戶驗證。 適用於多重簽名、替代簽名機制、支付主及依賴多重證明的授權場景。
• EIP-8361 仍屬草案階段。 尚未正式啟動，且不應與 EIP-7701、EIP-7702、rollup 有效性證明或質押獎勵相關提案混淆。

什麼是 EIP-8361？

EIP-8361（Transaction Validity Proofs）提出一套網路機制，允許以太坊交易附帶密碼學證明，表明其驗證邏輯已被批准。此草案配合 EIP-8141 協議層變革，後者定義框架交易及可程式化驗證階段。

以太坊改進提案（EIP）為描述潛在標準、協議機制、介面或流程的技術文件。發布為 EIP 不代表已被採納或部署。EIP-8361 仍屬工作草案，規範、依賴及狀態皆可能隨時調整。

本提案聚焦於：

節點如何在避免每個對等方重複高成本計算的前提下，安全地準入授權成本高昂的交易？

依 EIP-8361 機制，證明者於鏈下執行相關驗證邏輯並生成 STARK。接收節點則驗證證明，並檢查其宣稱假設是否符合當前以太坊狀態，據此決定是否將交易納入公共記憶池。

交易最終打包進區塊時，仍須遵循以太坊執行規則。證明僅用於準入策略，並不取代協議層執行或共識驗證。

為什麼以太坊複雜交易驗證困難

傳統外部帳戶（EOA）通過私鑰、公鑰控制。帳戶利用 ECDSA 簽名授權交易，內容包括 nonce、目標地址、金額、鏈 ID、Gas 限制、Gas 價格或 EIP-1559 費用參數等。

這些檢查流程較為固定。節點可驗證簽名、確認帳戶餘額是否足以支付金額及最大 Gas 成本、檢查 nonce，並拒絕格式錯誤或重放交易。

智慧帳戶則擴展了驗證邊界。智慧帳戶可實現：

• 多重公鑰；
• 支付限額；
• 會話金鑰；
• 委託合約；
• 支付主規則；
• 抗量子簽名；
• 回復條件；
• 零知識證明；
• 應用專屬授權程式碼。

這些邏輯可能部署於現有智慧合約，或於帳戶建立時新建合約。合約創建及部署還可能需驗證工廠、初始化程式碼或新合約地址。

以太坊節點無法無限制地為每筆未確認交易執行驗證邏輯。攻擊者可提交高成本智慧合約、雜湊、儲存讀取或證明系統的惡意交易，卻從不授權執行。即便交易無效，驗證過程仍消耗節點資源。

因此，EIP-8361 交易有效性證明將高成本計算轉移至證明者，節點僅需驗證證明。

EIP-8361 證明攜帶交易的運作機制

EIP-8361 提供兩種 EIP-8141 框架交易準入方式：

1. 模擬準入： 節點直接執行驗證前綴。
2. 證明攜帶準入： 節點驗證 STARK，證明驗證前綴已獲批准。

第二種方式適用於常規驗證程式碼呼叫超過節點驗證預算的情境。

1. 交易定義自身驗證邏輯

EIP-8141 框架交易可將操作劃分為多個功能框架。部分框架負責授權、辨識付款方或準備執行，驗證前綴則於常規執行框架之前運作。

驗證前綴可呼叫發送方相關智慧合約或其他委託合約，檢查簽名、權限、餘額、到期條件等，再觸發 APPROVE 操作。

EIP-8141 不同於傳統交易，其可程式化驗證模型展現以太坊原生帳戶抽象的發展。EIP-8141 亦避免依賴 EIP-7702 的 ECDSA 授權清單，因框架交易追求更高密碼學彈性。

2. 證明者執行驗證前綴

證明者根據宣稱輸入與狀態假設執行驗證前綴。流程可能包括：

• 簽名與公鑰匹配；
• 發送帳戶餘額充足；
• 支付主餘額高於要求；
• 合約儲存槽擁有預期權限；
• 鏈 ID 符合目標網路；
• nonce 防止重放；
• 驗證程式碼以批准狀態終止。

之後證明者生成 STARK，承諾交易、依賴、假設、付款方及有效性條件。

3. 證明宣稱狀態假設

若證明無聲依賴已變動的狀態，將失效。EIP-8361 因此提出以假設向量描述證明所用之狀態事實。

等值條件要求合約程式碼雜湊、nonce 或儲存值與宣稱值完全一致。大於等於條件則需帳戶餘額高於最低值。

這些假設將證明與先前有效狀態關聯，無需嵌入完整以太坊狀態。新區塊變更資料時，節點可重新檢查假設向量。

此為 EIP-8361 記憶池驗證 核心：節點不會僅因證明密碼學有效性而盲目信任舊證明。

4. 節點驗證 STARK

接收節點先執行低成本結構檢查，再消耗資源驗證證明。隨後以指定驗證金鑰驗證 STARK，並將依賴與假設與當前以太坊狀態比對。

現代證明系統可產生驗證速度快於原始計算重演的證明。單一證明即可取代多個節點重複模擬，減少網路冗餘計算。

證明生成本身成本不低，可能需大量計算、記憶體及專用軟體。EIP-8361 僅將計算負擔轉移，並未消除總計算量。

5. 交易進入記憶池

證明及狀態檢查通過後，節點可直接準入並傳播交易，無需重複高成本驗證前綴。

證明僅為點對點元資料，不寫入交易 calldata、合約、帳戶狀態或區塊 Merkle 根。

交易打包後，以太坊按協議規則執行。證明過期或交易移除時，網路元資料可直接丟棄。

EIP-8361 有效性證明的作用

EIP-8361 有效性證明為密碼學證據，證明特定驗證計算在宣稱假設下正確執行並達到批准狀態。

可證明驗證邏輯已檢查有效簽名、足額餘額、正確 nonce、允許付款方或合約授權。但不必然涵蓋交易後續每次 EVM 狀態轉換的正確性。

主要區別如下：

• EIP-8361 證明與準入驗證相關。
• rollup 有效性證明涵蓋一次或多次鏈下狀態轉換。
• Merkle 證明證明某筆資料包含於認證資料結構。
• 零知識證明可隱藏資訊，但有效性證明不保證隱私。

Merkle 證明可藉由連接葉子節點與已知 Merkle 根，證明交易屬於特定批次、區塊或狀態樹。在 ZK rollup 中，Merkle 證明可確認帳戶存在及餘額更新。

EIP-8361 採用 STARK 作為高效正確性證明，但目標非機密執行。交易及其依賴對節點仍然透明。

EIP-8361 與 ZK-Rollup 有效性證明對比

Layer 2 擴容方案廣泛運用有效性證明。ZK rollup 於鏈下批次執行交易，並向以太坊驗證合約提交簡潔證明，證明批次已依規則將先前有效狀態轉為新狀態。

驗證合約檢查證明及公開輸入，無需於以太坊重演所有交易。此舉減少鏈上資源消耗，並將固定 Gas 費用分攤至多筆交易。遞迴證明系統更可聚合多份證明。

只要證明系統、通道、驗證合約及資料可用性模型安全，有效性證明有助防止 ZK rollup 最終化無效狀態轉換，且 L2 至 L1 結算更迅速。

EIP-8361 目標不同。其不證明整批計算、不更新 L2 Merkle 根、不觸發提現，僅證明單筆框架交易符合節點準入要求。

EIP-8361 有效性證明與詐欺證明對比

樂觀 rollup 預設狀態更新有效，除非遭質疑。詐欺證明要求觀察者於挑戰期內發現爭議並提交證據。無效宣稱於挑戰解決前可暫時被接受。

有效性證明則相反：僅在驗證者確認密碼學證據後，新的狀態承諾才被接受。此設計可加速提現，無需等待詐欺證明挑戰期。

但「有效性證明更安全」並非絕對。關鍵差異還包括證明者複雜度、驗證者安全性、資料可用性、可信設置、挑戰假設及實作成熟度。

EIP-8361 並非 rollup 安全模型。其證明用於記憶池準入，rollup 的詐欺證明與有效性證明則保護鏈下擴容系統。

EIP-8361 與 EIP-7702 帳戶委託差異

EIP-7702 允許現有 EOA 於程式碼欄位設置委託指示，使帳戶呼叫執行指定智慧合約程式碼。此機制引入包含 authorization_list 的 type-4 交易。

每組授權元組包含 chain_id、委託合約地址、帳戶 nonce、簽名欄位。

授權由 EOA 私鑰簽名，簽名者可與 tx.origin 不同，單筆交易可攜帶多個 EOA 授權。每筆授權可於常規交易執行前更新帳戶委託指示。

用戶可透過簽名授權將執行能力委託給智慧合約，無需永久轉為智慧合約。委託程式碼支援批次處理、Gas 贊助、權限等功能。

EIP-7702 亦帶來安全考量。chain ID 為 0 可能使授權跨鏈生效，nonce 與簽名欄位有助限制重放。委託程式碼將影響 tx.origin、待處理交易、儲存及餘額等假設。

EIP-8361 不取代也不擴展 authorization_list，僅聚焦節點如何準入複雜驗證邏輯交易。EIP-8361 有效性證明與交易模擬主要差異在於記憶池計算，而非 EOA 程式碼委託。

EIP-8361 與 EIP-7701 原生帳戶抽象差異

EIP-7701 於 2024-05-01 提出，目標為原生帳戶抽象。其將交易流程拆分為驗證、執行與後操作階段，並提出新型 EIP-2718 交易類型。

設計採用協議原生入口地址 0x7701、角色導向操作碼、獨立發送方與支付主驗證、合約控制 Gas 支付。該提案不要求原生交易類型採用 ERC-4337 綁定器流程。

EIP-7701 已撤回，由 EIP-8141 取代。其規範已明確撤回原因。關於 EIP-7701 需 EOF 格式合約之說，亦非最終規範內容。

EIP-8361 建構於 EIP-8141 新框架交易模型。透過讓高成本可程式化驗證易於安全傳播，支援協議層帳戶抽象潛力。

EIP-2718 提供型別化交易封裝，EIP-7701、EIP-7702、EIP-8141 均採用。型別資訊有助降低跨型別簽名重放風險。

對錢包、節點與開發者的實際影響

錢包開發者可於智慧帳戶授權成本高於常規記憶池模擬時，採證明攜帶準入。錢包可於交易提交前，向本地證明者、錢包服務或分散式證明網路請求證明。

節點開發者需實作：

• 點對點證明傳輸；
• 版本化驗證金鑰；
• 證明大小限制；
• 假設與依賴檢查；
• 對等方限流；
• 過期證明清理；
• 回退模擬邏輯。

智慧合約開發者可實作應用專屬驗證邏輯，無需所有節點執行其全部成本。此舉支援抗量子簽名、多金鑰策略、複雜支付主或基於證明的權限控制。

EIP-8361 對錢包、節點與開發者影響最終取決於證明延遲、客戶端採納、互通性及最終 EIP-8141 規範。

舉例而言，交易員可於 Gate 等交易所關注網路公告及 ETH/USDT 行情圖，但市場價格、成交量或 Gas 費用無法證明某 EIP 草案已被採納或啟動。

安全性考量與限制

EIP-8361 涉及多項安全考量：

1. 證明可靠性取決於 STARK 電路及驗證金鑰正確性。電路漏洞或致證明與預期驗證規則不符。
2. 證明驗證仍消耗計算與頻寬。攻擊者可能傳送格式錯誤或超大證明，故需低成本初步檢查、大小限制與對等方歸屬。
3. 假設可能過時。基於帳戶餘額、儲存值、合約程式碼雜湊或 nonce 產生的證明，若新區塊改變狀態即失效。
4. 節點策略差異可能導致交易傳播碎片化。不同客戶端可設定不同證明大小上限、驗證限制或預設準入值。
5. 若僅少數服務具備足夠硬體或優化軟體，證明生成將產生中心化壓力。

EIP-8361 並未消除常規交易成本。交易進入區塊執行時，發送方或付款方仍須支付 Gas。有效性證明僅可減少節點鏈下重複計算，無法免除以太坊 Gas 支出。

EIP-8361 未提及內容

下列說法不適用於 EIP-8361：

• 設定 18 個月過渡期；
• 移除質押收益下限；
• 限定驗證者獎勵上限；
• 質押接近 50% 時扣減獎勵；
• 創造市場驅動質押均衡；
• 引入 EIP-7702 授權清單；
• 引入 EIP-7701 原生入口；
• 創建新 EIP-2718 交易類型；
• 保證隱私；
• 結算 ZK-rollup 批次；
• 取代詐欺證明；
• 免除用戶合約或相關權利。

草案版權部分或聲明依 CC0 放棄版權與相關權利，此在 EIP 中屬常見。該法律聲明僅限於提案文件本身，與用戶資金、交易權利或智慧合約權限無涉。

結論

EIP-8361 提議以證明攜帶方式實現以太坊公共記憶池交易準入。證明者僅需執行一次複雜 EIP-8141 驗證前綴並產生 STARK，多個節點即可驗證結果，無需重複高成本計算。

此機制適用於超出常規記憶池驗證上限的可程式化授權，包括高階智慧帳戶、替代簽名系統、支付主及依賴多重證明的合約。設計目標在於減少節點冗餘計算，同時維持當前狀態假設的透明度與可查證性。

EIP-8361 不應與 ZK-rollup 結算、詐欺證明挑戰、EIP-7702 帳戶委託或已撤回的 EIP-7701 設計混淆。其仍屬網路層草案，安全性、證明經濟性、互通性及依賴關係仍待進一步完善，方可考慮於以太坊部署。

常見問題

EIP-8361 是否創建新交易類型？

否。EIP-8361 僅將證明攜帶機制應用於 EIP-8141 框架交易。EIP-2718 提供型別化交易框架，但 EIP-8361 未引入新交易封裝。

EIP-8361 證明是否為零知識證明？

草案提出基於 STARK 的有效性證明，但「有效性」不等同於隱私。證明僅表示在宣稱假設下驗證正確，並未隱藏全部交易資料。

一份證明能涵蓋多筆交易嗎？

證明系統可聚合計算或遞迴證明，rollup 亦可將多筆交易證明壓縮為單一證明。目前 EIP-8361 著重於特定框架交易準入，尚未標準化任意交易批次聚合。

EIP-8361 能否直接降低 Gas 費用？

無法直接降低。此提案僅可減少節點鏈下重複計算，打包交易仍須支付以太坊執行所需 Gas。

EIP-8361 與 EIP-7702 有何不同？

EIP-7702 允許 EOA 透過簽名授權元組委託程式碼執行。EIP-8361 則提出基於證明的方式，讓節點可準入高成本可程式化驗證交易。

免責聲明

本文僅供教育用途，描述技術草案提案，並非以太坊已確定升級。規範、實施計畫、安全假設及網路支援皆可能變動。協議發展與歷史市場資料無法預測未來 ETH 走勢。