友情链接：
让不懂建站的用户快速建站，让会建站的提高建站效率！
撰文：Sovereign新人注册送38元白菜
编译：0x11，Foresight News
图片开端：由 Maze AI 生成
加密规模存在一个平日的诬蔑，合计 ZK Rollup 的最终细目时辰很长。在这篇著述中，咱们将解释为什么第一代 ZK Rollup 需要这样万古辰才能完成最终细目性，以及咱们如安在不葬送安全性的情况下杀青更低的延长。
为了责罚这个问题，咱们构想了一种 sovereign ZK Rollup 联想。背面，咱们将简要磋议 sovereign 联想的其他上风。
关于大多数 ZK Rollup新人注册送38元白菜，考证零常识证明是最大的开支之一。凭据底层证明系统不同，以太坊上的 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 层的证明，咱们也不错松驰扫描强制往来。
可移植性和互操作性在智能合约 Rollup 规范中，L1 桥是唯一无二的。由于桥肃穆搜检未包含在证明中的声明（如「此证明包括统统强制往来」之类的声明），因此将基于证明的桥添加到其他标的地时时没特意旨。然而一朝咱们将统统逻辑王人移到证明中，这就不再是问题了。咱们不错在职何咱们想要的方位添加桥。
以致不错更进一步，淌若 L1 智能合约仅仅一个普通的桥，咱们不错足够取消它。领先，在不赈济智能合约的系统上构建 Rollup 是特意旨的。只需经受现存的 Rollup 逻辑并删除 L1 桥。跷足而待，你不错部署在职何 DA 层上！换句话说，你的 Rollup 逻辑不错立即在不同的 L1 之间移植。
论断Rollup 的翌日是 sovereign。通过平直证明其分叉选拔规定新人注册送38元白菜，sovereign ZK Rollup 可杀青无缝互操作性、即时可移植性和快速最终细目性。就像智能合约 Rollup 相似，它们提供低 Gas 老本和信任最小化桥梁，但它们不会被动在老本和延长之间进行量度。
热点资讯