跳到正文
Financial Context Wiki

模块化区块链架构

从依赖关系出发，分析执行、排序、数据可用性、共识、结算、证明、桥接、治理和归档职责的拆分。

更新于

仅供教育参考，不构成协议、桥接或安全建议。模块化标签不能定义系统保障；请针对具体版本和资产，核验每个已部署组件、数据路径、证明、时钟、管理员、桥与恢复路径。

直接答案

模块化区块链架构是一种分析系统如何分配职责的方法，而不是标准化产品类别。执行、交易排序、状态承诺、证明或争议、数据发布与共识、结算、桥接、治理和长期归档，可以组合在一个协议中，也可以拆分到多个系统，或由多家提供商重复承担。一个层可以承担多项职责，一项职责也可以依赖多个层。

真正有用的问题不是项目是否“模块化”，而是哪个组件验证什么对象、由谁控制、停机后会怎样，以及用户如何独立恢复状态或资产。排序器收据不等于数据可用性或最终性；有效性证明不提供数据；结算链上的承诺不证明数据可永久检索；共享结算也不会带来跨 Rollup 的同步可组合性。

运作方式

  1. 锁定已部署系统：执行链与结算链 ID、协议版本、虚拟机、合约、桥与资产地址、数据可用性模式、运营者、管理员，以及观察区块或时间。营销分类不能替代实际部署配置。
  2. 建立责任矩阵。分别列出交易入口与排序、确定性执行、状态承诺及证明或错误争议、DA 发布及其共识、结算接受与最终性、桥和跨域消息、升级与暂停、历史存储。记录职责重叠，不要强行把一项职责塞进一个层。
  3. 端到端追踪一笔交易及其批次：已签名输入、排序器或本地收据、有序执行、编码压缩后的批次、calldata、Blob 或外部 DA 发布、状态主张及证明或争议、结算最终性，最后是消息或提款执行。在每个边界保存哈希、版本、收据和时钟。
  4. 识别每个被验证对象和信任假设。区分数据承诺与实际字节、协议窗口内可用性与日后可检索性、执行有效性与共识最终性、桥接账本与资产流动性。注明谁能重放、证明、挑战、审查、升级、暂停或扣留各对象。
  5. 重建容量与费用账本。测量原始和压缩字节、批次占用率、DA 价格、证明与结算开销、执行与运营费用、桥接 gas 和流动性费用。批次平均分摊不等于用户实际收费，也不等于新增一笔交易的边际成本。
  6. 演练故障，而不只查看正常路径吞吐。停止排序器、批次发布者、证明者、挑战者、DA 服务、结算 RPC 和桥接中继；在拥堵与升级边界下测试强制纳入、独立派生、数据重建、证明或挑战、重试、退出与归档恢复。
  7. 根据规范证据对账。将执行收据和状态根与批次承诺、DA 纳入、证明或争议游戏状态、结算最终性、桥接消息和最终资产余额相匹配。发生重组、参数变化、合约升级或 DA 迁移后，重新审查依赖关系。

计算示例

  • 批次成本与压缩。 某批次包含 5,000 笔交易，原始输入为 2,400 KB，压缩后为 300 KB。压缩比为 2,400 / 300 = 8.0x，字节数下降 87.5%。若 DA 成本为 0.020 ETH，共享证明与结算开销为 0.005 ETH，则共享平均成本为 (0.020 + 0.005) / 5,000 = 0.000005 ETH/tx。再加上 0.000020 ETH/tx 的执行与运营成本，总平均为 0.000025 ETH/tx。这是成本分摊，并非保证账单。
  • 采样模型边界。 在教学模型中，攻击者扣留 25% 的份额，客户端进行 20 次有放回、独立、均匀采样。每次都错过被扣留份额的概率为 0.75^20 = 0.003171211939 = 0.3171211939%，检测概率为 99.6828788061%。相关节点、自适应响应、纠删码和实际协议的采样规则都可能使这一简单模型失效。
  • 委员会安全性与活性。 一个 5-of-7 DA 委员会在最多 2 名成员不可用时仍可形成新的阈值证明；若有 3 名不可用，则只剩 4 < 5。在仅考虑签名的教学规则下，控制 5 名授权签署者即可满足阈值。但证书仍不能证明存在五份持久副本、用户目前可以取回字节，或执行与结算有效。
  • 多个时钟与快速退出。 教学场景中，暂定确认在 2 seconds 后到达，批次在 8 minutes 后发布，结算在之后 13 minutes 达到最终性，精确经过时间为 21 minutes 2 seconds。若乐观提款另加假设的 7 days，总时间为 10,101 minutes 2 seconds。快速桥按 0.15% 的费率处理 10,000 USDC，费用为 15 USDC，交付 9,985 USDC；速度引入了桥、流动性提供商与重组假设，而不是缩短协议时钟。

风险

  • 误判实际职责或层级边界。
  • 排序器审查、重新排序或停机。
  • 强制纳入不可用、需要许可或过于缓慢。
  • 批次发布者或状态提议者停机。
  • 集中式证明者故障或证明积压。
  • 没有活跃、合格且资金充足的错误挑战者。
  • 争议游戏时钟、保证金、预言机或验证器故障。
  • 有效性电路、证明系统或验证密钥缺陷。
  • 在要求的可用窗口内发生数据扣留。
  • 相关采样、节点隔离或网络视图故障。
  • DA 委员会阈值共谋或密钥泄露。
  • 协议数据当时可用，但缺乏持久的独立归档。
  • 结算层重组或最终性误判。
  • 桥、消息传递器、重放或目标执行故障。
  • 快速桥资不抵债、库存不足或定价不利。
  • 管理员、多签或安全委员会被攻破。
  • 即时升级、版本不兼容或退出延迟不足。
  • DA 费用飙升、Blob 拥堵、批次缩小或补贴到期。
  • 状态、数据、证明、合约或客户端版本不匹配。
  • 异步跨域排序、部分完成或可组合性故障。

常见误区

  • 模块化架构一定比单体设计更去中心化。
  • 有效性证明可以替代数据可用性与历史检索。
  • 在以太坊结算会把以太坊的每项安全属性带入所有组件。
  • 排序器显示成功意味着最终结算并且提款可执行。
  • 更高 TPS、共享 DA 或共享结算可以保证成本更低和同步可组合性。

相关主题

来源

导航

搜索知识库...