区块链性能受困于不可能三角：本篇梳理 Layer 1 的大区块与分片为何受限、Rollup 体系如何以链下执行 + 链上验证破局，以及执行/结算/数据可用性分层的模块化范式。
不可能三角
区块链原理决定了去中心化账本的吞吐上限：每个全节点必须重新执行每一笔交易并存储完整状态。性能、去中心化、安全构成至多取二的三角：
- 去中心化 — 节点硬件门槛低，人人可参与验证
- 安全 — 攻击成本与底层链相当，回滚同样困难
- 可扩展性 — 高 TPS
比特币约 7 TPS，以太坊 15–30 TPS。加大区块直接抬高节点硬件门槛、挤走普通参与者，是典型的用去中心化换吞吐；分片（shard 各自处理子集交易）曾是以太坊的扩容答案，因跨分片通信复杂让位于 Rollup-centric roadmap：L1 专注验证与数据存储，执行外包给 L2。
Layer 2 设计空间
核心动作是聚合：链下执行 N 笔交易，压缩成状态根/证明提交 L1。不同 L2 家族的安全性差异巨大：
| 类型 | 原理 | 安全性 |
|---|---|---|
| 状态通道 | 链上锁仓，链下签名更新，关闭时结算最终状态 | 高，但仅限固定参与者 |
| 侧链 | 独立链，自跑一套共识机制 | 不继承 L1，依赖自身验证人 |
| Rollup | 链下执行 + 链上数据 + 证明机制 | 继承 L1 安全，当前主流 |
比特币 Bitcoin的 Lightning Network 是状态通道典范：预开支付通道后链下可近乎无限次即时微支付，适合支付但不具备通用计算能力。
Rollup：Optimistic vs ZK
Rollup 的 Sequencer 链下执行交易、批量向 L1 提交压缩后的交易数据与状态根，有效性由两条对立路线保障。
Optimistic Rollup 默认状态有效：挑战期（通常 7 天）内任何人可提交 fraud proof 指认非法状态转移，挑战成功则回滚并罚没作恶押金。计算开销低、天然 EVM 兼容，代价是提款需等挑战期结束（可付费经流动性桥即时换出）。代表：Arbitrum One、OP Mainnet、Base。
ZK Rollup 默认状态存疑：每批次必须附带 validity proof（zk-SNARK / zk-STARK），L1 合约验证通过即最终确认，提款分钟级。信任模型接近纯密码学，但证明生成计算密集，且要达到以太坊与智能合约的 EVM 等效，需在电路层逐个证明 opcode。代表：zkSync Era、Starknet、Linea、Scroll。
| 维度 | Optimistic | ZK |
|---|---|---|
| 有效性保证 | 欺诈证明 + 挑战期 | 有效性证明 |
| 提款时效 | 约 7 天，快桥可绕过 | 分钟至小时级 |
| EVM 等效 | 自然继承 | 依赖 ZK-EVM 电路 |
| 运行成本 | 低 | 证明生成昂贵，随硬件加速下降 |
两条路线在收敛：Optimistic 阵营引入 validity proof 以缩短退出，长期边界趋于模糊。
共同的命门是数据可用性（DA）：交易原始数据必须发布到链上，任何人可重放校验，Sequencer 冻结资金或伪造状态才会被抓到。数据不上链的变体（validium）不在此列。
Blob：廉价数据空间
Rollup 路线图把扩容问题改写为「L1 如何廉价存储 L2 数据」：
- 2024 年之前，L2 把压缩交易塞进以太坊 callData，与普通交易竞价区块空间
- EIP-4844（Dencun 升级，2024-03）引入 blob：独立费用市场、EVM 不执行、约 18 天后自动删除——L2 费用随后下降一个数量级
- 后续升级以数据可用性采样（PeerDAS 等）持续抬高单块 blob 容量
blob 可删除的逻辑：L2 数据只需保留到诚实方完成挑战或重建状态，长期归档交给外部存储协议。
模块化区块链
Rollup 思路泛化为模块化范式：单体链拆成四层，自由组合。
| 层 | 职责 | 例子 |
|---|---|---|
| 执行 | 运行交易、产出状态 | 各 Rollup、OP Stack / Arbitrum Orbit 应用链 |
| 结算 | 验证证明、裁定争议、桥接资产 | 以太坊 L1 |
| 数据可用性 | 保证交易数据可查询、可重建 | 以太坊 blob、Celestia、EigenDA |
性能成为可插拔组件：执行层无限竞争（OP Stack 一天可发一条新链），安全与 DA 外包给结算层。比特币与早期以太坊是四层合一的单体链。
代价是碎片化：流动性与用户注意力散落于数十条链，跨 Rollup 互操作依赖第三方桥——历来被盗重灾区。
局限与风险
- Sequencer 中心化：多数 Rollup 由单一 Sequencer 排序交易，存在抢跑与审查风险；缓解手段是 L1 强制包含机制与多提议者
- 升级后门：L2 合约普遍可升级，Security Council 理论上可推送任意变更，治理透明度属于安全的一部分
- 伪 Layer 2：数据不上链的 validium 不继承 L1 安全，营销话术需辨别
对用户而言，DeFi 交易是 L2 的主要使用场景；判断一条 L2 可靠与否看三点：数据是否上链、证明机制运行多久、升级是否受 timelock 与多方治理约束。