技術要約: BigDipper

問題提起

リーダーベースのビザンチン障害耐性（BFT）プロトコルは、その低レイテンシと単純な通信構造により、プロダクション環境のブロックチェーンシステムにおいて主流となっています。しかし、これらはリーダーに対して、トランザクションの包含に関する短期的な制御権を与えてしまいます。悪意のあるリーダーは、プロトコルのライブネス（生存性）を維持しつつ（ライブネスを保証する一方で）、オークションの入札、オラクル更新、清算、ブリッジメッセージといった、時間的に制約のあるトランザクションを選択的に遅延させたり、除外したりすることが可能です。この現象は「短期的な検閲（short-term censorship）」と呼ばれ、標準的なBFTのライブネス保証では捉えきれないものです。

既存の解決策は、強力なアンチ検閲、隠蔽、または順序付けメカニズムをコンセンサスパスの中にハードコードしています。これらのアプローチは特定のユースケースには効果的ですが、特定のトランザクションがその程度の堅牢性を必要としているかどうかにかかわらず、すべてのトランザクションに同じ高いコストを強いることになります。本論文は、エンドツーエンド原則に従った、よりモジュール化された設計が必要であると主張します。すなわち、コンセンサス層は安全な順序付けとデータ可用性のための最小限のプリミティブを公開し、検閲耐性の戦略とコストの選択は上位層のアプリケーションに委ねるべきであるという考え方です。

手法

BigDipperは、トランザクションの送信とリーダーベースのBFTコンセンサスの間に位置する、**検閲耐性データ可用性（DA-CR）**層を導入します。このシステムは、以下の3つのコアコンポーネントを中心に設計されています。

1. DA-CR抽象化: レプリカがミニブロックを寄与し、どのデータが利用可能であり、リーダーによって捕捉されるべきかを証明するメカニメントを持つ層。この層は、パラメータ $(t, \eta)$ によって特徴付けられます。ここで $t$ は正直なミニブロックの保証された包含を、$\eta$ はリーダーによる残存的な空間確保能力（データの除外能力）を表します。
2. シャーディングされたコンセンサスクリティカルパス: バリデータがフルペイロードのブロックをダウンロードして実行しなければならない従来の設計とは異なり、BigDipperはクリティカルパス上でデータをシャーディングしたまま保持します。バリデータは、フルペイロードを再構成するのではなく、コンパクトなコミットメント、可用性の証拠、およびDA-CRの包含ルールに基づいて投票を行います。
3. クライアント調整可能な送信（Navigator）: クライアントが「ファンアウト」パラメータ $x$ を選択し、トランザクションを $x$ 個の異なるレプリカに送信するトランザクション拡散プロトコル。これにより、クライアントは通信コストと迅速な包含の確率をトレードオフすることができます。

コア構成

本論文は、リード・ソロモン（RS）消失訂正符号と**線形多項式コミットメント（KZG）**に基づく具体的なDA-CR構成を提示しています。

• Card-7: リーダーが包含されたミニブロックに対する証跡を提供しなければならない、説明責任のあるプロトコル。これは、$t = n - 2f$ 個の正直なミニブロックが含まれること、および $\eta = 0$（空間確保なし）であることを保証します。これには $n \ge 3f + 1$ が必要です。
• Card-1/4: よりオーバーヘッドの低い、説明責任を伴わないバリアント。公開的な証跡の要求を取り除くことで、リーダーがどのレプリカが含まれたかを隠せるようにします。これは $t = n - 3f$ および $\eta = n - f - 1$ を達成し、$n \ge 4f + 1$ というより強い仮定を必要とします。
• Card-Lite: 二重準同型コミットメントスキームを用いたCard-7の最適化版。フルリストを転送するのではなくコミットメントをサンプリングすることで、パーレプリカのオーバーヘッドを $O(\log n)$ に削減しつつ、$t \approx n - 2f$ を維持します。

HotStuff-2との統合

BigDipperはHotStuff-2内に実装されます。この統合は外科的なものであり、妥当性述語としてScoopingルールを導入します。リーダーの提案は、完了したDA-CR出力（データの可用性と必要なミニブロックの包含を証明する証明書）を取り込んでいる場合にのみ有効となります。これはHotStuff-2の安全性コアを変更することはありませんが、リーダーが要求されたレプリカ寄与データを捕捉することなしに進行することを防ぎます。

主な貢献

1. 短期的な検閲耐性のためのモジュール化された抽象化: データ可用性を特定の検閲耐性ポリシーから分離するDA-CRの導入。これは、保証された包含（$t$）とリーダーの影響力（$\eta$）の間のトレードオフを形式化します。
2. シャーディングされたスケーラブルなデータパス: 通常のバリデータが投票するためにブロックの全ペイロードをダウンロードする必要のない設計。彼らはコミットメントとメタデータを検証するため、集約されたプロポーザル帯域幅は、単一のリーダーの入力帯域幅に制限されるのではなく、レプリカ側のデータ寄与量に応じてスケールします。
3. クライアント調整可能な検閲耐性: Navigatorプロトコルにより、クライアントはファンアウトを増やすことで包含確率を増幅できます。本論文は、コストとセキュリティのトレードオフを分析し、送信されるトランザクション数とレプリカ数が増加するにつれて、広範な検閲が指数関数的に困難になることをユニオンバウンド（union-bound）を用いて証明しています。
4. 具体的な統合と分析: BigDipperをHotStuff-2内に完全に実装し、DA-CRが安全性を損なうことなく、既存のリーダーベースのBFTプロトコルと精密に接続できることを実証しています。

結果と分析

• 検閲耐性: 分析によれば、悪意のあるリーダーは少数のレプリカに送信されたトランザクションを検閲することは可能ですが、大量のトランザクションを検閲することは、システムがスケールするにつれて指数関数的に困難になります。具体的には、$T$ 個のクライアントがそれぞれ $x$ 個のコピーを送信する場合、アドバーサリ（敵対者）が $\alpha$ 分率のトランザクションを検閲する確率は、$T$ とともに指数関数的に減少します。
• スケーラビリティ: コンセンサスとフルデータの実行を分離することで、BigDipperはコンセンサス層がレプリカの総帯域幅に対して線形にスケールすることを可能にします。システムの容量は、すべてのバリデータがフルペイロードを処理する必要があるというボトルネックに縛られません。
• パフォーマンス: Card-7プロトコルは、既存のHotStuff-2のメッセージスケジュール（Propose, Vote, Prepare, Vote2）内に収まっており、DA-CRメッセージ（Collection, Disperssal, Approval, Agreement）を標準的なBFTメッセージに相乗りさせることで、新しいフェーズを追加することなく動作します。

重要性

本論文は、BigDipperが、既存のプロトコルの「一律適用（one-size-fits-all）」の税を回避する、短期的な検閲耐性のためのモジュール化されたフレームワークを提供すると主張しています。エンドツーエンドの議論に従うことで、アプリケーションは、レイテンシと包含の保証に関する特定の経済的ニーズに基づいて、独自の送信戦略（例：いくつのレプリカに接触するか、消失訂正符号を使用するか）を選択できるようになります。

その重要性は、検閲耐性の負担を固定されたプロトコルコストから、調整可能なクライアント側のパラメータへと移行させた点にあります。同時に、データ可用性がフルレプリケーションではなく、シャーディングされたコミットメントベースのメカニズムを通じて証明されることで、コンセンサス層が効率的であることを保証しています。

これは、リーダーベースのモデルの低レイテンシの利点を犠牲にすることなく、リーダーベースのBFTを検閲耐性にできることを示しており、それはデータ可用性がフルレプリケーションではなく、シャーディングされたコミットメントベースのメカニズムを通じて証明される場合に限られます。