Vitalik 建議重構以太坊交易框架：將執行與驗證拆分處理

CoinMarketCap 報道，以太坊共同創辦人 Vitalik Buterin 提出一套面向長遠的交易模型，主張把交易內的「actions（動作）」與「dependencies（依賴項）」分離處理。動作負責改寫鏈上狀態；依賴項則用於在執行前確認簽名、狀態證明及有效性等條件已滿足。按此設計，部分驗證工作可在交易被打包入區塊之前完成，為更高程度的並行處理創造空間，亦意味驗證與執行將以兩條流程分開。 現行以太坊交易一般把授權、付費及合約執行放在同一條處理管線：節點需要同時核對簽名有效性、確認發送者有足夠費用，並判斷執行是否成功。Buterin 指出，當中部分檢查不依賴最終狀態變更，理論上可獨立處理。例如數碼簽名、零知識證明，或某些不依賴鏈上狀態變更的有效性證明，可歸類為「依賴項」。若交易能清晰聲明將讀寫哪些狀態，mempool 便更容易辨識哪些條件會受先前交易影響、哪些檢查可預先完成，令交易行為更可預測者有機會提升驗證效率。 與上述方向相呼應的是草案中的 EIP8141。該提案引入名為 Frame Transaction（框架交易）的新交易類型，把一筆交易拆成多個 call frame，分別處理授權驗證、費用支付及用戶操作執行。按草案設計，交易有效性與付費不再完全依賴外層的標準簽名；帳戶程式碼可自訂授權方式及付款規則。驗證 frame 用於確認條件是否成立，sending frame 則負責實際更改狀態。這種結構亦被視為有助於不同 EVM 網絡之間對齊底層交易格式。 不過，EIP8141 仍屬核心草案，尚未納入任何以太坊主網升級，亦未有明確部署時間表。開發者討論期間亦提出多項技術疑慮，包括拒絕服務（DoS）風險、交易替換規則、錢包與區塊建構者相容性，以及在公開 mempool 中同一發送者可同時掛單的交易數量上限等，相關問題仍有待進一步討論。 Buterin 的長期構想亦不止於 EIP8141。他設想對於不需要讀取鏈上狀態的「純依賴項」，可在 mempool 層先行完成初步檢查，避免每名驗證者重複執行同一驗證。在此模型下，網絡可把多項已完成的驗證任務壓縮成一個遞歸 STARK 證明，再由驗證者集中核驗，以降低重複計算並分擔部分驗證負荷。 他亦提到，該方向或有助以太坊未來適應後量子密碼學方案，因抗量子簽名通常更大、驗證成本更高。若帳戶可自訂授權方式，並配合遞歸證明聚合，相關驗證成本或可下降。但上述內容仍屬研究階段，並非現行 EIP8141 規格的一部分；要落實仍需解決證明生成、mempool 協調、數據可用性，以及避免錯誤聚合等挑戰。