差分

このページの2つのバージョン間の差分を表示します。

--- tag:決定論的ティック [2025/12/29 00:07] – d.azuma
+++ tag:決定論的ティック [2026/01/17 21:26] (現在) – [利点] d.azuma
@@ 行 4: / 行 4: @@
 ===== Qubicの決定論的ティックについて ====
-Qubic の決定論的ティック（Deterministic Ticks）は、Qubicネットワークの核心的なメカニズムで、伝統的なブロックチェーンとは異なり、ブロックレスで同期された時間単位に基づく合意プロセスです。すべてのノード（[[tag/Computor]]s）が同じタイミングで同じ計算を実行し、状態を決定論的に更新することで、即時ファイナリティを実現します。以下で詳細を解説します。
+　Qubic の決定論的ティック（Deterministic Ticks）は、Qubicネットワークの核心的なメカニズムで、伝統的なブロックチェーンとは異なり、ブロックレスで同期された時間単位に基づく合意プロセスです。
+　すべてのノード（[[tag/Computor]]）が同じタイミングで同じ計算を実行し、状態を決定論的に更新することで、即時ファイナリティを実現します。以下で詳細を解説します。
 ==== 決定論的ティックの定義 ====
-[[tag/ティック]]は、合意アルゴリズムの1ラウンドで実行・合意される[[tag/トランザクション]]のセットです。各ティックには、消化された[[tag/スマートコントラクト]]、スペクトラム、ユニバース、時間情報が含まれており、ティックのシーケンス内で一意に識別されます。Qubic のトランザクションには「Tick」フィールドがあり、トランザクションの包含を希望するティック番号を指定します。
+　[[tag/ティック]]は、合意アルゴリズムの1ラウンドで実行・合意される[[tag/トランザクション]]のセットです。
-決定論的とは、すべての Computors が同じ入力に対して同じ出力（状態のハッシュ）を生成することを意味します。これにより、ネットワーク全体が一貫したグローバル状態を維持します。
+　各ティックには、消化された[[tag/スマートコントラクト]]、スペクトラム、ユニバース、時間情報が含まれており、ティックのシーケンス内で一意に識別されます。Qubic のトランザクションには「Tick」フィールドがあり、トランザクションの包含を希望するティック番号を指定します。
+　決定論的とは、すべての [[tag/Computor]] が同じ入力に対して同じ出力（状態のハッシュ）を生成することを意味します。これにより、ネットワーク全体が一貫したグローバル状態を維持します。
 ==== 仕組み ====
-  * **ティックリーダー**: 各ティックのリーダーは、ティック番号 T を 676 で割った余り（T % 676）で決定されます。リーダーはティックを提案します。
+  * **ティックリーダー**:
-  * **投票と合意**: 各Computorがティックを検証し、投票します。投票にはティック番号、[[tag/エポック]]、Computorインデックス、タイムスタンプ、暗号状態が含まれます。少なくとも451/676のクォーラムが合意すると、ティックが承認されます。
+    * 各ティックのリーダーは、ティック番号 T を 676 で割った余り（T % 676）で決定されます。リーダーはティックを提案します。
-  * **ハッシュチェーン**: 各ティックの状態（スペクトラム、ユニバース、SC状態）は [[tag/KangarooTwelve]] でハッシュされ、前のティックにリンクされます。これにより、ティックの整合性が確保されます。
-  * **同期実行**: すべてのノードが同じ瞬間に同じ命令を実行。出力が一致すれば即時最終確定、不一致なら拒否。キューやメモプールが存在せず、遅延なし。
+  * **投票と合意**:
+    * 各[[tag/Computor]]がティックを検証し、投票します。
+    * 投票にはティック番号、[[tag/エポック]]、Computorインデックス、タイムスタンプ、暗号状態が含まれます。
+    * 少なくとも 451/676の[[tag/クォーラム]]が合意すると、ティックが承認されます。
+  * **ハッシュチェーン**:
+    * 各[[tag/ティック]]の状態（スペクトラム、ユニバース、SC状態）は [[tag/KangarooTwelve]] でハッシュされ、前のティックにリンクされます。
+    * これにより、ティックの整合性が確保されます。
+  * **同期実行**:
+    * すべてのノードが同じ瞬間に同じ命令を実行。出力が一致すれば即時最終確定、[[tag/ロストティック|不一致なら拒否]]。
+    * キューやメモプールが存在せず、遅延なし。
 ==== 利点 ====
-  * **即時ファイナリティ**: サブ秒でトランザクションが最終確定。
+  * **即時ファイナリティ**:
-  * **手数料無料**: 固定の計算予算でスパムを防ぎ、手数料市場不要。
+    * サブ秒でトランザクションが最終確定。
-  * **スケーラビリティ**: ストレステストで15.52M TPS達成。CertiK監査済み。
-  * **セキュリティ**: クォーラムで [[ビザンチン障害耐性|ビザンチン障害に耐性]]。一度承認されたティックは最終的で、後続ティックがそれに基づく。
+  * **[[tag/ガス代無料|手数料無料]]**:
-  * **決定論的**: 調整やフォークなしでグローバル状態を維持。
+    * 固定の計算予算でスパムを防ぎ、手数料市場不要。
+  * **スケーラビリティ**:
+    * ストレステストで15.52M TPS達成。CertiK監査済み。
+  * **セキュリティ**:
+    * クォーラムで [[ビザンチン障害耐性|ビザンチン障害に耐性]]。
+    * 一度承認されたティックは最終的で、後続ティックがそれに基づく。
+  * **[[tag/決定論的ティック|決定論的]]**:
+    * 調整やフォークなしでグローバル状態を維持。
-Qubic はティックベースで、銀行やブロックチェーンの調整遅延を排除します。詳細は [[ホワイトペーパー:v01:]] の [[ホワイトペーパー:v01:4_コンセンサス機構:start]]セクションを参照。
+　Qubic は[[tag/ティック]]ベースで、銀行やブロックチェーンの調整遅延を排除します。詳細は [[ホワイトペーパー:v01:]] の [[/ホワイトペーパー/v01/4_コンセンサス機構/start]]セクションを参照。
 {{topic>決定論的ティック }}
-{{tag>決定論的ティック クォーラム コンセンサス tick }}
+{{tag>決定論的ティック クォーラム コンセンサス ティック }}