深入研究模块化区块链如何影响IBC状态层的设计。
模块化区块链和 Rollup 的设计灵活性也促使 IBC 具有更高的灵活性。IBC 网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化 IBC 将让 IBC 协议适应这种动态环境。
此前，我们谈论了如何思考模块化互操作性。今天，我们将深入研究模块化区块链如何影响 IBC 状态层的设计。
拆分状态层
目前，在 IBC 网络中，单个 Tendermint 轻客户端就足以代表一个逻辑区块链，因为网络本身具有同质性。不过，Celestia 这样的模块化区块链打破了这种同质性，将逻辑区块链分割成多条链。因此，你需要多个轻客户端来代表一个单独的逻辑区块链，而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式
在单一环境中，运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中，我们需要获取各种证明以确认状态转换。
Safe发布模块化开源Safe Core协议白皮书:8月15日消息，数字资产管理平台 Safe 发布模块化开源 Safe{Core} 协议白皮书，旨在推进智能账户转型。该协议解决了碎片化、Vendor 锁定、安全性等问题，确保通过标准化模块（即插件、Hooks、函数处理程序、签名验证器等）保持 DApp 和工具的可组合性，通过与 Vendor 无关的方式确保保持帐户的互操作性和可迁移性，以及引入注册中心（Registries）确保降低智能合约风险。
Safe 还引入了一个 Manager 作为抽象层来管理这些问题的相互依赖关系。Manager 的作用是处理碎片、互操作性和安全性的复杂性以及注册表、帐户和模块之间的提议解决方案。[2023/8/15 21:25:43]
我们可以将各种验证方法分类如下：
· 直接证明（例如，运行全节点）
· 欺诈证明（例如，Optimistic Rollup）
· 有效性或零知识证明（例如，zk Rollup）
· 共识证明（例如，轻客户端）
我们可以将上述验证方法与区块链的可组合层进行混搭，以确信自己进行了状态转换。例如，我们可以直接针对 Celestia 执行数据可用性采样。或者，我们可以选择验证 Celestia 共识证明。
无论使用哪种类型的证明，逻辑轻客户端（LC）都希望确认以下三点：
Polygon的模块化区块链项目Avail已开源OpEVM SDK新原型:7月28日消息，Polygon的模块化区块链项目Avail已开源Optimism EVM（OpEVM）软件开发工具包（SDK）的新原型，开发者可以使用OpEVM构建主权的、EVM兼容的Optimistic Rollups。该技术为开发者提供了用于运行在L2上的去中心化基础设施，支持去中心化定序器集、无需再L1上简历嵌入式跨链桥，并真正以乐观的方式验证状态转换。OpEVM建立在Avail数据可用性层之上，可以帮助创建独立于智能合约运行的 Rollup。OpEVM是Avail与Equilibrium Group的合作项目，OpEVM原型有其局限性，尚未投入生产。[2023/7/28 16:03:45]
· 数据可用性（DA）
· 序列或交易顺序（TO）
· 执行
——结算
为了展示设计的灵活性，我们将探究在通用数据可用性层上的各种 Rollup 设计：
· 执行+欺诈证明==Optimistic Rollup
· 执行+共识证明==Pessimistic Rollup
· 执行+零知识证明==ZK Rollup
获取安全性
在单一区块链中，链的安全性取决于 PoW 链的挖矿算力以及 PoS 链的 Token 质押。这在启动新链时会导致各种安全问题，比如自举问题（bootstrapping problem）。在模块化的区块链堆栈中，链可以从一个或多个外部来源获取安全性。
Aragon新模块化DAO框架协议上线测试网，明年将上线主网:11月28日消息，DAO解决方案提供商Aragon近日宣布新模块化DAO框架协议已上线测试网，明年将上线主网。新协议将大幅降低Gas费，并提供可升级性和角色管理功能。[2022/11/28 21:07:16]
目前有几种共享安全模式，其中一些可以直接与 IBC 兼容，而其他一些需要模块化 IBC 才能正常工作。
· 通过链间安全从生产者链承接安全性（例如 Cosmos Hub）
——跨链验证的 v1 版本用生产者链验证者替换了消费者链验证者
· 从公共结算层承接安全性（例如，Ethereum）
· 从公共数据可用性层承接安全性（例如 Celestia, EigenDA）
——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据
· 从可编程安全提供商获取安全性（例如 EigenLayer）
——安全提供商会根据某些验证工作受到额外罚没条件的限制
· 通过检查点机制从生产者链获取安全性（例如 Babylon）
——检查点机制可以防止长距离攻击和最薄弱环节攻击（在多跳 IBC 路由中）
· 通过再质押和跨链质押获取安全性（例如流动性质押、超流动性质押等）
模块化区块链网络Celestia推出模块化研究员支持计划:8月11日消息，模块化区块链网络Celestia推出模块化研究员（Modular Fellows）支持计划。模块化研究员将获得技术支持和超过三个月津贴，以建立他们选择的项目。目前潜在项目创意包括新的执行层、Rollup基础设施、DeFi协议的模块化版本、NFT平台和域名服务。模块化研究员需是对模块化区块链有深刻理解并有开发经验的工程师。首批共计10个名额。[2022/8/11 12:18:19]
——让质押资本承担验证者级别的罚没条件
IBC 应用实例将 Ethereum 与 IBC 连接
对于 EthereumL2
高延迟但低风险路径：
· 一个 eth2 轻客户端代表 Ethereum 进行数据可用性和结算证明。
· 一个带有条件规则的 Optimistic 轻客户端，代表 Aribitrum 或 Optimism 进行执行和交易排序证明。
——该规则将确保在将 Arbitrum 或 Optimism 区块路由到其他 L2 之前，已在 Ethereum 上结算并最终确定。
低延迟但高风险路径：
· 一个独立机器、委员会或共识轻客户端，代表第三方或序列器的软确认进行见证。
Bitfinex旗下数据流平台Dazaar实现模块化接口部署 可接入BTC等支付网络:近日，Tether和Bitfinex首席技术官Paolo Ardoino发推称，Bitfinex旗下开源点对点数据流平台Dazaar网络现已实现部署一个模块化接口。用户可利用该接口接入任何想要的支付系统，例如通过主链或闪电网络接入BTC支付网络、Tether等等。[2021/1/17 16:21:56]
· 一个带有 Ethereum 条件规则的 Optimistic 轻客户端，代表 Arbitrum 或 Optimism 进行执行和交易排序证明
将 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
链得得
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。