tag:nick_szaboがアウトラインしたクォーラムモデル
文書の過去の版を表示しています。
Nick Szaboがアウトラインしたクォーラムモデル
Nick Szabo は、分散型システムのセキュリティと合意形成の先駆者で、1997年に「Quorum Systems」をアウトラインしました。このモデルは、ビザンチン障害耐性 を達成するためのフレームワークで、悪意のあるノードが存在しても信頼できる合意を可能にします。Qubic は、このモデルに基づく最初の本物のシステムとして位置づけられています。
クォーラムシステムの概要
Szaboのクォーラムモデルは、以下の概念に基づきます:
- 良い連合 (Good Coalitions): システムを代表して行動できるクォーラムのセット。各クォーラムは、他のクォーラムと少なくとも1つのパーティ (メンバー) で交差します。これにより、一貫性が確保され、悪意のある連合がシステムを制御できないようになります。
- クォーラムの役割: 各クォーラムがプロトコルを完了し、システム全体を代表。分散型ネットワークで信頼できる決定を可能にします。
- 数学的基盤: クォーラムサイズ Q は、フォールティノード f に対して Q ≥ 2f + 1 を満たす。これにより、ビザンチン障害耐性が達成されます。
このモデルは、伝統的な多数決を超え、分散型セキュリティを強化します。
Bit Gold提案での応用
SzaboのBit Gold (2005年頃の提案) では、Byzantine Quorum Systemを使用して、分散型デジタル通貨の更新を達成。Proof-of-Stakeのようなメカニズムでネットワークをセキュアに保ちます。これはBitcoinの前駆体で、クォーラムが合意を検証します。
Qubicとの関連
tag/nick_szaboがアウトラインしたクォーラムモデル.1765060402.txt.gz · 最終更新: by d.azuma