彼は、アカウントアブストラクション、ステート設計、暗号証明集約に関する最近の研究が、トランザクションの実行内容と、その実行に先立って証明しなければならないこととの明確な分離に貢献していると主張しています。
Buterinは、EIP-8141、代替ステートモデル、キーノンス、および再帰的STARKベースのメンプールに関する最近の研究が、トランザクションのより明示的な概念モデルを生み出していると述べました。
鍵となるのは、「アクション」と「依存関係」の2つの要素を区別することです。
「アクションとは、トランザクションによって生じる効果のことです」とButerinは説明しました。
この区別は概念的なものに聞こえるかもしれません。しかしButerinは、両者を明示的に分離することで、Ethereum開発者が根本的に異なる方法で最適化できるようになる可能性があると主張しています。
重要性
バリデーション（検証）と実行は、従来密接に結び付いていました。ノードはトランザクションを受信し、必要な情報を検証し、最終的にそれらを実行します。
Buterinは、依存関係には最適化に特に適した特性があると主張しています。
多くの依存関係は並列で検証可能です。中には、トランザクションがブロックに到達する前にメンンプールによって検証できるものもあります。また、Ethereumステートへのアクセスを全く必要としないものもあります。
これらのいわゆる「純粋な」依存関係は、メンンプールによって1度だけチェックされ、その後すべてのバリデータによって再度実行される必要がなくなる可能性があります。
Buterinによれば、このようなチェックの大規模な集まりは、最終的にはそれらがすべて正しく行われたことを証明する1つのSTARKによって置き換えられるかもしれません。
「依存関係は並列処理できます」と彼は記しています。
