EFブログ

ETH上部背景開始画像
ETH下部背景開始画像
コンテンツへ移動

この投稿は、25言語で利用できます:

日本語

Soldøgnインターオプの振り返り ☀️

ティム・ベイコが2026年5月2日に投稿

Soldøgnインターオプの振り返り ☀️

先週、100名を超えるイーサリアムのコアコントリビューターが北極圏の北に位置するスヴァールバル諸島のロングイェールビーンに集まり、Soldøgnインターオプが開催されました。これは、グラムステルダム・ネットワーク・アップグレードに向けた集中的な作業を行う1週間でした。

Soldøgnは昨年のBerlinteropに続くものですが、Amphora 🏺Edelweiss 🏔️Nyota ✨で採用された形式に戻りました。つまり、特定のアップグレード(今回はグラムステルダムの強化)に向けて、マルチクライアントでの進捗に焦点を当てたシングルトラックの1週間です。

金曜日までに、グループは3つの主要な目標を達成しました。グラムステルダム後のガス・リミットの下限を2億(200M)とすることでの合意、外部ビルダーと連携して稼働する安定したePBSの実装、そして最終的なEIP-8037の価格改定(リプライシング)の数値の確定です。また、FOCILやネイティブなアカウント抽象化といったHegotáの機能や、その他多くのトピックについても有意義な進展がありました。

なぜスヴァールバル諸島なのか?

スヴァールバル諸島は、国籍を問わず誰でもビザなしで居住し働くことができる、地球上で数少ない場所の一つです。また、ロングイェールビーン郊外の永久凍土にトンネルを掘って作られた2つのコールドストレージ施設、グローバル・シード・ヴォールト北極圏世界アーカイブがある場所でもあります。これらの施設には、イーサリアムのソースコードのスナップショットを含め、人類が1000年後に必要とするかもしれない農作物、書籍、映画、原稿、ソースコードのバックアップが保管されています。そして最後に重要なことですが、スヴァールバル諸島では4月下旬から8月にかけて太陽が沈みません。イーサリアムと同じように24時間365日稼働しており、コア開発者たちはこの1週間、その環境を最大限に活用しました!

グラムステルダムの強化、イーサリアムのスケール

今週の目標は、グラムステルダムの実装を強化し、アップグレード後のガス・リミットの下限目標を導き出すことでした。ガス・リミットを安全に引き上げることは多角的な問題であり、グラムステルダムはそのうちのいくつかに取り組んでいます。具体的には、ブロックがどのように構築され提案されるか、負荷がかかった状態でクライアント実装にどれだけの余裕(ヘッドルーム)があるか、そしてスループットの向上に伴って状態作成コストがどのようにスケールするか、といった点です。

実際には、最新のePBS、価格改定、およびブロック・アクセス・リストの仕様を実行する安定したマルチクライアントのグラムステルダム・デブネットを稼働させ、信頼できるガス・リミット提案の根拠となるベンチマークデータとともに1週間を終えることを意味しました。

時間の大部分は、しばしば早朝までコードを書くことに集中して費やされ、その合間に設計上の決定をすり合わせたり、長期的なロードマップの項目について議論したりするためのブレイクアウトセッションが行われました。

今週は3つのEthereum Foundation(EF)チームがインフラを提供しました。EthPandaOpsは、チームのエージェント的なワークフローをサポートするためにethIQpanda MCPサーバーを提供しました。Protocol Supportは、インターオプの目標、スケジュール、メモの信頼できる唯一の情報源(SSOT)としてsoldogn.xyzをセットアップしました。そしてEF Digital Studioチームは、この1週間の様子を映像に収めました。初のインターオプ・ドキュメンタリーにご期待ください 🔜!

ePBS

プロポーザーとビルダーの関係を整理することに加えて、ePBSはブロック構築、ペイロードの公開、およびアテステーションの期限を追加することでスロットを再構築します。これにより、実行に割り当て可能な時間が明確になり、ガス・リミットを引き上げるための余裕が増加します。

各チームは、月曜日の夕方までに4つの実行レイヤー(EL)× 4つのコンセンサスレイヤー(CL)のグラムステルダム・デブネットを構築することを目指して1週間をスタートさせました。最初の試みでは多くの問題が表面化したため、目標は火曜日に延期されましたが、火曜日には4×3の構成がストレステストを開始できるほど安定して稼働しました。

そこから残りの1週間は、ストレステスト、エッジケースの発見、修正、そしてその繰り返しというePBSの強化サイクルとなりました。火曜日の朝に行われたBuilder APIのブレイクアウトセッションでは、バリデータの登録、入札/ヘッダー/コミットメントのフロー、ビルダーへの支払いに関するトラストモデル、およびサーキットブレーカーの挙動に関する仕様が大幅に簡素化されました。週半ばのデバッグでは、クロスクライアントのエッジケースに焦点が当てられました。特に、ビーコンリクエストの実行リクエストによる無効化に関して、新しいテストスイートによってすべてのクライアント実装にギャップがあることが明らかになりました。木曜日の朝までに、CLチームは安定したePBSを報告していましたが、EL側の入札経路はまだデバッグ中でした。これらは木曜日から金曜日にかけて解決されました。AllCoreDevs(ACD)にとって真に議論の余地が残る問題は2つあります。1つは、リクエストの署名が受信側のビルダーにコミットすべきかどうか、もう1つは、1 ETHをステークしたビルダーの設計をP2Pのシビル攻撃ベースのライブネス攻撃に対してどのように耐性を持たせるかです。

金曜日までには、ほぼすべてのクライアントが**glamsterdam-devnet-2**上で共に稼働し、外部ビルダーのパイプラインがエンドツーエンドでテストされました!

BALの最適化

ePBSがグラムステルダムのスケールに関するコンセンサスレイヤー側のストーリーであるとすれば、実行レイヤー側の対応するものには2つの主要な要素があります。ガス価格の改定とブロックレベル・アクセス・リスト(BAL)です。BALは、ブロックの読み書きセットに関する十分な情報を事前にクライアントに提供することで、並列実行、バッチ処理されたI/O、および並列での状態ルート計算を可能にします。これらはすべて、クライアントがどれだけ大きなブロックを快適に処理できるかを決定づける要素です。

SoldøgnのBALトラックは、グラムステルダムのePBSチェーンとは別の独自のデブネット上で実行されたため、最適化のベンチマークがコンセンサスレイヤーの安定化作業と絡み合うことはありませんでした。各最適化は独自の機能フラグの背後に配置されたため、今週の測定作業では、それらを単一のバンドルとしてではなく、個別に比較することができました。BALベンチマーク・ダッシュボードとリーダーボードにより、テストスイート全体における各クライアントの最悪のシナリオが明らかになりました。最も遅いパスを最初に改善することに集中することで、チームは最速の実装だけでなく、全体的なガス・リミットの下限を引き上げることができました。

ガスの価格改定

グラムステルダムには、より高いスループットでのリソース使用量にコストをより適合させるための、ELガスの価格改定がいくつか含まれています。その中核となるのが、状態作成のガスコスト増加を定めたEIP-8037です。これは、より高いガス・リミットが際限のない状態の増大につながらないように、新しい状態を書き込む価格を引き上げるものです。

Soldøgnに向けて、8037の仕様にはブロックのガス・リミットに連動した状態バイトあたりの動的な価格設定が含まれていました。これにより、テストは組み合わせ的に苦痛なものとなり(ガス・リミットの帯域ごとに1つのファズマトリックスが必要)、ベンチマークはほぼ処理不可能な状態になっていました。チームは週の初めに動的な価格設定を廃止し、固定のcost_per_state_byteを採用することに合意しました。将来の価格改定は、フォーク内ではなくフォークの境界で処理されることになります。

アカウンティングモデル自体は、より反復的なプロセスをたどりました。月曜日のブレイクアウトセッションでは、状態ガスの計算を実行途中からコールフレームの終了時に移動させました。火曜日のフォローアップでは、アカウント作成コスト、コードデポジットコスト、およびCREATEトランザクションのリバートに関する問題が解決されました。水曜日には、リザーバーの返金/補充に関するエッジケースが浮上し、再考を余儀なくされました。木曜日のブレイクアウトセッションでは、真の複雑さは計算処理ではなくリザーバーモデルにあると結論付け、計算をオペコードレベルに戻しました。金曜日までに仕様は**bal-devnet-6**で安定し、BALトラックから最終的な価格改定の数値が提供されました。

この一連の流れは、インターオプの最も重要な側面の1つを浮き彫りにしています。それは、複雑な仕様、実装、テスト、デバッグ、および設計上の問題を、数週間ではなく数時間で解決できる能力です。最高の状態では、インターオプの1週間は、非同期で進める1ヶ月分の進捗を1日に圧縮することができます!

金曜日までに、これら3つのスレッドは今週の目玉となる数値に収束しました。それは、信頼できる**グラムステルダム後のガス・リミット下限2億(200M)**です。この大幅な引き上げが可能になったのは、ePBSがスロットを構造化して実行により多くの時間を与え、BALの最適化がその構造下でクライアントにスループットの余裕をもたらし、そして8037がより高いガス・リミットが制御不能な状態の増大につながらないことを保証しているためです。

その他のグラムステルダムのスレッド

ePBS、BAL、および価格改定以外にも、残りのグラムステルダムのスコープの大部分がブレイクアウトセッションを通じて徹底的に議論されました。

CLチームは、小規模なグラムステルダムのEIPに関する決定を最終化しました。EIP-8061(エグジット/統合のチャーン増加)はglamsterdam-devnet-1に含まれました。EIP-8080(統合キュー経由のエグジット)は包含が見送られました。EIP-8045(スラッシングされたバリデータの義務削除)は、ルックアヘッド・ウィンドウ内のプロポーザーの義務のみにスコープが縮小されました。そしてEIP-7688(SSZの安定したコンテナ)はグラムステルダムのスコープに残っていますが、プログレッシブ・リスト下でのアテステーションのためのゴシップメッセージのサイズ制限にチームが取り組んでいる間は、glamsterdam-devnet-1からは除外されています。

水曜日の朝に行われたEL/CL同期アーキテクチャのブレイクアウトセッションでは、将来のフォークにおける長期的な「トップアップ同期」アーキテクチャの選択肢を残すため、EIP-8237をグラムステルダムから延期することが決定されました。その代わりに、forkchoiceUpdated / newPayload / getPayloadのシーケンスを正規化し、スナップ同期の開始ハンドシェイクを指定し、エンジンAPIサーフェス間の有効/無効の整合性を強化するEIPを起草することに合意しました。

強化は今週の不変のテーマでした。木曜日のセッションでは、フォークチョイスのコンプライアンス・テスト・フレームワーク、再現可能なCLエッジケースのシナリオをまとめたDiamondリポジトリ、そしてPandaOpsの外部ビルダー・テストツールであるbuildoorが取り上げられました。セッションの途中で、参加者がその場で提案した多数の攻撃シナリオに対するデモが行われました。

グラムステルダムの先へ

いくつかのブレイクアウトセッションでは、Hegotáやそれに続くフォークに目を向けました。

意図的に特定の提案に依存しないネイティブなアカウント抽象化に関するセッションから始まり、将来の設計が満たすべき要件と制約について検討しました。代替の署名スキーム、集約、バッチ処理、リカバリー、ガス・スポンサーシップ、柔軟なノンス、キーストア・ウォレットといった機能セットの目標が、パブリックなメンプールの互換性、ステートレス性、およびレイヤー2 (L2)のDoS耐性に関する厳しい制約と並行して議論されました。

木曜日のFOCILのブレイクアウトセッションでは、実装のアップデートに焦点が当てられました。初期のプロトタイプはすでに機能しており、マルチクライアントのインターオプと専用のFOCILデブネットが直近の次のステップとして設定されました。また、2つの注目すべき設計上の決定が下されました。1つは、2エポックの非ファイナリティ期間中はFOCILを無効にすること(プロポーザー・ブーストのサーキットブレーカーの挙動を反映)、もう1つは、フレーム・トランザクション / EIP-7702との互換性のためにインデックスベースのブックマーク・アプローチを採用することです。

さらに先を見据えて、長期にわたるETH P2Pトラックでは、デフォルトでのプライバシー保護とスロットを意識した統合を備えた、libp2pのQUICベースの代替案が描かれました。これと並行して、2.4 MBのペイロードでGossipSubの約6倍の伝播速度をシミュレートした消失訂正符号化ブロードキャストのプロトタイプも示されました。CLトラックでは、バリデータセットの状態増大に対するよりクリーンな長期的な答えとして、最終的に統合(コンソリデーション)を完全に非推奨にする(統合をサポートする最後のフォークを宣言し、その後はエグジットして再デポジットすることを強制する)という強い意見も浮上しました。

ACDプロセス

水曜日の午後、ACDEの共同リーダーであるNixoとAnsgarが、ACDプロセスに関するコアコントリビューターからの意見を集めるセッションを進行しました。このセッションでは、ヘッドライナーの構成を再検討し、ストローマップ(strawmap)を持つことの賛否を議論し、EIP SFIの基準を正式なものにしました。参加者の多くはヘッドライナーを維持しつつも、EIP対テーマという厳格さを緩和し、「テーマ+候補EIP」を実行可能なパターンとして受け入れることを望んでいました。ストローマップにおける2026年以降のフォークごとの年割り当ては、過度に正規化されていると指摘され、緩和される可能性が高くなりました。新しい4項目のSFI定義が提示され、ACDTが準備完了のシグナルを出し、ACDE/ACDCが最終決定権を保持することになりました。CFIの決定後に作成され、メタEIPに反映される新しい優先順位付けプロセスが、Hegotáからデブネットへの包含を推進するというSFIの古い役割に取って代わることになります。

コールの調整に関しては、アレックス・ストークスが来週から3ヶ月間のサバティカル休暇を取ることを発表しました。その間、**PariがACDCのモデレーションを担当し、BarnabasがACDTの代役を務めます。まとめると、NixoAnsgarがACDEの議長を務め、PariがACDCの暫定モデレーターとなり、Mario、Barnabas、Danceratopz**がACDTのモデレーションを交代で担当します。

その他のすべて

上記すべてに加えて、各チームは対面での時間を活用し、より優れたテストハーネス(Hiveのフィードバックループを数時間から数分に圧縮)から、エンジンAPIの基盤改善(ゴシップの重複排除、バッチ処理された呼び出し、ライトクライアント主導のヘッドのディスカバリー)、クライアント・ダイバーシティに関する難しいトレードオフ、その他多くのトピックに至るまで、あらゆる面で進捗を遂げました。セッションノートの完全なリストは、soldogn.xyzでご覧いただけます。

次のステップ

ここから各チームは帰路につき、この1週間でプロトタイプ化されたものを本番環境で利用できるようにします。今後数週間は、新しい仕様に対するクライアント実装の強化、テストカバレッジの最終化、そしてSoldøgnのドラフトPRをマージされたコードに変換する作業に集中することになるでしょう。

いつも通り、2億(200M)のガス・リミット目標や最終的な価格改定の数値などの最終決定は、AllCoreDevsコールで行われ、公に共有されます。これらが来週の主要なトピックになることをご期待ください!


はるばる北緯78度まで足を運び、この1週間を成功に導いてくれた皆さんに心から感謝します!毎日グループをまとめ上げてくれたEthPandaOps、そして毎日の目標を達成するために白夜の下で働いてくれたすべての人たち(初めてインターオプに参加したEthrexのクルーを含みます)に特別な感謝を捧げます。信じられないほど生産的な1週間でした。幸運なことに、この思い出を残すための完全なショートフィルムも制作される予定です ☀️

この投稿は英語から翻訳されたものです。そのため、完全には正確ではない、または最新のものではない場合があります。オリジナルの英語版は、英語をご覧ください。

Stay Updated

Subscribe to get email notifications about the topics you care about. Choose from research, events, security updates, and more.


カテゴリ