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との関連

Qubic は Szabo のモデルを実装し、676 の Computorsから451以上のクォーラムで合意。Useful Proof of Work (uPoW) と組み合わせ、分散型AI (AIGarth) をサポートします。これにより、手数料無料のサブ秒ファイナリティが可能になります。

−−−−

tag/nick_szaboがアウトラインしたクォーラムモデル.1765060521.txt.gz · 最終更新: by d.azuma