Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文

从第一原理理解 rollup 经济学

一身似水厝
56 0 0
Rollup 是一种令人惊叹的原语。Rollup 将成为以太坊未来扩容的首选方案 (可以参考文章《图解以太坊发展路线》),并为以太坊上的操作提供广阔的设计空间。总的来说,rollup 扩展了它们所建基的协议,并保留了协议的大部分属性。在整个过程中最重要的是保证链下执行的正确性,以及执行背后的数据可用性。而如何实现这两点取决于设计者。! M8 x0 {* D+ @" b" m6 Q

  \# A$ k& a" D$ i& i最近我开始对从经济学的角度理解 rollup 感兴趣。这不仅仅是一个理论上的问题。基础层 (L1) 的费用很高,我们应该积极地提供一些空间,以便用户在此处可以支付得起交易费用。更好的经济学意味着更合理的定价,用户也会更满意。5 W! Y7 {& y' ~  l3 |4 x! F  B, d1 K
3 R: q1 r0 ~  j+ s$ f+ l4 G
那我们应该如何具体思考 rollup 的经济学?本文将首先确定 rollup 系统中的各部分,它们的角色和职责。接着梳理出 rollup 系统中的各种开销、收益与费用,从而给我们提供一些线索如何探索这个广泛的设计空间。! U) X3 v5 g6 I
. [- {1 p# J9 E4 _) x
Rollup 游戏中的角色简单来说,我们将理想化地分为三个角色:8 L$ U# f* Q- |  G
" c: M2 y8 x+ {, n% @
用户:用户可以在 L2 网络上发送交易,和在 L1 上一样。他们在 L2 上持有资产,并且与部署在 rollup 上的合约进行交互。Rollup 运行者:这个角色包含了许多其他角色。Rollup 运行者代表着处理 L2 网络交易需要用到的所有基础设施。我们现在有发布交易批次 (batches) 的定序者、发布断言 (assertions) 的执行者、提出欺诈证明 (fraud proofs) 的挑战者、计算有效性证明 (validity proofs) 的证明者 (详细请看这篇论文)...基础层:为 rollup 发布的数据提供安全性的协议。这样的协议可以只需保证数据可用性而不需要结算功能 (比如,部署在其执行层上的 “模板 template” 桥接合约),但也可以是像以太坊这样的通用结算引擎。+ G0 n2 i" R0 b( e6 y# G- J5 M, m  m" K  Y
1 ]3 p+ t  o" ^% J  f
这三个角色的运作:用户在 L2 进行交易,运行者连接用户和基础层 (数据最终发布在基础层上)。
" |0 m  g* {/ K0 C! k+ O
4 i& v/ m# y8 w1 C& p5 a/ CRollup 的开销在本文中,我们从 “系统” 的角度看待 rollup,主要关注其开销、收益和费用。运行一个系统会产生开销,这就像 “能量库” (energy sinks),价值从系统内部流向外部。另一方面,系统也会获得收益,这就是 “能量源” (energy sources),价值从系统外部流向内部。费用则在 “能量源” 和 “能量库” 之间架起了桥梁,在系统的各个组件之间转移价值,以便每个组件正确地履行其功能。: P+ f9 M  H6 l! K
6 W# Z6 i/ D0 A8 O. f
比如,在之前我写的一篇关于 EIP-1559 的文章中,我解释了如何分解用户支付的交易费用:1 W$ P2 b$ U' J% T
$ F) ]5 j% P  u$ d
打包交易的部分费用归运行者所有:在 PoW 基础层的情况下,矿工费是对矿工的补偿,以对冲增加的叔块风险。这笔费用覆盖了运行者发布区块的开销,使他们成为网络的一部分。而这也是当前你在发送交易时默认按 1 或 2 Gwei 来支付费用。其余的费用支付用于使得其交易优先被打包进区块链,即拥堵定价 (pricing congestion)。这个费用使网络和遭受拥堵情况的用户在系统中激励相容。这就是在正常情况下 L1 的 basefee 的作用。好消息是,我们将使用一些相同的思路来理解 rollup 的开销。EIP-1559 的开销只涉及两部分:用户和基础层。由于 rollup 和 EIP-1559 两者的架构不同,而运行者位于用户和基础层之间,那么我们必须将运行者的开销与基础层的开销分开。这一点我们在下文中展开讨论:
1 U1 M* }! {9 U" |6 w
- n' Z. m1 Y+ p+ qL2 运行者的开销 (L2 operator costs)Rollup 必须找到愿意花费计算资源来处理 rollup 数据的运行者,如维护一个交易池、对交易 batch 进行排序、计算状态根/状态差异/有效性证明等等。这是一种有形的开销,用来量化运行者运行基础设施所需要的花费。
- t( R/ g& _7 T* u" w- M5 I* L; @
+ [* w* _- k; x9 H0 S( b9 QL1 数据发布的开销 (L1 data publication costs)花一些时间研究数据发布的开销是值得的,因为这确实是 rollup 经济中的新开销类型。一旦运行者收集了足够大的交易集,他们就需要在基础层上发布该交易集的压缩信息。目前,这个过程还没能以一种特别优雅的方式完成:数据仅简单地作为 “CALLDATA” 发布,这是一种允许发送者添加一个任意的字节序列交易属性。
$ g- d5 i; i9 W: n5 G
$ c- X, p3 e4 y& a通常,CALLDATA 包含被交易调用的智能合约方法的引用,以及该方法的输入参数。这样理解可能会有帮助:rollup 运行者把代表压缩交易的字节块作为输入参数来调用 L1 “rollup 链“ 智能合约的一些 ”registerCompressedData” 方法。这里是 Optimism 的 “Canonical 交易链” 合约的一个例子。
* j3 ]$ e- Z5 L' Q* U( {2 w! \
! j1 K+ Z) k0 n5 x1 |4 k用户发送交易,运行者压缩这些交易并将其发布至基础层的 rollup 链智能合约中  d4 P; r  Y, Q  z  w

2 G% Z4 H! ?4 W0 @, z9 z发布数据的开销是由基础层产生的。为了在以太坊上发布数据,目前数据的市场价格由 EIP-1559 控制,其中 CALLDATA 的每个非零字节消耗 16 gas,而每个零字节消耗 4 gas。有了多维度 EIP-1559 (在 Vitalik 写的简单的《Sharding-format blob-carrying transactions (用于分片的携有 blob 的交易类型》中有实例),CALLDATA 的价格可以在它自己的 EIP-1559 市场中确定,将数据市场与传统的执行市场分开定价。- R$ y6 Y) ]5 x% C# v6 t% p
0 y" J1 R+ L6 a" c7 [7 r- O
在这个 Dune analytics dashboard 中,我试着整理由几个主要 rollup 发布的数据。我不确定我是否捕获了完整的信息,尤其是 zk-rollup 的。如果你发现了一些对不上的地方,请告诉我!:)
1 E, c& n4 `$ n5 A
" L" b( I  t, e( Q5 i; ?还可以参考 Aditi 最近发布的文章 Ethereum Rollup Call Data 定价分析 和 L2fees.info
: p8 ~: U1 y, h
& D, c% y4 |2 u' n6 f6 AL2 拥堵开销 (L2 congestion costs)还有第三个,更无形的开销。只要 rollup 区块空间的供应不能满足现有的需求,稀缺资源就必须被分配。在一个由对时间不敏感的用户组成的球形奶牛世界中,用户只需排队等待。拥堵的系统不会造成价值损失。但是当用户因等待产生成本时,他们应该会想要尽可能地减少交易延迟。对于排在队列后面的用户,他们福利的减少对整个 rollup 系统来说是增加了的开销。
9 U6 l; P8 Q. q3 l' X
# {) k' ~/ ^7 R" D- U- t: s; t) r依赖费用市场来执行这种分配是典型的 (至少在以太坊世界中是如此),使得这种开销显现出来[1]。没有一个费用市场或者某种形式的拥堵定价,用户要么 “用时间支付” (交易被延迟打包)、在链下贿赂区块提议者以打包其交易、或重复发送他们的交易以保证其中一笔交易会被选中打包。在所有这些情况下,用户都是通过耗费资源来防止拥堵造成的效用损失。7 o8 m5 \6 A1 K

8 R# q! \6 a- @1 o& XRollup 收益现在我们已经清楚 rollup 的开销了,我们将尝试分析系统收益。在这里,我们区分两种主要资源:交易价值和代币发放。
9 F* Z1 K* {; V" w$ ~; f  n
  r* e6 K! q, ?5 h) Z. X交易价值用户从 rollup 上的交易获得价值而不是其他地方,因此准备为他们获得的服务支付费用。这里的价值是指用户从他们的交易被打包到 rollup 上获得效用 (utility)。如果交易被打包我能获得 50 美元的效用,我愿意支付这个金额,让我的交易被打包。如果我们最终支付了 2 美元,我的盈余是 48 美元。但从 rollup 系统的角度,无论是谁获得 2 美元的收益,最初流入的价值都是 50 美元。
9 Y' M5 X6 J6 @4 z
4 W$ w$ d3 K2 V7 P6 b; z第二,只要交易包含正的 MEV,例如在有些 DEX 上可被三明治夹击的兑换交易,这个概念也会被添加到我们的交易价值概念中。在这一点上,谁获得这个价值不重要,无论是定序者提取这个价值,用户对交易进行三明治夹击,还是其他。这里唯一重要的是我们的最初交易给这整个系统带来的价值比最初这个用户从这笔交易中获得的价值更大。这样,我们得出:
* W0 ^0 G( J2 z# w! ~2 J$ P* w% P6 V  [: }+ T3 k" t5 `$ q1 r
交易价值 = 用户价值 + MEV3 p: x( R- k" \: E' m

: ]! D7 q( I" u9 R4 b  t代币发放收益的第二个来源是“代币发放”。在基础层上,出块者获得的收益是新铸造的代币,增发出块者帮助维护的网络的原生加密资产。这些收益抵消他们的基础设施开销,只要他们这样做是有利可图的,就会有越来越多的出块者加入。" ~$ R) \0 V) W/ n7 C/ o  t
, R, ~3 o; I, K2 F6 M/ A% A7 p: y; V
假设 rollup 能够铸造它们自己的代币,且这个代币价值不为零。rollup 可以通过发行新代币支付其部分运作,以履行其职责。这里的模型比较模糊,有不同方式将收入来源用于 rollup 开销。现在,我们只考虑发行有价值的代币是可能的,且通过这样做可以给系统带来更多价值。
4 [+ E4 ]7 N) b# V1 `- T+ V( J7 q2 R/ @$ V& R' `
传递责任:rollup 版本综上所述,一个 rollup 系统包括三个相关方:用户、rollup 运行者和基础层。运行这个系统会产生三种类型的开销:运行成本、在基础层发布数据的开销和拥堵开销。这个系统以两种形式获得收入:交易价值和代币发放。8 |  h  p0 P* G2 W% Q  A# R; E
7 h, y* Q  E4 \  D( M/ b
现在剩下的就是匹配谁支付什么,以及什么时候支付的游戏。有些配对是很容易处理的。运行者必须向基础层支付 L1 数据发布的费用。他们必须在他们发布数据的那一刻就支付,而且按照基础层的报价来支付。[2]
4 i$ V; P$ h% L' ~: q  S
1 X, R/ `6 U0 Y! b当在费用市场里费用的定价是动态的,L2 拥堵的开销也是即时的。用户观察 rollup 区块空间当前的需求,并基于可用供应调整他们的费用。例如,rollup 可能想在它们的网络上部署 EIP-1559 式的市场机制来管理 L2 交易的打包。然后 L2 基本费用可以让用户轻松预估当前的 L2 拥堵开销。
$ F$ L, U. u, o8 d6 @3 C4 E8 J" f) |
3 B7 w; m" ?$ m$ l  m& O上图是系统的全貌,流入代表收益 (交易价值+代币发放),流出代表开销 (L2 运行者开销、L1 数据发布开销和拥堵开销)。费用在不同相关方间转移价值。
3 \( _8 V) b2 R' `2 ~4 e+ X0 t7 K
, P3 x9 x3 F/ C: o9 ]  E. X; a0 f预算平衡:传递责任的限制让我们给我们的系统添加一个新的限制——运行者预算平衡。我们假设 rollup 运行者不能亏损运营,也就是说他们的收益必须至少要等于或大于他们的开销。这个假设可能并不总是成立,然而在我看来,如果我们关心的是在未来运营者集是否足够去中心化和开放,这是至关重要的。运行者如果是需要亏本运营的,这会把资本较少的参与者挤出市场,且使得运行者集的规模非常受限。[3] 一个小型的运行者集会削弱抗审查的保证,在最坏的情况下,用户会被迫在基础层打包他们的交易,必须支付高额费用。  `  M* _/ l" S+ \  R* h0 [
% T! [' @8 I. C
代币发放作为一个松弛变量迟早会被派上用场,以保证预算平衡。每当运行者“太无利可图”时,他们就会离开这个系统,这会增加剩余运行者的发放份额,直到再次达至平衡。同样,当运行者“收益太高”时,就会有新加入者来争相分一杯羹,直到运行者再次达到预算平衡。" a8 \1 D6 C2 {2 h1 @  b5 Q3 R! w, u
# D- O8 S$ f% _5 H) k% ?
在延迟支付的情况下维持运行者预算平衡在预算平衡的规则下,我们必须考虑运行者维持非负的平衡。他们的主要流出,即 L1 数据发布是可变的,且其费用收取与他们的主要流入 (即交易费) 是分开的。我们假设运行者对他们的 L2 运行开销是完全了解的,并在交易时向用户报出确切价格 (类似于他们认知中的叔块率与其对应的用于补偿的矿工费用)。但是,他们应该如何为用户提供最终的 L1 数据发布开销报价,延迟一点实现?
9 w7 W! P3 {3 w" T( p
( l1 H5 I$ q& ~: i9 ~今天,rollup 应用启发式方法来避免 L1 数据发布开销可变性带来的风险。一种情况是,rollup 观察当前 L1 的基本费用 (感谢 EIP-3198 !) 并把费用往高报了一点,作为额外缓冲,即在一开始的时候对用户超额收费,以防后来运行者在发布数据时需要支付更多。另一种情况是,按 L1 基本费用的流动平均值函数来向用户收取费用,以拉平长期的波动。
+ F* E% F# D. v; \1 o8 u: b& g1 k( z' d) z/ W/ M( g* p
在我看来,合理的解决方案是调用衍生品,即简单的 L1 基本费用期货合约。在交易时间,用户被收取一笔费用,用于锁定以未来的价格支付在基础层发布数据的开销。通过减少悲观 (pessimistic) 超额支付,余额会发回给用户。关于这种衍生品的最佳设计,目前的研究还没有定论。
: Z+ y1 g. E; n" s2 h7 W
) x8 J# e$ ]  \2 i/ c. f(译者注:Pessimistic Approach 是并发控制算法的一种方法,即如果在未来的某个时间点上存在冲突,该事务会被延迟。它锁定数据库的记录以进行更新访问,其他用户只能以只读方式访问记录或必须等待记录被“解锁”。 ! ~! p+ _5 X$ l

& j+ L0 t  \# n: y; g- h, M  O用户在交易时给运行者支付费用,但运行者必须按照基础层的报价支付数据发布费用,而这不是固定的。
  B% U5 {% L8 S$ o* _$ L( U0 x! Q# K( b, k9 {4 I9 p
拥堵费用怎么处理?假设用户交易时 rollup 能完美地对拥堵费用进行定价,那么现在就会产生拥堵费用形式的收益。今天,在以太坊基础层上,这些费用会被烧毁。这样做的首要原因是与激励相容:如果拥堵费用返回到出块者手里,协议的基本费用报价就不再有约束力,破坏了 EIP-1559 的目的。但是烧毁基本费用不是保持激励相容性的唯一选择。
: ]( @- C6 z  S4 K3 O# o; k0 E
1 X6 H; V5 e) T9 t; V有人提议把所有的"rollup 废气",即由经济外部性 (例如拥堵或 MEV) 引起的费用, 都用于公共物品的资助。[4] 这不是一个坏的解决方案。城市里的拥堵定价通常会被指定用于改善公共交通系统,也就是说,这些钱是用于补偿负外部性的,当这些外部性被进行相应的定价,会带来这些收益。3 N, C- u/ S- c1 D2 h- J. \6 N

  @' P8 r5 i; F, Z$ N请注意,我其实悄悄把 MEV 加进来了...为什么我们应该像拥堵费用那样思考 MEV ?首先,因为 MEV 与拥堵一样是外部性。发出一笔携有 MEV 的交易这样的简单举动对那些想要捕获的人来说创造了正外部性。[5] 外部性是“没有得到匹配的价值”,也就是说,它们产生于一些用报酬来平衡有用工作的原始经济活动 (例如,用户给 L2 运行者支付开销;运行者支付 L1 发布开销),但在这个过程中它们产生或破坏一些额外价值。
1 ^5 b! R& \8 \$ b$ A% {
  G6 G8 |; M7 ^/ ~) x0 _这在 MEV 竞拍的概念里得到最清晰的说明,在这种设计中,运行者基于他们能从打包区块提取多少价值去竞争对一个区块的打包权。这个价值隐含着拥堵开销,用户通过互相竞争出价来表现。更明显的是 MEV 本身,这会是运行者要竞争获得的。再次,假设不允许运行者在亏损的情况下运营,他们的出价必须反映他们从区块提取价值的真实能力,即运行者会对他们的交易批次中对用户费用的总和加上他们从这个交易批次里提取的 MEV 进行出价。同时,假设所有的运行者都必须支付等额的 L2 运行者开销,而 L1 的数据发布开销则精确地向用户收取,我们会得出:
9 h, a4 u2 Z0 E& t( S5 j6 h) X3 \/ W. @7 e/ ~1 _
用户费用 = L1 数据发布费用 + L2 运行者费用 + L2 拥堵费用运行者开销 = L2 运行者开销 + L1 数据发布开销运行者收益 = 用户费用 + MEV运行者利润 = 运行者收益 - 运行者开销 = L2 拥堵费用 + MEV在运行者在一个有效市场中竞争,以赢得提议区块的权利的环境里,运行者必须同时为他们的整个利润出价,即在他们的交易批次中的拥堵费用和可得的 MEV。[6] 这是系统隐含的价值:第一项来自用户为了免受拥堵带来的损失而支付的费用,第二项来自初始交易造成的涟漪效应。这些价值从一开始就不属于任何人,它们为什么不能被捕获和再分配呢?
9 m( f) M2 \, |* Z/ d& P9 f9 U9 P# P- E& N1 g! p% C1 M/ s! E! G
用户愿意为打包支付高达其交易价值的费用。外部性用虚线矩形表示。
/ F% D( h# g  D% a4 m4 n0 ?6 E
+ Z4 A1 ?4 R& y* _探索 rollup 经济学这篇文章做了很多假设。例如,我假设“运行者预算平衡”,因为我相信社区应该以批判的眼光看待处于亏损状态的运行者所运行的 rollup ,它们有可能还不适合去中心化。代币发放有助于重新建立预算平衡,尽管这依赖于一个外生的价格信号 (代币价值) 来协调运行者激励。在这种观点下,运行者更偏向于尽可能准确地对他们可以定价的东西定价,即他们的 L2 运行者开销和 L1 数据发布成本。这就避免了未来收益的错配,运行者会期望更高的代币价格来支付他们的运营。[7]/ E! x; v* {3 k& \# }, D7 p1 f

8 ^# F# }8 O8 s: T# M2 G3 N5 l但这并不是在倡导一种特定形式的 rollup 经济学。设计空间仍然是宽广的。探索 L2 运行者开销发现更多我们还未探索的复杂性,例如,市场机构支持一个去中心化的基础设施以生成用于 zk-rollup 的有效性证明。专注于 rollup 上特定类型的用户 (例如,从 L2 到 L1 或跨 L2 桥接的快速提款服务) 还会发现用户需求的不同面向。在清楚了开销、收益和费用的概念后,希望现在能更容易分析出 rollup 应该实现什么样的结果和商业目标,以及实现这些目标的手段。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

一身似水厝 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    23