9 A" \, G; x3 X+ o5 R
为解决困境衍生出链上扩容与链下扩容两个方向。Optimism是一种链下扩容解决方案,将交易数据放在链上,在链下运行计算,增加以太坊TPS的同时降低gas费用。' x e0 v- w9 v( G
: }: u y6 K: `. R; X2 c1 s! e% [
虽然交易发生在Optimism上,但数据会发送至以太主网进行验证,因此这种方案不会牺牲以太坊的去中心化程度与安全性。同时Optimism在EVM兼容度方面的进展较为显著,是目前L2中唯一实现EVM等效性的rollup。7 J( a# `* k; h. Q7 H& y, S: ]; {9 T
2 A, d$ B) d6 h
Optimism是如何解决以太坊扩容问题的?
Optimism网络中有两种节点:sequencer与verifier。sequencer与verifier都会运行L2Geth,L2Geth是由Optimism创建的改良版轻量级Geth(基于Go语言开发的以太坊客户端)。所以,Optimism网络与以太坊网络非常相似。上线之初,Optimism只有一个由团队管理的sequencer,计划在稳定运行后进行去中心化。
$ \" H0 v( t& x K! u+ }
网络的运行流程大致如下:+ |& l( Z1 A" s) N( e
· 用户将交易发送至sequencer,sequencer会对在L2中的交易副本进行处理;1 k2 h' P9 K \1 M a/ [' F4 G
2 p: N5 d, \) }, X
· 处理完成后,sequencer将交易数据与更新后的L2 stateRoot提交至L1;8 Q3 I( n W m6 `) ?- o0 ^
# ]+ R% N* v" S# U6 i
· 上面提到的其它节点开始处理L2副本中的交易;
, ^+ K# R3 z0 R4 F$ W: W( K8 K6 P
· 为确保提交至L1的新stateRoot的正确性,verifier会将其新的stateRoot与sequencer提交的stateRoot进行对比;
& ^3 S0 T( s, O# \; l& o% V% J
· 若存在差异,便会进入欺诈证明(Fraud Proof)流程,即在L1中执行L2的交易,确保stateRoot结果的真实性;: K/ a7 h' n a& v
· 若欺诈证明的stateRoot结果与sequencer提交的stateRoot结果不同,那么sequencer的初始质押会被削减,前一笔交易的stateRoot会被删除,sequencer将重新计算失去的stateRoot;
· sequencer完成去中心化后,若其质押被削减,会有新的sequencer将其取代。
交易# b$ h" r; G# g, A$ u) v
在Optimism中有两种交易类型至关重要:L2中两个地址间发生的交易、L1与L2之间的跨链交易
* c) o1 k+ H2 U3 J* r
L2交易流程
0 n: e @' ^5 p U+ Y
· 用户将交易发送至sequencer,若为有效交易,sequencer会立即将其添加至L2(注:此时只有sequencer将此交易添加至其L2的副本当中)。L2的块大小仅为1笔交易,因此新的区块与交易会被立即添加到链中,在L2中矿工无需争夺挖掘新区块,sequencer取代了矿工的角色;
) R8 y' C6 u. H3 K2 v' s
· sequencer向L2添加交易后,会调用L1合约并将所有数据发送至L1,数据包含所有L2交易以及执行交易后的L2的新stateRoot;
* E8 J1 A1 Y# s
· L1将交易数据与stateRoot保存至另一个专为存储而设计的合约中;
· 一旦交易数据成功在L1上存储,verifier就会把交易储存在其在L2的副本中。+ f) U% [6 J4 _: V0 n
若sequencer在对某一特定用户进行审查,那么该用户可提交数据并自行调用合约。然后,sequencer会在特定时间范围内强制处理该笔交易。若sequencer未执行,那么其质押可能会被削减。) i; a1 t- U) U; x$ M; n
# ]5 I) s5 C0 S: T K% D
上面阐述了verifier核实sequencer发布至L1数据的过程。verifier也可选择直接从L2进行数据同步,也就是说verifier可以在数据被发送至L1之前直接从sequencer获得新的数据。从L2直接同步可以减少延迟,但这种方法不能保证sequence仍会将此交易发送至L1。
跨链交易
* L8 ~8 m% |( A8 P, ]
为方便调用其它链上的合约或者将token从一条链发送至另一条链,跨链在Optimism的地位不可忽视。由于涉及多链,其整体流程与L2交易略有不同。) w: U: c( a7 f9 h* t9 m; j
; w4 W S) n; H* e& m/ n$ N
L1 -> L2交易* X. w, W; v2 u, S& q
Optimism从L1至L2交互的速度很快,只需sequencer将信息发送至L2。用户将交易数据发送到L1的bridge合约中,合约会在一定时间范围内将交易添加至sequencer必须发送至L2的交易队列中,然后sequencer会将该交易发送至L2。8 A( @. ~" q- r4 L2 F
举个例子,如果用户想将L1的10 ETH发送至L2的地址进行交互,流程如下:
·用户向L1中的bridge合约发送10 ETH;
·bridge合约将ETH在L1中锁定;
·bridge合约同时将用户的交易添加到sequencer必须添加至L2的交易的队列中;+ P/ K. G! \8 L! E1 f; W( M6 u
1 N4 e( ?; U* F5 U, g7 N: p
·sequencer开始处理此笔交易,ETH被成功存入用户的L2地址。* u- _" j# P- y
+ n! U- Y4 Q7 V
L2 -> L1交易5 i+ ?8 w0 x; R, d" K6 e4 D
L2至L1的交易相对复杂,L1必须确保交易后的L2 stateRoot具备有效性。用户将交易发送至L2的指定合约,然后中继器进行读取并将交易发送至L1。Optimism应用JavaScript服务运行中继器,使用sequencer和verifier与L2进行交互。0 z$ a& ?# Z" a# Y( K
: n" t1 Y6 q! F* G7 V
举个例子,如果用户想将L2的10 WETH转回至L1,流程如下:9 N# N! f6 q* s/ o9 }* n3 E! w9 c
·用户将10 WETH发送至L2的bridge合约;
· bridge合约销毁WETH并将交易信息发送至L2ToL1MessagePasser的智能合约中,合约记录了需要从L2发送至L1的交易数据;1 D; R+ N1 ~& U- L) U
# V. d/ \: y. k- l! Z
·中继节点从L2ToL1MessagePasser读取交易数据,等待欺诈证明窗口(7 天)完成,然后将交易发送至L1;% o0 [# t: |: w( T; _; d
' U" T; f8 }$ q" M/ ]" K: v$ `
·交易在L1中进行处理,用户此时可从首次发送至L2时锁定ETH的bridge合约中取出ETH。
w! N2 J r+ M" N6 a
欺诈证明窗口为verifier预留了充足的时间来证明sequencer发布的stateRoot对这个交易来说是否准确。
L1中存储的交易与stateRoot h D# h: N" d& J7 t
. O+ V2 K/ Q# [0 f( D: V
由于每笔交易的数据与stateRoot的结果必须保存至L1中,那么降低数据所占空间对于降低系统存储成本来说至关重要,以下过程阐述了L2数据是如何被保存至L1的:
8 m+ w% e' @8 ~' p
·sequencer获取多个L2连续交易的calldata并将它们组合为一个批次;
- j0 a) L/ N) k& ^- o4 x' m
·sequencer将这个批次发送至CanonicalTransactionChain合约中;
·智能合约对每笔交易的calldata进行散列处理,为这些哈希值创建默克尔树;3 d+ p% ?( p1 Y* | v, D
·CanonicalTransactionChain合约收到该批次的默克尔根并将其发送至专门用于存储的合约中。5 v% f/ e5 n: t
上述过程将交易汇总,创建了默克尔树,保存了默克尔根。stateRoot的存储方式与以上流程类似,只不过汇总stateRoot的合约变为StateCommitmentChain。在这种情况下,L2的交易在L1中的状态更改是将新的默克尔根添加至用于存储的合约中,这种方式要比将每笔交易都保存至存储合约中更为高效。( n- w9 {5 Y! C- ?5 }
欺诈证明(Fraud Proof)
欺诈证明是Optimism生态中非常重要的部分,其主要目的是保证sequencer输出结果的真实性。若sequencer将虚假的stateRoot发布至L1,那么verifier就可以启动欺诈证明程序并在L1上执行对应的L2交易。然后将欺诈证明的stateRoot结果与sequencer提交至L1的stateRoot进行比较。若结果不同,sequencer的质押会被削减,前一笔交易的stateRoot会被清除并重新进行计算。因此,所有的L2交易可以保证在L1中完成运行。% k) v2 A9 Q* S
欺诈证明可以由任何人发起,但通常是由verifier发起的,因为它们会检查sequencer提交的每个stateRoot的有效性。欺诈证明的整个流程由Optimism提供的一套L1合约管理,使用合约时,用户可以在L1中重新执行L2的交易,生成正确的stateRoot。如果生成的stateRoot与sequencer发布的stateRoot不匹配,合约就会削减sequencer的质押,还会删除上一笔交易所对应的stateRoot。
Optimism的出现极大地提高以太坊网络的可扩展性,在吞吐量不变的基础上,降低了gas成本。L1网络中的以太坊全节点承担着处理交易的职责,由于网络包含节点的数量众多,使计算成本变得非常昂贵。Optimism将交易交由一小组节点(sequencer与verifier)处理,使交易的计算从L1中脱离出来,而交易的calldata仍在L1上得以保留,这样为L1上的节省了大量区块空间,使其可以处理更多交易。9 O& r) x* ~+ M2 w: B
Optimism的技术更新与进展
& c. a) Z0 ]5 j M
Optimistic Virtual Machine(OVM)
# ?7 D# c; a3 u3 h; p
OVM是一个功能完善且与EVM兼容的执行环境,是专为Optimism L2的使用而创建的,通过Web3 API与以太主网交互。总体来看,OVM与EVM其实非常相似,但进行了优化与改进,方便修改或删除上下文相关的操作码(如TIMESTAMP或ORIGIN)。操作码在不同的链执行时,输出的结果不同。但在OVM中进行优化后,所有的交易都可以在不同的链上重新执行,输出相同的结果。OVM本质上是一个沙盒环境,可使L2交易在其它链上被重新执行与确定。这样verifier就可以创建欺诈证明并在L1上重新执行交易,输出正确的stateRoot。+ j( P* S6 @6 C
% H8 ~0 k1 Q+ l. z" f
Optimism Bedrock- ^) t; i8 I4 h7 c/ z7 z- M' x6 d
Bedrock是由Optimism设计并开发的rollup基础设施,通过模块化与极限分割的方式实现对交易费用、网络性能以及生成区块过程的优化。Bedrock中包含一个新的L2衍生流水线,这个流水线也是唯一一个在发送交易数据至以太坊网络的过程中可以最大限度节省gas费用的rollup基础设施。Bedrock也是唯一一个将以太坊引擎API作为分隔共识客户端或执行客户端的rollup。待以太坊扩容方案EIP-4844 (proto-danksharding)上线后,Optimism可以与data blob无缝集成,大幅降低gas费用。作为rollup客户端,Bedrock在对rollup proof的选择上非常灵活,目前使用的是Optimistic proof(Cannon),就当前情况来看Optimistic rollups的优势较为明显,后续可根据需要转换为ZK proof。Bedrock的结构与以太坊的post-Merge十分相近,分为consensus layer(CL)与execution layer(EL),具体如下:
: \' O# ?8 ]' K: r% g( t
L1 Ethereum:
- Y9 N1 ]6 N+ M! O4 l% @
CL: Beacon Node - E.g. Prysm
( Z4 a+ {: ]3 g! B, Z" b8 {
EL: Execution Engine - E.g. Geth
[. U& |# y3 l% I2 Q$ U5 r( }7 A
L2 Bedrock:" }" o- ^' @# x& z j* l! l0 j' T, ^
CL: Rollup Node - OP-node- J5 G7 ?3 {: F8 Q: a
EL: Execution Engine - OP-Geth
OP Stack& E8 c# I3 m- ?# K
( e6 h% S! g/ b- V" |8 L* L
在介绍OP Stack之前有必要先了解一下Optimism Collective。Optimism Collective是由Optimism推出的治理系统,成员为社区、公司与公民,由Citizens' House和Token House 共同治理,以推动去中心化系统发展。OP Stack就是为Optimism Collective创建的开源软件栈,为其生态系统赋能,主要包含以下两部分:
1.链式栈(Chain Stack):运行去中心化应用,分为Consensus Layer、Execution Layer、Settlement Layer;
% } @5 B' ~: F% Y7 Q# ]
2.治理栈(Governance Stack):确认产品定位,为其提供资金。1 ^" L5 ]' k( c; ^/ s' I. S" W/ X5 r
以实现:( p; \% c& [) U' o1 b8 V; V
· op-chcin安全的标准化
8 T8 T! K* K1 Y- I
· op-chain工具的标准化
· op-chain治理的标准化
5 t, r" Q9 m2 A' V* v7 o1 R
· op-chain可组合性最大化 u% Z% {% o2 E& i% m# }
' [+ N: M0 b8 z+ D6 P+ o; k8 p
最终成为一个可无限组合与扩展的“Superchain”。
; l- S0 V* }" V* K; q& }
' H3 q# Z1 [$ C4 W) S
Optimism生态发展数据
协议收入
Optimism的网络收入总体呈小幅震荡上升的状态,9月的震荡区间为$1.0k至$8.9k美元;10月的震荡区间为$2.9k至$11.3k;11月的震荡区间为$5.9k至$14.3k,11月8日至11日四天出现大幅攀升,最高至$61.2k后回落至正常状态。6 Y5 K0 y/ L, a- D Q5 {
6 e' Y4 t1 t7 [; |. h/ O
独立地址
( u, K1 r" w. o8 _8 G; J9 M
Optimism的独立地址数呈稳步上升趋势。4月27日当天由于空投发放新增地址45.6万余个,后进入缓慢增长状态。9月后独立地址表现为阶梯式增长,日均新增从2.7k稳步过渡至10k。
$ ?1 P" U. ~: P: \9 k7 e
日交易量
随着独立地址数的上涨,Optimism的日交易量呈现出相似的增长趋势,进入9月后日交易量由126.1k逐步攀升至347.1k,上涨约175%,11月9日日交易量迎来近期高点达492k。
/ i0 n; Z. R: I! ^# O
日活跃用户- I3 P1 ]: V3 c
5 {2 |& X5 ^* y" ?5 N
Optimism的日活跃用户量整体来看呈震荡上升状态。由9月初的阶段性低点8.5k到12月初的34.8k,增幅为309.4%。
6 `; M. G( F. F: s6 z( s
9 A7 n& I5 D9 a
TVL7 n' }# p( ?) F& }" i$ b8 l1 Q
Optimism的TVL从9月到10月之间保持在9亿美金上下,直至FTX事件之后出现断崖式下跌,触及5.17亿美金,下降了42.55%,所受影响较大,目前稳定在5.56亿美金左右。, v; {, L9 \0 \, Q" `4 j+ Z8 @
5 Z0 ?( f A0 q1 y! V) `2 P
链上应用( i5 V9 V0 m: B2 h) R
Optimism生态中TVL排名前十的应用分别是:AAVE V3、Synthetix、Velodrome、Curve、Uniswap V3、Beefy、PoolTogether、Star gate、Perpetual Protocol、Beethoven X。不难看出,Optimism网络中非原生应用在TVL中所占比例较大,唯一的原生应用Velodrome的TVL仅占前十应用总TVL的14.64%。* j0 Y- H8 L" c* }! D" f
$ ?" N1 e$ _! \9 p+ P; H& I- w' k
项目交互
从生态内部产品整体交互的情况看(图1)原生应用Velodrome、Pika Protocol、Rubicon交互数量仅占生态内排名前七应用交互总量的24.87%,这说明原生应用的用户粘性有待加强,可推测现阶段用户使用Optimism主要目的是节约在以太L1使用的gas成本。而导致近7天交互应用排名(图2)与整体交互情况有不同的主要原因是由于用户参与OP版“奥德赛”活动的刷量行为,导致短时间内原生产品的交互增加。
! u! f, U2 Z/ V# g) O2 @9 {: d
图1
. ~% t- {9 r" g8 P; e
图2" v* Y l; S4 ?; d. Y9 p7 c' L
跨链
- k) u1 A5 C f0 ?- K! Z, `
截止至目前,使用Optimism进行跨链的用户约为27.2万人,跨链总金额约为44.8万枚ETH(按市价折算约为5.5亿美元);七日内存款人数为10.6万人,七日内跨链总金额接近1.1万枚ETH。与其它L2协议Arbitrum、zkSync、StarkNet 相比,除七日内存款人数排名第一外,其余三个维度的数据均处于第二的位置。
& u6 s2 U8 P) M% W0 k+ }
+ b, R B( U0 b$ N8 A* d
Gas: o, y3 M' e+ e" i$ `3 K+ Q# \% o
0 N- x* C5 L; ]8 r4 r+ A" m6 X8 k
从gas费用来看,Optimism在众多L2协议中转账费用排名第六,比以太坊L1的转账成本低了83%。Swap的费用在L2协议中排名第四,比在以太坊L1进行swap的成本低95%。(注:下图中所显示的费用是浮动的,但变化幅度相对较小)& A$ X; i. Z b7 R R
6 u' X3 T' m! f& k7 X2 x
% F, ] H. _" n1 t* S+ C
Optimism未来展望4 b' r* a- o' l- a: P) t3 d
. z2 Q; v x) I/ r& f9 _( S
Optimism生态内现有应用240余款,但大多数为非原生产品的生态扩张与迁移。若从将其视为一个独立生态的角度看,原生应用的开发与获客仍然有很大的上升空间。随着Bedrock的逐步成熟,Optimism与以太坊基础设施的集成协议值得关注;其次,OP Stack所带来的Superchain概念是否会衍生出跳脱于现有rollup的新概念L2也需进一步的探讨。此外,待EIP-4844上线之后在Optimism的gas成本继续降低的条件下是否有机会超过同类型的rollup因而获得竞争优势也是一个值得观察的部分。( T$ O! B- P; W" s) R, p3 ]% s