Vitalik Buterin氏、再帰的STARKでイーサリアムのメンプールに挑む
TREE NEWS 報道： イーサリアムの共同創設者Vitalik Buterin氏は、「Recursive STARK Mempool」と題した新しい提案EIP-8288を発表した。これは、トランザクションがブロックに含まれる前に、どのように伝播、検証、価格設定されるかを抜本的に見直すことを目的としている。Buterin氏は、この提案がHegotaハードフォークに続く予定のアップグレードであるI-starフォークに組み込まれることを望んでいると述べている。
核心となるアイデア
この提案は、再帰的STARK証明を活用することで、ノードがメンプール内の大量のトランザクションを個別に再実行することなく、その有効性を検証できるようにする。実際には、ノードは保留中のトランザクション群全体が有効であることを示す簡潔な暗号学的証明を受け取ることができ、一つずつ処理する必要がなくなる。これにより、特にイーサリアムがレイヤー2ロールアップやblobスループットの増加に伴ってスケールする中で、ノードの計算負荷を劇的に軽減できる可能性がある。
なぜ重要か
イーサリアムのメンプールは長らく摩擦の原因となってきた。バリデータがトランザクションを拾い上げる前に待機させる、公開された非構造化の待合室のようなものである。また、MEV抽出、フロントランニング、スパム攻撃の温床でもある。再帰的STARKメンプールは、以下のような新しい設計プリミティブを導入する可能性がある：
- スケーラブルな検証：ノードはすべてのトランザクションを実行する代わりに証明を検証するため、ハードウェア要件が下がり、分散化が向上する。
- プライバシー保護メンプール：暗号化されたトランザクションは、含まれるまで内容を明かさずに有効性を証明できる。
- MEV緩和：より構造化されたメンプールは、サーチャーが悪用する情報の非対称性を減らす可能性がある。
- DoS耐性：スパムトランザクションは、証明ベースのバッチ処理と手数料メカニズムによってフィルタリングしやすくなる。
技術的およびエコシステムへの影響
STARK（Scalable Transparent ARguments of Knowledge）は、すでにイーサリアムのスケーリングロードマップの基礎となっており、StarkNetや他のzk-rollupを支えている。再帰的STARK、つまり他の証明を検証する証明は、集約を可能にする比較的新しい開発である。これをメンプールに適用するのは斬新な試みだ。事実上、メンプールをロールアップのような環境として扱い、実行前に有効性を証明する。
しかし、この提案には課題もある。ネットワーク層（devp2p）、コンセンサスクライアントのロジック、そしておそらく手数料市場に大幅な変更が必要となる。また、誰がこれらの証明を生成し、どのようにインセンティブを与えるかという疑問も生じる。少数のアクターがメンプール証明を生成する場合、新たな中央集権化のベクトルが生まれる可能性がある。
将来を見据えた視点
Buterin氏の提案は、イーサリアムの進化が単に実行のスケーリングだけでなく、トランザクションのサプライチェーンを再考することでもあるというシグナルだ。I-starフォークで採用されれば、より効率的でプライベートかつ回復力のあるメンプールへの道を開く可能性がある。それは、モジュラーブロックチェーンや代替L1が独自のトランザクション順序やプライバシー機能を実験する中で、イーサリアムの競争力を維持するものとなる。今後数ヶ月で、コミュニティがこのビジョンに結束するのか、あるいはより漸進的な改善を選ぶのかが明らかになるだろう。
