深入研究模块化区块链如何影响IBC状态层的设计。
模块化区块链和 Rollup 的设计灵活性也促使 IBC 具有更高的灵活性。IBC 网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化 IBC 将让 IBC 协议适应这种动态环境。
此前，我们谈论了如何思考模块化互操作性。今天，我们将深入研究模块化区块链如何影响 IBC 状态层的设计。
拆分状态层
目前，在 IBC 网络中，单个 Tendermint 轻客户端就足以代表一个逻辑区块链，因为网络本身具有同质性。不过，Celestia 这样的模块化区块链打破了这种同质性，将逻辑区块链分割成多条链。因此，你需要多个轻客户端来代表一个单独的逻辑区块链，而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式
在单一环境中，运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中，我们需要获取各种证明以确认状态转换。
Safe正在为模块化智能账户设计新标准:金色财经报道，Safe（以前称为Gnosis Safe）正在开发一项标准，目标是将Web3空间过渡到模块化智能帐户。Safe联合创始人Richard Meissner表示，长远来看，目标是希望用户能够将不同的智能帐户插入相同的协议，它们都是可互操作的，并且都利用相同的安全属性。在接下来的几个月，该团队将寻求社区对拟议协议的反馈。[2023/8/18 18:07:18]
我们可以将各种验证方法分类如下：
· 直接证明（例如，运行全节点）
· 欺诈证明（例如，Optimistic Rollup）
· 有效性或零知识证明（例如，zk Rollup）
· 共识证明（例如，轻客户端）
我们可以将上述验证方法与区块链的可组合层进行混搭，以确信自己进行了状态转换。例如，我们可以直接针对 Celestia 执行数据可用性采样。或者，我们可以选择验证 Celestia 共识证明。
无论使用哪种类型的证明，逻辑轻客户端（LC）都希望确认以下三点：
· 数据可用性（DA）
· 序列或交易顺序（TO）
· 执行
——结算
为了展示设计的灵活性，我们将探究在通用数据可用性层上的各种 Rollup 设计：
模块化执行层Fuel推出谷歌浏览器插件钱包Beta版本:6月21日消息，以太坊模块化执行层Fuel推出谷歌浏览器插件钱包Fuel Wallet Beta版本，且已支持在Chrome Store下载。用户可以通过该钱包与Fuel上DApp交互并管理资产。[2023/6/21 21:52:22]
· 执行+欺诈证明==Optimistic Rollup
· 执行+共识证明==Pessimistic Rollup
· 执行+零知识证明==ZK Rollup
获取安全性
在单一区块链中，链的安全性取决于 PoW 链的挖矿算力以及 PoS 链的 Token 质押。这在启动新链时会导致各种安全问题，比如自举问题（bootstrapping problem）。在模块化的区块链堆栈中，链可以从一个或多个外部来源获取安全性。
目前有几种共享安全模式，其中一些可以直接与 IBC 兼容，而其他一些需要模块化 IBC 才能正常工作。
· 通过链间安全从生产者链承接安全性（例如 Cosmos Hub）
——跨链验证的 v1 版本用生产者链验证者替换了消费者链验证者
· 从公共结算层承接安全性（例如，Ethereum）
· 从公共数据可用性层承接安全性（例如 Celestia, EigenDA）
Polygon的模块化区块链项目Avail开启Kate测试网第二阶段:金色财经报道，Polygon 的模块化区块链项目 Avail 开启Kate测试网的第二阶段，第一个测试网阶段允许 Avail 试验基本操作、执行链上功能和运行协议治理。第二阶段将包括一个更全面的测试环境，以鼓励验证者参与。开发人员表示，Avail 还打算解决扩展应用程序所面临的数据可用性问题，计划招募数百名新验证者加入、参与和参与其社区。[2023/6/8 21:24:26]
——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据
· 从可编程安全提供商获取安全性（例如 EigenLayer）
——安全提供商会根据某些验证工作受到额外罚没条件的限制
· 通过检查点机制从生产者链获取安全性（例如 Babylon）
——检查点机制可以防止长距离攻击和最薄弱环节攻击（在多跳 IBC 路由中）
· 通过再质押和跨链质押获取安全性（例如流动性质押、超流动性质押等）
——让质押资本承担验证者级别的罚没条件
IBC 应用实例将 Ethereum 与 IBC 连接
对于 EthereumL2
高延迟但低风险路径：
· 一个 eth2 轻客户端代表 Ethereum 进行数据可用性和结算证明。
Cosmos生态模块化结算层Dymension即将上线测试网:1月17日消息，Cosmos生态模块化结算层Dymension在官方推特透露即将上线测试网。
据悉，Dymension是一个建立在Cosmos上的主权Roll up，旨在通过Dymension Chain（结算层）、RDK（RollApp开发工具包）和IRC使RollApp（以定制应用为重点的Roll App）的开发变得简单。Dymension Roll Apps和Cosmos一样，旨在创建特定应用的区块链，以减少共识开销。[2023/1/17 11:16:23]
· 一个带有条件规则的 Optimistic 轻客户端，代表 Aribitrum 或 Optimism 进行执行和交易排序证明。
——该规则将确保在将 Arbitrum 或 Optimism 区块路由到其他 L2 之前，已在 Ethereum 上结算并最终确定。
低延迟但高风险路径：
· 一个独立机器、委员会或共识轻客户端，代表第三方或序列器的软确认进行见证。
· 一个带有 Ethereum 条件规则的 Optimistic 轻客户端，代表 Arbitrum 或 Optimism 进行执行和交易排序证明
模块化区块链网络Celestia已启动其首个测试网Mamaki:5月25日消息，模块化区块链网络 Celestia 已启动其首个测试网 Mamaki，测试网支持用户操作节点、接收测试网 Token、从验证者节点获得授权以及在钱包之间发送交易。
Celestia（此前为 LazyLedger）是第一个模块化区块链网络。它是一个可插拔的共识和数据可用性层，使任何人都可以快速部署去中心化的区块链，而无需引导新的共识网络的开销。Celestia 首席运营官 Nick White 表示，Celestia 是一种用于 Web 3 的云计算网络，用户能够在共享共识层的特定应用链上启动去中心化应用程序。[2022/5/26 3:42:04]
将 IBC 扩展到 Celestia Rollup
以 Celestia 为例，你需要多个轻客户端来表示逻辑 Optimistic Rollup。Celestia 提供了共识证明作为数据可用性和交易排序的证明。
我们可以在连接到 Celestia Rollup 的 IBC 链上查看模块化 IBC 的实际操作：
· 一个 Tendermint 轻客户端（TMLC），代表 Celestia 进行数据可用性和交易排序证明。
· 一个带有 Celestia 条件规则的 Optimistic 轻客户端，代表 Optimistic Rollup 进行执行证明。
——该规则将确保在最终确定一个数据块之前，Celestia 网络上有一个数据块可用。
请注意，多个 Optimistic 轻客户端将依赖于 Celestia TMLC。此外，对于逻辑 pessimistic Rollup，你可以有以下设置：
· 一个带有 Celestia 条件规则的 Tendermint 轻客户端（TMLC），代表 pessimistic Rollup 进行执行证明。
——同样，该规则将确保在最终确定一个数据块之前，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 实际操作：
· 用 Babylon TMLC 的条件规则初始化一个本地客户端。
——该规则将确保在执行之前对提交的数据包设置检查点。
· 在初始化的本地连接/通道上写入一个数据包。
——数据包在检查点和提交之前不会被执行。
· 从 Babylon 消费者链发送高价值数据包到 IBC 连接的链：
——首先通过本地连接/通道实施慢速确认规则。
——之后数据包将通过 IBC 连接发送到与 IBC 连接的链。
Polymer 参与共享安全峰会
在 2023 年的 ETH Denver 期间，Polymer Labs 与我们许多生态系统合作伙伴共同举办了共享安全峰会。幸运的是，我们在 Eigenlayer 和 Babylon Chain 的朋友们记录了所有演讲。
来源：比推
原文标题：《Modular IBC for the Modular World》
原文作者：Polymer Labs
原文编译：Kxp，BlockBeats
比推 Bitpush News
媒体专栏
阅读更多
金色财经 善欧巴
金色早8点
白话区块链
欧科云链
Odaily星球日报
Arcane Labs
MarsBit
深潮TechFlow
BTCStudy
链得得
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。