状態遷移関数

コンテキスト

この図はEthereumの状態遷移関数の詳細を説明するセクションに掲載されており、トランザクションが実行される際の具体的な処理ステップを示している。

この図が示す内容

この図は、Ethereumの状態遷移関数の各ステップを詳細に示している。トランザクションの検証（署名の正当性、ナンスの一致、ガスリミットの確認）、送信者アカウントからのガス費用の差し引き、EVMコードの実行（コントラクトコールの場合）、状態の更新、残余ガスの送信者への返還という一連のプロセスが描かれている。トランザクションが途中で失敗した場合（ガス不足など）、状態変更はすべて元に戻されるが、消費されたガスは返還されない。

意義

この図は、Ethereumの状態遷移がアトミックであること——成功するか完全に元に戻るか——を示している。このアトミシティは、スマートコントラクトの信頼性と予測可能性を保証する基本的な性質であり、ガスメカニズムによる計算リソースの適切な課金と組み合わさって、Ethereumの実行モデルの核心を形成している。

関連用語

の他の図

Fig. 1. 状態遷移システム

Fig. 2. ブロック構造

Fig. 3. 簡略化された支払い検証

Fig. 5. ブロック適用ダイアグラム

Fig. 6. 供給成長率