ホワイトペーパー:v01:4_コンセンサス機構:1:start
差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン前のリビジョン次のリビジョン | 前のリビジョン | ||
| ホワイトペーパー:v01:4_コンセンサス機構:1:start [2026/01/15 10:16] – [4.1.1 クォーラムベース・コンセンサスアルゴリズムの概要] d.azuma | ホワイトペーパー:v01:4_コンセンサス機構:1:start [2026/01/17 21:27] (現在) – d.azuma | ||
|---|---|---|---|
| 行 9: | 行 9: | ||
| ===== 4.1.1 クォーラムベース・コンセンサスアルゴリズムの概要 ===== | ===== 4.1.1 クォーラムベース・コンセンサスアルゴリズムの概要 ===== | ||
| - | Qubicの[[tag/コンセンサス]]メカニズムは、ビザンチン障害を許容しながら、分散された Computor のセット間で合意を形成するように設計されています。 | + | Qubicの[[tag:コンセンサスメカニズム]]は、ビザンチン障害を許容しながら、分散された |
| このアルゴリズムは、**[[tag/ | このアルゴリズムは、**[[tag/ | ||
| 行 16: | 行 16: | ||
| * **[[tag/ | * **[[tag/ | ||
| * 取引の検証、スマートコントラクトの実行、およびコンセンサスへの参加を担当するノードに関連付けられたエンティティです。 | * 取引の検証、スマートコントラクトの実行、およびコンセンサスへの参加を担当するノードに関連付けられたエンティティです。 | ||
| + | |||
| * **Computor Index(コンピューター・インデックス)**: | * **Computor Index(コンピューター・インデックス)**: | ||
| * 各Computorは、エポックごとに特定のインデックス(0から675まで)を持ちます。 | * 各Computorは、エポックごとに特定のインデックス(0から675まで)を持ちます。 | ||
| - | | + | |
| + | | ||
| * 1ラウンドのコンセンサスアルゴリズムで実行および合意される取引のセットであり、スマートコントラクトの状態、**Spectrum(スペクトラム)**、および**Universe(ユニバース)**のダイジェスト、ならびにティックをシーケンス内で一意に特定する時間情報を含みます。 | * 1ラウンドのコンセンサスアルゴリズムで実行および合意される取引のセットであり、スマートコントラクトの状態、**Spectrum(スペクトラム)**、および**Universe(ユニバース)**のダイジェスト、ならびにティックをシーケンス内で一意に特定する時間情報を含みます。 | ||
| * Spectrum と Universe には、現時点での QUBICコインやその他の資産の所有者に関するすべての情報が含まれます。 | * Spectrum と Universe には、現時点での QUBICコインやその他の資産の所有者に関するすべての情報が含まれます。 | ||
| + | * **注記**: | ||
| + | * Qubicのソースコードにおいて、1つのティックは特定の Computorによる1つの投票を指します。 | ||
| - | * **注記**: | ||
| - | * Qubicのソースコードにおいて、1つのティックは特定のComputorによる1つの投票を指します。 | ||
| * **Tick leader(ティックリーダー)**: | * **Tick leader(ティックリーダー)**: | ||
| * 特定のティックを担当する Computor です。ティックリーダーは、以下の数式でComputorインデックスを計算することで特定できます:\\ < | * 特定のティックを担当する Computor です。ティックリーダーは、以下の数式でComputorインデックスを計算することで特定できます:\\ < | ||
| - | | + | |
| + | | ||
| * コンセンサス達成に必要な Computor のサブセットです。Qubicにおけるクォーラムは以下で構成されます:\\ < | * コンセンサス達成に必要な Computor のサブセットです。Qubicにおけるクォーラムは以下で構成されます:\\ < | ||
| + | |||
| * **Epochs([[tag/ | * **Epochs([[tag/ | ||
| * 複数のティック(コンセンサスラウンド)で構成される、より長い時間間隔(1週間)です。 | * 複数のティック(コンセンサスラウンド)で構成される、より長い時間間隔(1週間)です。 | ||
| * 各エポック中に一連のコンセンサスラウンドが完了し、それらのラウンドの結果に基づいてパフォーマンスや報酬が計算されます。 | * 各エポック中に一連のコンセンサスラウンドが完了し、それらのラウンドの結果に基づいてパフォーマンスや報酬が計算されます。 | ||
| + | |||
| * **TickData(ティックデータ)**: | * **TickData(ティックデータ)**: | ||
| * ティックに含める取引のダイジェストをアナウンスする、ティックの定義です。ティックリーダーが TickData を作成し、事前にネットワークへ伝播させます。 | * ティックに含める取引のダイジェストをアナウンスする、ティックの定義です。ティックリーダーが TickData を作成し、事前にネットワークへ伝播させます。 | ||
| - | | + | |
| + | | ||
| ===== 4.1.2 Qubicのクォーラム・コンセンサスアルゴリズム ===== | ===== 4.1.2 Qubicのクォーラム・コンセンサスアルゴリズム ===== | ||
| 行 79: | 行 85: | ||
| **オペレーターによる手動介入: | **オペレーターによる手動介入: | ||
| - | 投票は次のティックに対しての [YES] / [NO] を意味しますが、オペレーターがカスタムコードを実行していたり、互換性のないハードウェアによるバグがあったりしてノード状態のダイジェストが不一致となった場合、投票が2つ以上のグループに分かれる可能性があります。 | + | 投票は次のティックに対しての [YES] / [NO] を意味しますが、オペレーターがカスタムコードを実行していたり、互換性のないハードウェアによるバグがあったりしてノード状態のダイジェストが不一致となった場合、投票が 2つ以上のグループに分かれる可能性があります。 |
| - | + | ||
| - | コンセンサスに達することができないという万が一の分裂事態においては、ティックの進行を確実にするためにComputorからの手動介入が必要になる場合があります。 | + | |
| + | コンセンサスに達することができないという万が一の分裂事態においては、ティックの進行を確実にするために Computor からの手動介入が必要になる場合があります。 | ||
| + | {{tag> | ||
ホワイトペーパー/v01/4_コンセンサス機構/1/start.1768472194.txt.gz · 最終更新: by d.azuma