ROLL:观点 | 以太坊的路线图应该改变吗?

作者:阿剑

自《Arollup-centricethereumroadmap》一文发表以来,整个社区都对以太坊的路线图产生了疑问。2020年11月18日,在以太坊基金会的Eth2.0研究团队的第五次AMA活动中,Vitalik明白地表示,路线图已经发生了变化:暂时不再强调Phase2的重要性,Phase1致力于实现数据分片,供rollup方式使用;信标链将具备执行功能,即Eth1-Eth2合并之后,信标链区块将直接包含交易;Phase0实现后的三大工作:轻客户端支持、数据分片、合并,将并行推进,任一模块只要准备好了就退出。

本文的目的不是为原来的三阶段路线图辩护。相反,本文是想主张,三阶段路线图虚无缥缈,新路线图食之无味,没有一种与Eth2.0相关的路线图值得以太坊放弃当前的运作模式、转向以PoS为基础的系统。

在这里,我会先讲解初始的三阶段路线图的论证思路及其技术难点;然后分析新路线图的可扩展性。最后论证,新路线图的可扩展性优势,已经渺小到不足以使以太坊冒险转入PoS。

Eth2.0的三阶段路线图

在过去两年,广为流传的Eth2.0路线图规划了三个依次序实现的组件:

Phase0:以PoS为共识机制的信标链

Phase1:多条分片链

Phase2:为所有分片增加执行功能

从这一路线图可以清晰地看出,原来的以太坊2.0的目标是打造一个“分片化执行”的系统,意思是:每个分片都有自己的状态,这些状态按各分片的状态转换规则来变更;变更后的状态由信标链来敲定;由此,以太坊2.0就成了一个多个分片可以并行处理交易的系统。这也意味着,以太坊2.0是一个“共识”和“交易处理”解耦的系统,被分配到各分片上的验证者负责验证交易和状态的正确性;但这些状态的敲定则依赖于信标链的epoch敲定机制,两个过程并不是完全同步的。

观点:比特币杠杆率仍然很高,可能会进一步跌至40000美元以下:金色财经报道,Arca 的首席信息官Jeff Dorman表示,比特币最近一直作为一种风险资产进行交易,并且似乎正在追踪股市走低。加密交易所交易基金 (ETF) 专家兼 CEC Capital 董事 Laurent Kssis 表示,过去几个小时内已清算了约 2 亿美元的多头头寸,从而推低了现货价格。Kssis 补充说,杠杆率仍然很高,可能会进一步跌至 40000 美元以下,如果债券收益率因美联储的强硬立场而继续上升,情况更是如此。(Coindesk)[2022/1/7 8:32:01]

这种“PoS信标链+多分片”的架构,似乎也非常好地利用了PoS算法本身的特点:为了解决No-thing-at-stake问题,以太坊2.0所用的Casper算法要求用户先存入一部分押金才能获得出块资格,而如果验证者滥用了出块资格,则会被罚没押金;由此,像Casper这样的算法实际上在区块链上创造了两种可以相互沟通、但相互独立变更的状态:一种是普通用户的状态,另一种是验证者的出块权重状态;共识过程以出块权重状态为基础,达成共识也会更改出块权重状态;因此,共识过程先天独立于用户交易的验证,可以解耦;对任意的交易批次及结果状态而言,共识过程可以被抽象成一种“终局性敲定机制”,逻辑上,多分片并行执行于是成为可能。

至于其可扩展性,以太坊分片技术的命名“二次方分片”透露了端倪:假设分片上的交易,其执行复杂性能够被化约到与区块头验证同样的难度,则分片化执行的架构,可以使整个系统的处理能力,随着参与节点处理能力的线性提高而呈平方级提高。通俗来说,如果参与网络的节点在一段时间内能验证4个区块头,这就意味着,在参与一个分片时,节点们可以在同等时间内验证4笔交易,此时系统总处理量是4条分片×4笔交易/分片=16笔交易;如果节点的处理能力变成了8,则处理量会变成64笔交易。

观点:美国OCC决定表明美国监管认可并鼓励稳定币的使用推广:针对此前美国货币监理署(OCC)宣布银行可以使用稳定币进行支付,区块链和加密数字资产研究者谷燕西在接受采访时表示,结合几天前美国总统金融工作小组的声明,这表明美国监管认可并鼓励稳定币的使用推广。美国商业银行因此可以不必在合规方面有顾虑地开展稳定币的相关业务。谷燕西预测,在2021年,会有更多的美元稳定币推出,会有美国商业银行成为Diem(原Facebook天秤币)的协会成员。他说:“美元稳定币正在成为加密数字金融世界中的主导货币。”(澎湃新闻)[2021/1/5 16:29:32]

听起来很美好,但是,这个“平方级扩展”的论证中包含了如下假设:

存在一种技术,使得分片交易的验证,可以简化到与验证区块头同样的难度;

不存在跨分片的交易,即各分片内的交易是完全不会相互依赖的。跨分片的交易需要占用多个分片的处理容量,也要占据信标链的处理容量,会使可扩展性大打折扣。

关于,这个假设是有可能得到满足的,无状态性就是这样的一种技术,它的思路是,在传播交易,附带交易所访问状态的证明,使得交易的验证者无需持有交易执行之时的状态数据,就能验证交易的有效性。这一点极为关键,如果没有无状态性,参与分片验证的验证者就必须保存分片的状态,因为验证者会被不断分配到不同的分片链上,那就意味着他们必须保存所有分片的状态,在实践中也就意味着他们要不断下载所有分片的区块并处理交易,从而使整个系统坍缩为一个大区块系统。遗憾的是,至今,以太坊1.0也没有研究出足够轻量的无状态方法。

关于,那就没有什么好说的了。如果不能实现跨分片交易,分片化执行的系统就没什么意义,因为各分片各自为政。必须使得ETH有办法存在于各个分片上,这个系统才能仍然以ETH为主体。而直到今天为止,还没有出现一种跨分片交易方案,能够不增加信标链的处理量。道理也很简单,对于任意A分片来说,因为并行处理,任意?B分片上正在发生什么交易,需不需要改写本分片的状态,是不可知的,因此必须存在一个通信层,可信地证明B分片上发生了一笔试图改写A分片状态的交易。而一旦需要让信标链具备处理交易的功能,平方级扩展的效果就会被打破。

现场 | 观点:区块链可以用于追踪AI的模型:金色财经现场报道,10月27日,第六届区块链全球峰会于上海开幕,峰会的圆桌讨论环节,

Greenplum创始人冯雷分享表示,开源分布式数据库本身是和区块链平行的一个技术,但分布式数据库的软件栈和区块链不同,考虑区块链和分布式数据库的融合是一个值得探索的问题,毋庸置疑的是数据会产生巨大的价值。

LeapFive CTO江朝晖分享表示,IOT的设备一般是上云的,当数据上云后,数据产生价值的过程无法控制,区块链与IOT是天作之合,利用区块链可以管理数据,此外,AI的模式是可以分散的,区块链可以用于追踪AI的模型,

通联数据首席智能投资科学家罗戈,很多区块链应用的成本情况是用了会更好,没有的话也没事的尴尬现状,与其找这些场景,不如找没有区块链干不成的领域创新。[2020/10/27]

除了存疑的可扩展性,分片化执行还带来了许多经济上的有趣问题。例如,如果跨分片交易的处理时间超过一笔分片内交易的处理时间,这就意味着,不同分片上的ETH价值也不会相同。就好像美国国内的1美元,与美国国外的1美元,实际上并不是同一种东西。不论有多少个分片,都至少会有两种ETH价格,一种,是那个金融应用最繁茂的分片上的ETH的价格;另一种是其它分片上的ETH的价格;后者必须支付一定的手续费并付出一定的时间,才能换成前者,因此对前者必定有一些折价。同理,即使每个分片上都有uniswap,不同分片上市场的交易滑点也必定不相同,最终大家都会汇集到一个分片上,因为大家都在一起的时候,流动性最充沛,资金效率最高。某种程度上,可以认为跨分片交易的需要是很少的——但这也意味着,其它分片上闲置的交易处理容量,也根本没有意义。

观点:从全球金融体系吞下价值后 比特币达到稳定:比特币金融公司River Financial发推称,如果比特币的波动性没有吸引力,你可以一直等着,直到它从全球金融体系中吞下所有的价值后,达到稳定。[2020/8/9]

分片化执行系统的技术难点,此处不再赘述,感兴趣者可以自己想想分片化执行系统怎么支付手续费的问题。但我在这里想说的是,分片化执行系统的设计理念违背了大家的实际需要,也违背了事物的发展规律。全局状态,并不是一个问题,而正是大家需要的东西;正是因为以太坊使得所有金融应用都能瞬间组合,创造了一个价值可以零摩擦流通的空间,以太坊才有了变革世界的潜力;在协议层为价值流通创造摩擦,是自废武功。有了一个良好的基础层时候,应该想办法维护这个基础层,剩下的事情让用户自己选择,让生态自己演化——不要以为设计能设计出一个生态,过度设计只是给所有人强加成本。

分片化执行的搁置,侧面印证了其中的难度——在可预见的未来,这条道路无法产生令我们满意的成果。尽管如此,我并不认为Eth2.0的研究员们已经完全放弃了三阶段路线图,Vitalik也还强调,变更后的路线图,跟Phase2也是完全兼容的,只是Phase2不再具有优先级。

但是实际上,放弃分片化执行,才是以太坊应该选择的道路。

可执行信标链路线图

在以太坊2.0的新路线图中,最令人瞩目的一点是:信标链区块将包含合并后的Eth1分片的交易,也即信标链具备了执行功能。其它分片仅具有保存数据的功能。

实际上,新路线图中“数据分片”的定位是“供rollup使用的数据可得性层”。

观点:312黑色星期五比特币暴跌 系场内杠杆引发踩踏:近日,贝宝金融联合创始人王立在接受采访时表示,3月12日“黑色星期五”的表现是高杠杆压力下,3月12日大量比特币抛售引发合约和现货市场的连环踩踏;深层原因是原油和新冠病疫情双重打击下,风险资产价格暴跌带来的一次流动性危机。同时,贝宝金融CEO杨舟认为是流动性的问题,而不是整个市场的风险偏好变化。他解释称,这不是说比特币到底还有没有避险属性的问题。市场上这时候关心的是:可以卖吗?好卖吗?反正赶快卖掉,而不管比特币什么属性。银行又不给钱,而比特币作为一个每天交易量超过百亿美元的一个资产,只能卖比特币去补充其他地方受损的那些钱。而恰恰在这个时候,比特币市场本身又是一个高杠杆状态,于是卖出引发了踩踏。(华夏时报)[2020/3/31]

没了执行化分片,平方级扩展就无从谈起了。那么,这种“PoSLayer-1+rollup+rollup数据不占据主链区块空间”架构的可扩展性如何呢?

要解答这个问题,我们先来看看rollup方案与主链的交互模式。

首先,你可以把一个rollup系统理解为一个无状态的合约,这个合约的内部状态,对外是不可见的;但是,该合约内发生的所有交易,其数据会定期公开出来,发布到主链上,使得任一第三方,得到这些数据后,都可以重建出该合约的内部状态。

使用有效性证明的rollup的特点是:该合约每次公开交易数据时,都附带一个这些交易已被正确执行、因此新的状态根应是XXX的“计算完整性证明”;如果该证明能通过合约的验证,则该合约更新状态根;如果该证明不能通过验证,则该合约拒绝更新。

使用错误性证明的rollup的方案则相反:任一人每次为合约公开交易数据时,都必须存入一笔押金,并断言合约的新状态根是YYY;此后一段时间内,任意其他人都能存入押金、发出错误性证明来挑战该断言;错误性证明即证明该批交易有瑕疵,或者交易处理后的新状态根不是YYY;如果挑战成功,则发布错误断言的人会损失押金;如果一段时间内无人挑战,则合约更新状态根为YYY。

这两种方案,都必须在链上发布数据,因此会占用链上空间;而且,链上空间的大小,决定了rollup系统在单位时间内的处理量。想得更深一些,如果这些交易数据,能够发布在一个数据量的约束更小的地方,或者说,不去占用Layer-1区块的空间,则其处理量,能产生倍加的效果。如果这样的西方有很多,那还可以产生倍乘的效果。

这就是“数据分片”及“以rollup为中心的路线图”的理念:让rollup方案把交易数据都放到分片区块中,分片有多少个,处理量就能提升多少倍;当前的以太坊区块数据量大概是20~30KB,这个数据量显然是安全的,则,如果我们有64条分片,我们每15秒就能提供64*30=1920KB=1.9MB的数据量。而且,使用端我提供了这么大的数据吞吐量,但它不会成为全节点的负担,因为这些数据你想下载就下载,不想下载就可以不下载,大家你下载一点,我下载一点,节点的负担还是很轻的——反正,验证这些rollup合约的状态,并不要求我拥有该rollup的所有历史交易数据。以太坊的状态仍然是安全的。

听起来很合理,但还是那句话,太乐观了,太多假设了:

这种“想下载就下载,不想下载就不下载”的方法,在zkrollup上根本行不通:当zkrollup要更新状态根时,zkrollup合约更新操作的验证者在接受证明时也必须获得与该证明对应的交易数据,否则就无法通过验证。。也就是说,如果仅考虑zkrollup,那么“数据分片”的方法,从带宽上来说,与大区块没有任何分别。不管这些数据一开始被发到了谁手上、存到了哪里,全节点都要下载它们。

对optimisticrollup来说,如果你愿意采取更乐观一点的假设,当然可以,你可以平时完全不下载交易数据,仅保留获得终局性的最新状态根,仅在发生争议时,再下载相关的交易数据,从全节点的角度看,并没有因此丧失对合约状态的验证能力;但是从用户的角度看,事情就完全不同了:你开始不确定自己到底是不是随时能够重构自己的状态,来完成取款。也就是说,用户将不能确定自己用的到底是optimisticrollup,还是plasma。本来,optimisticrollup的方案就是保证了所有全节点都有历史交易的备份,所以用户可以容易地重建自己的状态,并提交状态证明完成取款;但如果这一点保证失去了,你就不确定自己能不能重建状态了。optimisticrollup的安全性也会受到影响:它的安全假设是,获得了交易数据的人之中至少有1个是遵守协议的;在数据分片模式下,你并不知道,有多少人会去请求这部分交易数据。

总而言之,“数据分片”模式搭配zkrollup时,在带宽的意义上,无法提供更大的可扩展性,而与扩大区块空间的效果相同;在搭配optimisticrollup时,相对于大区块,其可扩展性优势与挑战发生的频率成反比;更严重的是,它使optimisticrollup有退化为plasma的风险。

结论

Rollup方案其实是从Layer-2发展过程中吸取了血淋淋的教训而飞出来的凤凰。它最大的特点在于,给用户的资金安全提供了充分的保护。因为任意得到了交易数据的人都可以重建状态,而区块链保证了这些交易数据的永续数据可得性,rollup方案得以提供layer-2方案中首屈一指的用户保护。只有这样的方案,用户才敢真的去使用。舍弃了这种好处,按最大化性能的乐观假设来设计系统,只能设计出用户不敢去用的东西。

只要你意识到,rollup本质上是一种合约的设计模式,“PoS+数据分片+rollup可以提供更大吞吐量”的迷思便可一眼洞穿——rollup不管在哪个共识中,都可以提供同样的可扩展性,数据分片能提供更多,只是因为引入了别的安全假设,使rollup牺牲安全性来换取吞吐量而已——问题在于,这样的合约,比rollup的安全性更弱、可扩展性更强的合约,不是没出现过,不是在pow链上就设计不出来,而是设计出来了也没人用而已。

自2017年以来,以太坊社区就为着实际的需要艰难地探索安全的可扩展性方案。许多人可能都相信过,“PoS+分片”能提供强大的可扩展性,但那是“分片化执行系统”,有自身的一堆问题。眼前的“可执行信标链路线”,也不过是牺牲合约本身的属性来换吞吐量而已。时至今日,已经找不到证据,证明为了可扩展性,以太坊应该拥抱PoS。

归根结底,只有契合用户需要的性能提升,才是真正有意义的性能提升。如果不从用户的实际需要出发,相反,从技术美感或者最大化性能的假设出发,只能设计出空中楼阁。如果可以,那就让用户自己来做决定,在协议层操心太多,往往徒增摩擦。

以太坊的路线图应该改变吗?当然,因为没有什么利益,大到值得我们承担改变底层这么大的风险。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

PolygonCBD:经济日报:为何要推出数字人民币

来源:经济日报记者:姚进当前,全球各国央行和监管部门对于数字货币的关注度与日俱增。国际清算银行近期发布的报告称,截至7月中旬,全球至少有36家央行发布了央行数字货币计划.

[0:0ms0-0:915ms