模块化世界中的模块化IBC
深入研究模块化区块链如何影响IBC状态层的设计。
原文标题:《Modular IBC for the Modular World》
原文作者:Polymer Labs
原文编译:Kxp,BlockBeats
模块化区块链和 Rollup 的设计灵活性也促使 IBC 具有更高的灵活性。IBC 网络拓扑结构正从一个同质化、密集连接的网络转变为一个异质化、稀疏连接的网络。模块化 IBC 将让 IBC 协议适应这种动态环境。
此前,我们谈论了如何思考模块化互操作性。今天,我们将深入研究模块化区块链如何影响 IBC 状态层的设计。
拆分状态层
目前,在 IBC 网络中,单个 Tendermint 轻客户端就足以代表一个逻辑区块链,因为网络本身具有同质性。不过,Celestia 这样的模块化区块链打破了这种同质性,将逻辑区块链分割成多条链。因此,你需要多个轻客户端来代表一个单独的逻辑区块链,而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式
在单一环境中,运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中,我们需要获取各种证明以确认状态转换。
我们可以将各种验证方法分类如下:
· 直接证明(例如,运行全节点)
· 欺诈证明(例如,Optimistic Rollup)
· 有效性或零知识证明(例如,zk Rollup)
· 共识证明(例如,轻客户端)
我们可以将上述验证方法与区块链的可组合层进行混搭,以确信自己进行了状态转换。例如,我们可以直接针对 Celestia 执行数据可用性采样。或者,我们可以选择验证 Celestia 共识证明。
无论使用哪种类型的证明,逻辑轻客户端(LC)都希望确认以下三点:
· 数据可用性(DA)
· 序列或交易顺序(TO)
· 执行
——结算
为了展示设计的灵活性,我们将探究在通用数据可用性层上的各种 Rollup 设计:
· 执行+欺诈证明==Optimistic Rollup
· 执行+共识证明==Pessimistic Rollup
· 执行+零知识证明==ZK Rollup
获取安全性
在单一区块链中,链的安全性取决于 PoW 链的挖矿算力以及 PoS 链的 Token 质押。这在启动新链时会导致各种安全问题,比如自举问题(bootstrapping problem)。在模块化的区块链堆栈中,链可以从一个或多个外部来源获取安全性。
目前有几种共享安全模式,其中一些可以直接与 IBC 兼容,而其他一些需要模块化 IBC 才能正常工作。
· 通过链间安全从生产者链承接安全性(例如 Cosmos Hub)
——跨链验证的 v1 版本用生产者链验证者替换了消费者链验证者
· 从公共结算层承接安全性(例如,Ethereum)
· 从公共数据可用性层承接安全性(例如 Celestia, EigenDA)
——公共数据可用性层可以为基于欺诈证明的信任最小化桥接提供抗审查数据
· 从可编程安全提供商获取安全性(例如 EigenLayer)
——安全提供商会根据某些验证工作受到额外罚没条件的限制
· 通过检查点机制从生产者链获取安全性(例如 Babylon)
——检查点机制可以防止长距离攻击和最薄弱环节攻击(在多跳 IBC 路由中)
· 通过再质押和跨链质押获取安全性(例如流动性质押、超流动性质押等)
——让质押资本承担验证者级别的罚没条件
IBC 应用实例将 Ethereum 与 IBC 连接
对于 EthereumL2 <> L2 连接,我们需要多个轻客户端来表示每个逻辑 L2 链。我们可以具体看一下 Optimistic Rollup。在 L2 之间,你可以形成具有不同安全属性的 IBC 通道路径。请注意,此示例假定我们已在以下链上运行 IBC 传,使用 Polymer 进行 IBC 传输的模型有所不同。
高延迟但低风险路径:
· 一个 eth2 轻客户端代表 Ethereum 进行数据可用性和结算证明。
· 一个带有条件规则的 Optimistic 轻客户端,代表 Aribitrum 或 Optimism 进行执行和交易排序证明。
——该规则将确保在将 Arbitrum 或 Optimism 区块路由到其他 L2 之前,已在 Ethereum 上结算并最终确定。
低延迟但高风险路径:
· 一个独立机器、委员会或共识轻客户端,代表第三方或序列器的软确认进行见证。
· 一个带有 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,你可以有以下设置:
· 一个 Tendermint 轻客户端(TMLC),代表 Celestia 进行数据可用性和交易排序证明。
· 一个带有 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 的朋友们记录了所有演讲。
比推快讯
更多 >>- 比特币原生DA层Nubit已与Babylon Devnet完成集成
- 毕马威:CBDC、稳定币等数字货币形式将在未来十年内在金融市场中共存
- Scroll:Session Zero已对USDC、USDT、wrsETH及Tranchess资产开放积分系统
- RWA项目Plural完成230万美元融资,CompoundVC和Necessary Ventures领投
- Layer 1区块链网络Radix将其生态基金规模扩大到2.5亿枚XRD,规模超1000万美元
- 香港署理财政司司长:将全力推动包括Web3相关的DeFi、虚拟资产等重点领域金融创新
- 一加州律师承认涉嫌950万美元加密庞氏骗局,将面临最高五年的监禁
- 以太坊L2网络Mint Blockchain完成500万美元种子轮融资
- Avalanche链上稳定币中心Stable Jack完成100万美元天使轮融资
- Web3游戏发行平台NexGami完成250万美元种子轮融资,Metalpha领投
- Pacmoon宣布推出带有Social Validator概念的v2版本
- Truth Labs推出Memecoin组织和分享平台Meme Depot
- 特朗普重罪指控成立后,TRUMP代币短线下跌35%
- 美陪审团宣布特朗普在“封口费”案中的34项重罪指控成立
- 美参议员 Cynthia Lummis 和众议员 Patrick McHenry 敦促拜登不要否决 SAB 121
- Pudgy Penguins 计划于 2025 年推出手机游戏
- 华尔街日报:SBF正在返回其一周前离开的纽约监狱
- 美联储Bostic:不认为7月会降息,但如果数据证明有必要,会保持开放态度
- Immunefi:2024 年加密黑客和欺诈导致的损失已达 4.73 亿美元
- FTX 破产过程中批准支付给律师和顾问的费用已超过 5 亿美元
- 消息人士:SEC 要求现货以太坊 ETF 发行人于周五之前提交首轮 S-1 表格草案
- 比特币站上69000美元,日内涨2.40%
- 美众议院金融服务委员会主席:需要一项推进稳定币监管法案的工具
- QCP Capital:比特币面临 Mt Gox 债权人支付的不确定性,交易员的注意力转向 meme币
- LayerZero 将 Solana 添加到其跨链桥网络中
- 美联储威廉姆斯:并不需要通胀精确达到2%才降息
- 马斯克:我从未与特朗普讨论过加密货币;加密货币可以将权力从政府转移到人民
- Loopring将推出多网络 Loopring 智能钱包
- 黑山高等法院将再次就Do Kwon的引渡作出决定
- Uniswap创始人:名人币的概念并不一定不好,只是做得不好
- A16z 和 Ripple 已分别向加密PAC Fairshake 捐赠近 5000 万美元
- 消息人士:马斯克就加密货币问题向特朗普提出建议,特朗普竞选团队讨论邀请马斯克参加共和党大会
- Terraform Labs及其 CEO与美SEC就欺诈案达成初步和解
- 美SEC专员Hester Peirce建议英美联合建立数字证券沙盒
- Web3 社交网络工具提供商 Neynar完成1100万美元A轮融资,Haun Ventures 领投
- 纽约州金融服务部:虚拟货币公司必须遵守新的客户服务义务
- 交易执行协议Smart Transaction完成550万美元种子轮融资,HackVC等参投
- 比特币质押项目Babylon完成7000万美元融资,Paradigm领投
- 摩根大通:以太币现货 ETF 需求将远低于比特币
- Vanguard未计划在其经纪平台提供现货以太坊ETF交易
- Arweave AO:将 100% 公平发行代币AO,总量2100万枚
比推专栏
更多 >>观点
项目
比推热门文章
- 比特币原生DA层Nubit已与Babylon Devnet完成集成
- 毕马威:CBDC、稳定币等数字货币形式将在未来十年内在金融市场中共存
- Scroll:Session Zero已对USDC、USDT、wrsETH及Tranchess资产开放积分系统
- 马斯克和特朗普正在讨论加密货币政策,如果特朗普重返白宫,他将考虑让马斯克担任行政顾问。
- 美SEC:加密投资骗局的5种常见套路
- KOL 轮融资:新的暴富之路 or 下一个被 SEC 盯上的猎物?
- RWA项目Plural完成230万美元融资,CompoundVC和Necessary Ventures领投
- Layer 1区块链网络Radix将其生态基金规模扩大到2.5亿枚XRD,规模超1000万美元
- 香港署理财政司司长:将全力推动包括Web3相关的DeFi、虚拟资产等重点领域金融创新
- 一加州律师承认涉嫌950万美元加密庞氏骗局,将面临最高五年的监禁