Scroll近期在一级市场的表现非常好,所以我们今天来深入了解一下Scroll的技术与架构设计。
Scroll是一个EVM等效的zkRollup以太坊扩容方案,核心的模块是zkEVM,用于证明EVM在Layer2中执行的正确性。目前已经开发了一年的时间,并与以太坊基金会的隐私小组进行了深入的合作。
为了使得zkEVM变成一个完整的zkRollup,Scroll围绕zkEVM构建了一个完整的Layer2架构。
目前的架构包含了中心化的排序节点与去中心化的证明网络,但未来Scroll将会把排序节点也去中心化,使得整个网络更加健壮。
Scroll的架构
目前的Scroll架构包含三个主要的组件:
- Scroll节点:从用户交易中构建L2的区块,提交到以太坊主网,并在L1和L2之间传递信息。
- Roller网络:生成zkEVM的证明,确保交易被正确执行。
- Rollup和桥合约:为Scroll交易提供数据可用性,验证zkEVM证明,允许用户在以太坊网络和Scroll之间转移资产。
这些组件的角色关系我们可以从下图中得出:
Scroll节点
Scroll节点是应用和用户与Scroll网络交互的主要方式,Scroll节点包含了三个模块:
Sequencer(序列机)
Sequencer提供了一个JSON-RPC接口从而获得Layer2上的转账信息。每隔几秒,Sequencer会从L2的内存池中获得一系列转账记录,执行这些转账并生成新的L2区块与新的状态根。
Scroll上的Sequencer是基于经过时间验证的Geth(Go-ethereum)开发的,目的是为了保证兼容性和安全性。
Coordinator(协调器)
当新的L2区块被生成之后,Coordinator会从Sequencer中获得交易执行记录。然后Coordinator将执行记录分派到从 roller 池中随机选择的 roller 以生成证明。
Relayer(中继器)
Relayer会监视部署在以太坊和Scroll上的Rollup和桥合约,这主要有两个作用。
首先是监控Rollup合约以跟踪 L2 块的状态,包括数据可用性和有效性证明。
其次,Relayer监视部署在以太坊和 Scroll 上的桥合约的存取款事件,并将消息在两条链之间中继。
Roller网络
Rollers 在网络中充当证明者,负责为 zkRollup 生成有效性证明。Rollers 有望利用 GPU、FPGA 和 ASIC 等加速器来减少验证时间和验证成本。下图显示了 Roller 如何为每个块生成有效性证明:
- Roller 首先将从 Coordinator 接收到的执行序列转换为 circuit witnesses。
- 其次,Roller为每个 zkEVM 电路生成证明。
- 最后,Roller使用证明聚合方法将来自多个 zkEVM 电路的证明组合成一个块证明。
Rollup和桥合约
Scroll通过Rollup和桥合约来连接以太坊主网和Scoll网络,保证L2交易的数据可用性,并使用户可以在L1和L2之间转移资产。
Rollup合约从Sequencer中获取L2的状态根作为calldata。这为 Scroll 块提供了数据可用性,并利用以太坊的安全性来确保包括 Scroll Relayer 在内的索引可以重建 L2 块。一旦建立 L2 区块有效性的区块证明已被 Rollup 合约验证,相应的区块将被视为在 Scroll 上最终确定。
部署在以太坊和 Scroll 上的 Bridge 合约允许用户在 L1 和 L2 之间传递任意消息。在这个消息传递协议之上,Scroll还构建了一个去信任桥接协议,允许用户双向桥接 ERC-20 资产。
要从以太坊向Scroll发送消息或Z金,用户需要在Bridge合约上调用 sendMessage。
Relayer 将在 L1 上索引,并将其发送到 Sequencer 以包含在 L2 块中。从 Scroll 发送回以太坊的消息在 L2 Bridge 合约上使用了类似的过程。
Scroll的zkRollup是如何工作的
将上述的三个模块放在一起,我们就可以知道Scroll zkRollup 的整个工作流程了,如下图所示:
Scroll 中的 L2 区块生成之后,将提交给以太坊主网,具体的过程如下:
1. Sequencer生成了一系列的块,对于第i个块,Sequencer执行追踪T,并将其发送给Coordinator。同时,Sequencer将交易数据D作为calldata提交给以太坊上的Rollup合约以获得数据可用性,再将由此产生的状态根和交易数据作为状态提交给Rollup合约。
2. Coordinator随机选择一个Roller为每个块生成有效性证明。为了加快证明的生成过程,可以在不同的Roller上并行生成不同的区块证明。
3. 在为第i个块生成证明P后,Roller将其发送回Coordinator。每隔k个块,Coordinator向另一个Roller派发一个聚合任务,将k个块的证明聚合成一个证明A。
4. 最后,Coordinator将聚合证明A提交给Rollup合约,通过对照先前提交给Rollup合约的状态根和交易数据承诺来验证聚合证明,最后确定L2上的[i+1,i+k]之间的块。
经过这样的过程Scroll上的区块会被最终确定下来,每个L2的区块在这一过程中会经历三个过程,其分别为:
- Precommitted(预确认):表示一个区块已经被Sequencer提交并发送给Rollers。
- Committed(确认):表示区块的交易数据已经被发布到了以太坊网络的Rollup合约上。
- Finalized(完成):表示此区块的交易已经被正确地执行。
综上所述,Scroll能够在L2上执行EVM字节码,同时从以太坊主网继承强大的安全性保证。这也是Scroll这种EVM等效和其他EVM兼容方案的最大不同点。
在加密行业你想抓住下一波牛市机会你得有一个优质圈子,大家就能抱团取暖,保持洞察力。如果只是你一个人,四顾茫然,发现一个人都没有,想在这个行业里面坚持下来其实是很难的。
想抱团取暖,或者有疑惑的,欢迎加入我们-----公众号:派大星的粉丝
感谢阅读,我们下期再见!
热门跟贴