深入研究模块化区块链如何影响IBC状态层的设计。

模块化区块链和Rollup的设计灵活性也使IBC更加灵活。IBC网络的拓扑结构正在从同构的密集连接的网络向异构的稀疏连接的网络转变。模块化IBC将使IBC协议适应这种动态环境。

前面，我们讨论了如何考虑模块化互操作性。今天，我们将深入研究模块化区块链如何影响IBC状态层的设计。

分裂状态层

目前，在IBC网络中，一个单独的Tendermint轻型客户端足以代表一个逻辑区块链，因为网络本身是同构的。然而，像Celestia这样的模块化区块链打破了这种同质性，将逻辑区块链分成多个链。因此，您需要多个轻型客户端来代表单个逻辑区块链，并且每个轻型客户端可以代表区块链堆栈的不同级别。

证明模式

在单一环境中，运行一个完整的节点或验证一个单一的共识证明通常足以说服第三方进行状态转换。在模块化环境中，我们需要获得各种证明来确认状态转换。

我们可以将各种验证方法分类如下:

直接证明(例如，运行整个节点)

欺诈证据(例如，最佳汇总)

有效性或零知识的证明(例如，zk汇总)

共识证明(例如，轻客户端)

我们可以将上述验证方法与区块链的可组合层混合搭配，以确保我们已经完成了状态转换。例如，我们可以直接为Celestia执行数据可用性采样。或者，我们可以选择验证天青石共识证明。

无论使用哪种证明，逻辑轻客户端(LC)都希望确认以下三点:

数据可用性

顺序或交易顺序(至)

实施

-结算

为了展示设计的灵活性，我们将探索公共数据可用性层上的各种汇总设计:

执行 欺诈证据= =最佳累计

执行 共识证明= =悲观累计

执行力 零知识证明==ZK累计

获得安全

在单个区块链中，链的安全性依赖于PoW链的挖掘计算能力和PoS链的令牌质押。这将导致在启动新链时出现各种安全问题，例如引导问题。在模块化区块链堆栈中，链可以从一个或多个外部来源获得安全性。

目前有几种共享的安全模式，有些直接兼容IBC，有些则需要模块化IBC才能正常工作。

通过链间安全(如coohub)承担来自生产者链的安全。

-跨链验证的版本v1用生产者链验证者替换了消费者链验证者。

从公共结算层(例如以太坊)承担安全性

公共数据可用性层的安全性(例如Celestia、EigenDA)

-公共数据可用性层可以为基于防欺诈的信任最小化桥提供反审查数据。

从可编程安全提供程序(例如，EigenLayer)获得安全性。

-根据某些验证工作，安全提供商将受到附加没收条件的限制。

通过检查点机制从生产者链获得安全性(例如巴比伦)。

-检查点机制可以防止长距离攻击和最弱链路攻击(在多跳IBC路由中)。

通过再质押、跨链质押(如流动性质押、超流动性质押等)获得担保。)

-让质押资本承担验证者一级的没收条件。

IBC的应用实例将以太坊与IBC联系起来。

对于ethereuml 2

高延迟但低风险的途径:

eth2轻型客户端代表以太坊执行数据可用性和结算证明。

一个带有条件规则的乐观轻型客户端，它代表Aribitrum或Optimi执行执行和事务排序证明。

-此规则将确保Arbitrum或Optimi块在路由到其他L2之前，已经在以太坊上结算和完成。

低延迟但高风险的路径:

一个独立的机器，委员会或共识光客户端，代表第三方或测序仪的软确认作证。

一个带有以太坊条件规则的乐观轻型客户端，它代表Arbitrum或Optimi执行执行和事务排序证明。

将IBC扩展到Celestia汇总

以Celestia为例，您需要多个轻型客户端来表示逻辑最优汇总。Celestia提供了共识证明，作为数据可用性和交易排序的证明。

我们可以看到模块化IBC在连接到Celestia Rollup的IBC链上的实际操作:

代表Celestia证明数据可用性和交易排序的Tendermint轻型客户端(TMLC)。

一个带有Celestia条件规则的optimization light客户端，用于证明optimization roll up的执行。

-该规则将确保数据块在最终确定之前在Celestia网络上可用。

请注意，多个最佳轻客户端将取决于TMLC天弘。此外，对于逻辑悲观汇总，可以有以下设置:

代表Celestia证明数据可用性和交易排序的Tendermint轻型客户端(TMLC)。

带有Celestia条件规则的Tendermint轻型客户端(TMLC ),用于证明代表悲观汇总的执行。

-同样，这一规则将确保在最后确定之前，Celestia网络上有一个可用的数据块。

与IBC的特征层共享安全性

Eigenlayer允许以太坊验证者在可以在链上执行的附加惩罚条件下重新放置他们的以太坊誓言。这使得Eigenlayer消费链可以借用以太坊网络的安全性。

通过在以太坊中加入惩罚条件，EigenLayer验证者可以对消费者链头进行签名，提高安全性。如果特征层与IBC集成，跨链验证可用于将特征层验证器添加到消费者链的主动验证器集中。否则，消费者链仍然可以在IBC环节一级为相连的链提供一定程度的保护。

这将通过以下方式实现:

对以太坊上的双签名链头进行罚款，这意味着如果特征层验证者为消费者链双签名一个链头，那么特征层上的三分之一的承诺将被罚款。

连接到IBC支持的EigenLayer消费者链的区块链需要运行两个轻客户端——一个用于EigenLayer，另一个用于消费者链。

连接链在接受链头之前，将验证链头是否已经由消费者链和EigenLayer签名。

这意味着IBC与特征层消费者链的连接可以分叉，并提供额外的经济保护来抵御攻击。

巴比伦利用IBC共享安全

对于巴比伦来说，它将提供检查点或时间戳服务，通过向比特币发布聚合时间戳，利用比特币的安全性来处理特定交易。它充当安全的生产者，而连接的链被认为是安全的消费者。

通过连接巴比伦，消费链可以将状态检查点连接到比特币，从而在高价值交易中利用比特币的安全性。此外，他们还必须实现慢速确认规则，以延迟这些交易的最终完成，并确保检查点状态在比特币网络中达到*k-*深度。

查看模块化IBC在巴比伦消费链上的实际操作:

用巴比伦TMLC的条件规则初始化本地客户端。

-此规则将确保在执行之前为提交的数据包设置检查点。

在初始化的本地连接/通道上写入数据包。

-在检查并提交数据包之前，不会执行该数据包。

从巴比伦消费链向IBC连接链发送高价值数据包；

-首先，通过本地连接/信道实现慢速确认规则。

-之后，数据包将通过IBC连接发送到与IBC连接的链。

Polymer参加共享安全峰会。

在2023年的ETH Denver期间，Polymer Labs与我们的许多生态系统合作伙伴共同主办了共享安全峰会。幸运的是，我们在Eigenlayer和Babylon Chain的朋友录下了所有的演讲。

资料来源:Bitui

原标题:模块化世界的模块化IBC

原作者:聚合物实验室

原编译:Kxp，BlockBeats

温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信，我们会及时处理和回复。