撰文:Sovereign
编译:0x11,Foresight News
图片来源:由 Maze AI 生成
加密范畴存在一个普遍的曲解,认为 ZK Rollup 的最末确按时间很长。在那篇文章中,我们将阐明为什么第一代 ZK Rollup 需要那么长时间才气完成最末确定性,以及我们若何在不牺牲平安性的情状下实现更低的延迟。
为领会决那个问题,我们构想了一种 sovereign ZK Rollup 设想。后面,我们将简要切磋 sovereign 设想的其他优势。
最末性瓶颈及处理计划
关于大大都 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 层的证明,我们也能够轻松扫描强逼交易。
可移植性和互操做性
在智能合约 Rollup 规范中,L1 桥是并世无双的。因为桥负责查抄未包罗在证明中的声明(如「此证明包罗所有强逼交易」之类的声明),因而将基于证明的桥添加到其他目标地凡是没有意义。但是一旦我们将所有逻辑都移到证明中,那就不再是问题了。我们能够在任何我们想要的处所添加桥。
以至能够更进一步,假设 L1 智能合约只是一个通俗的桥,我们能够完全取缔它。起首,在不撑持智能合约的系统上构建 Rollup 是有意义的。只需摘用现有的 Rollup 逻辑并删除 L1 桥。突然之间,你能够摆设在任何 DA 层上!换句话说,你的 Rollup 逻辑能够立即在差别的 L1 之间移植。
结论
Rollup 的将来是 sovereign。通过间接证明其分叉抉择规则,sovereign ZK Rollup 可实现无缝互操做性、立即可移植性和快速最末确定性。就像智能合约 Rollup 一样,它们供给低 Gas 成本和相信最小化桥梁,但它们不会被迫在成本和延迟之间停止权衡。