作者:0xSalazar,加密KOL;翻译:金色财经xiaozou
当我们提到zkEVM时,我们想到的是Scroll。为什么?Scroll将自己定位为具有十足Eth精神的“正确”zk-rollup的典范,并且资金充足。但除此之外,他们还有很棒的技术支持。本文是Scroll的体系结构概述。
我们将在本文探讨如下话题:
undefined 当前架构
undefined Scroll节点、Roller网络、rollup和桥接合约
undefined Scroll运作流程
不必担心,这些内容都很通俗易懂。
1、当前架构
Scroll架构由三部分基础设施构成——Scroll节点、Roller网络,及rollup和桥接合约。
金色晨讯|7月12日隔夜重要动态一览:21:00-7:00关键词:Cashaa、Coinbase、G20、DeFi代币、Bitstamp
1. 加密交易所Cashaa被盗超336枚BTC,已暂停所有交易。
2. 外媒:BTC市场份额降至62.5%,创一年新低。
3. Coinbase向美国特勤局出售区块链分析软件。
4. 日媒:G20拟为数字货币交易开绿灯,将探讨监管措施。
5. 数据:DeFi代币总市值超79亿美元。
6. V神:BTG攻击者将因削减或闲置损失数百万美元。
7. Bitstamp美国业务负责人:发生在Bitstamp上的比特币抛售是正常的市场活动。
8. OKCoin CMO:过去24小时DOGE下跌20%,TikTok带来的动力或已消失。[2020/7/12]
2、Scroll节点、Roller网络、rollup和桥接合约
BTC减半倒计时|金色财经挖矿收益播报:金色财经报道,据OKEx矿池数据显示,下一次BTC减半日期预计为2020年5月14日,今天距此还有34天。BTC当前块高625059,下一次减半块高630000。
今日全网算力约105.32EH/s,全网难度约14.72T,预测下次难度15.38T(4.53%),距离调整还剩还有13天,今日BTC收益:0.00001709BTC/T/天。[2020/4/9]
(1)Scroll节点
Scroll节点负责构建L2区块并通过测序器(Sequencer)将L2区块rollup到以太坊L1上。它还通过中继器(Relayer)在L1和L2之间进行通信。
金色相对论 | 比太钱包文浩:大节点必须设计良好的架构来确保安全:在本期金色相对论之“闪电网络:Hello,TPS”上,金色财经合伙人佟扬对话比太钱包创始人文浩,针对有人说加入闪电网络后,会出现中心化安全风险,这样是否会降低钱包的安全性的问题,文浩表示,安全永远是相对的概念,哪怕钱包账户是去中心化的,对于用户来说仍然需要根据自己的资产特点来设计适合自己的安全存储资产的方案。对于钱包的安全性来说,闪电网络本身并不增加安全风险,当然由于会增加技术复杂度(比如说通道状态的记录等),因此提供服务时要做好充分的测试,以确保资产安全。另外,随着闪电网络应用的发展,未来必然会出现大节点,这类的大节点会为很多用户提供通道的建立和关闭以及通道状态的维护等服务。此类大节点面临一个问题,就是当其为大量的用户提供闪电网络节点服务时,不得不在通道里压大量的币,这就必须考虑安全性,因为大量的通道内的币都是处于热钱包状态,节点必须要设计良好的架构来确保安全。总之,闪电网络是革命性的,将大大颠覆传统币圈链圈的生态模式,从这个角度上讲,每一个业内参与者都理应对其引起足够的重视。[2019/3/7]
Scroll节点由三部分组成:测序器、协调器(Coordinator)和中继器。测序器是现在流行的Geth节点的一个分支,因其可靠性、最大安全性和久经考验的声誉而被选中。
分析 | 金色盘面:FGI恐慌指数 报收22:金色盘面综合分析:FGI恐慌指数8月25日报收于22,较前一日19略有回升,市场恐慌情绪开始下降,但不确定因素依然很多,所以投资人需要提高风险控制意识。[2018/8/25]
该测序器从L2内存池中接收L2交易,然后执行交易来创建一个新的L2区块,再更新到当前状态。协调器接收该区块的执行跟踪(execution trace)信息,然后将其传递给Roller以生成证明。对于中继器来说,也许中继看门狗这个名字更适合!抛开玩笑话,中继器的工作是像看门狗一样监视rollup合约,以确保数据的可用性、有效性和一般状态都在掌控下。中继器还密切关注Scroll和ETH上桥接合约的存取款活动,并在它们之间进行消息传输。
(2)Roller
Roller负责为L2交易生成有效性证明。它使用zkp(零知识证明)硬件加速器,如GPU、FPGA和ASIC,以加快证明生成过程并降低其成本。这是因为在证明生成过程中存在瓶颈问题,而加速器可以帮助解决这个问题。
如果你想了解更多详细内容,下面这篇推文可能会有所帮助。
Roller分3步运行:
第一步:我们刚刚提到过执行跟踪;协调器发送的执行跟踪被Roller转化为电路见证(circuit witness)。
第二步:为每个zkEVM电路生成证明。
第三步:使用证明聚合(proof aggregation)将多个zkEVM电路组合成一个证明。
注:zk电路使用算术方法生成。
更多关于证明聚合的内容,可参考下面的推文:
(3)rollup和桥接合约
rollup和桥接合约是Scroll的DA(数据可用性)层,用于L1和L2之间的消息传输,通过连接到以太坊的基础层来实现这一点。
Rollup合约从定序器接收L2状态根和区块数据。它将状态根存储在以太坊状态上,并将区块数据存储为ETH上的调用数据。这为Scroll提供了DA支持,并确保中继器对L2区块的重建。只有当一个L2区块的有效性通过rollup合约验证后,才认为该L2区块已在Scroll上确定。
桥接合约是一种无需信任的消息传输/桥接协议,帮助在L1和L2之间转移ERC-20资产。
3、Scroll运作流程
Scroll zk-rollup运作流程由上面提到的所有部分构成。这就是L2区块在ETH上生成并最终确定的方式:
首先,定序器创建一个区块序列,它针对每个区块生成执行跟踪并将其发送给协调器,同时还将交易数据提交给Rollup合约。接下来,协调器随机选择一个Roller来为每个区块跟踪生成有效性证明。然后,Roller将区块证明发送回协调器,并且对于每k个区块,将给另一个Roller分派一个聚合任务将k个区块证明组合为一个单独的聚合证明(k在这里表示区块数量)。最后,由协调器发送聚合证明到rollup合约,以确定L2区块。
金色荐读
金色财经 善欧巴
Chainlink预言机
白话区块链
金色早8点
Odaily星球日报
欧科云链
深潮TechFlow
MarsBit
Arcane Labs
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。