---
title: "區塊鏈三難困境"
description: "區塊鏈三難困境是在明確工作負載與威脅模型下比較可擴展性、去中心化和安全性的啟發式框架，而非定理或系統只能三選二的規則。"
image: "https://wiki.fcontext.com/og.png"
---
> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.
# 區塊鏈三難困境
> 僅用於架構教育分析。三難困境的結論取決於所選指標、工作負載、層級、協定版本、營運方獨立性和威脅模型；不能據此證明投資價值或系統安全。
## 直接答案
區塊鏈三難困境是一種設計啟發式框架：在資源和信任模型固定時，提高可擴展性、去中心化或安全性，可能會為其他面向帶來壓力。它不是數學不可能性定理、可相加的評分，也不是每個網路都必須恰好選擇兩項屬性的規則。
三個面向都需要可操作的定義。可擴展性包括在既定負載下可持續的吞吐量、延遲、費用以及資料或狀態成長；去中心化包括獨立驗證、無許可進入與退出，以及質押或算力、營運方、用戶端、雲端服務商、地域和治理的集中度；安全性包括在明確攻擊者模型下的安全保證、活性、最終性、抗審查性、資料可用性和復原能力。
分片、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、模組化或分片消除了三難困境。** 這些設計重新分配執行、資料、證明和信任；每項保證都必須端到端追蹤。
- **三個面向是固定的純量分數，或能預測代幣價值。** 度量是多維且隨版本變化的，而代幣經濟學是另一個問題。
## 相關主題
- [區塊鏈](/zh-tw/crypto/blockchain/)
- [Layer 2](/zh-tw/crypto/layer2/)
- [模組化區塊鏈](/zh-tw/crypto/modular-blockchain/)
## 來源
- [Why sharding is great: demystifying the technical properties](https://vitalik.eth.limo/general/2021/04/07/sharding.html) - Vitalik Buterin (查閱日期: 2026-08-18)
- [Scaling](https://ethereum.org/developers/docs/scaling/) - Ethereum.org (查閱日期: 2026-08-18)
- [Data availability](https://ethereum.org/developers/docs/data-availability/) - Ethereum.org (查閱日期: 2026-08-18)
- [Spin up your own Ethereum node](https://ethereum.org/developers/docs/nodes-and-clients/run-a-node/) - Ethereum.org (查閱日期: 2026-08-18)
- [Client diversity](https://ethereum.org/developers/docs/nodes-and-clients/client-diversity/) - Ethereum.org (查閱日期: 2026-08-18)
- [Ethereum proof-of-stake attack and defense](https://ethereum.org/developers/docs/consensus-mechanisms/pos/attack-and-defense/) - Ethereum.org (查閱日期: 2026-08-18)
- [Bitcoin: A Peer-to-Peer Electronic Cash System](https://bitcoin.org/bitcoin.pdf) - Bitcoin.org (查閱日期: 2026-08-18)
- [Blockchain Technology Overview](https://doi.org/10.6028/NIST.IR.8202) - NIST (查閱日期: 2026-08-18)
Source: https://wiki.fcontext.com/zh-tw/crypto/blockchain-trilemma/index.mdx