模块化世界中的模块化IBC_STI:IBC

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

模块化区块链和 Rollup 的设计灵活性也促使 IBC 具有更高的灵活性。IBC 网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化 IBC 将让 IBC 协议适应这种动态环境。

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

拆分状态层

目前,在 IBC 网络中,单个 Tendermint 轻客户端就足以代表一个逻辑区块链,因为网络本身具有同质性。不过,Celestia 这样的模块化区块链打破了这种同质性,将逻辑区块链分割成多条链。因此,你需要多个轻客户端来代表一个单独的逻辑区块链,而每个轻客户端可以代表区块链堆栈的不同层次。

证明方式

在单一环境中,运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中,我们需要获取各种证明以确认状态转换。

模块化DEX基础设施Native获Cypher Capital战略投资:7月20日消息,模块化DEX基础设施Native已与Web3风险投资基金Cypher Capital达成合作伙伴关系并签署融资协议,具体金额暂未披露,双方将重点拓展中东和北非市场,并帮助企业和开发者利用Native的金融设施基础层将应用程序快速构建为DEX。[2023/7/20 11:06:00]

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

· 直接证明(例如,运行全节点)

· 欺诈证明(例如,Optimistic Rollup)

· 有效性或零知识证明(例如,zk Rollup)

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

我们可以将上述验证方法与区块链的可组合层进行混搭,以确信自己进行了状态转换。例如,我们可以直接针对 Celestia 执行数据可用性采样。或者,我们可以选择验证 Celestia 共识证明。

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

· 数据可用性(DA)

· 序列或交易顺序(TO)

· 执行

——结算

为了展示设计的灵活性,我们将探究在通用数据可用性层上的各种 Rollup 设计:

Celestia 模块化框架产品 Rollkit 推出比特币 Rollup:3月9日消息,Celestia 旗下模块化框架产品 Rollkit 宣布推出比特币主权 Rollup,使用比特币作为数据可用性层。

Rollkit 是由 Celestia 开发的新框架,于 2 月 21 日推出,旨在模块化区块链的不同组件,使开发人员能够部署 Rollup,自定义和选择数据可用性层作为区块链数据的来源,以及处理交易的执行层。[2023/3/9 12:51:01]

· 执行+欺诈证明==Optimistic Rollup

· 执行+共识证明==Pessimistic Rollup

· 执行+零知识证明==ZK Rollup

获取安全性

在单一区块链中,链的安全性取决于 PoW 链的挖矿算力以及 PoS 链的 Token 质押。这在启动新链时会导致各种安全问题,比如自举问题(bootstrapping problem)。在模块化的区块链堆栈中,链可以从一个或多个外部来源获取安全性。

目前有几种共享安全模式,其中一些可以直接与 IBC 兼容,而其他一些需要模块化 IBC 才能正常工作。

· 通过链间安全从生产者链承接安全性(例如 Cosmos Hub)

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

Lido V2引入Staking Router模块化架构,允许任何人创建Lido staking模块:金色财经报道,Lido发布推文称,作为Lido V2的一部分,引入了Staking Router模块化架构。Staking Router是一种升级,它将Lido staking operator registry转变为模块化 + 可组合的即插即用架构,允许Lido以更自下而上的理念转向更模块化的架构。任何人都可以提出一个模块,每个验证者池都被视为自己独立的模块。虽然Staking Router负责在所有模块之间分配资源,但每个模块都管理自己的内部运营商注册表、存储密钥以及参与者之间的权益 + 奖励分配。[2023/2/11 11:59:54]

· 从公共结算层承接安全性(例如,Ethereum)

· 从公共数据可用性层承接安全性(例如 Celestia, EigenDA)

——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据

· 从可编程安全提供商获取安全性(例如 EigenLayer)

——安全提供商会根据某些验证工作受到额外罚没条件的限制

· 通过检查点机制从生产者链获取安全性(例如 Babylon)

——检查点机制可以防止长距离攻击和最薄弱环节攻击(在多跳 IBC 路由中)

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

高延迟但低风险路径:

· 一个 eth2 轻客户端代表 Ethereum 进行数据可用性和结算证明。

· 一个带有条件规则的 Optimistic 轻客户端,代表 Aribitrum 或 Optimism 进行执行和交易排序证明。

——该规则将确保在将 Arbitrum 或 Optimism 区块路由到其他 L2 之前,已在 Ethereum 上结算并最终确定。

低延迟但高风险路径:

模块化区块链网络Celestia已启动其首个测试网Mamaki:5月25日消息,模块化区块链网络 Celestia 已启动其首个测试网 Mamaki,测试网支持用户操作节点、接收测试网 Token、从验证者节点获得授权以及在钱包之间发送交易。

Celestia(此前为 LazyLedger)是第一个模块化区块链网络。它是一个可插拔的共识和数据可用性层,使任何人都可以快速部署去中心化的区块链,而无需引导新的共识网络的开销。Celestia 首席运营官 Nick White 表示,Celestia 是一种用于 Web 3 的云计算网络,用户能够在共享共识层的特定应用链上启动去中心化应用程序。[2022/5/26 3:42:04]

· 一个独立机器、委员会或共识轻客户端,代表第三方或序列器的软确认进行见证。

· 一个带有 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

链得得

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

水星链

[0:31ms0-1:27ms