作者:林冠宏 / 指尖下的幽灵。转载者,请: 务必标明出处。

掘金:https://juejin.im/user/1785262612681997

博客:http://www.cnblogs.com/linguanh/

GitHub : https://github.com/af913337456/

出版的书籍:


前序:

对于区块链每个阶段的风口产品,我都会挑选其中某个研究其源码,当作学习并增加经验。早前看的是 zkSync,难度巨大而能力有限,遂转于 Optimism

本次是系列文章,这是第一篇。

这里就不说什么是 Layer2 了,可以去网络搜索其它文章来阅读。在 Layer2 的扩容方案中目前有 3 种,Rollups 是其中一种,称为打包。打包又分两大派别:

这两派的风格各异,特点突出。Optimistic rollups智能合约的支持可以说是完全兼容,而 ZK rollups目前对智能合约支持不友好,但是在交易提款上链这块非常快、更安全却计算量巨大,技术难度复杂。关于它们的对比,我后续再写篇文章详细说说


目录:

  • Op 简介
  • Op 的程序组件
  • 如何使用 Op
  • 源码分析 --- 充值与提现
    • L1 合约层源码
    • L2 层源码
    • 提现

1. 正题,Op 简介

Layer2 是公链下的第二层。比如安卓系统下的底层软件。

Optimism,下面简称 Op,是基于 Optimistic rollups 方案所实现的 Layer2 应用,下面简称 L2。作用是帮助 以太坊 扩容以及加速交易。

特点如下:

  1. 提款到 Layer1 的周期,约一周。下面简称 L1;
  2. 速度,L2 内交易,极快,手续费很低;
  3. 通用性,EVM 兼容,基于以太坊的修改
  4. 技术复杂度,简单;
  5. 链下成本,低。链上成本,高;
  6. 交易安全保证,基于默克尔树--树根哈希的欺诈证明
  7. 源码:https://github.com/ethereum-optimism/optimism

2. Op 的程序组件

虽说 Op 是个 L2 应用,但它的组成程序组件非常多。我这里列出会和我本文内容相关的组件:

  1. 合约,这些会被部署在 L1 公链上面,由 L2 组件或用户来调用,包含不限于有:

    • L2 侧链,基于 geth 源码改造的链,运行在 Op 生态里;
    • L1StandardBridge.sol 垮链桥合约,用来处理充值 Token 到 Op 地址或从 Op 地址提现到 L1 地址 所用;
    • CanonicalTransactionChain.sol 规范处理 L2 --> L1 的交易,下面简称 CTC
    • L1CrossDomainMessenger.sol 跨链信使合约,里面主要编写进行了各种要触发跨链事件的函数。
  2. DataTransportLayer,定时扫描 L1 区块,从中获取到 TransactionEnqueued 事件,并存储到 LevelDB 数据库;
  3. Sequencer
    • 接受用户发来 L2 的交易;
    • 定期从数据库中获取 DataTransportLayer 存储的 TransactionEnqueued 事件数据,并把交易在 L2 链中执行,使之正常被打包到 L2 区块中;
  4. Batch-Submitter,定期从 L2 区块中将交易数据以打包的形式组装到交易:
    • 打包批量交易 txBatch 提交到 L1 的 CTC 合约;
    • 打包批量状态 stateBatch 提交到 L1 的StateCommitmentChain.sol
    • 之后这些交易进入等待挑战窗口,挑战方式就是欺诈证明
  5. Relayer,定时从 L2 区块中过滤交易中的 SentMessage 事件数据:
    • 判断当前交易是否过了挑战时间;
    • 为此交易生成证明,调用 L1 上的 L1CrossDomainMessenger.relayMessage 函数,使之完成合约检查然后在内部调用目标合约,最终在 L1 完成 L2 交易的最终目的;

它们的组合通讯流程图如下:

注:

目前所有的 Op 组建,都由官方运行着,欺诈证明还在完善。用户必须要相信官方不会做恶。

3. 如何使用 Op

使用 Op 网络分两种情况:

  1. 直接使用原生 Token 进行交易,即以太坊,那么:

    1. 需要先在 L1 访问 L1StandardBridge.sol 进行充值到 Op;
    2. 充值结束后,到账了,可以进行 Op 网络内的交易活动;
    3. 提现到 L1 的地址;
    4. 流程到这里闭环
  2. 其他协议,比如 ERC-20:
    1. 先去 Op 网络部署对应的合约;
    2. 在 L1 的 L1StandardBridge.sol 充值 Token 到 L2 地址;
    3. 到账后,便可自由交易。提现动作和 ETH 的一样。

4. 源码分析 --- 充值与提现

充值部分 --- L1 合约层源码

按照流程,用户需要调用 L1 上的 L1StandardBridge.sol 智能合约充值,如下图所示:

注意,payable 就是 solidity 语法中标明可以接收 ETH 的语法糖。此时充值 ETH 到了 Op 的 L1StandardBridge 跨链桥合约中。

上图,函数走完了,都没有痕迹告诉我们如何在为 L2 的地址充值了 ETH,我们只需要留意其中的 IL2ERC20Bridge.finalizeDeposit.selector 这一行。这里设置了一个 L2 到时需要调用的函数。

上图,结合我们前面的结论 DataTransportLayer,会定时扫描 L1 区块,从中获取到 TransactionEnqueued 事件,并存储到 LevelDB 数据库。

所以在 _sendXDomainMessag 内部,最终会触发 emit TransactionEnqueued 事件。L1 层面的闭环结束

ERC-20 的充值也是一样的,只是函数不一样。如下图:

// TransactionEnqueued 事件在 enqueue 内发生
function _sendXDomainMessage(
address _canonicalTransactionChain,
bytes memory _message,
uint256 _gasLimit
) internal {
// slither-disable-next-line reentrancy-events
ICanonicalTransactionChain(_canonicalTransactionChain).enqueue(
Lib_PredeployAddresses.L2_CROSS_DOMAIN_MESSENGER,
_gasLimit,
_message
);
}
充值部分 --- L2 层源码

在这里我们主要看 Sequencer 的是如何执行 TransactionEnqueued 中的交易到 L2 的。

Sequencer 的启动中,首先是它会进入一个定时从数据库中获取交易的函数,如下图所示:

接下来的调用链是: s.sequnece --> syncQueueToTip --> syncQueue --> syncQueneTransaction

如下图所示,在 syncQueneTransaction 中,调用 GetEnqueue 从远程接口即 DataTransportLayer 服务中获取目标交易数据。最后执行 applyTransaction 执行交易

回到前面合约层的 IL2ERC20Bridge.finalizeDeposit.selector 这一句,最后交易的执行会走到 L2 合约层的 L2ERC20Bridge 合约的 finalizeDeposit 函数,如下图所示,最终 mint 操作完成充值流程,至此闭环。

提现

内容比较多,提现留给下一篇。持续关注

以太坊 layer2: optimism 源码学习 (一)的更多相关文章

  1. 以太坊 layer2: optimism 源码学习(二) 提现原理

    作者:林冠宏 / 指尖下的幽灵.转载者,请: 务必标明出处. 掘金:https://juejin.im/user/1785262612681997 博客:http://www.cnblogs.com/ ...

  2. Solidity合约记录——(一)如何寻找以太坊真实Solidity源码

    在自主学习Solidity智能合约的过程中,第一份入手资料无疑是官方文档.感谢前辈们还能提供出文档的中文翻译,作为我入门的第一手资料:文末附上有用的学习链接{持续更新中} 阅读完基础文档同时上手合约后 ...

  3. Java集合专题总结(1):HashMap 和 HashTable 源码学习和面试总结

    2017年的秋招彻底结束了,感觉Java上面的最常见的集合相关的问题就是hash--系列和一些常用并发集合和队列,堆等结合算法一起考察,不完全统计,本人经历:先后百度.唯品会.58同城.新浪微博.趣分 ...

  4. jQuery源码学习感想

    还记得去年(2015)九月份的时候,作为一个大四的学生去参加美团霸面,结果被美团技术总监教育了一番,那次问了我很多jQuery源码的知识点,以前虽然喜欢研究框架,但水平还不足够来研究jQuery源码, ...

  5. MVC系列——MVC源码学习:打造自己的MVC框架(四:了解神奇的视图引擎)

    前言:通过之前的三篇介绍,我们基本上完成了从请求发出到路由匹配.再到控制器的激活,再到Action的执行这些个过程.今天还是趁热打铁,将我们的View也来完善下,也让整个系列相对完整,博主不希望烂尾. ...

  6. MVC系列——MVC源码学习:打造自己的MVC框架(三:自定义路由规则)

    前言:上篇介绍了下自己的MVC框架前两个版本,经过两天的整理,版本三基本已经完成,今天还是发出来供大家参考和学习.虽然微软的Routing功能已经非常强大,完全没有必要再“重复造轮子”了,但博主还是觉 ...

  7. MVC系列——MVC源码学习:打造自己的MVC框架(二:附源码)

    前言:上篇介绍了下 MVC5 的核心原理,整篇文章比较偏理论,所以相对比较枯燥.今天就来根据上篇的理论一步一步进行实践,通过自己写的一个简易MVC框架逐步理解,相信通过这一篇的实践,你会对MVC有一个 ...

  8. MVC系列——MVC源码学习:打造自己的MVC框架(一:核心原理)

    前言:最近一段时间在学习MVC源码,说实话,研读源码真是一个痛苦的过程,好多晦涩的语法搞得人晕晕乎乎.这两天算是理解了一小部分,这里先记录下来,也给需要的园友一个参考,奈何博主技术有限,如有理解不妥之 ...

  9. 我的angularjs源码学习之旅2——依赖注入

    依赖注入起源于实现控制反转的典型框架Spring框架,用来削减计算机程序的耦合问题.简单来说,在定义方法的时候,方法所依赖的对象就被隐性的注入到该方法中,在方法中可以直接使用,而不需要在执行该函数的时 ...

随机推荐

  1. 0.1+0.2不等于0.3,微信小程序云开发如何解决JavaScript小数计算精度失准的问题

    先看图 这个是JavaScript语言自身存在的一个问题.说道这里不得不提一下网上流传的JavaScript搞笑图 我们在使用云开发来开发微信小程序的时候,会经常遇到JavaScript小数计算精度失 ...

  2. k8s client-go源码分析 informer源码分析(3)-Reflector源码分析

    k8s client-go源码分析 informer源码分析(3)-Reflector源码分析 1.Reflector概述 Reflector从kube-apiserver中list&watc ...

  3. 【多线程】线程礼让 Thread.yield()

    线程礼让 Thread.yield() 礼让线程,让当前正在执行的线程暂停,但不阻塞 : 将线程从运行状态转为就绪状态 : 让cpu重新调度,礼让不一定成功!看CPU心情. 代码示例: /** * @ ...

  4. Springboot目录结构分析

    1 src/main/java 存储源码 2 src/main/resource 资源文件夹    (1)src/main/resource/static 用于存放静态资源,如css.js.图片.文件 ...

  5. autoit 脚本开发踩坑点

    原文 1. 获取不到点击 <input type='file'/> 后弹出的window 根本原因是 _IEAction 阻塞,见第4点 解决办法: ;bad code $oIE = _I ...

  6. 手绘图解java类加载原理

    摘要:这也许是全网"最大"."最细"."最深"的java类加载原理图解了. 本文分享自华为云社区<[读书会第12期]这也许是全网&qu ...

  7. [NOI2011]阿狸打字机

    题意:一开始是个空串s,有三种操作:(1.末尾加一个字符 2.末尾减一个字符 3.存储该字符串) 思路: 一开始在trie树上动态加点很好处理,3操作的时候记录一下此时trie树上的pos,同时记录d ...

  8. 【HEOI2014】大工程<虚树>

    虚树 我们每天都用心思索着,这究竟是为了什么呢?我想我也不知道,只是觉得如果人不思考问题就很无聊. 我觉得虚树不是什么数据结构,就是一种技巧或者工具.它能把树中\(k\)个关键点以\(O(klogk) ...

  9. 论文解读(GraphDA)《Data Augmentation for Deep Graph Learning: A Survey》

    论文信息 论文标题:Data Augmentation for Deep Graph Learning: A Survey论文作者:Kaize Ding, Zhe Xu, Hanghang Tong, ...

  10. Python装饰器,Python闭包

    可参考:https://www.cnblogs.com/lianyingteng/p/7743876.html suqare(5)等价于power(2)(5):cube(5)等价于power(3)(5 ...