经验啦

  1. 首页 > 生活百科 > 科技 > >

海尔|Maven11 研究：模块化的定义、发展与未来 对加密世界为何重要( 六 )

海尔


ZK rollups 依赖于有效性证明（例如 zksnarks） 。 作为主权 rollup 的 ZK rollup 的功能与目前的实现方式相当类似 。 然而 ， 它不是向智能合约发送 ZK 证明 ， 而是在 rollup 的点对点网络中分发 ， 供节点验证 。 主权 ZK rollups 很像统一结算层上的 ZK rollups ， 允许各种执行运行时作为主权链在彼此之上运行 ， 因为它们的交易不被 Celestia 解释 。 在这里 ， ZK rollup 之上的运行时可以以多种方式运行 。 可以有隐私保护运行时、特定于应用程序的运行时等等 。 这就是所谓的分形扩展（Fractal Scaling） 。
现在 ， 我们已经建立了主权 rollups 的概念 ， 并对它们将如何在 Celestia 上实现有了一个概念 ， 让我们看看两种不同的 rollups 架构是怎样的：

               那他们为什么需要 Celestia？Optimistic rollups 需要 DA ， 以便检测欺诈证据 ， 而 ZK rollups 需要 DA ， 以便知道 rollup 链的状态 。
同样重要的是 ， 当你看到某样东西时 ， 要始终保持逆向思维 。 因为如果不这样做 ， 你经常会被自己的信念所蒙蔽 。 在本节中 ， 我将尝试解释主权 rollups 带来的一些负面影响 。
主权 rollups 将严重依赖于建立在它们之上的新生态（例如 dApps） 。 但是 ， 如果 rollup 本身已经有一定生态 ， 并且 dApps 是开源的 ， 那么这样做就容易得多了 。 尽管如此 ， 流动性仍然是需要克服的主要问题 。 流动性通常会被划分为主权 rollup 和基于其之上的运行时间两类 。 因此 ， rollups 将严重依赖于对其他层（如其他主权 rollup 或结算层）的安全、信任最小化的桥接 。 稍后我们将介绍一些可能的实现 。 此外 ， 主权 rollups 的实现严重依赖于正在构建的能够支持其各种功能的基础设施 。
Optimistic Rollup 实现在本节中 ， 我们将尝试解释一个可能的主权 Optimistic rollup 实现是如何工作的 。
构造为 OR 提供欺诈证明的独特方式之一是在 rollup 上使用全节点和轻节点来玩一个游戏 。 这个游戏是在两个节点之间进行的 ， 一个是挑战者 ， 一个是应答者 。 挑战者将通过充当验证者的第三个节点向响应者发送一个查询 。 响应程序对该查询的应答将通过相同的通道发生 。 在收到质疑后 ， 验证者会将查询转发给响应者 ， 然后响应者会生成一个响应 ， 该响应将被发送回验证者和挑战者 。 验证器将一致地执行检查 ， 以确保两者之间没有不匹配 ， 并且它们不是恶意的 。 验证者的行为是确保响应者没有发送错误的 Merkle 树 ， 而挑战者的行为是确保响应者遵循正确的根 。 如果反应者能够保护自己 ， 那么游戏将照常进行 。 在这场游戏中 ， 诚实的挑战者总是会赢 ， 而诚实的回应者总是会赢 。

               Celestia 充当数据可用性层 ， X 充当结算层也有可能既不使用纯粹连接到 Celestia 的结算层进行桥接 ， 也不使用主权 rollup 功能 。 由于 Celestia 只是为底层 DA 层提供共享安全 ， 所以只要 Celestia 能够将可用交易数据的 Merkle 根发送到一个结算层合约 ， 就可以使用任何结算层 。 这意味着 ， 如果需要 ， 任何结算层都可以用于 rollup 。 那么他们为什么要这么做？许多现有的结算层 ， 如以太坊 ， 已经有了一个繁荣的生态系统 。 因此 ， 已经有了流动性和用户可以利用 。 对于不希望依赖于从头构建整个生态系统的 rollup ， 这是特别有利的 。 现在 ， 这不仅仅局限于作为结算层的以太坊 。 例如 ， 你还可以将 Mina 用作 ZK rollup 。 这意味着你可以将你的交易数据发送给 Celestia ， 同时将状态更新和 zk-proof 发送给 Mina 。 通过这样做 ， 你已经拥有了一个默认证明有效性的结算层 。

相关经验推荐


上一篇：华为|你敢信？绿厂千元机都标配内存拓展！

下一篇：雷柏|手机销量下跌20%背后：华为小米OV谁会成为掉队者？