Blobstream 是 Celestia 专门开发的机制,用于使 rollup 能够证明其数据已在基础层发布并可供访问。该机制旨在解决外部区块链,特别是乐观 rollup 和零知识 rollup,如何高效继承 Celestia 数据可用性保证的挑战。Blobstream 无需要求每个 rollup 下载和验证完整数据 blob,而是提供简洁的证明,证明数据已被发布且可在必要时检索。这一系统使 rollup 保持轻量级运行,同时确保其安全性建立在 Celestia 的数据可用性基础之上。
Blobstream 并非执行环境或结算层。
相反,它是连接 Celestia 数据可用性与外部 rollup 的协议。通过这种方式,Blobstream 为模块化生态系统奠定了基础。Rollup 无需依赖单体区块链,即可确信其交易数据是可访问的;用户同样能确信系统不会悄悄丢弃或隐藏数据。
为确保 rollup 安全运行,它们必须证明所有交易数据已发布在可访问的位置。如果缺乏这一保证,运营商可能会扣留数据,导致其他人无法重建链的状态。Blobstream 通过引入对存储在 Celestia 上 blob 的可验证承诺来解决此问题。这些承诺随后可被其他链上的智能合约或验证逻辑使用,以确认 rollup 的数据确实可用。
Blobstream 的核心在于从海量数据中生成小型、易于验证的证明。这些证明允许 rollup 指向 Celestia 并表示:”我们的交易数据存在于这个区块中,在这个命名空间下,这里有加密证据可以证明它。”由于证明简洁明了,它们可以在资源受限的环境中发布和检查,如以太坊智能合约或其他 rollup 结算层。
Blobstream 中首个且目前支持的构造是跨度序列。跨度是对 Celestia 中一系列包含属于 rollup 命名空间的 blob 区块的加密承诺。这一承诺使外部验证者能够检查 rollup 的数据确实已包含在 Celestia 中,而无需下载所有底层 blob。
跨度序列方法尤其适合乐观 rollup,这类 rollup 依靠欺诈证明解决争议。借助跨度,乐观 rollup 可将 Celestia 作为其数据可用性的权威来源。若发生争议,可通过从 Celestia 检索相关 blob 并展示其与声称状态的矛盾来构建欺诈证明。跨度同样与零知识 rollup 兼容,证明过程可包含针对 Celestia 承诺的包含检查。
通过承诺区块序列而非单个共享,跨度方法降低了复杂性并使证明更易于生成。这种简洁性是其当前实际部署的原因之一。
Blobstream 中另一种理论方法是 blob 共享承诺。该方法不是承诺区块序列,而是承诺构成 Celestia 数据方阵中 blob 的个别共享。它提供细粒度证明,能直接验证特定共享的包含情况。
尽管概念强大,blob 共享承诺的复杂度更高且计算需求更大。它们需要能高效处理共享级别包含证明的工具,这类工具仍在开发中。因此,blob 共享承诺尚未在生产环境中得到支持。然而,随着 rollup 生态系统日趋成熟和证明系统不断优化,这种方法可能因其提供的额外灵活性而获得采用。
Blobstream 在使乐观 rollup 继承 Celestia 保证方面扮演着关键角色。在乐观系统中,交易被假定有效,除非被证明不然。为确保这一假设安全有效,rollup 必须确保其数据已公开发布,以便任何人都能重建链并在需要时提出欺诈证明。通过使用 Blobstream,乐观 rollup 可发布证明,证实其 blob 已被包含在 Celestia 中。在欺诈情况下,参与者可从 Celestia 的数据可用性层检索相关 blob 并展示不一致之处。
相比直接在执行导向区块链上发布数据,这种集成降低了成本并提升了可扩展性。它使乐观 rollup 能够增长而不必承担高昂的 calldata 费用,同时保持与底层数据可用性提供者的安全连接。
零知识 rollup 虽有不同需求,但同样受益于 Blobstream。这些 rollup 使用简洁的有效性证明来证明交易正确执行。然而,它们仍需确保原始交易数据对外部各方可用,而非仅提供状态转换证明。没有数据可用性,系统可能变得不透明,因为 rollup 运营商之外的任何人都无法验证或重建链。
Blobstream 使 zk-rollup 能在零知识证明旁边附加紧凑的数据可用性证明。这种组合确保了正确性和可访问性:zk 证明确认状态转换,Blobstream 证明则确认支持它的数据已在 Celestia 上发布。这种双重保障增强了对 zk-rollup 的信任,并提升了它们作为可扩展、可验证执行环境的潜力。
Blobstream 是 Celestia 模块化区块链愿景的核心,因为它提供了数据可用性与执行之间的连接纽带。没有 Blobstream,rollup 将需要下载完整 blob 或依赖效率较低的机制来证明数据可用性,这将削弱 Celestia 设计提供的可扩展性优势。
通过提供轻量级证明,Blobstream 允许众多 rollup 共享 Celestia 的数据可用性层,同时在执行环境中保持独立性。每个 rollup 都能自信运行,确保其数据安全、可检索且可验证。用户因此享受更低的交易成本,而开发者则获得可靠的构建基础设施。因此,Blobstream 的出现不仅代表技术升级,更是为更广泛的模块化区块链生态系统提供了支持框架。