模块化世界中的模块化IBC_ROL:STI

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

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

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

拆分状态层

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

证明方式

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

模块化区块链网络Celestia推出OPStack模块化数据可用性接口Beta版本:6月2日消息,模块化区块链网络 Celestia 宣布推出 OP Stack 模块化数据可用性(DA)接口的 Beta 版本,允许开发人员定义 DA 层并从任何区块链继承安全性,包括以太坊、Celestia 和比特币。Rollup 平台 Caldera 将很快发布 Taro 测试网,允许开发人员和用户使用模块化 DA 试用 OP Stack 的第一个公共测试网。[2023/6/2 11:54:19]

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

·直接证明

·欺诈证明

·有效性或零知识证明

·共识证明

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

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

·数据可用性

·序列或交易顺序

·执行

——结算

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

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]

·执行+欺诈证明==OptimisticRollup

·执行+共识证明==PessimisticRollup

·执行+零知识证明==ZKRollup

获取安全性

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

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

BitDAO 模块化以太坊 Layer2 网络 Mantle 启动测试网:1月10日消息,BitDAO 模块化以太坊 Layer 2 网络 Mantle Network 宣布启动测试网。Mantle 通过 Rollups 从以太坊获得安全性,并正与合作伙伴 EigenLayer 构建单独的数据可用性层。

据悉,Mantle Network 堆栈包含三层,一层用于交易执行,而另外两层分别处理交易的完成和数据可用性。Mantle 的交易费用将使用 BIT 代币支付。开发人员需要填写表格才能获得 Mantle 测试网的访问权限。[2023/1/10 11:04:08]

·通过链间安全从生产者链承接安全性

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

·从公共结算层承接安全性

·从公共数据可用性层承接安全性

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

·从可编程安全提供商获取安全性

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

·通过检查点机制从生产者链获取安全性

——检查点机制可以防止长距离攻击和最薄弱环节攻击

模块化区块链网络Celestia推出模块化研究员支持计划:8月11日消息,模块化区块链网络Celestia推出模块化研究员(Modular Fellows)支持计划。模块化研究员将获得技术支持和超过三个月津贴,以建立他们选择的项目。目前潜在项目创意包括新的执行层、Rollup基础设施、DeFi协议的模块化版本、NFT平台和域名服务。模块化研究员需是对模块化区块链有深刻理解并有开发经验的工程师。首批共计10个名额。[2022/8/11 12:18:19]

·通过再质押和跨链质押获取安全性

——让质押资本承担验证者级别的罚没条件

IBC应用实例将Ethereum与IBC连接

对于EthereumL2<>L2连接,我们需要多个轻客户端来表示每个逻辑L2链。我们可以具体看一下OptimisticRollup。在L2之间,你可以形成具有不同安全属性的IBC通道路径。请注意,此示例假定我们已在以下链上运行IBC传,使用Polymer进行IBC传输的模型有所不同。

高延迟但低风险路径:

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

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

SKALE已升级为模块化L1/L2混合网络并推出新的Hub架构:4月20日消息,据官方博客文章,以太坊扩容协议SKALE的V2升级把SKALE从独立的L2网络发展为了可扩展互连区块链的高性能模块化L1/L2混合网络,以及推出了新的Hub架构,SKALE链将被归类为Hub链或Dapp链。SKALE Hubs为Dapp链提供流动性、交换和市场服务。任何人都可以创建一个Hub,目前两个社区中的Hub提案将在SKALE V2上启动,一个是流动性和ETH 主网桥聚合Hub,一个是NFT市场Hub。此外SKALE表示,SKALE V2可以让用户使用以太坊生成的代币,还可以让Dapps直接在SKALE上以零成本铸造ERC代币或NFT。此前消息,以太坊扩容协议SKALE于4月14日左右进行V2主网更新。[2022/4/20 14:35:22]

——该规则将确保在将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

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

金智博客

[0:0ms0-6:663ms