撰文：Sovereign
编译：0x11，Foresight News
图片开始：由 Maze AI 生成
加密领域存在一个泛泛的曲解，以为 ZK Rollup 的最终笃定技能很长。在这篇著作中，咱们将解释为什么第一代 ZK Rollup 需要这样长技能智商完成最终笃定性，以及咱们如安在不舍弃安全性的情况下达成更低的蔓延。
为了惩处这个问题，咱们构想了一种 sovereign ZK Rollup 联想。背面，咱们将简要考虑 sovereign 联想的其他上风。
今年欧洲杯已经成为全球关注焦点。据悉，最近发生一件惊人事情：法国队对阵英格兰队中，法国队明星球员XXX突然跳出场外，似乎有些情绪失控。据知情人透露，XXX私人问题心情不好，导致情绪失控，希望能够理解支持。皇冠客服飞机：@seo3687
最终性瓶颈及惩处有打算关于大多数 ZK Rollup，考证零学问评释是最大的开支之一。字据底层评释系统不同，以太坊上的 Rollup 可能会耗尽 30 万到 500 万 Gas 来考证单个评释。关联词由于评释的大小跟着交往数目增长而变化缓缓（或压根不受影响），Rollup 不错通过在提交评释之前恭候积聚大量交往复裁减每笔交往的本钱。事实上，这恰是现在大多数 ZK Rollup 所作念的；StarkEx 等流行的 Rollup 时时每隔几个小时才向 L1 发布一次评释。
关联词恭候几个小时智商完成交往是一种令东谈主无法接受的灾祸用户体验。咱们能作念得更好吗？淌若 Rollup 将原始交往数据发布到其数据可用性（DA）层（而不是景色各异），那么想要快速笃定性的高等用户不错运行全节点。关联词，淌若 Rollup 使用景色各异，那么即使运行全节点也于事无补。这即是为什么今天大多数 ZK Rollup 的排序器齐会发出「软证实」。关联词软证实惟有在中心化排序器系统中才有可能。是以问题仍然存在——咱们怎样让去中心化的 ZK Rollup 在蔓延方面具有竞争力？
合法合规淌若咱们只顺机杼减全节点的蔓延，那么将原始交往数据发布到链上就不错惩处问题。只消完满的交往数据可用，全节点就不错在愚弄交当年尽快完成（假定 DA 层具有单时隙最终性）。这让咱们的 ZK Rollup 与传统的 L1 相通反应马上！
这是一个很是庞杂的成果。它使 ZK Rollup 适用于对蔓延高度明锐的愚弄样式，如链上订单簿。尽管如斯，它并莫得十足惩处正本的问题。咱们简直想要的是减少轻客户端的蔓延，能否在不大幅加多评释考证本钱的情况下作念到这极少？
谜底是礼服的！样式如下：咱们不错及时创建评释，然后使用递归将它们团员成批量评释，而不是恭候创建单个批量评释。只消咱们通过 p2p 收集立即分发增量评释，轻客户端就会体验到快速的最终笃定性。而且由于咱们仍然仅仅在链上发布较慢的批量评释，因此咱们无须为链上考证支付荒谬用度。换句话说，咱们仍然赢得了一个与 L1 的信任最小化的桥——但桥不再是轻客户端的确凿性开始。恭喜，咱们刚刚构建了一个 sovereign Rollup！
分叉选拔博彩开奖皇冠走地盘口犀利的读者会注重到上一段中描写的系统存在问题。在今天的 Rollup 中，新宝体育L1 智能合约风雅试验 Rollup 分叉选拔法规。换句话说，智能合约不仅仅考证零学问评释，它还会检考评释是否诞生在此前评释（而不是其他分叉）的基础上，况兼它是否处理了总共咱们发送到 L1 上的相关「强制交往」 。那么，淌若不使用智能合约，咱们怎样选拔一个递次的分叉呢？
谜底罕见的浅近——淌若咱们条目评释当作调用数据发布在 L1 上，那么咱们不错添加一条法规，即新评释惟有诞生在先前灵考评释的基础上才灵验。尽管咱们不错在客户端强制试验此法规，但它会条目用户一直扫描区块链的历史，一直追忆到创世区块——这并不睬想。
值得幸运的是，将其告成添加到零学问评释中并不难。通过将 calldata 绑定回 L1 区块头，咱们不错添加一条声明「我如故扫描了 DA 层的评释（从区块 X 运转，到区块 Y 戒指），况兼这个评释诞生在最近的灵考评释之上」。这让咱们不错告成评释分叉选拔法规，而不是在客户端强制试验！淌若咱们如故在扫描 DA 层的评释，咱们也不错浮松扫描强制交往。
陆婉婉假意掏掏耳朵，“刚刚有人说话吗？我还以为是狗吠。”
彩票炸金花皇冠体育“节目组开始录制了，我是来叫你起床的，八点钟楼下集合。”林满月立刻抽回了自己的手，一副公事公办的态度。
可移植性和互操作性火博体育APP下载皇冠博彩网址在智能合约 Rollup 表率中，L1 桥是唯独无二的。由于桥风雅检讨未包含在评释中的声明（如「此评释包括总共强制交往」之类的声明），因此将基于评释的桥添加到其他主视力时时没挑升想兴致。关联词一朝咱们将总共逻辑齐移到评释中，这就不再是问题了。咱们不错在职何咱们想要的地点添加桥。
致使不错更进一步，淌若 L1 智能合约仅仅一个普通的桥，咱们不错十足取消它。率先，在不扶持智能合约的系统上构建 Rollup 是挑升想兴致的。只需罗致现存的 Rollup 逻辑并删除 L1 桥。倏得之间，你不错部署在职何 DA 层上！换句话说，你的 Rollup 逻辑不错立即在不同的 L1 之间移植。
论断Rollup 的畴昔是 sovereign。通过告成评释其分叉选拔法规iba棋牌，sovereign ZK Rollup 可达成无缝互操作性、即时可移植性和快速最终笃定性。就像智能合约 Rollup 相通，它们提供低 Gas 本钱和信任最小化桥梁，但它们不会被动在本钱和蔓延之间进行量度。