带你了解以太坊各个扩容解决方案:状态通道、侧链、Roll Up等
自从Defi热潮席卷以太坊,导致以太坊拥堵,Gas费用创历史新高。我们一直以来关心的以太坊扩容的现实问题:在以太坊2.0尚未推出,更为贴合实际的Layer2 方案有望解决以太坊的扩容问题。
这次,分布式课堂邀请了Celer团队的Michael着重讲述「链下」技术,它们包括状态通道、Plasma、Roll Up等。
(Michael毕业于麻省理工学院(MIT),获得计算机硕士学位。Michael目前在Celer负责对于区块链技术,特别是各种二层扩容技术的研究,他参与了通用状态通道、状态守卫者侧链 (SGN)以及Hybrid Rollup等的核心设计和开发工作。)
状态通道
优点:延迟低,实时性高
缺点:用户人数有限,资金利用率低
用途:小额支付/预测市场/赌球赛马
一般情况下是双方会在链下建立一个状态通道,通过交换私钥进行签名以后的信息,并在链下进行交易。当时比特币实现了名为闪电网络的支付通道网络,把这个状态通道互相连接起来:即使用户没有直接状态通道,也可以通过几个中间节点把它一一层一层地转发过去,相当于channel network。
基本上,状态通道的延迟能做到互联网的延迟。比如说服务器之间的延迟是多少,这个状态通道的延迟就是多少。市面上通过其他链发送交易的速度是秒级的。但是状态通道的话,一般都是毫秒级的。另外,它还有一个优点就是实时性非常高。
状态通道是一种scale up(扩容)的手段。scale up的意思是用技术手段线性地将区块链扩容,比如说像分片。比如说以太坊2.0要启动64个分片,然后它的容量就增加了64倍。而对于状态通道来说,他现在能支持1000个用户同时在线,未来可能最多支持到64000个用户,这个数字还是很低的。
尽管状态通道的scale up是说你节点数量越多,你的网络越大,你的容量越大。这只是一个很美好的设想,实际上它受到了一个很大的限制——low liquidity utilization(低资金利用率)。状态通道是要这个双方都把这个钱存到链上的通道,之后再互相进行发送支付。第一步,就是要把钱存到链上去,这个钱是有限的。就是你比如说手上你有1000个以太,状态通道只能发送1000个以太。如果你突然发送一笔2000以上的以太,它就无能为力了。
因为容量可以扩容,然而资金流动性却没有办法扩容。如果一个用户给另一个用户发送一大笔钱,那中间每一个转发的节点都要有这么大的容量,在现实生活中是不太可能的。等大家把这么多钱都锁到一个状态通道里边,如果只能用状态通道转发的话,这个效率是非常低下。
状态通道只能支持小额支付。像闪电网络其实并不大,可能和资金利用率低是有关系的。另外,把一般的dAPP搬到状态通道是相当难的。我们曾经尝试把五子棋搬到状态通道上。尽管我们写了sdk,让别的项目的开发去用,他们还是觉得这个开发是相当难的。
另外,状态机只适用于这个固定的人数。就是你要把uniswap放在状态机上是不现实的。因为在这个dAPP 的用户是无限量的,没有一个固定的用户集。即使你把棋类游戏或是稍大的PC游戏搬到状态通道上,这些游戏也必须写成状态机的形式。他们每一个状态的转移,要非常清楚地写出来。
理论上,你可以把任意单机游戏都搬到状态通道上。但现实中没有人会去这样做,除非你是非常不信任游戏服务器。一般来说,预测市场以及赌球赛马(大家对及时变化很快的场景做预测),是可以搬到状态通道上的。
侧链
优点:代码和数据独立
不增加主链的负担
缺点:安全性弱
侧链的本质就是在这个基础层上再搭一个链,然后用完全另外一套验证人。它的整个安全性是分开的:主链有主链的安全性,侧链有侧链的安全性。
主链从POW转到POS会有更强的安全性,但侧链的验证人偏少,安全性也较弱:比如说Cosmos才只有100个验证人。
侧链的TPS取决于它的验证人。验证的人数越多,它的TPS会越低。侧链的延迟是相对低的,比状态通道的毫秒级高一些,比主链的十几秒几十秒延迟低很多。
状态通道的安全性就是双方互相签过名,就具备主链的安全性。只要一方做恶,另外一方都可以提交到主链,把它这个争议解决掉。而侧链的话就是你要信任多数的验证人是好人,所以它的安全性要比主链低很多。
Roll up/Plasma
Plasma:缺点是无法应用到智能合约上
用户跑节点的负担重
Roll Up:优点是数据在链上,
可以随时验证(也是和Plasma唯一的区别)
链下支付可以用任何代币支付
而链上支付只能用ETH
Roll up是19年慢慢火起来的一个概念。和Roll up类似的Plasma,是以太坊上也是V神认为大有希望的一个解决方案。Plasma的问题是它只能够把支付做好,对于稍微复杂的智能合约却无能为力。作恶的一方是不会把数据给你提交上链,以至于这种争议至少要等两个星期才能解决。这个过程是对于用户来说难以接受的。另外,由于Plasma的数据都在链下,用户跑plasma的节点负担是很重的:你跑的时间长了,就会消耗几十个G或者几百个G,是手机无法承受的。
19年有人提出了Roll Up,在我看来是一个中间道路。Roll Up就是链下的计算+链上的数据+Fraud proof。然后它最关键的一个点就是不是所有数据都在链上,它的链上数据仅仅限于它每一笔交易的输入,但不包括它的最终状态。比如说,你从a 走到b ,我只是把路径告诉你了;但是你具体在a 做了什么事,在b 做了什么事,这种状态是记录在链下的。
任何人任何用户都可以去看Roll Up 的区块,也就是打包后的交易,然后把它这个状态的转移重新更换。如果状态转移是错的,用户就可以在链上提交Fraud proof,并将验证人淘汰掉。因为验证人在链上是有质押的,如果他作恶的话,他的质押会被没收掉。且虽然不是每一笔Roll up都会进行验证,但是验证人会一直跑,一旦发现有Fraud(比如说A给B发了1块钱,但记录的是A给B发了3块钱),就可以拿到相应奖励。这个过程可以理解为任何人都可以进行抽查以及督察。
他的好处是数据都在链上,可以任凭用户随时去验证,不会出现像plasma那样的数据可用性问题。且验证的结果具有唯一性,验证人链下把这个智能合约跑一遍,就会发现验证链下的计算是否按照链上的智能合约。从经济学角度来说,一般的验证人不太会去做恶,因为他的质押额太大了。
Roll Up和Plasma其实非常类似。只是Roll up把数据放到链上去,Fraud Proof的过程会非常简单。Roll up的TPS会在主链的几百倍左右,一般是在几百上千的级别;根据不同业务,如果应用简单一些的话,应该可以做到几千级别。而plasma的TPS最高能到上万。
Optimistic Roll UP / ZK Roll Up
Optimistic Roll UP:
可以支持通用的智能合约
缺点:需一到两周时间去跑证明
ZK Roll UP:可以支持支付以及DEX
缺点:耗内存和CPU/无法支持智能合约
离落地还有时间
Optimistic Roll UP从技术来说要比ZK Roll Up简单很多。它的好处是可以支持通用的智能合约。ZK和Optimistic的区别是,Fraud Proof变成了Validity Proof。这两种验证方式相当于两种不同的思维方式:Optimistic Roll UP是乐观思维,就是说相信验证人是不会做恶的;ZK是悲观思维,相信验证人还是会作恶的,所以要生成一个零知识证明,然后和Roll Up一起打包到链上去。大家去验证不需要跑状态转移,因为这个转移已经通过零知识证明跑过一遍了。
这就类似法律上的举证证明,是自证清白还是别人证明你是好人。ZK Roll Up相当于自证清白。其实,Optimistic和ZK 都牵涉到一个最终性的问题。Optimistic Roll UP 的最终性是比较长的,用户没有跑过这个证明,提现期需要一到两周。这期间系统会给足够多的窗口,让足够多的人去验证这个事情。ZK不会碰到这个问题,因为一旦它的零知识证明上链,它的最终性也就确认了。
那么ZK Roll Up的问题是什么呢?它对于这个节点要求是非常非常高的。ZK Roll Up就是耗CPU和内存,并需要很强的服务器去做这个打包。而Optimistic Roll UP对于打包者的要求并不那么高。唯一要求的就是验证人在链上质押来保证不会作恶。
由于这个ZK的复杂性,导致它目前只能用于一些特定的应用:比如说像那个支付和DEX。另外ZK 还包含了零知识电路,它是密码学中非常新的概念,目前存在安全隐患的可能。
Hybrid Roll Up
避免了中心化的问题,引入了侧链做打包人
Hybrid Roll Up是结合了侧链和Roll Up。我们发现了一个问题打包者可能很中心化,比如说路印。而ZK Roll因为对打包者要求很高,它的中心化问题更加严重。这会引发一个问题:假设路印的服务器到期以后,机器就会发生宕机,交易所会进入提现模式,相当于变相被解散。为了预防这种风险,我们牺牲了一些TPS,引入了侧链的验证人。
Hybrid Roll Up的好处:第一,不会出现打包人只有一个以及单点故障这个情况,因为这需要一个侧链共同去打包。第二,作恶的可能性更小了,因为需要所有节点共同加强才能去作恶。且安全性是双重的:侧链以及Roll Up的双重安全性会防止有人作恶。
微信扫描关注公众号,及时掌握新动向
2.本文版权归属原作所有,仅代表作者本人观点,不代表比特范的观点或立场
2.本文版权归属原作所有,仅代表作者本人观点,不代表比特范的观点或立场