第1章 问题与度量：三难困境与评估之尺
第 1 章 问题与度量：三难困境与评估之尺
章节摘要：一切选型之前，先得搞清楚约束是什么、怎么测量。本章先把区块链三难困境讲透——它为什么在大多数场景下成立，又为什么正被零知识证明与数据可用性采样从根上动摇；然后给出一套覆盖可扩展性与互操作性的多维指标体系，让你能用同一把尺子去量任何一条新链或新协议，而不是被"十万 TPS"的宣传口径牵着走。
你能学到什么
阅读完本章，你应当能够：
- 说清三难困境的成立前提（全节点验证全部状态），以及哪些新技术在挑战这个前提；
- 区分吞吐量、延迟、状态增长、验证成本、资源弹性五个可扩展性维度，不再把 TPS 当唯一指标；
- 用安全模型强度、通用性、抗审查性等维度评估一个跨链协议；
- 理解可扩展性与互操作性的耦合关系——为什么单独优化任何一者都会在系统层面失衡；
- 面对一条新公链的宣传材料，能提出三个让它现出原形的问题。
核心概念速览
三难困境不是自然律，而是一条工程规律——它的前提正在被逐条改写。
为什么要先谈约束和度量
这个行业的多数争论，本质上是没对齐度量衡。一条新链宣称十万 TPS，另一条老链只有十几 TPS，但前者可能要求每台验证节点配备顶级硬件、由数十个授权节点运行——这在三难困境的坐标里根本不是同一个位置的方案。反过来，以太坊主网十几 TPS 的数字也具有欺骗性：它是全球数千个消费级节点在完全无需许可的条件下、每个节点都验证全部交易时达到的数字。两个数字放在一起比，就像拿高铁时速和马拉松配速比谁快——都真实，但不在一个语境里。
所以本章的立场是：任何性能讨论，先问三个问题。第一，这个数字是峰值还是可持续吞吐？第二，达到这个数字时节点硬件要求是什么、有多少节点在跑？第三，延迟是"首次可见"还是"最终确认"？这三个问题分别对应度量体系里的三组指标，1.2 节会逐一展开。
度量对互操作性同样关键，甚至更复杂。跨链协议的"支持 XX 条链"是个典型的营销指标——它不告诉你安全模型是什么。基于轻客户端的方案（如 IBC）继承源链自身的安全性，攻击者要伪造一条跨链消息，等于要攻破一条链的共识；而基于多签或预言机的方案，安全性上限就是那几个签名人或节点的诚实度。2022 年跨链桥一年被盗超 20 亿美元的事实证明，链的条数不是资产，验证模型的强度才是。
耦合关系：为什么本书把两个主题放在一起
大多数教材把可扩展性和互操作性分成两本讲。我们坚持放在一起，因为它们在结构上互相纠缠。往一个方向看：分片、Rollup 这些扩容方案天然把一条链拆成多个执行域，域与域之间的资产和数据流转就是互操作问题——以太坊的多个 Rollup 之间的桥接，本质上是"内部互操作"。往另一个方向看：跨链协议每传递一条消息，目标链都要验证源链状态，这个验证开销直接吃掉性能预算——互操作做得粗糙，扩容成果就被抵消，我们称之为"互操作性反噬可扩展性"。
理解了这个耦合，你就能看懂近两年架构演进的主线：为什么以太坊放弃执行分片、转向以 Rollup 为中心并配套数据可用性层？为什么 Cosmos 的 IBC 要坚持轻客户端验证而不走多签捷径？这些决策都不是孤立的性能优化，而是在"量"与"联"之间做联合最优。第 2、3 章会把这两条决策链分别摊开对比。
子章节导航
1.1 三难困境与耦合关系
回到问题的原点：中本聪共识为什么天然限速？去中心化如何与性能互斥？状态膨胀如何让"跑得动全节点"变成特权？这一节同时讲清可扩展性与互操作性"一体两面"的结构性耦合，以及单链时代、侧链时代、模块化时代三个阶段里这对命题的演化轨迹。
1.2 度量体系：可扩展性与互操作性怎么量
峰值 TPS 与可持续 TPS 的差别、首次可见延迟与最终性延迟的分界、状态增长速率对节点成本的长尾影响；互操作性侧的跨链消息吞吐、端到端延迟、安全模型强度、通用性与抗审查性。最后落到"场景加权评分"——同一个协议在 DeFi 与 GameFi 里的权重表完全不同。
子章节之间的逻辑关系
先立论（约束是什么），后立尺（怎么衡量）。1.1 提供概念框架与历史脉络，1.2 把框架操作化为可计算的指标；两节合起来构成后续所有章节的评估底座。
┌─────────────────┐ ┌─────────────────┐ │ 1.1 三难困境 │ ───▶ │ 1.2 度量体系 │ │ 概念约束 + 耦合 │ │ 指标 + 场景加权 │ └─────────────────┘ └─────────────────┘ │ │ └──────▶ 支撑第 2~6 章所有选型对比 ◀──────┘
前置知识与后续延伸
- 前置：了解区块、交易、共识的基本含义即可，不需要密码学基础。
- 为后续铺垫：本章的度量框架会在第 2 章对比 Rollup 与分片、第 3 章对比三大跨链模型时反复使用；"验证成本"这一指标是第 4 章零知识信任锚讨论的伏笔；"安全模型强度"将在第 3 章跨链桥失窃案例分析中成为核心变量。