ブテリン氏、イーサリアム取引フォーマットの大きな進歩をからかう

イーサリアムの共同創設者ヴィタリック・ブテリン氏は、 概説した 同氏は、これがイーサリアムのトランザクションの潜在的な大きな進化であると見ている。

同氏は、アカウントの抽象化、状態設計、暗号証明の集約に関する最近の研究が、トランザクションで実行される内容と、実行前に証明されなければならない内容をより明確に分離することに貢献していると主張しています。

ブテリン氏は、EIP-8141、代替状態モデル、キー付きノンス、再帰的なSTARKベースのメモリプールに関する最近の研究により、トランザクションのより明示的な概念モデルが生み出されたと述べた。

重要なのは、「アクション」と「依存関係」という 2 つのコンポーネントを区別することです。

「アクションとは、トランザクションが持つ効果です」とブテリン氏は説明した。

この区別は概念的なものに聞こえるかもしれません。しかし、ブテリン氏は、この 2 つを明示的に分離することで、イーサリアム開発者が根本的に異なる方法でそれらを最適化できる可能性があると主張しています。

なぜそれが重要なのか

検証と実行は伝統的に絡み合っています。ノードはトランザクションを受信し、必要な情報を検証し、最終的にトランザクションを実行します。

Buterin 氏は、依存関係には最適化に特に適した特性があると主張します。

多くの依存関係を並行してチェックできます。トランザクションがブロックに到達する前に、メモリプールによって検査できるものもあります。他のものは、イーサリアム状態へのアクセスをまったく必要としません。

これらのいわゆる「純粋な」依存関係は、mempool によって一度チェックされるだけで、その後はすべてのバリデーターによって再度実行されない可能性があります。

Buterin 氏によると、このようなチェックの大規模なコレクションは、最終的にはすべてが正しく実行されたことを証明する単一の STARK に置き換えられる可能性があります。

「依存関係は並行して処理できます」と彼は書いています。