模块化区块链和汇总设计的灵活性也激发了IBC设计的灵活性。IBC网络拓扑正在从同质密集连接网络向异构稀疏连接网络转变。
模块化区块链和汇总设计的灵活性也激发了 IBC 设计的灵活性。IBC 网络拓扑正在从同质密集连接网络向异构稀疏连接网络转变。模块化 IBC 使 IBC 协议适应变化的新环境,本文我们将深入探讨模块化区块链如何影响 IBC 状态层的设计。
目前,单个 Tendermint 轻客户端足以代表 IBC 网络中的逻辑区块链,因为网络本身是同构的。像 Celestia 这样的模块化区块链打破了这种同质性,将一个逻辑区块链拆分成许多链。因此需要多个轻客户端来表示单个逻辑区块链,而不是单个轻客户端来表示区块链。每个轻客户端都可以代表区块链堆栈的不同层。
在整体环境中,运行一个完整节点或验证一个单一的共识证明通常足以说服第三方进行状态转换。在模块化设置中,我们需要获取各种证据才能确信状态转换。可以将各种验证方法分类如下:
我们可以将区块链的可组合层与上述验证方法混合搭配,让我们相信状态转换。例如,我们可以直接针对 Celestia 执行数据可用性抽样。或者我们可以选择验证 Celestia 共识证明。无论使用何种证明类型,逻辑轻客户端 (LC) 都希望确信三件事:
在单体区块链中,链的安全性在 PoW 链的情况下取决于挖矿能力,在 PoS 链的情况下取决于经济利益。这会在启动新链时导致各种安全问题,例如引导问题。在模块化区块链堆栈中,链可以从一个或多个来源外部获取安全性。
有几种共享安全模式,其中一些是开箱即用的 IBC 兼容的,而另一些则需要模块化 IBC 才能正常工作。通过链间安全性(例如 Cosmos Hub)从生产者链继承安全性——跨链验证[1]的 v1用生产者链验证器取代了消费者链验证器
对于以太坊 L2连接,我们需要多个轻客户端来表示每个逻辑 L2 链。让我们具体看看 optimistic rollups。您可以在具有不同安全属性的 L2 之间形成不同的 IBC 通道路径。请注意,此示例假设我们在下面的链上运行 IBC 传输。使用 Polymer 进行 IBC 运输的模型是不同的。延迟较高但风险较低的路径:
较低延迟但高风险路径:
以 Celestia 为例,需要多个轻客户端来表示一个逻辑上的 optimistic rollup。Celestia 提供共识证明作为 DA 和 TO 的证明。查看模块化 IBC 在连接到 Celestia rollup 的 IBC 链上的运行情况:
请注意,多个Optimist轻客户端将依赖于 Celestia TMLC。此外,您可以为逻辑悲观汇总进行以下设置:
Eigenlayer 允许以太坊验证者重新质押或使他们的以太坊质押受到链上可执行的额外削减条件的约束。这允许 Eigenlayer 的消费链从以太坊网络借用安全性。通过在以太坊上添加削减条件,EigenLayer 验证者可以在消费链标头上签名以提高安全级别。如果 EigenLayer 集成了 IBC,可以使用跨链验证将 EigenLayer 验证人添加到消费者链的活跃验证人集合中[2]。否则,消费链仍然- 可以在连接链的 IBC 连接级别继承一些保护。这将如何工作:
就 Babylon 而言,它充当检查点或时间戳服务,向比特币发布聚合时间戳,以允许链在特定交易中利用比特币安全性。它充当安全的生产者,连接的链被视为安全的消费者。通过打开与 Babylon 的连接,消费链可以检查比特币的状态,以利用比特币的安全性进行高价值交易。此外,他们必须执行缓慢的最终规则来延迟这些交易的最终确定,直到比特币网络中的检查点状态为 k-*deep**。
查看 Babylon 消费链上的模块化 IBC:
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!