二层数据不挤主网：Tezos 数据可用性层的分片与验证延迟

Rollup 的数据非得上 L1 吗

乐观或 ZK 汇总的通行做法，是把交易数据直接发布到主链——贵，但省心。Tezos 的 Smart Rollups 是协议内置的二层框架，官方给它另配了一条数据通道：Data Availability Layer（DAL），一个与 Tezos 主链并行的对等网络。任何人都能加入、发数据、读数据，无需许可；同时它是“可反驳”的——只要有一个诚实运营者，就能揭露二层乱用数据的行为，比如汇总引用了没被作保的数据，或拒绝引用本该引用的数据。数据的“可用性”因此不来自 L1 区块体积，而来自一批独立节点各自的下载证明。

从证书开始：承诺、证明与分片

流程从发布开始。用户把一个字节序列发给 DAL 节点的提交接口，节点回两样东西：一个是承诺——功能上像哈希，但多了一层能力：数据被纠删编码切成分片后，承诺本身能定位分片，只要凑够一定比例的分片就能重建原文，这个比例由冗余因子控制，官方举例说明因子为 2 时用一半分片即可还原、因子为 4 时只需四分之一。另一个是证明，用于锁定数据长度，防止有人往网络里塞超大对象做耗竭攻击。用户再把“承诺加证明”这个证书发到 Tezos L1；一旦证书进了某个区块，DAL 网络就把对应数据切开，在 P2P 层分发给对口的持有者。

烘焙者替数据“签收”：延迟区块与陷阱分片

作保的活儿由 L1 的烘焙者顺手完成：每个纪元被分配的区块里，一部分分片连同若干“陷阱分片”被指派给他们——陷阱分片是系统伪造的空数据，诚实节点应当发现它们并拒绝作保。烘焙者试下载自己名下的分片，能下载的就在自己常规的区块投票里签“可用”。签名不是立即要交的：网络设定了验证延迟，例如证书在 100 级上链、延迟为 4，则烘焙者须在 104 级连同对 103 级的常规投票一并签出；到点时若被有效签收的分片数量达标，协议把该数据标记为已确认、对 Smart Rollups 可用；不达标，证书被判为废证、数据直接丢弃。汇总节点则盯着区块流，看到某数据被标记可用后去 DAL 节点取件。

奖励条款把激励钉在行为上。官方文档写明：自 Rio 协议起，烘焙者必须对自己被指派的分片中至少 64% 完成有效作保，才能拿到该周期的 DAL 奖励；给陷阱分片错误背书的烘焙者会被其他 DAL 节点举报，一旦成立，当个周期的 DAL 奖励全数没收。下载、验证、签收、连坐，四个动作被压进烘焙者本来就要做的投票里，网络不必为可用性另建一套质押市场。

插槽、页与先到先得

存储结构上，DAL 在 L1 区块里排布若干字节向量槽位，每槽有容量上限；数据按页填入槽，一页必须装进单独一个 Tezos 操作——官方给出的理由是保证汇总反驳游戏可执行：二层的每一步执行都要能向 L1 举证，数据片段自然也要能单独引用。槽号由发布者指定，而 DAL 不排他，同一块里多笔交易抢同一个槽时，块内排在前面的操作优先，其余直接失败——决定权实际落在打包该块的烘焙者手里。槽数、槽大小、页大小、验证延迟、冗余因子等参数各网络可不同，客户端可从 RPC 的常量接口或汇总内核的 reveal_dal_parameters 读取现值，未来协议也可能按用量动态调整。

边界与核对

三点值得记住：第一，DAL 上数据只存留有限时间——够用即可，汇总若依赖它就必须及时自己落盘，这决定了“曾经可用”不等于“永远可查”；第二，可反驳性依赖至少一方诚实且有动力举报，激励条款的适用边界（例如 Rio 之前的周期规则）以协议文档为准；第三，本层只回答“数据可不可得”，结算与正确性仍由 L1 上的汇总管理器与反驳游戏负责，DAL 不做执行验证。核对路径也具体：读 L1 块内证书的确认级别、查对应级别的签收比例、调 DAL 节点接口验证分片可得。本文只做机制解释，不构成任何投资建议。