ユーザ用ツール

サイト用ツール


tag:nick_szaboがアウトラインしたクォーラムモデル

文書の過去の版を表示しています。


Nick Szaboがアウトラインしたクォーラムモデル

Nick Szabo は、分散型システムのセキュリティと合意形成の先駆者で、1997年に「Quorum Systems」をアウトラインしました。このモデルは、Byzantine Fault Tolerance (BFT) を達成するためのフレームワークで、悪意のあるノードが存在しても信頼できる合意を可能にします。Qubic は、このモデルに基づく最初の本物のシステムとして位置づけられています。

クォーラムシステムの概要

Szaboのクォーラムモデルは、以下の概念に基づきます:

  • 良い連合 (Good Coalitions): システムを代表して行動できるクォーラムのセット。各クォーラムは、他のクォーラムと少なくとも1つのパーティ (メンバー) で交差します。これにより、一貫性が確保され、悪意のある連合がシステムを制御できないようになります。
  • クォーラムの役割: 各クォーラムがプロトコルを完了し、システム全体を代表。分散型ネットワークで信頼できる決定を可能にします。
  • 数学的基盤: クォーラムサイズ Q は、フォールティノード f に対して Q ≥ 2f + 1 を満たす。これにより、BFTが達成されます。

このモデルは、伝統的な多数決を超え、分散型セキュリティを強化します。

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がアウトラインしたクォーラムモデル.1765060206.txt.gz · 最終更新: by d.azuma