イーサリアムのプランAとプランBの統合

今週は、Tim Beiko がお届けする AllCoreDevs Update 011 をぜひお読みください。これは、統合に向けて Ethereum に残されたものを包括的に考察したものです。

そこで疑問なのは、合併はいつ行われるのかということです。

これは現在多くの人が関心を持っている唯一の質問であり、公式の回答は「準備ができたら」というものですが、これは事実ですが、あまり役に立ちません。それでは、詳しく見ていきましょう。

これには、予測をそれほど単純ではないものにする、多少異なる 2 つの部分が含まれます。最初の部分は、クライアントがマージに対応できる簡単な部分ですが、2 番目の部分は Ethereum の難易度爆弾です。

イーサリアムの難易度爆弾とは何ですか?

ディフィカルティボム（氷河期とも呼ばれる）は、イーサリアムの初期の頃から存在していたメカニズムです。その機能は、一定のブロックの高さに達した後、プルーフ・オブ・ワーク (PoW) ブロックのマイニングの難易度を指数関数的に増加させ、ブロック間の時間を増加させることです。現在、難易度爆弾が発動するとブロック生成率が急激に低下する可能性があることを示す Dune ダッシュボードがあり、その後、ハードフォークでリセットすることで回復できます。

難易度爆弾の考え方は2つあります。まず、開発者にとって必須の機能を提供します。難易度爆弾を削除または遅延するには、ハードフォークが必要です。私たちの考えは、ハードフォークを介してこれを行う場合は、この機会を利用してプロトコルをアップグレードすることです。特に初期の頃は、難易度爆弾の目的は、プルーフ・オブ・ステーク（PoS）コンセンサスメカニズムへの急速な移行を促すことでした。私の意見では、この点ではほとんど失敗しています。その証拠として、(a) PoS への移行はまだ成功しておらず、難易度爆弾をすでに少なくとも 5 回延期していること、(b) Arrow Glacier と Muir Glacier のハードフォークはどちらも難易度爆弾を延期しただけで他には何もせず、主な影響は計画を複雑にしただけであることなどが挙げられます。

ディフィカルティボムの 2 番目でより現実的な目的は、PoS がアクティブ化された後もマイナーが PoW マイニングに参加し続けることを防ぐことです。マイナーは難易度爆弾を自分で解除する必要がありますが、これは難しくありません (コードは 1 行だけ)。しかし、難易度爆弾が存在すると、マージ後にマイナーが独自の ETH1 クライアント ブランチを維持することが事実上強制されます。

いずれにせよ、重要なのは、現在の難易度爆弾の反復がすぐに目立つようになるということです。

プランAとプランB

理想的な道筋（プラン A）は、難易度爆弾が大きな問題になる前に合併することです。バックアップオプション（プラン B）は、爆弾を遅らせるだけの別のハードフォークを実行し、マージの準備にさらに数か月を費やすことです。

つまり、これは競争であり、プラン A が最適ですが、難易度爆弾がイーサリアムを破壊する前にすべてが完全に整っていることに依存します。しかし、時間は全体的なコンピューティング能力によって影響を受けるため、正確な時間はわかりません。また、クライアントのマージ準備ステータスも正確にはわかりません。

要するに、私たちは 5 月末までにこの 2 つの事柄についてより明確な情報が得られることを期待しています。その時点で（またはその後数週間で）、それを実行するか、難易度爆弾を遅らせるためにプラン B であるハードフォークを使用するかを決定する必要があります。難易度爆弾を取り除くためのハードフォークを組織するには、必要な場合は数週間かかるため、意思決定に時間がかかりすぎることはできません。

これまでのところ、テストマージの進捗は順調に進んでいるようです (下記参照)。また、最新の分析によると、難易度爆弾は、平均ブロック時間が 20 秒に上昇する可能性がある 8 月中旬から下旬までは、イーサリアムにとって深刻な問題にはならないことが示唆されています。

もし私がギャンブラーだったら、ディフィカルティボムを遅らせることなく合併が8月に起こることにUSDCをいくらか賭けるだろう。しかし、これは決して金銭的なアドバイスではありません。もしあなたが全財産を失ったとしても、泣き言を言わないでください。

Tim Beiko は、マージのタイムラインについて独自の見解を示しています (これは、上で説明した内容と実質的には変わらないと思います)。

最新情報を入手するには、EF メーリング リストに参加してください。

テストマージ

#TestingTheMergeの概要については、Tim の ACD アップデートを参照してください。毎週のマージテストコールのメモは、こちらでご覧いただけます。

開発者がマージをテストするために何をしているのかに入る前に、Ethereum 上でインフラストラクチャを実行する場合は、マージのテストにも参加する必要があることを強調したいと思います。これが、私たちがこれを実行している間にプロジェクトが中断しないことを保証する唯一の実際の方法です。この目的のために、同僚の Sajida は、誰がテストを行っているかを追跡するための統合テスト リーダーボードを作成しました。

メインネットシャドウフォーク

前回マージ テストについて書いた後、アムステルダムでの 1 回を含め、メインネット シャドウ フォークを 3 回行いました。

メインネットのシャドウフォークは、マージメカニズムとクライアントの準備状況をテストするのに最適です。これらは、メインネットのマージとほぼ同等です (ただし、現在は Ethereum Foundation と開発チームがすべてのバリデータを管理しているため、シャドウフォークが若干容易になっています)。 Shadow フォークは非常にクールなので、詳細には触れませんが、全体として、これまでのテストは大成功でした。

• 最初のメインネットシャドウフォークは4月11日に発生しました。 Pari からの要約は次のとおりです。

マリウスは、このシャドウフォークが大成功だったと発表しました。テスト中に、Geth クライアントでガス制限に関連する構成の問題が見つかりましたが、問題はそれほど深刻ではありませんでした。さまざまなクライアントでさまざまな問題がありましたが、これらの問題が発見され、解決されました。

• 2 回目のメインネット シャドウ フォークは、4 月 23 日の Devconnect カンファレンス中に発生しました。以下は Pari による要約です。

これは、すべてのクライアントがマージを生き残り、その後も同期を維持できた最初のシャドウ フォークであり、ここでは大きな進歩を遂げています。

• 3 回目のメインネット シャドウ フォークは 5 月 5 日に発生し、このテストも非常にスムーズに合格しました。

詳細については、開発者向け電話会議の記録をご覧ください。

これらには、マージ同期に関するいくつかの新しいテストが含まれており、いくつかの問題が見つかりましたが、間違いなく修正可能です。

さらに、Goerli テストネットでも 4 回のシャドウフォークが実行されました。

さらに、6 月に既存の 3 つの Ethereum テストネット (Ropsten、Sepolia、Goerli) を統合する予定です。

ビーコンチェーンのマイルストーン

現時点では、ETH の 10% 以上が Eth2 デポジット契約にステークされています。 hildobby.eth は、ステーキング入金のステータスと履歴を表示する便利な入金ダッシュボードを作成しました。アクティブなバリデーターの数は現在 370,000 に近づいており、かつてない速さで増加しています。

さらに、クライアントの多様性に関してもいくつか良いニュースがあります。 Prysm の市場シェアは現在 50% 未満であり、これはビーコン チェーン全体にとってより健全な状態です。最初の数か月で、Prysm の市場シェアは 68% を超えましたが、これは非常に不安定な状況です。警告投稿をいくつか書くことは実際に役立つようですが、真剣に言えば、リスクを負って時間と労力を費やし、Ethereum をより強力かつ安全にする変更を行った個人や組織に称賛を送ります。

もちろん、戦いはまだ終わっていません。次に改善すべき点は実行クライアントの多様性ですが、これは以前のコンセンサス クライアントの多様性よりもさらに悪いです。

ステーキング

ethereum.org のステーキング ページは完全に刷新され、非常に洗練されています。

Lido は最近、精査されるようになりましたが、ステーキング市場シェアの 30% 以上を占めるツールとして、これはまったく正しいです。これにより、透明性に関する騒動が起こったようです。 Lido の次の章は、3 月初旬に私がリクエストした更新された分散化ロードマップです。さらに、Lidoのオペレーター戦略も共有しました。 Superphiz はこのすべてについていくつかの考えを持っています。

また、Lido からは、「マージ後のエントリ キューのモデリング」というタイトルの論文が公開され、バリデータ アクティベーション キューが非常に長い場合に、合併が Lido の社会化報酬モデルにどのような影響を与えるかが分析されています。

Rocket Pool に関しては、Bits Be Trippin が Darren Langley とのインタビューで Rocket Pool の概要を説明しました。 Rocket Pool は、最新のベータ リリースで Eth1 クライアントとして Besu と Nethermind をサポートすることを発表しました。やった、クライアントの多様性だ！

おすすめの人気科学記事

• 開発者が取り組んでいるこのシャドウフォークとは何でしょうか? Yash Kamal Chaturvedi 氏の記事では、このことについていくつか説明しています。

• ConsenSys は優れたマージ ナレッジ ベースを構築しており、時間をかける価値のある最近の記事がいくつかあります。

1. 合併の4つの柱‌;

2. PoSについては、ティム・ベイコ、マット・ネルソン、クリス・アナタリオへのインタビューからの抜粋のビデオプレイリストがこちらにあります。また、月曜日のジャスティン・ドレイクへのフォローアップインタビューにもご注目ください。

• こちらは API オタク向けの記事です: Teku チームの Adrian Sutton が、JSON 型定義に関してチームが行っている作業について書いています。クライアント側開発の作業負荷の大部分は、このような舞台裏での重労働です。すべて良いものばかりです。

• パブリックビーコンチェーンノードからインクルージョン料金を盗むというテーマに関するエイドリアンの記事は、クライアントのマージを実行した後にサードパーティのサービスに依存したいバリデーターを実行している人にとっての警告として役立ちます。独自の実行クライアントを起動して実行してみましょう。

• これは、PEEPaNEIP カンファレンスで引き出しについて話しているアレックス・ストークスです。アレックスは素晴らしい説明者です。

• bartek.eth には KZG コミットメントに関する非常に優れた投稿があり、私は Devconnect で KZG コミットメントに関する短い講演を行いました (スライドのみ、ビデオはまだ見つかりません)。多項式は、さまざまな理由から、今後選択されるデータ構造になると思われるので、今こそ、これらすべてを理解するのに良い時期です。

• 今日のホットニュースは、Ethereum 2 プロトコルの形式検証に関する Joanne Fuller の記事「配列範囲外のランタイム エラーの修正」です。時々、同僚たちがプロトコルに関して行った正式な検証作業が過小評価されていると感じることがあります。ジョアンが説明しているように、FV は非常に強力なツールであり、このようにプロトコルを検証することは非常に満足のいくことです。

• ついに Eth2 プロトコルのランダム性に関する章を終えました。予想していたよりもずっと興味深い内容でしたが、予定していたよりもずっと時間がかかりました。確率が難しすぎる！次は何に挑戦するかは分かりませんが、委員会に参加するかもしれません。上位レベルに進む前に、まだいくつかの下位レベルのトピックを終わらせたいと思っています。

注: 元の著者は ConsenSys 開発者の Ben Edgington です。