本文へ移動
Financial Context Wiki

ブロックチェーンのトリレンマ

ブロックチェーンのトリレンマは、明示したワークロードと脅威モデルの下でスケーラビリティ、分散性、セキュリティを比較するためのヒューリスティックであり、定理でも二つだけを選ぶ規則でもありません。

更新日

アーキテクチャを学ぶための分析です。トリレンマに関する結論は、選んだ指標、ワークロード、レイヤー、プロトコルの版、運用主体の独立性、脅威モデルに左右され、投資価値やシステムの安全性を証明するものではありません。

端的な答え

ブロックチェーンのトリレンマは設計上のヒューリスティックです。資源と信頼モデルを固定したとき、スケーラビリティ、分散性、セキュリティのいずれかを高めると、ほかの軸に負荷がかかる場合があります。数学的な不可能性定理でも、加算可能な点数でも、すべてのネットワークが三つのうち二つだけを選ぶという規則でもありません。

各軸には操作可能な定義が必要です。スケーラビリティは、明示した負荷における持続可能なスループット、遅延、手数料、データまたは状態の増加を含みます。分散性は、独立検証、許可不要の参加と退出、ステークまたはハッシュパワー、運用主体、クライアント、クラウド、地域、ガバナンスの集中度を含みます。セキュリティは、明示した攻撃者モデルに対する安全性、活性、ファイナリティ、検閲耐性、データ可用性、復旧能力を含みます。

シャーディング、ロールアップ、妥当性証明、ライトクライアント、データ可用性サンプリングは、誰がデータを実行、取得、保存、証明、検証するかを変え、実現可能な境界を広げます。ただし、トレードオフを消すのではなく、資源コストを移し、シーケンサー、証明者、チャレンジャー、ブリッジ、アップグレード鍵、データ可用性に関するレイヤー固有の前提を導入します。

仕組み

  1. 対象のチェーン、ネットワーク、プロトコルの版、レイヤー、具体的な設計上の主張を固定します。ブランドだけを評価せず、コンセンサス、実行、データ可用性、決済、ガバナンスを分けて特定します。
  2. 測定可能な代理指標、ワークロード、観測期間を用いてスケーラビリティ、分散性、セキュリティを定義します。TPS、ノード数、攻撃コストを一つの無次元スコアに足し合わせてはいけません。
  3. 誰が提案、構築、順序付け、検証、データ保存、証明、異議申立て、アップグレード、停止、退出可能化を担うかを整理し、権限、カストディ、緊急時の制御境界を記録します。
  4. ステークまたはハッシュパワーを持つ実体、独立検証ノード、クライアントソフトウェア、ホスティング、地域、ガバナンスを横断して分散性を測ります。ハードウェア、帯域、ストレージ、同期時間、資本の参入障壁も含めます。
  5. 明示した攻撃者の閾値、相関の前提、経済的インセンティブの下で、安全性、活性、ファイナリティ、検閲耐性、データ可用性、復旧能力としてセキュリティを測ります。
  6. 持続時と裾部分のスループット、取り込みと確定の遅延、高負荷時の手数料、バイト数、状態増加、同期・検証コスト、混雑時や部品故障時の挙動を使ってスケーラビリティを測ります。
  7. 同じワークロードと脅威モデルで設計を比較し、証拠を版管理して障害ストレステストを行います。トリレンマを解決したと主張するのではなく、どのコストまたは信頼の前提がどのレイヤーへ移ったかを示します。

例

  • 仮想的な完全複製型チェーンが 2 MiB / 12 seconds を処理すると、ブロック数は 7,200 blocks/day、生の流入量は 2 * 7,200 = 14,400 MiB/day = 14.0625 GiB/day です。ペイロードを 8 MiB に増やすと 57,600 MiB/day = 56.25 GiB/day となり、プロトコルのオーバーヘッド、索引、状態、複製を含める前で正確に 4x です。容量は増えますが、この計算だけでノード要件全体は分かりません。
  • ステーク運用主体の比率を 34%, 22%, 18%, 16%, 10% とします。明示した活性阻害の閾値が >= 1/3 なら、第一の主体だけで条件を満たします。明示した制御閾値が >= 2/3 なら、条件を満たす最短の先頭集合は最初の三者で、34 + 22 + 18 = 74% です。最初の二者は 56% にすぎません。実際の実体間の関連とプロトコル閾値は別途確認が必要です。
  • 10,000 transactions * 200 bytes = 2,000,000 bytes であっても、ロールアップが 400,000-byte batch を投稿するなら、平均は 400,000 / 10,000 = 40 bytes/transaction、すなわち 5x のデータ圧縮です。この数値だけではシーケンサー、証明、ブリッジ、データ可用性、アップグレード鍵のリスクは分かりません。
  • 例示的なサンプリングモデルで 4,096 shares があり、攻撃者が 25% = 1,024 shares を隠すとします。30 independent uniform samples with replacement を行った場合、隠されたシェアをすべて外す確率は (3,072 / 4,096)^30 = 0.75^30 = 0.0001785821 = 0.01785821%、モデル上の検出確率は 99.98214179% です。独立性、均一性、データ隠匿モデルは前提であり、本番環境の保証ではありません。

リスク

  • トリレンマというヒューリスティックを、証明済みの普遍定理として扱うこと。
  • スケーラビリティ、分散性、セキュリティを定義しないこと。
  • 性質の異なる代理指標を一つの不透明または無次元な点数へ足すこと。
  • 持続可能な処理量ではなく、宣伝上のピーク TPS だけを選ぶこと。
  • 平均値だけを示し、裾の遅延や障害負荷時の挙動を隠すこと。
  • ワークロードや補助金を示さず、手数料だけでスケーラビリティを測ること。
  • ノード、バリデータ、アドレスの単純な件数を独立した実体数とみなすこと。
  • 委任ステーク、ハッシュパワー、共通の運用支配を無視すること。
  • クライアント、クラウド、地域、ガバナンスの集中を無視すること。
  • ハードウェア、帯域、ストレージ、同期、資本の障壁を除外すること。
  • 攻撃者と閾値を示さずに安全だと主張すること。
  • 安全性、活性、ファイナリティ、検閲耐性、復旧能力を混同すること。
  • データ可用性、履歴取得、状態増加を無視すること。
  • ライトクライアント、証明、サンプリングの保証と前提を誇張すること。
  • L1 と L2 の処理量を、保証が同じであるかのように比較すること。
  • ロールアップがベースレイヤーの全セキュリティ特性を継承すると仮定すること。
  • シーケンサー、証明者、チャレンジャー、ブリッジ、管理者、アップグレード鍵を無視すること。
  • 異なるプロトコル版、ワークロード、観測期間を比較すること。
  • アーキテクチャの品質からトークン需要や投資価値を推測すること。
  • 一つの最適化がボトルネックを移しただけで恒久的な解決を宣言すること。

よくある誤解

  • すべてのブロックチェーンは三つの特性から必ず二つだけを選ぶ。 トリレンマは比較のためのヒューリスティックであり、システムは前提ごとに変化するトレードオフ境界上にあります。
  • バリデータやノードが多ければ、自動的に分散性と安全性が高まる。 実体ごとの比率、ソフトウェア、ホスティング、地域、ガバナンス、独立検証も重要です。
  • 公称 TPS が高ければ、分散性を保ったまま拡張できると証明できる。 容量が持続可能かどうかは、ワークロード、ハードウェア、データ増加、裾の遅延、手数料、障害時の挙動で決まります。
  • L2、モジュール化、シャーディングはトリレンマを消す。 これらは実行、データ、証明、信頼を再配置するため、各保証を端から端まで追跡する必要があります。
  • 三つの軸は固定された単一スコアであり、トークン価値を予測できる。 測定は多次元で版ごとに変わり、トークン経済は別の問題です。

関連トピック

出典

ナビゲーション

Wiki を検索...