跳到正文
Financial Context Wiki

區塊鏈三難困境

區塊鏈三難困境是在明確工作負載與威脅模型下比較可擴展性、去中心化和安全性的啟發式框架，而非定理或系統只能三選二的規則。

更新於

僅用於架構教育分析。三難困境的結論取決於所選指標、工作負載、層級、協定版本、營運方獨立性和威脅模型；不能據此證明投資價值或系統安全。

直接答案

區塊鏈三難困境是一種設計啟發式框架：在資源和信任模型固定時，提高可擴展性、去中心化或安全性，可能會為其他面向帶來壓力。它不是數學不可能性定理、可相加的評分，也不是每個網路都必須恰好選擇兩項屬性的規則。

三個面向都需要可操作的定義。可擴展性包括在既定負載下可持續的吞吐量、延遲、費用以及資料或狀態成長；去中心化包括獨立驗證、無許可進入與退出，以及質押或算力、營運方、用戶端、雲端服務商、地域和治理的集中度；安全性包括在明確攻擊者模型下的安全保證、活性、最終性、抗審查性、資料可用性和復原能力。

分片、Rollup、有效性證明、輕用戶端和資料可用性抽樣，可以藉由改變資料由誰執行、下載、儲存、證明或驗證來擴展可行邊界。它們不會消除取捨，而是轉移資源成本，並引入與層級相關的排序器、證明者、挑戰者、橋、升級金鑰和資料可用性假設。

運作原理

  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，但某 Rollup 發布的是一個 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 吞吐量視為具有相同保證而直接比較。
  • 假設 Rollup 繼承基礎層的所有安全屬性。
  • 忽略排序器、證明者、挑戰者、橋、管理員和升級金鑰。
  • 比較不同協定版本、工作負載或觀察期間。
  • 從架構品質推斷代幣需求或投資價值。
  • 一項最佳化轉移瓶頸後便宣稱獲得永久解決方案。

常見誤解

  • 每條區塊鏈都必須在三項屬性中恰好選擇兩項。 三難困境是一種比較性啟發式框架；系統會在不同假設下處於不斷變化的取捨邊界上。
  • 驗證者或節點越多，就必然越去中心化、越安全。 還要考察實體權重、軟體、託管、地域、治理和獨立驗證。
  • 宣傳中的高 TPS 足以證明可擴展的去中心化。 容量能否持續取決於工作負載、硬體、資料成長、尾端延遲、費用和故障表現。
  • L2、模組化或分片消除了三難困境。 這些設計重新分配執行、資料、證明和信任；每項保證都必須端到端追蹤。
  • 三個面向是固定的純量分數，或能預測代幣價值。 度量是多維且隨版本變化的，而代幣經濟學是另一個問題。

相關主題

來源

導覽

搜尋知識庫...