⚡ electrical engineering

BigDipper: Sharded Censorship Resistant Data Availability for Leader-Based BFT

BigDipper 是一个针对基于领导者的 BFT 协议的分片数据可用性框架，它通过引入 DA-CR 机制将抗审查性与共识层解耦，允许验证者在无需完整重构的情况下验证微块可用性，同时使高层应用能够定制自身的保护策略。

原作者： Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

发布于 2026-06-03

📖 1 分钟阅读☕ 轻松阅读

原作者： Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

以下是关于 BigDipper 论文的解释，已将其翻译为日常语言并使用了类比。

问题所在：“能藏起你信件”的老板

想象一下，区块链网络就像一个庞大、高速运转的邮政系统。在许多这样的系统中，有一个领导者（Leader，类似于邮政局长），负责分拣邮件并将它们放入运送往世界的卡车（区块）中。

这个系统既快速又高效。然而，它有一个缺陷：邮政局长对于“现在”有哪些东西可以上车拥有绝对控制权。如果邮政局长心怀恶意，他可以让卡车按时出发，但却偷偷地把你的信件留在车外。他不需要停止整个系统，只需要让你的特定信件延迟几分钟即可。

在现实世界中，这会导致灾难性的后果，例如：

拍卖竞价： 如果你的出价被延迟了一辆卡车，你就失去了拍卖机会。
清算： 如果银行无法快速清算坏账，就会损失资金。
跨链消息： 如果你在不同链之间转移加密货币，延迟可能意味着资金丢失。

现有的解决方案试图通过强制邮政局长遵守严格的规则来解决这个问题。但这就像仅仅因为一个人要寄一封有时效性的信，就要求所有人都要支付一辆 VIP 装甲车的费用一样。这既昂贵又会拖慢整体速度。

解决方案：BigDipper

BigDipper 是一个旨在解决此问题的新系统，且不会减慢整个网络的运行速度。它遵循一个简单的原则：“不要硬编码规则；而是提供工具，让用户自己决定。”

可以将 BigDipper 想象成一个位于发信人和邮政局长之间的智能分拣室。

1. “微型区块”（分片/Shards）

与其让邮政局长亲自收集所有邮件，BigDipper 允许副本节点（Replicas，即当地邮局）先收集邮件。

每个当地邮局收集收到的信件，并将它们放入一个被称为微型区块（Mini-Block）的小型密封信封中。
这些信封随后会被发送给邮政局长。

2. “神奇拼图”（纠删码/Erasure Coding）

这是最聪明的部分。邮政局长利用一种称为纠删码（Erasure Coding）的特殊数学技巧，将这些微型区块拆解成拼图碎片。

想象一下，你把 100 封信撕碎，并创造了 300 块拼图碎片。
只要从这 300 块碎片中取出任意 100 块，你就能还原出原始的 100 封信。
邮政局长将这些拼图碎片发送给验证者（Validators，即审计员，负责检查系统是否诚实）。

为什么这很酷？
审计员不需要看到整车邮件就能知道邮件确实存在。他们只需要检查一些拼图碎片和一个“神奇收据”（密码学承诺），就能证明整车货物是有效的。这保持了系统的快速和可扩展性。

3. “抗审查”规则（DA-CR）

这是核心创新。BigDipper 引入了一个名为 DA-CR（具有抗审查能力的可用性）的规则。

规则： 邮政局长必须包含来自至少一定数量的当地邮局的拼图碎片。他不能随心所欲地挑选谁能上车。
代价： 邮政局长仍然可以尝试隐藏某一封特定的信，但他只有在成功排除了接收该信的整个当地邮局的情况下才能做到这一点。

4. “扇出”策略（导航员/Navigator）

这就是用户（客户端）介入的地方。BigDipper 给了你一个选择：你想要多少保护？

低成本选项： 你只向一个当地邮局发送信件。这既便宜又快，但如果那个特定的邮局被邮政局长忽略了，你的信就会被审查（无法送达）。
高安全性选项： 你向许多个当地邮局发送信件（高“扇出”/high fanout）。即使邮政局长忽略了 50% 的邮局，你的信依然在其他邮局手中。虽然向更多地方发送信件会增加一点成本，但你被审查的概率会降至接近于零。

类比：
如果你只是寄一张普通的生日卡片，你可能会把它投进一个邮箱。如果你是在寄一张中奖彩票，你可能会把副本寄到 10 个不同的邮箱。BigDipper 让你根据信件对你的重要程度，来选择使用多少个邮箱。

结果：一个模块化系统

BigDipper 将共识（达成事件顺序的一致）与执行（实际处理数据）分离开来。

验证者（审计员） 只需检查“神奇收据”和少量的拼图碎片。他们不需要下载整车货物。这使得系统运行得极其迅速。
执行层（实际运行应用的人） 可以决定稍后如何检索完整数据。他们可以使用强大的计算机、专门的团队或其他方法来获取全貌。

结论摘要

论文声称，通过使用这种结合了纠删码和线性承诺的“分片”（拆分）方法：

审查程度可调： 用户可以自行选择保护水平。如果你需要不可被审查，你就支付向更多节点发送数据的成本。如果你不需要，你就可以节省开支。
可扩展性： 系统不会随着规模增长而变慢，因为验证者不需要下载整个区块；他们只需检查各自特定的“分片”（拼图碎片）。
安全性： 即便面对恶意的邮政局长，系统也能保证：只要有足够多的诚实节点持有你的数据，系统就无法被欺骗，从而误认为数据丢失或被篡改。
集成性： 他们成功地将此技术整合进了 HotStuff-2（一种流行的区块链协议）中，且没有破坏其安全性规则，证明了其在现实环境中的有效性。

简而言之，BigDipper 通过将邮件分散在许多人手中、利用数学手段证明邮件的存在，并让发送者决定信任多少人，从而阻止了“邮政局长”成为单点故障。

技术摘要：BigDipper

问题陈述

由于其低延迟和简单的通信结构，基于领导者的拜占庭容错（BFT）协议在生产环境中的区块链系统中占据主导地位。然而，这类协议赋予了领导者对交易包含（inclusion）的短期控制权。恶意领导者可以在确保协议活性（liveness）的同时，选择性地延迟或排除具有时效性的交易，例如拍卖竞价、预言机更新、清算和跨链桥消息。这种现象被称为短期审查（short-term censorship），它无法被标准的 BFT 活性保证所捕捉。

现有的解决方案通常将强抗审查、隐藏或排序机制硬编码到共识路径中。虽然这些方法对于特定用例非常有效，但它们迫使所有交易都必须支付同样高昂的保护成本，无论特定交易是否真的需要这种鲁棒性。本文认为应该采用一种更模块化的设计，遵循端到端原则（end-to-end principle）：共识层应仅暴露用于安全排序和数据可用性的最小原语，将抗审查策略及其成本的选择权留给更高层的应用。

方法论

BigDipper 引入了一个**抗审查数据可用性（DA-CR）**层，该层位于交易提交与基于领导者的 BFT 共识之间。该系统围绕三个核心组件构建：

DA-CR 抽象： 一个副本（replicas）贡献微块（mini-blocks）的层，并拥有一种机制来证明哪些数据是可用的且必须被领导者捕获。该层由参数 $(t, \eta)$ 表征，其中 $t$ 代表诚实微块的保证包含量， $\eta$ 代表领导者剩余的捕获空间（排除数据）的能力。
分片共识关键路径： 不同于传统设计中验证者必须下载并执行完整区块载荷（payload），BigDipper 在关键路径上保持数据分片。验证者基于紧凑的承诺（commitments）、可用性证据和 DA-CR 包含规则进行投票，而不是重建完整的载荷。
客户端可调提交（Navigator）： 一种交易分发协议，客户端通过选择一个“扇出”（fanout）参数 $x$ ，将交易发送给 $x$ 个不同的副本。这允许客户端在通信成本与及时包含的概率之间进行权衡。

核心构建

论文提出了基于 Reed-Solomon (RS) 纠删码和线性多项式承诺 (KZG) 的具体 DA-CR 构建方案：

Card-7： 一种可问责（accountable）协议，领导者必须为包含的微块提供证明。它保证了 $t = n - 2f$ 个诚实微块被包含，且 $\eta = 0$ （无空间捕获）。它要求 $n \ge 3f + 1$ 。
Card-1/4： 一种具有较低开销的不可问责变体。它取消了对公开证明的要求，允许领导者隐藏哪些副本被包含。它实现了 $t = n - 3f$ 和 $\eta = n - f - 1$ ，要求更强的假设 $n \ge 4f + 1$ 。
Card-Lite： Card-7 的一种优化版本，使用双同态承诺方案。它通过采样承诺而非传输完整列表，将每个副本的开销降低至 $O(\log n)$ ，同时保持 $t \approx n - 2f$ 。

与 HotStuff-2 的集成

BigDipper 被实例化在 HotStuff-2 中。其集成是外科手术式的，引入了一个作为有效性谓词（validity predicate）的舀取规则（Scooping rule）。只有当领导者的提议包含了完成的 DA-CR 输出（一个证明数据可用性和包含所需微块的证书）时，该提议才是有效的。这不会改变 HotStuff-2 的安全性核心，但可以防止领导者在未捕获所需的副本贡献数据的情况下取得进展。

核心贡献

用于短期抗审查的模块化抽象： 引入了 DA-CR，它将数据可用性机制与具体的抗审查策略解耦。它形式化了保证包含量 ( $t$ ) 与领导者影响力 ( $\eta$ ) 之间的权衡。
分片、可扩展的数据路径： 一种设计，使得普通验证者无需下载整个区块载荷即可进行投票。他们验证承诺和元数据，从而允许聚合提案带宽随副本侧的数据贡献而扩展，而不是受限于单个领导者的输入带宽。
客户端可调的抗审查性： Navigator 协议允许客户端通过增加其扇出量来提高包含概率。论文分析了成本/安全性权衡，并通过联合界限（union-bound）论证，证明随着提交交易数量和副本数量的增加，大规模审查变得极其困难。
具体的集成与分析： 展示了在 HotStuff-2 内部实现 BigDipper 的完整过程，证明了 DA-CR 可以精确地连接到现有的基于领导者的 BFT 协议，且不损害安全性或活性。

结果与分析

抗审查性： 分析表明，虽然恶意领导者可以审查发送到少量副本的交易，但要审查大量交易变得异常困难，且随着系统的规模扩大，这种难度呈指数级增加。具体而言，如果 $T$ 个客户端各发送 $x$ 个副本，则对手审查 $\alpha$ 比例交易的概率随 $T$ 的增加而呈指数级下降。
可扩展性： 通过将共识与全量数据执行分离，BigDipper 允许共识层随副本的聚合带宽线性扩展。系统容量不会因为每个验证者都需要处理完整载荷而产生瓶颈。
性能： Card-7 协议能够适配现有的 HotStuff-2 消息调度（提议、投票、准备、二次投票），通过将 DA-CR 消息（收集、分发、批准、同意）挂载到标准 BFT 消息上，无需增加新的阶段。

重要意义

本文声称 BigDipper 提供了一个用于短期抗审查的模块化框架，避免了现有协议中“一刀切”的成本负担。通过遵循端到端原则，它允许应用根据其对延迟和包含保证的具体经济需求，选择自己的提交策略（例如，联系多少个副本、是否使用纠删码）。

其重要性在于将抗审查性的负担从固定的协议成本转向可调的客户端参数，同时确保共识层保持高效且分片化。它证明了只要通过分片的、基于承诺的机制而非全量复制来认证数据可用性，基于领导者的 BFT 就可以在不牺牲低延迟优势的前提下实现抗审查性。