実行モデル、コンセンサス、EVM の基礎、検証可能な AI を扱う技術記事です。洞察を通じて Web3 をより明確にします。
編集部おすすめ成熟した三つの路線が単一スレッド実行を打ち破ります。Sealevel 風の決定論的な事前宣言、Block-STM 風の楽観的並行制御、Sui 風のオブジェクトモデルです。本稿はそれらの前提、開発者コスト、EVM 互換性との相性を比較します。
記事を読む →
状態変数は宣言順に 32 バイトのスロットへ収まります。小さい型はスロットを共有し、マッピングと動的配列はハッシュから位置を導出し、継承順はスロット番号を全体としてずらします。これらの配置規則が、アップグレード可能なプロキシがなぜコンパイラの割り当てるスロットを避けなければならないかを決めます。
4 つの呼び出し命令はバイトコード上では番号が数個違うだけですが、そのセマンティクスは、コードが誰のコンテキストで動き、誰のストレージに書き込み、msg.sender と address(this) が何になるかを決めます。CALL、CALLCODE、DELEGATECALL、STATICCALL を順に対照すると、プロキシがなぜ DELEGATECALL に依存するのか、STATICCALL がなぜ導入されたのかが見えてきます。
生の calldata から ABI を分解します。4 バイトのセレクタは正規署名を切り詰めたもので、静的型はそのまま 1 ワードを占め、動的型はオフセットと長さによる二段階のアドレッシングで辿ります。イベントは indexed パラメータを topics に書き込むことで検索性を得ます。ABI は自己記述的ではないため、デコードとアップグレードはいずれも制約を受けます。
イーサリアムのイエローペーパーはブロックレベルの状態遷移をネストした呼び出しとして書き下しており、評価順序はそれゆえ仕様の一部です。一件ずつの直列実行のセマンティクスがどこから来るのか、読み書き集合のコンフリクトがなぜ事前に判定できないのか、決定性と検証の単純さが何と引き換えに得られたのか、そしてこの設計の原点にどんな案が正面から応答しているのかが、以下の本筋です。
ブロックヘッダの stateRoot はわずか 32 バイトですが、ネットワーク全体のアカウント、残高、コントラクトストレージを束縛します。以下では Merkle Patricia Trie のノード構造と、アカウントの下にぶら下がるストレージ trie の設計を分解し、Merkle 証明がどのようにオフチェーン検証を支えるのか、そして状態膨張のコストが誰にのしかかるのかを説明します。
Gas は EVM の資源計量単位であり、その価格は手数料市場が決めます。両者を混同すると、スケーリングと実行中止の境界を誤って判断することになります。本稿は固有コストと動的コストの構成を分解し、out-of-gas と REVERT がそれぞれ何を返すのか、EIP-1559 の base fee と tip がそれぞれ誰に帰属するのかを説明します。
同じ 32 バイトのデータでも、メモリ、ストレージ、一時ストレージのどこに置くかでガスコストは二桁変わることがあり、生存期間もまったく異なります。本稿は帰属、寿命、価格設定という三つの軸で三種類のストレージを分解し、再入ロック、一時配列、状態変数をそれぞれどこに置くべきかを説明します。
EVM はレジスタを持たないスタックマシンです。256 ビットの語長、1024 項のスタック深、JUMPDEST にしかジャンプできないプログラムカウンタを備えます。フェッチ、デコード、実行という 1 回のループは、スタックのアンダーフローとオーバーフローがなぜガスを使い切るのか、そしてスタックマシンがレジスタマシンに対して何を得て何を支払ったのかを説明します。
イーサリアムを送金を記録する台帳と見なすと、最も重要な部分を見落とします。アカウント・ストレージにある自由に読み書きできる変数です。イエローペーパーの状態遷移関数 Υ(σ, T) に従えば、イーサリアムは分散型ステートマシンであり、EVM はその状態遷移の実行仕様です。さらに、ネットワーク全体がビット単位でリプレイすることが、実行セマンティクスに一連の厳しい制約を課します。
並列 EVM は送金のベンチマークではめったに失敗しませんが、AMM、レンディング、NFT ミントのトラフィックではしばしば崩壊します。本稿は、コンフリクトのホットスポットがどう形成されるか、読み書き集合の粒度がコンフリクト率をどう左右するか、実ワークロード下でピーク TPS がどう劣化するかを説明します。
より高い TPS は、より高価なハードウェアとより少ないバリデータで買われているのか。本稿は、検証可能な次元——バリデータ要件、地理、クライアント多様性——を分解し、BLS 集約のようなエンジニアリング上の対応を誇張なく論じます。投資助言ではありません。
TPS、BPS、確認レイテンシ、最終性、コンフリクト率は日常的に混同されます。本稿は再利用可能な定義、よくある誤用パターン、そしてあらゆるベンチマークに対して要求すべき開示チェックリストを示します。投資助言ではありません。
コントラクト開発者、クライアントエンジニア、研究者が並列 EVM に関心を持つ理由はそれぞれ異なります。本記事は三つの読書経路を示し、このサイトにすでに公開されている記事だけを指すことで、各読者が何を読むべきか、何を飛ばしてよいかを判断できるようにします。
「EVM 互換」はしばしばマーケティングの一文に平坦化されます。実際に移行コストを決めるのは、バイトコードのセマンティクス、プリコンパイル集合、JSON-RPC の挙動、そして Foundry／Hardhat がそのまま動くかどうかです。本稿はそれら四つの層を分離し、並列化がなぜ互換性の維持を難しくするかを説明します。
楽観的並列 EVM Layer 1 を選ぶことは、決済ドメイン、互換性、並列戦略における同時のトレードオフを意味します。本稿は Bitroot が解決することと解決しないことをスローガンではなく境界として述べ、技術要素がどう支え合うかを示します。
楽観的並行制御は 1981 年のデータベース研究に始まり、今日では多くの並列 EVM を支えています。本稿は読み取り–検証–書き込みのフェーズを説明し、OCC を悲観的ロックや MVCC と対比し、ブロックチェーンが追加する決定性とビザンチンの制約に名前をつけます。
成熟した三つの路線が単一スレッド実行を打ち破ります。Sealevel 風の決定論的な事前宣言、Block-STM 風の楽観的並行制御、Sui 風のオブジェクトモデルです。本稿はそれらの前提、開発者コスト、EVM 互換性との相性を比較します。
「スケーリング」はしばしば一つの問題として扱われます。本稿はそれをコンセンサス、データ可用性、実行、決済に分解し、L2、シャーディング、独立系 DA、L1 並列実行をその地図上に配置し、並列 EVM がどこに位置するかを示します。
主要なイーサリアムの輻輳事象は一つの設計上の根を共有しています。EVM はトランザクションを一度に一つ実行します。本稿は、ガスリミットの引き上げと EIP-1559 がなぜその実行モデルを書き換えられないのか、そして確認遅延が単一スレッドの上限をどう増幅するのかを説明します。
AI においてデータ・モデル・計算の貢献者がなぜ自動的な支払いを受けにくいのか。オンチェーンのメタデータインデックス、閾値シャーディング、TEE を活用した監査、スマートコントラクトによる分配がそれぞれ何を解決し、何を解決しないのかを整理し、権利が決済とトラステッドコンピューティングの上にどう位置づけられるかを論じます。
