加密领域存在一个广泛的误解,认为ZKRollup的最终确定时间很长。在这篇文章中,我们将解释为什么第一代ZKRollup需要这么长时间才能完成最终确定性,以及我们如何在不牺牲安全性的情况下实现更低的延迟。
为了解决这个问题,我们构思了一种sovereignZKRollup设计。后面,我们将简要探讨sovereign设计的其他优势。
最终性瓶颈及解决方案
对于大多数ZKRollup,验证零知识证明是最大的开支之一。根据底层证明系统不同,以太坊上的Rollup可能会花费30万到500万Gas来验证单个证明。但是由于证明的大小随着交易数量增长而变化缓慢,Rollup可以通过在提交证明之前等待积累大量交易来降低每笔交易的成本。事实上,这正是当今大多数ZKRollup所做的;StarkEx等流行的Rollup通常每隔几个小时才向L1发布一次证明。
阿富汗批准初创公司Fantom通过区块链追踪物流 解决该国假药危机:在与阿富汗卫生部和几家药品分销商的签字仪式之后,区块链初创公司Fantom获准开始追踪阿富汗的药物,以帮助遏制该国的造假问题。Fantom将通过智能合约平台和Opera区块链网络提供标签,追踪80000逾种产品。(Coindesk)[2020/7/6]
但是等待几个小时才能完成交易是一种令人无法接受的糟糕用户体验。我们能做得更好吗?如果Rollup将原始交易数据发布到其数据可用性层,那么想要快速确定性的高级用户可以运行全节点。但是,如果Rollup使用状态差异,那么即使运行全节点也无济于事。这就是为什么今天大多数ZKRollup的排序器都会发出「软确认」。但是软确认只有在中心化排序器系统中才有可能。所以问题仍然存在——我们如何让去中心化的ZKRollup在延迟方面具有竞争力?
声音 | 成都市金融监管局局长:区块链等科技是解决融资问题的有效途径:据成都商报消息,成都市地方金融监管局局长梁其洲在今天下午成都市政府新闻办举办的新年首场新闻发布会上表示,融资难、融资贵、融资慢、融资繁等影响信贷“获得感”和中小投资者“投贷体验”的问题,归根到底是融资信息不均衡、不对称问题,大数据、区块链、云计算等金融科技正是解决这些问题的有效途径。[2019/2/13]
如果我们只关心降低全节点的延迟,那么将原始交易数据发布到链上就可以解决问题。只要完整的交易数据可用,全节点就可以在应用交易时尽快完成。这让我们的ZKRollup与传统的L1一样响应迅速!
浙江发布元宇宙发展计划,目标到2025年产业规模逾2000亿元:金色财经报道,近日浙江省发展和改革委员会等5部门联合印发了《浙江省元宇宙产业发展行动计划(2023-2025年)》。该《行动计划》中提到,到2025年浙江省元宇宙产业链体系基本形成,产业综合竞争力达到全国领先,带动相关产业规模2000亿元以上。
据悉,这是继上海、河南外,第三个省级层面的元宇宙专项政策。除了《浙江省元宇宙产业发展行动计划(2023-2025年)》外,浙江多个城区也已布局“元宇宙”产业,并给予丰厚资助扶持相关企业的引进与培育。[2022/12/20 21:56:25]
这是一个非常强大的结果。它使ZKRollup适用于对延迟高度敏感的应用程序,如链上订单簿。尽管如此,它并没有完全解决原来的问题。我们真正想要的是减少轻客户端的延迟,能否在不大幅增加证明验证成本的情况下做到这一点?
安全研究员:900多个与加密和NFT引流网站相关的大规模活动与同一威胁行为者相关联:8月28日消息,据安全研究员Phantom X Security推文,900多个与加密和NFT引流网站相关的大规模活动与同一威胁行为者相关联,活动从一月份开始,至今仍在进行中,主要针对以太坊、Solana上的项目。该活动能够基于以下因素进行关联:Discord Webhook重用、钱包重用、共享主机、半唯一子域TTP、跨多个站点拉取相同的JPEG文件。Phantom X Security列出了完整的域名列表。[2022/8/28 12:53:24]
答案是肯定的!方法如下:我们可以实时创建证明,然后使用递归将它们聚合成批量证明,而不是等待创建单个批量证明。只要我们通过p2p网络立即分发增量证明,轻客户端就会体验到快速的最终确定性。而且由于我们仍然只是在链上发布较慢的批量证明,因此我们不必为链上验证支付额外费用。换句话说,我们仍然得到了一个与L1的信任最小化的桥——但桥不再是轻客户端的真实性来源。恭喜,我们刚刚构建了一个sovereignRollup!
分叉选择
敏锐的读者会注意到上一段中描述的系统存在问题。在今天的Rollup中,L1智能合约负责执行Rollup分叉选择规则。换句话说,智能合约不只是验证零知识证明,它还会检查证明是否建立在此前证明的基础上,并且它是否处理了所有我们发送到L1上的相关「强制交易」。那么,如果不使用智能合约,我们如何选择一个规范的分叉呢?
答案出奇的简单——如果我们要求证明作为调用数据发布在L1上,那么我们可以添加一条规则,即新证明只有建立在先前有效证明的基础上才有效。尽管我们可以在客户端强制执行此规则,但它会要求用户一直扫描区块链的历史,一直追溯到创世区块——这并不理想。
值得庆幸的是,将其直接添加到零知识证明中并不难。通过将calldata绑定回L1区块头,我们可以添加一条声明「我已经扫描了DA层的证明,并且这个证明建立在最近的有效证明之上」。这让我们可以直接证明分叉选择规则,而不是在客户端强制执行!如果我们已经在扫描DA层的证明,我们也可以轻松扫描强制交易。
可移植性和互操作性
在智能合约Rollup范例中,L1桥是独一无二的。由于桥负责检查未包含在证明中的声明,因此将基于证明的桥添加到其他目的地通常没有意义。但是一旦我们将所有逻辑都移到证明中,这就不再是问题了。我们可以在任何我们想要的地方添加桥。
甚至可以更进一步,如果L1智能合约只是一个普通的桥,我们可以完全取消它。首先,在不支持智能合约的系统上构建Rollup是有意义的。只需采用现有的Rollup逻辑并删除L1桥。突然之间,你可以部署在任何DA层上!换句话说,你的Rollup逻辑可以立即在不同的L1之间移植。
结论
Rollup的未来是sovereign。通过直接证明其分叉选择规则,sovereignZKRollup可实现无缝互操作性、即时可移植性和快速最终确定性。就像智能合约Rollup一样,它们提供低Gas成本和信任最小化桥梁,但它们不会被迫在成本和延迟之间进行权衡。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。