扩容方案
L1 / L2 与侧链技术要点
L2 与侧链技术要点：Rollup、ZK 与数据可用性
面向进阶读者的 L2 技术拆解：先给出扩容方案全景图（状态通道、Plasma、Rollup、侧链、Validium、Volition）并列出各自的信任假设，再深入 Optimistic Rollup 的欺诈证明与 7 天挑战期、ZK Rollup 的有效性证明与 SNARK/STARK 差异，用表格对比两大流派；随后讲解侧链为什么不等同于 L1 安全性（Ronin 与 Poly Network 事件的教训）、Validium 与 Volition 为低成本付出的数据可用性代价、EIP-4844 的 blob 交易与 Celestia/EigenDA/Avail 等 DA 层、排序器（Sequencer）的中心化风险与去中心化进展，最后梳理跨链桥在 L2 体系中的信任假设与常见误区。
数据可用性（DA）层：Blob、Celestia 与 EigenDA
从「数据可用性」这个听起来抽象、实际决定资产安全的概念讲起：为什么 Rollup 必须把交易数据发到某个地方、EIP-4844 的 blob 交易到底改变了什么账本结构、一笔 L2 交易的费用账单里执行费与 L1 数据费各占多少。然后用三条路线对比外部 DA 方案——Celestia 的数据可用性抽样、EigenDA 的再质押担保、以及传统的委员会模式（DAC/validium），把每一条的<strong>信任假设</strong>摊开讲：你信的到底是对方链的共识、一组成员的签名，还是某个运营方不作恶。最后给出判断清单：怎样在 L2BEAT 上确认一条 L2 用的是哪种 DA，以及为什么「数据发到 blob 里」不等于「数据永久保存」。
ZK 从原理到 Rollup：证明系统与 zkEVM 四类
把「零知识证明」从一个玄学名词拆成可理解的工程构件：证明者与验证者在证明什么、完备性/可靠性/零知识这三个性质各解决什么问题、为什么需要多项式承诺（KZG 与 FRI 的差别）、SNARK 与 STARK 在可信设置与证明体积上如何取舍。然后回到 Rollup：有效性证明（validity proof）在 L2 里承担的角色、为什么「证明生成很贵、链上验证很便宜」是这门技术的核心经济性、zkEVM 四个类型（Type 1 到 Type 4）各自牺牲了什么。最后必须澄清一个高频误解：<strong>持有 ZK 并不等于隐私</strong>——zkRollup 的交易细节默认仍然是公开的。