他表示，近期在賬戶抽象、狀態設計和密碼學證明聚合方面的工作，有助於更清楚地區分交易的執行內容，以及在執行前必須證明的事項。
Buterin 指出，圍繞 EIP-8141、替代狀態模型、帶鑰值的隨機數以及基於遞迴 STARK 的記憶池，最近的研究已經構建出更明確的交易概念模型。
關鍵在於區分兩個組成部分：「行動」與「依賴」。
「行動是交易產生的效果，」Buterin 解釋。
這種區分聽起來主要屬於概念層面，但 Buterin 認為，如果明確將兩者分離，Ethereum 開發者便能以根本不同的方式優化它們。
重要原因
驗證與執行傳統上是緊密結合的。節點接收交易，驗證所需信息，最終執行交易。
Buterin 指出，依賴具有特定性質，使其特別適合優化。
許多依賴可以併行檢查；有些能在交易進入區塊前，由記憶池提前審查；還有部分甚至不需要訪問 Ethereum 狀態。
這些所謂的「純依賴」有可能僅由記憶池檢查一次，之後每個驗證人便無需再重複執行。
Buterin 認為，這類大量檢查最終有望由一個 STARK 證明直接取代，證明所有檢查都已正確進行。
「依賴可以平行處理，」他寫道。
