BFTシステムにおける検閲耐性の向上
新しいBFTシステムは、取引の含まれやすさと検閲への抵抗力を向上させるんだ。
― 1 分で読む
目次
ビザンチンフォルトトレランス(BFT)システムは、分散型アプリケーションの整合性を保つために重要だよ。これらのアプリは支払いシステムからソーシャルネットワークまで多岐にわたる。典型的なBFTの設定では、複数のノードやレプリカが協力して、いくつかのレプリカが失敗したり悪意を持って行動しても、取引が確認されてブロックチェーンに含まれるようにするんだ。
検閲耐性の課題
既存のBFTプロトコルの大きな問題の一つは、短期的な検閲耐性がないことだね。つまり、リーダーノードが特定の取引を検閲したいと思っても、それらが次のブロックに含まれないようにブロックされる可能性がある。全ての取引が適時に含まれることを目指しているんだ、現在や未来のリーダーの意図に関係なく。
提案されたBFTシステム:検閲耐性の強化
検閲の課題に対処するために、各レプリカがミニブロックの作成に貢献できる新しいBFTシステムを提案するよ。この取引の含有の分散化は、検閲に抵抗する能力を高めつつ、迅速な取引確認と高いスループットを確保する。
システムの仕組み
3つの重要なコンポーネント
- 取引のブロードキャスト:クライアントが取引を複数のレプリカに同時に送信するよ。
- データ可用性コンポーネント(DA):悪意のあるノードがいる場合でもシステムが正しく動作することを保証するために設計されている。この部分は取引データの可用性をチェックする。
- リーダーの強制:BFTプロトコルのリーダーは、最終ブロックにDAコンポーネントから集めた全てのデータを含めなければならない。
プロセス
クライアントが取引を提出すると、それが様々なレプリカにブロードキャストされる。各レプリカは取引データを含む自分のミニブロックを作成する。これらのミニブロックはDAコンポーネントに送られ、そこでより大きなブロックに組み立てられる。リーダーは、合意を得るためにDAコンポーネントからの全ての関連データを最終ブロックに組み込む必要があるよ。
このアプローチの利点
この新しいシステムはいくつかのメリットを提供する:
- 短期的な含有保証:現リーダーが取引を検閲したいと思っても、システムはその取引が次のブロックに含まれるように設計されている。
- 高スループット:より多くのレプリカがシステムに参加するにつれて、同時に処理できる取引が増え、全体のシステム容量が増す。
- 柔軟性:異なる取引は含有の緊急度が異なるかもしれないから、クライアントが取引の性質に応じて戦略を調整できる。
情報の非対称性への対処
提案されたシステムには、2種類の情報の非対称性がある:
- 時間の敏感さ:オークションの入札みたいな取引は、価値を維持するために早く含める必要がある。
- 悪意のある行動:クライアントはどのレプリカが悪意を持って行動しているかを推測するしかない。
これらの問題を軽減するために、私たちのシステムではクライアントが自分の取引が含まれる可能性を高めるために資金のレベルを調整できるようにしている。これは、取引の複数のコピーをさまざまなレプリカに提出することで、キャッチされる可能性を高めることができる。
アーキテクチャの変化による検閲耐性
システムは新しいデータ可用性および検閲耐性(DA-CR)レイヤーを導入する。全ての取引は、レプリカ全体で維持されるこのレイヤーに提出する必要がある。リーダーが必要な取引を含めなければ、合意には達せず、交換されることになる。
DA-CRレイヤーの主な特徴
- 分散データ収集:各レプリカはDAレイヤーに自由に取引を追加できる。
- 必須の含有:リーダーはDAレイヤーからのデータを取り入れない限り、ブロックを最終化できないため、全ての関連取引が承認される。
技術的貢献
- パラメータ化:システムは、コストと効果に基づいて評価を可能にする特定のパラメータを通じて検閲耐性の特性を明確に定義している。
- 取引ブロードキャストプロトコル:クライアントは、希望する含有確率を確保するために送信するコピーの数を決定できる。
- 強制ルール:プロトコルには、必要な全データが含まれない限りブロックを追加できないルールが組み込まれている。
既存のプロトコルとの比較
性能や検閲耐性の面で、この新しいアプローチは既存のBFTプロトコルとは重要な点で異なる。従来のリーダーベースのプロトコルは、データの包含と順序に対するリーダーの制御に大きく依存していて、遅延や検閲を引き起こすことがある。
結論
この提案されたBFTシステムは、強化された検閲耐性と高スループットを取り入れて、分散型アプリケーションが直面する課題への有望な解決策を提示している。このデザインは、クライアントの柔軟性を重視しつつ、取引が迅速かつ公正に含まれることを確保しているよ、特定のリーダーの行動や状況に関わらず。モジュール方式のアーキテクチャと分散型デザインを通じて、システムはBFTへのより強固で弾力的なアプローチを促進し、既存の限界や将来の要求に対応することを目指している。
今後の作業
このシステムは大きな可能性を示しているが、スケーラビリティや新しい攻撃ベクターに対する耐性、既存の分散型プラットフォームとの統合を探るためにさらなる研究が必要だよ。さまざまなネットワーク条件での性能を評価するためにシミュレーションやストレステストを行うことが重要になる。広範なコミュニティとのコラボレーションは、デザインの堅牢性と異なるユースケースにおける実用性を確保するのに役立つだろう。
分散型アプリケーションへの影響
このようなBFTシステムの進展は、分散型アプリケーションの機能性と信頼性を大幅に向上させ、より広範な採用と革新への道を開くかもしれない。検閲耐性の障害を克服することで、開発者はより効率的で、分散の核心原則により一致したアプリケーションを作成できる。これにより、ユーザーとクライアントにとってより公平な環境が育まれ、デジタルトランザクションの透明性と公正さが促進される。
最終的な考え
提案されたBFTシステムは、分散型アプリケーションが取引の含有やリーダーの制御を管理する方法に根本的な変化をもたらすものだ。このシステムは検閲耐性とクライアントの柔軟性に焦点を当てていて、分散型アプリケーションがますます複雑なデジタル環境で成功するための新しい基準を設定しようとしている。
タイトル: BigDipper: A hyperscale BFT system with short term censorship resistance
概要: Byzantine-fault-tolerant (BFT) protocols underlie a variety of decentralized applications including payments, auctions, data feed oracles, and decentralized social networks\cite{chainlink,lens}. In most leader-based BFT protocols, an important property that has been missing is the censorship resistance of transaction in the short term. The protocol should provide inclusion guarantees in the next block height even if the current and future leaders have the intent of censoring.In this paper, we present a BFT system, BigDipper, that achieves censorship resistance while providing fast confirmation for clients and hyperscale throughput. The core idea is to decentralize inclusion of transactions by allowing every BFT replica to create their own mini-block, and then enforcing the leader on their inclusions. To achieve this, BigDipper creates a modular system made of three components. First, clients use a transaction broadcast protocol to send transaction to multiple replicas. As a distribution of replicas receiving the client's transactions, they prepare mini-blocks to send to the data availability (DA) component, which characterizes the censorship resistant properties of the whole system. We design three censorship resistant DA (DA-CR) protocols whose properties are captured by three parameters. The third component interleaves the second DA-CR protocol into the leader based BFT protocol, it enforces the leader to include all the data from the DA-CR into the final block. At last, we demonstrate an integration with a two-phase Hotstuff-2.
著者: Bowen Xue, Soubhik Deb, Sreeram Kannan
最終更新: 2023-09-24 00:00:00
言語: English
ソースURL: https://arxiv.org/abs/2307.10185
ソースPDF: https://arxiv.org/pdf/2307.10185
ライセンス: https://creativecommons.org/licenses/by/4.0/
変更点: この要約はAIの助けを借りて作成されており、不正確な場合があります。正確な情報については、ここにリンクされている元のソース文書を参照してください。
オープンアクセスの相互運用性を利用させていただいた arxiv に感謝します。