|
以上，我们列出了hub方式的优势。然而，这种方法也遇到了一些关键的限制。而最明显的限制，就是区块链需要引导自己的安全性，因为它们无法共享或继承彼此的安全性。众所周知，任何安全的跨链通信都需要受信任的第三方或同步假设。在hub方式的情况下，受信任的第三方成为交易对手链的主要验证者。 例如，通过 IBC 从一条链连接到另一条链的代币，总是可以被恶意的大多数源链验证者赎回（窃取）。在今天只有少数链共存的情况下，这种多数信任假设可能会很好地工作，然而，在可能存在链/网络长尾的未来，期望这些链/网络信任彼此的验证者以进行通信或共享流动性，远非是理想的。这将我们带到提供跨链通信的rollup和分片，并提供超越多数信任假设的更强保证。 （虽然 Cosmos 将引入跨Zone共享质押，并且Avalanche 可以让多条链通过同一网络进行验证，但这些解决方案的可扩展性较差，因为它们对验证者提出了更高的要求。实际上，它们很可能被大多数活跃的链采用，而不是长尾链） 数据可用性（DA）经过多年的研究，人们普遍认为所有安全共享工作都归结为一个非常微妙的问题，称为数据可用性（DA），要理解其中的原因，我们需要快速了解一下节点在典型区块链中的运行方式。 在典型的区块链（以太坊）中，全节点下载并验证所有的tx，而轻节点只检查区块头（多数验证者提交的区块摘要）。因此，虽然全节点可以独立检测和拒绝无效交易（例如无限印代币），但轻节点将大多数人提交的任何内容视为有效tx。 为了改进这一点，理想情况下，任何单个全节点都可以通过发布小的证明来保护所有轻节点。在这样的设计下，轻节点可以像全节点一样以类似的安全保证运行，而无需花费尽可能多的资源。但是，这引入了一个称为数据可用性（DA）的新问题。 如果恶意验证者发布了一个区块header，但扣留了区块中的部分或全部交易，则全节点将无法判断该区块是否有效，因为丢失的交易可能无效或导致双花。如果没有这些知识，全节点就无法生成无效欺诈证明来保护轻节点。总之，首先要使保护机制发挥作用，轻节点必须确保验证者已提供所有交易的完整列表。 DA 问题是模块化设计中不可或缺的一部分，在涉及跨链通信时，它将超越多数信任假设。在L2中，rollup之所以特别，是因为它们不想回避这个问题。 Rollup在rollup的环境中，我们可以将主链（以太坊）视为rollup (Arbitrum)的轻节点，Rollup在L1上发布其所有的交易数据，以便任何愿意将资源放在一起的 L1 节点都可以执行它们，并从头开始构建rollup 状态。有了完整的状态，任何人都可以将 rollup转换为新状态，并通过发布有效性或欺诈证明来证明转换的有效性。在主链上拥有可用数据，允许 rollup在可忽略的单一诚实节点假设下运行，而不是在诚实多数的情况下进行。 (责任编辑：admin) |