九思札记 · 探索区块链 · AI

当我们把"链"拆成不同的专用层时，出现了一个比"扩容"更大的叙事：区块链服务的不是单一的"区块空间"，而是多维资源的可组合市场。Celestia 的数据可用性（DA）层正是这一分形的起点。

8.8.1 从单体到模块化：架构的地震

单体链（Monolithic）：执行、结算、数据可用性（DA）三者合一。比特币与前分片时代的以太坊都是这种模式——L1 做一切。

模块化链（Modular）—— 将三者解绑为专业化的独立层：

执行层（Execution）：只负责执行交易和更新状态，不维护共识；
结算层（Settlement）：处理状态承诺与争议解决（欺诈证明 / 有效性证明）；
数据可用性层（DA / Consensus）：保障交易数据可被任何人下载与重建；
排序层（Sequencing）：决定交易的全局顺序。

核心动机：资源的分层定价

在单体链中，所有资源被捆绑在单一 Gas 模型中；而在模块化堆栈中，不同层可以独立扩展各自的瓶颈。

执行瓶颈 → 专用高吞吐执行链 / Rollup（并行化，如 Solana、Fuel、StarkNet）；
DA 瓶颈 → 专用 DA 层（Celestia / 以太坊 EIP-4844 Blob）；
结算瓶颈 → 选择结算安全最强的 L1（以太坊）作为最终锚点。

graph TB
    A[模块化堆栈 Modular Stack] --> B[执行层 Execute]
    A --> C[结算层 Settle]
    A --> D[数据可用性 DA]
    A --> E[排序/共识层 Order]

    B --> B1[Rollup<br/>EVM / SVM / Cairo / UTXO]
    C --> C1[以太坊 / 专用结算层<br/>状态最终性 + 桥接安全]
    D --> D1[Celestia / 以太坊 Blob<br/>数据可用性 +
    DAS]
    E --> E1[共享或独立定序器<br/>提议 + 最终排序]

    B1 -.-> D1
    B1 -.-> C1
    C1 --> D1

    style D1 fill:#99ff99
    style B1 fill:#99ccff
    style C1 fill:#ffcc99

8.8.2 数据可用性采样（DAS）的数学保证

数据可用性的工程核心是：轻节点如何以极少数据确认全部数据确实被发布。

Celestia 的 2D-DAS 方案：

原始数据块拆分为 $k \times k$ 个 chunks；
应用 2D 里德-所罗门（RS）纠删码扩展至 $2k \times 2k$ ；
计算行和列的 KZG 多项式承诺（KZG commitment）；
每个轻节点在扩展矩阵中随机采样 $s$ 个单元格。

单节点漏检概率（若仅有 $50\%$ 数据可用）：

P_{\text{single-miss}}(s) = 0.5^s

若 $s = 15$ ：

P_{\text{single-miss}} = 0.5^{15} \approx 3.1 \times 10^{-5}

若全球网络有 $N = 1000$ 个独立轻节点随机采样：

P_{\text{global-miss}} = (3.1 \times 10^{-5})^{1000} \approx 10^{-4653}

typescript

// 数据可用性采样（DAS）简化模拟：二维矩阵 + 随机采样

type DASResult = {
  matrixSize: number;
  samplesPerNode: number;
  nodeCount: number;
  totalSampled: number;
  detectedUnavailable: boolean;
  singleMissProb: number;
  globalMissProbLog10: number;
};

function createTestMatrix(
  k: number,
  fillRatio: number
): { original: number[][]; extended: number[][] } {
  const original: number[][] = [];
  for (let r = 0; r < k; r++) {
    const row: number[] = [];
    for (let c = 0; c < k; c++) {
      row.push(Math.random() < fillRatio ? 1 : 0);
    }
    original.push(row);
  }

  // 模拟 RS 编码扩展到 2k x 2k（简化：行列分别插值/复制）
  const ext: number[][] = [];
  for (let r = 0; r < 2 * k; r++) {
    const row: number[] = [];
    for (let c = 0; c < 2 * k; c++) {
      const srcR = r < k ? r : r - k;
      const srcC = c < k ? c : c - k;
      row.push(original[srcR][srcC]);
    }
    ext.push(row);
  }
  return { original, extended: ext };
}

function runDAS(
  extended: number[][],
  samples: number,
  nodes: number
): DASResult {
  const size = extended.length;
  let detected = false;
  for (let n = 0; n < nodes; n++) {
    for (let s = 0; s < samples; s++) {
      const r = Math.floor(Math.random() * size);
      const c = Math.floor(Math.random() * size);
      if (extended[r][c] === 0) {
        detected = true;
        break;
      }
    }
    if (detected) break;
  }
  const pSingleMiss = Math.pow(0.5, samples);
  const pGlobalMiss = Math.pow(pSingleMiss, nodes);
  return {
    matrixSize: size,
    samplesPerNode: samples,
    nodeCount: nodes,
    totalSampled: samples * nodes,
    detectedUnavailable: detected,
    singleMissProb: pSingleMiss,
    globalMissProbLog10: Math.log10(pGlobalMiss),
  };
}

// 场景 1: 50% 数据不可用（恶意扣留）
const bad = createTestMatrix(128, 0.5);
const r1 = runDAS(bad.extended, 15, 1000);
console.log(
  `恶意场景 (50% 缺失): 检测到=${r1.detectedUnavailable ? '是' : '否'}, ` +
  `漏检 P≈10^{${r1.globalMissProbLog10.toFixed(1)}}`
);

// 场景 2: 99.9% 可用（实际纠删码能恢复）
const good = createTestMatrix(128, 0.999);
const r2 = runDAS(good.extended, 15, 1000);
console.log(
  `正常场景 (0.1% 缺失): 检测到=${r2.detectedUnavailable ? '是' : '否'}, ` +
  `漏检 P≈10^{${r2.globalMissProbLog10.toFixed(1)}}`
);

8.8.3 提案者-构建者分离（PBS）与 MEV

模块化思维的延伸甚至渗透到单个 L1 区块内部。

PBS（Proposer-Builder Separation）—— 将"提议权"与"执行权"拆分为两个角色：

Builder：拥有专业算力，最大化 MEV 利润，构造最优区块包；
Proposer（验证者）：只签署 Builder 提交的最高出价区块，不参与交易重组，从而免受大型 MEV 提取的硬件要求限制。

sequenceDiagram
    autonumber
    participant U as 用户交易
    participant M as 公共内存池
    participant B1 as Builder-A
    participant B2 as Builder-B
    participant R as 中继器
    participant P as Proposer(验证者)
    participant L1 as L1 区块

    U ->> M: 广播交易
    M ->> B1: 交易流
    M ->> B2: 交易流

    B1 ->> B1: 模拟执行 + 三明治套利 / 清算搜索
    B2 ->> B2: 模拟执行 + 排序优化

    B1 ->> R: 提交区块包 + 出价 1.2 ETH
    B2 ->> R: 提交区块包 + 出价 1.5 ETH

    R ->> P: 传递最高出价 bundle (Builder-B, 1.5 ETH)
    P ->> P: 验证签名与基础有效性
    P ->> L1: 签署并广播最终区块
    L1 -->> B2: 区块上链，1.5 ETH 利润按分成合约分配

关键问题：Relay（中继器）是否审查？Builder 是否中心化？

当前实际网络中，前三大 Builder 已占据以太坊 >80% 的区块构建份额——这意味着提议权是分布式的，但执行权正在中心化。

typescript

// PBS 一阶密封投标拍卖模拟：Builder 竞争 -> 验证者选择

type BuilderOffer = {
  name: string;
  revenue: bigint;   // 总可提取价值
  bid: bigint;        // 给 proposer 的出价
  cost: bigint;       // 自身运营成本
};

function pbsAuction(
  offers: BuilderOffer[],
  proposerShareBps: number // Proposer 分成，如 8500 = 85%
): { winner: string; proposerRevenue: bigint; builderProfit: bigint } {
  if (offers.length === 0) {
    return { winner: 'none', proposerRevenue: 0n, builderProfit: 0n };
  }

  let bestIndex = 0;
  let bestNet = offers[0].revenue - offers[0].cost;
  for (let i = 1; i < offers.length; i++) {
    const net = offers[i].revenue - offers[i].cost;
    if (net > bestNet) {
      bestNet = net;
      bestIndex = i;
    }
  }

  const w = offers[bestIndex];
  const proposerRevenue = (w.revenue * BigInt(proposerShareBps)) / 10000n;
  const builderProfit = w.revenue - w.cost - proposerRevenue;

  return {
    winner: w.name,
    proposerRevenue,
    builderProfit,
  };
}

const offers: BuilderOffer[] = [
  { name: 'Flashbots', revenue: 1500000000000000000n, bid: 1200000000000000000n, cost: 50000000000000000n },
  { name: 'Blocknative', revenue: 800000000000000000n, bid: 600000000000000000n, cost: 30000000000000000n },
  { name: 'Eden Network', revenue: 1200000000000000000n, bid: 950000000000000000n, cost: 40000000000000000n },
];

const result = pbsAuction(offers, 8500);
console.log(
  `PBS 拍卖: ${result.winner} 中标, ` +
  `Proposer 获 ${(Number(result.proposerRevenue) / 1e18).toFixed(3)} ETH, ` +
  `Builder 净赚 ${(Number(result.builderProfit) / 1e18).toFixed(3)} ETH`
);

8.8.4 模块化的安全性迁移：木桶效应

当链不再是"一个整体"时，安全性不再是单一的拜占庭阈值，而是多层安全的最小值：

\text{系统安全性} \approx \min(\text{DA层安全}, \text{结算层安全}, \text{执行层安全})

关键推论：

若 DA 层使用弱信任假设（如 5-of-7 多签委员会），即使结算层是以太坊，系统仍可被委员会合谋攻击；
若执行层存在智能合约漏洞，再好的结算层也无法挽回资金；
模块化引入了更多"经济假设"（诚实多数质押、builder 理性），削弱了纯密码学保证。

缓解路径：

数据可用性层使用高去中心化验证（Celestia 的 DAS + 轻节点网络）；
结算锚定在去中心化程度最高的公链（以太坊主网）；
执行层通过形式化验证和审计降低代码风险。

关键认知八：模块化不是免费升级，而是安全性的重新分配。每一层解绑都引入了新的信任假设，最脆弱的那一层决定了整个系统可被攻击的成本。

8.8.5 RaaS 与区块空间的商品化

Rollup-as-a-Service（RaaS）—— 如 Caldera、Altlayer、Conduit 等项目允许任何人像开网站一样在几小时内启动自己的 Rollup：

选择执行引擎（EVM、SVM、Cairo VM）；
选择 DA 层（Celestia 数据可用性、以太坊 Blob）；
选择结算层（以太坊、专用结算链）；
启用排序器（自建或共享）。

这意味着区块空间正在从"协议资产"演变为"可组合商品"：

资源类型	含义	独立定价
数据可用性	存储 + 共识带宽	Celestia 1 字节数据
执行	计算 + 状态更新	Rollup Gas
结算	最终性 + 桥接安全	以太坊主网桥接费
排序	全局顺序 + MEV	优先交易费 / 拍卖

未来可能出现专门的"模块化市场"—— Rollup 可以实时在不同 DA 层之间切换以优化成本。

← 8.7 互操作性协议（IBC / XCMP） | 前往 → 8.9 全章技术路线对比与决策框架

本页目录