过去，我们讨论了如何思考模块化互操作性。今天，我们将深入研究模块化区块链对IBC状态层设计的影响。
拆分状态层目前，在IBC网络中，单个Tendermint轻客户端可以代表一个逻辑区块链，因为网络本身具有同质性。然而，像Celestia这样的模块化区块链打破了这种同质性，将逻辑区块链分割成多条链。因此，你需要多个轻客户端来代表一个单独的逻辑区块链，而每个轻客户端可以代表区块链堆栈的不同层次。
证明方式在单一环境中，运行一个完整节点或验证单个共识证明通常足以使第三方相信状态转换。在模块化环境中，我们需要获取各种证明以确认状态转换。
我们可以将各种验证方法分类如下：- 直接证明（例如，运行全节点）- 欺诈证明（例如，Optimistic Rollup）- 有效性或零知识证明（例如，zkRollup）- 共识证明（例如，轻客户端）
我们可以将上述验证方法与区块链的可组合层进行组合，以确信自己进行了状态转换。例如，我们可以针对Celestia执行数据可用性采样。或者，我们可以选择验证Celestia共识证明。
无论使用哪种类型的证明，逻辑轻客户端（LC）都希望确认以下三点：- 数据可用性（DA）- 序列或交易顺序（TO）- 执行-结算
为了展示设计的灵活性，我们将探讨在通用数据可用性层上的各种Rollup设计：- 执行+欺诈证明==Optimistic Rollup- 执行+共识证明==Pessimistic Rollup- 执行+零知识证明==ZKRollup
获取安全性在单一区块链中，链的安全性取决于PoW链的挖矿算力以及PoS链的Token质押。这在启动新链时会导致各种安全问题，比如自举问题（bootstrapping problem）。在模块化的区块链堆栈中，链可以从一个或多个外部来源获取安全性。
目前有几种共享安全模式，其中一些可以直接与IBC兼容，而其他一些需要模块化IBC才能正常工作。- 通过链间安全从生产者链承接安全性（例如Cosmos Hub）- 从公共结算层承接安全性（例如，Ethereum）- 从公共数据可用性层承接安全性（例如Celestia，EigenDA） ——公共数据可用性层可以为基于欺诈证明的信任最小。
本文来自用户投稿，不代表币大大立场，如若转载，请注明出处：https://czxurui.com/zx/96169.html
发表回复
评论列表（0条）