以太坊聯合創始人 Vitalik Buterin 已概述了他認為以太坊交易可能發生的重大演變。
他聲稱，最近在帳戶抽象、狀態設計和加密證明聚合方面的工作，正促使交易的功能與交易執行前必須證明的內容之間產生更明確的區分。
Buterin 表示，圍繞 EIP-8141、替代狀態模型、金鑰隨機數和基於遞迴 STARK 的記憶體池的最新研究，已產生了一個更明確的交易概念模型。
關鍵在於區分兩個組成部分：「動作」和「依賴項」。
「動作是交易產生的效果，」Buterin 解釋道。
這種區別聽起來可能主要是概念性的。然而，Buterin 認為，明確地將兩者分開，可以讓以太坊開發者以根本不同的方式對它們進行最佳化。
為何重要
驗證和執行傳統上是交織在一起的。節點接收交易，驗證所需資訊，最終執行它們。
Buterin 認為，依賴項具有特別適合最佳化的特性。
許多依賴項可以並行檢查。有些可以在交易到達區塊之前由記憶體池檢查。其他則根本不需要存取以太坊狀態。
那些所謂的「純」依賴項可能可以由記憶體池檢查一次，然後永遠不會再被每個驗證者執行。
根據 Buterin 的說法，大量此類檢查最終可以被單一的 STARK 證明取代，證明它們都正確執行。
「依賴項可以並行處理，」他寫道。
