深入研究模块化区块链如何影响IBC状态层的设计。
模块化区块链和 Rollup 的设计灵活性也促使 IBC 具有更高的灵活性。IBC 网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化 IBC 将让 IBC 协议适应这种动态环境。
此前，我们谈论了如何思考模块化互操作性。今天，我们将深入研究模块化区块链如何影响 IBC 状态层的设计。
拆分状态层
目前，在 IBC 网络中，单个 Tendermint 轻客户端就足以代表一个逻辑区块链，因为网络本身具有同质性。不过，Celestia 这样的模块化区块链打破了这种同质性，将逻辑区块链分割成多条链。因此，你需要多个轻客户端来代表一个单独的逻辑区块链，而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式
在单一环境中，运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中，我们需要获取各种证明以确认状态转换。
zkSync推出用于构建定制zkRollup的模块化开源框架ZK Stack:6月26日消息，zkSync 宣布推出用于构建定制 zkRollup 的模块化开源框架 ZK Stack。ZK Stack 将赋予开发人员完全的自主权，从选择数据可用性模式到使用项目自己的 Token 去中心化排序器。[2023/6/26 22:01:16]
我们可以将各种验证方法分类如下：
· 直接证明（例如，运行全节点）
· 欺诈证明（例如，Optimistic Rollup）
· 有效性或零知识证明（例如，zk Rollup）
· 共识证明（例如，轻客户端）
我们可以将上述验证方法与区块链的可组合层进行混搭，以确信自己进行了状态转换。例如，我们可以直接针对 Celestia 执行数据可用性采样。或者，我们可以选择验证 Celestia 共识证明。
无论使用哪种类型的证明，逻辑轻客户端（LC）都希望确认以下三点：
· 数据可用性（DA）
· 序列或交易顺序（TO）
· 执行
——结算
为了展示设计的灵活性，我们将探究在通用数据可用性层上的各种 Rollup 设计：
· 执行+欺诈证明==Optimistic Rollup
Aragon新模块化DAO框架协议上线测试网，明年将上线主网:11月28日消息，DAO解决方案提供商Aragon近日宣布新模块化DAO框架协议已上线测试网，明年将上线主网。新协议将大幅降低Gas费，并提供可升级性和角色管理功能。[2022/11/28 21:07:16]
· 执行+共识证明==Pessimistic Rollup
· 执行+零知识证明==ZK Rollup
获取安全性
在单一区块链中，链的安全性取决于 PoW 链的挖矿算力以及 PoS 链的 Token 质押。这在启动新链时会导致各种安全问题，比如自举问题（bootstrapping problem）。在模块化的区块链堆栈中，链可以从一个或多个外部来源获取安全性。
目前有几种共享安全模式，其中一些可以直接与 IBC 兼容，而其他一些需要模块化 IBC 才能正常工作。
· 通过链间安全从生产者链承接安全性（例如 Cosmos Hub）
——跨链验证的 v1 版本用生产者链验证者替换了消费者链验证者
· 从公共结算层承接安全性（例如，Ethereum）
· 从公共数据可用性层承接安全性（例如 Celestia, EigenDA）
——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据
Router Protocol推出模块化跨链桥Voyager:金色财经报道，区块链通信基础设施Router Protocol今天宣布推出Voyager，这是一种具有增强的安全功能和快速交易速度的跨链桥。在Voyager上处理跨链转移逻辑的合约与处理储备资产的合约是分开的，从而最大限度地减少了额外的常见攻击向量。Voyager还使用链上验证，这比使用链下共识的协议更安全。除了大量的安全功能外，用户还可以利用网桥的高速性能——Voyager上超过50%的交易在不到一分钟的时间内处理完毕，80%的交易在不到两分钟的时间内完成。（cryptoninjas）[2022/7/1 1:42:59]
· 从可编程安全提供商获取安全性（例如 EigenLayer）
——安全提供商会根据某些验证工作受到额外罚没条件的限制
· 通过检查点机制从生产者链获取安全性（例如 Babylon）
——检查点机制可以防止长距离攻击和最薄弱环节攻击（在多跳 IBC 路由中）
· 通过再质押和跨链质押获取安全性（例如流动性质押、超流动性质押等）
——让质押资本承担验证者级别的罚没条件
IBC 应用实例将 Ethereum 与 IBC 连接
对于 EthereumL2
高延迟但低风险路径：
模块化区块链网络Celestia已启动其首个测试网Mamaki:5月25日消息，模块化区块链网络 Celestia 已启动其首个测试网 Mamaki，测试网支持用户操作节点、接收测试网 Token、从验证者节点获得授权以及在钱包之间发送交易。
Celestia（此前为 LazyLedger）是第一个模块化区块链网络。它是一个可插拔的共识和数据可用性层，使任何人都可以快速部署去中心化的区块链，而无需引导新的共识网络的开销。Celestia 首席运营官 Nick White 表示，Celestia 是一种用于 Web 3 的云计算网络，用户能够在共享共识层的特定应用链上启动去中心化应用程序。[2022/5/26 3:42:04]
· 一个 eth2 轻客户端代表 Ethereum 进行数据可用性和结算证明。
· 一个带有条件规则的 Optimistic 轻客户端，代表 Aribitrum 或 Optimism 进行执行和交易排序证明。
——该规则将确保在将 Arbitrum 或 Optimism 区块路由到其他 L2 之前，已在 Ethereum 上结算并最终确定。
低延迟但高风险路径：
· 一个独立机器、委员会或共识轻客户端，代表第三方或序列器的软确认进行见证。
· 一个带有 Ethereum 条件规则的 Optimistic 轻客户端，代表 Arbitrum 或 Optimism 进行执行和交易排序证明
Bitfinex旗下数据流平台Dazaar实现模块化接口部署 可接入BTC等支付网络:近日，Tether和Bitfinex首席技术官Paolo Ardoino发推称，Bitfinex旗下开源点对点数据流平台Dazaar网络现已实现部署一个模块化接口。用户可利用该接口接入任何想要的支付系统，例如通过主链或闪电网络接入BTC支付网络、Tether等等。[2021/1/17 16:21:56]
将 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
链得得
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。