深入研究模块化区块链如何影响IBC状态层的设计。
模块化区块链和Rollup的设计灵活性也促使IBC具有更高的灵活性。IBC网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化IBC将让IBC协议适应这种动态环境。
此前，我们谈论了如何思考模块化互操作性。今天，我们将深入研究模块化区块链如何影响IBC状态层的设计。
拆分状态层
目前，在IBC网络中，单个Tendermint轻客户端就足以代表一个逻辑区块链，因为网络本身具有同质性。不过，Celestia这样的模块化区块链打破了这种同质性，将逻辑区块链分割成多条链。因此，你需要多个轻客户端来代表一个单独的逻辑区块链，而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式
在单一环境中，运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中，我们需要获取各种证明以确认状态转换。
Polygon的模块化区块链项目Avail开启Kate测试网第二阶段:金色财经报道，Polygon 的模块化区块链项目 Avail 开启Kate测试网的第二阶段，第一个测试网阶段允许 Avail 试验基本操作、执行链上功能和运行协议治理。第二阶段将包括一个更全面的测试环境，以鼓励验证者参与。开发人员表示，Avail 还打算解决扩展应用程序所面临的数据可用性问题，计划招募数百名新验证者加入、参与和参与其社区。[2023/6/8 21:24:26]
我们可以将各种验证方法分类如下：
·直接证明
·欺诈证明
·有效性或零知识证明
·共识证明
我们可以将上述验证方法与区块链的可组合层进行混搭，以确信自己进行了状态转换。例如，我们可以直接针对Celestia执行数据可用性采样。或者，我们可以选择验证Celestia共识证明。
无论使用哪种类型的证明，逻辑轻客户端都希望确认以下三点：
·数据可用性
·序列或交易顺序
·执行
——结算
为了展示设计的灵活性，我们将探究在通用数据可用性层上的各种Rollup设计：
zkSync Era已支持Paradigm创建的模块化工具包Foundry:6月6日消息，据官方消息，开发人员现在可以使用 zkSync Era 的 Foundry alpha 版本来部署合约、桥接 L1 与 L2 间的资产、发送交易等。Foundry 由 Paradigm 等创建和维护，是一个用于以太坊开发的模块化工具包，可增强 EVM 链上的安全智能合约开发。
zkSync Era 的 Foundry alpha 版本中的 zkCast 与合约交互并存入、提取或查询区块链数据，如账户余额或区块信息；zkForge 使用特殊的编译器编译合约，并将它们部署到 zkSync Era Localnet、测试网和主网。[2023/6/6 21:19:50]
·执行+欺诈证明==OptimisticRollup
·执行+共识证明==PessimisticRollup
·执行+零知识证明==ZKRollup
获取安全性
在单一区块链中，链的安全性取决于PoW链的挖矿算力以及PoS链的Token质押。这在启动新链时会导致各种安全问题，比如自举问题。在模块化的区块链堆栈中，链可以从一个或多个外部来源获取安全性。
Celestia 模块化框架产品 Rollkit 推出比特币 Rollup:3月9日消息，Celestia 旗下模块化框架产品 Rollkit 宣布推出比特币主权 Rollup，使用比特币作为数据可用性层。
Rollkit 是由 Celestia 开发的新框架，于 2 月 21 日推出，旨在模块化区块链的不同组件，使开发人员能够部署 Rollup，自定义和选择数据可用性层作为区块链数据的来源，以及处理交易的执行层。[2023/3/9 12:51:01]
目前有几种共享安全模式，其中一些可以直接与IBC兼容，而其他一些需要模块化IBC才能正常工作。
·通过链间安全从生产者链承接安全性
——跨链验证的v1版本用生产者链验证者替换了消费者链验证者
·从公共结算层承接安全性
·从公共数据可用性层承接安全性
——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据
·从可编程安全提供商获取安全性
——安全提供商会根据某些验证工作受到额外罚没条件的限制
·通过检查点机制从生产者链获取安全性
——检查点机制可以防止长距离攻击和最薄弱环节攻击
Optimism推出模块化组件OPStack，支持构建自定义链“op-chains”:10月18日消息，以太坊二层解决方案Optimism推出模块化组件OP Stack，支持组装构建自定义链“op-chains”以适应任何用例，此外通过共享排序和消息传递层，未来“op-chains”之间的界限将会消失，形成一个单一的逻辑链“Superchain”，从而将集体的资源开放给插入“Superchain”的许多不同的“op-chains”。[2022/10/18 17:30:00]
·通过再质押和跨链质押获取安全性
——让质押资本承担验证者级别的罚没条件
IBC应用实例将Ethereum与IBC连接
对于EthereumL2<>L2连接，我们需要多个轻客户端来表示每个逻辑L2链。我们可以具体看一下OptimisticRollup。在L2之间，你可以形成具有不同安全属性的IBC通道路径。请注意，此示例假定我们已在以下链上运行IBC传，使用Polymer进行IBC传输的模型有所不同。
高延迟但低风险路径：
·一个eth2轻客户端代表Ethereum进行数据可用性和结算证明。
·一个带有条件规则的Optimistic轻客户端，代表Aribitrum或Optimism进行执行和交易排序证明。
模块化区块链网络Celestia已启动其首个测试网Mamaki:5月25日消息，模块化区块链网络 Celestia 已启动其首个测试网 Mamaki，测试网支持用户操作节点、接收测试网 Token、从验证者节点获得授权以及在钱包之间发送交易。
Celestia（此前为 LazyLedger）是第一个模块化区块链网络。它是一个可插拔的共识和数据可用性层，使任何人都可以快速部署去中心化的区块链，而无需引导新的共识网络的开销。Celestia 首席运营官 Nick White 表示，Celestia 是一种用于 Web 3 的云计算网络，用户能够在共享共识层的特定应用链上启动去中心化应用程序。[2022/5/26 3:42:04]
——该规则将确保在将Arbitrum或Optimism区块路由到其他L2之前，已在Ethereum上结算并最终确定。
低延迟但高风险路径：
·一个独立机器、委员会或共识轻客户端，代表第三方或序列器的软确认进行见证。
·一个带有Ethereum条件规则的Optimistic轻客户端，代表Arbitrum或Optimism进行执行和交易排序证明
将IBC扩展到CelestiaRollup
以Celestia为例，你需要多个轻客户端来表示逻辑OptimisticRollup。Celestia提供了共识证明作为数据可用性和交易排序的证明。
我们可以在连接到CelestiaRollup的IBC链上查看模块化IBC的实际操作：
·一个Tendermint轻客户端，代表Celestia进行数据可用性和交易排序证明。
·一个带有Celestia条件规则的Optimistic轻客户端，代表OptimisticRollup进行执行证明。
——该规则将确保在最终确定一个数据块之前，Celestia网络上有一个数据块可用。
请注意，多个Optimistic轻客户端将依赖于CelestiaTMLC。此外，对于逻辑pessimisticRollup，你可以有以下设置：
·一个Tendermint轻客户端，代表Celestia进行数据可用性和交易排序证明。
·一个带有Celestia条件规则的Tendermint轻客户端，代表pessimisticRollup进行执行证明。
——同样，该规则将确保在最终确定一个数据块之前，Celestia网络上有一个数据块可用。
使用IBC的Eigenlayer共享安全性
Eigenlayer允许Ethereum验证者重新将其Ethereum质押置于可在链上执行的额外罚没条件之下。这使得Eigenlayer消费者链可以借用Ethereum网络的安全性。
通过在Ethereum上增加一个罚没条件，EigenLayer验证者可以签署消费者链头以提高安全性。如果EigenLayer集成了IBC，跨链验证可以用于将EigenLayer验证者添加到消费者链的活跃验证者集。否则，消费者链仍然可以在IBC链接层面为连接的链提供一定程度的保护。
这将通过以下方式实现：
·在Ethereum上对双重签名的链头进行罚没，这意味着如果EigenLayer验证者为消费者链双重签名一个链头，EigenLayer上1/3的质押将被罚没。
·连接到启用了IBC的EigenLayer消费者链的区块链需要运行两个轻客户端——一个用于EigenLayer，另一个用于消费者链。
·连接的链将在接受之前验证链头是否已经被消费者链和EigenLayer签署。
·这意味着与EigenLayer消费者链的IBC连接可以进行分叉并提供额外经济保护以抵御攻击。
使用IBC的Babylon共享安全性
对于Babylon而言，它将提供检查点或时间戳服务，通过向Bitcoin发布一个聚合时间戳来用Bitcoin的安全性处理特定交易。它充当安全性生产者，而连接的链则被认为是安全性的消费者。
通过连接到Babylon，消费者链可以将状态检查点连接到Bitcoin，以便在高价值交易利用到Bitcoin的安全性。此外，它们还必须执行慢速确认规则，以延缓这些交易的最终确定，以确保检查点状态在Bitcoin网络中达到*k-*深度。
在Babylon消费者链上查看模块化IBC实际操作：
·用BabylonTMLC的条件规则初始化一个本地客户端。
——该规则将确保在执行之前对提交的数据包设置检查点。
·在初始化的本地连接/通道上写入一个数据包。
——数据包在检查点和提交之前不会被执行。
·从Babylon消费者链发送高价值数据包到IBC连接的链：
——首先通过本地连接/通道实施慢速确认规则。
——之后数据包将通过IBC连接发送到与IBC连接的链。
Polymer参与共享安全峰会
在2023年的ETHDenver期间，PolymerLabs与我们许多生态系统合作伙伴共同举办了共享安全峰会。幸运的是，我们在Eigenlayer和BabylonChain的朋友们记录了所有演讲。
来源：比推
原文标题：《ModularIBCfortheModularWorld》
原文作者：PolymerLabs
原文编译：Kxp，BlockBeats
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。