ROL:解决 ZK Rollup 最终确定性痛点，我们设计了一种全新方案_ROLL

加密领域存在一个广泛的误解，认为ZKRollup的最终确定时间很长。在这篇文章中，我们将解释为什么第一代ZKRollup需要这么长时间才能完成最终确定性，以及我们如何在不牺牲安全性的情况下实现更低的延迟。

为了解决这个问题，我们构思了一种sovereignZKRollup设计。后面，我们将简要探讨sovereign设计的其他优势。

最终性瓶颈及解决方案

对于大多数ZKRollup，验证零知识证明是最大的开支之一。根据底层证明系统不同，以太坊上的Rollup可能会花费30万到500万Gas来验证单个证明。但是由于证明的大小随着交易数量增长而变化缓慢，Rollup可以通过在提交证明之前等待积累大量交易来降低每笔交易的成本。事实上，这正是当今大多数ZKRollup所做的；StarkEx等流行的Rollup通常每隔几个小时才向L1发布一次证明。

星火矿池产品负责人喵叔：EIP1559不解决实质问题:金色财经现场报道，由金色财经主办的“2021共为·创新大会”4月11日在上海举行，本次大会以“DeFi的创新进阶”为主题。星火矿池产品负责人喵叔在“探路：2021ETH 2.0的星辰大海”圆桌上表示谈到EIP1559和MEV。EIP1559没有改变提高gas费提前打包机制，只是提升basefee，然后烧掉不给矿工。 EIP1559承诺带来体验更好的以太坊，这容易误解，误解gas price更低，但并不是这样。EIP1559货币政策的改变却让发交易的阻力更大，不解决实质问题。MEV目前两个定义：矿工可提取价值和最大可提取价值，其根源在2个机制：AMM机制和以太坊交易排序问题。[2021/4/11 20:07:28]

但是等待几个小时才能完成交易是一种令人无法接受的糟糕用户体验。我们能做得更好吗？如果Rollup将原始交易数据发布到其数据可用性层，那么想要快速确定性的高级用户可以运行全节点。但是，如果Rollup使用状态差异，那么即使运行全节点也无济于事。这就是为什么今天大多数ZKRollup的排序器都会发出「软确认」。但是软确认只有在中心化排序器系统中才有可能。所以问题仍然存在——我们如何让去中心化的ZKRollup在延迟方面具有竞争力？

以太坊交易费飙升 投资者转向layer-2解决方案导致OMG价格翻番:过去一周，以太坊交易费的飙升导致一些投资者转向 layer-2解决方案，OmiseGo的原生代币价格翻了一番多。行情显示，OMG在过去7天里从1.70 USDT涨到了3.65 USDT，涨幅为115%。截止发稿，OMG价格为3.76 USDT，日内涨幅15.68%。此外，Tether 于19日宣布正式在OMG Network上发行USDT。（Coindesk）[2020/8/20]

如果我们只关心降低全节点的延迟，那么将原始交易数据发布到链上就可以解决问题。只要完整的交易数据可用，全节点就可以在应用交易时尽快完成。这让我们的ZKRollup与传统的L1一样响应迅速！

动态 | Bitfinex正解决平台问题 用户资金不受影响:Bitfinex今日连发三条推特称，目前某些用户无法访问Bitfinex。目前管理员目前正在调查，问题已找到, 正在尽快解决。Bitfinex解释称，平台对所有用户都是离线的，当前问题不会影响用户资金安全，并将确认何时恢复平台完整功能。[2019/2/9]

这是一个非常强大的结果。它使ZKRollup适用于对延迟高度敏感的应用程序，如链上订单簿。尽管如此，它并没有完全解决原来的问题。我们真正想要的是减少轻客户端的延迟，能否在不大幅增加证明验证成本的情况下做到这一点？

答案是肯定的！方法如下：我们可以实时创建证明，然后使用递归将它们聚合成批量证明，而不是等待创建单个批量证明。只要我们通过p2p网络立即分发增量证明，轻客户端就会体验到快速的最终确定性。而且由于我们仍然只是在链上发布较慢的批量证明，因此我们不必为链上验证支付额外费用。换句话说，我们仍然得到了一个与L1的信任最小化的桥——但桥不再是轻客户端的真实性来源。恭喜，我们刚刚构建了一个sovereignRollup！

金色晨讯|上财国际金融系主任：官方数字货币将迎来发展机遇 宝马与区块链公司共同开发客户贷款解决方案:1. 世界经济论坛：引入区块链环境保护应建立负责任和全球的生态系统

2. Coinbase联合创始人：数字货币创造强大部落主义

3. 清华大学已推出法定数字货币应用试验

4. 上海财经大学国际金融系主任：官方数字货币将迎来发展机遇

5. 塞浦路斯证券监管机构推出区块链创新中心

6. 加密挖矿公司CEO:影响行业发展的主要问题是对行业的误解

7. 广东省抢占区块链高地 广州市每年增加2亿财政支出支持行业发展

8. 加拿大区块链公司与Soluna合作 助其创建风力发电厂提供廉价挖矿能源

9. 宝马与区块链公司共同开发客户贷款解决方案

10. V神：如何公平有效地分配资源取决于机制设计的可信度[2018/9/16]

分叉选择

敏锐的读者会注意到上一段中描述的系统存在问题。在今天的Rollup中，L1智能合约负责执行Rollup分叉选择规则。换句话说，智能合约不只是验证零知识证明，它还会检查证明是否建立在此前证明的基础上，并且它是否处理了所有我们发送到L1上的相关「强制交易」。那么，如果不使用智能合约，我们如何选择一个规范的分叉呢？

答案出奇的简单——如果我们要求证明作为调用数据发布在L1上，那么我们可以添加一条规则，即新证明只有建立在先前有效证明的基础上才有效。尽管我们可以在客户端强制执行此规则，但它会要求用户一直扫描区块链的历史，一直追溯到创世区块——这并不理想。

值得庆幸的是，将其直接添加到零知识证明中并不难。通过将calldata绑定回L1区块头，我们可以添加一条声明「我已经扫描了DA层的证明，并且这个证明建立在最近的有效证明之上」。这让我们可以直接证明分叉选择规则，而不是在客户端强制执行！如果我们已经在扫描DA层的证明，我们也可以轻松扫描强制交易。

可移植性和互操作性

在智能合约Rollup范例中，L1桥是独一无二的。由于桥负责检查未包含在证明中的声明，因此将基于证明的桥添加到其他目的地通常没有意义。但是一旦我们将所有逻辑都移到证明中，这就不再是问题了。我们可以在任何我们想要的地方添加桥。

甚至可以更进一步，如果L1智能合约只是一个普通的桥，我们可以完全取消它。首先，在不支持智能合约的系统上构建Rollup是有意义的。只需采用现有的Rollup逻辑并删除L1桥。突然之间，你可以部署在任何DA层上！换句话说，你的Rollup逻辑可以立即在不同的L1之间移植。

结论

Rollup的未来是sovereign。通过直接证明其分叉选择规则，sovereignZKRollup可实现无缝互操作性、即时可移植性和快速最终确定性。就像智能合约Rollup一样，它们提供低Gas成本和信任最小化桥梁，但它们不会被迫在成本和延迟之间进行权衡。

标签：ROLROLLKRO区块链The Troller CoinTROLL币KRO币区块链存证平台

聚币热门资讯