作者:阿剑
自《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敲定机制,两个过程并不是完全同步的。
印度财政部首席顾问Sanyal:印度将对加密货币采取平衡的观点:1月31日消息,印度财政部首席顾问Sanyal:印度将对加密货币采取平衡的观点,政府还在就相关问题进行讨论。(金十)[2022/1/31 9:24:44]
这种“PoS信标链+多分片”的架构,似乎也非常好地利用了PoS算法本身的特点:为了解决No-thing-at-stake问题,以太坊2.0所用的Casper算法要求用户先存入一部分押金才能获得出块资格,而如果验证者滥用了出块资格,则会被罚没押金;由此,像Casper这样的算法实际上在区块链上创造了两种可以相互沟通、但相互独立变更的状态:一种是普通用户的状态,另一种是验证者的出块权重状态;共识过程以出块权重状态为基础,达成共识也会更改出块权重状态;因此,共识过程先天独立于用户交易的验证,可以解耦;对任意的交易批次及结果状态而言,共识过程可以被抽象成一种“终局性敲定机制”,逻辑上,多分片并行执行于是成为可能。
至于其可扩展性,以太坊分片技术的命名“二次方分片”透露了端倪:假设分片上的交易,其执行复杂性能够被化约到与区块头验证同样的难度,则分片化执行的架构,可以使整个系统的处理能力,随着参与节点处理能力的线性提高而呈平方级提高。通俗来说,如果参与网络的节点在一段时间内能验证4个区块头,这就意味着,在参与一个分片时,节点们可以在同等时间内验证4笔交易,此时系统总处理量是4条分片×4笔交易/分片=16笔交易;如果节点的处理能力变成了8,则处理量会变成64笔交易。
听起来很美好,但是,这个“平方级扩展”的论证中包含了如下假设:
存在一种技术,使得分片交易的验证,可以简化到与验证区块头同样的难度;
观点:SEC至少要到 2023 年才会批准比特币 ETF:8月12日消息,据美国广播公司(ABC)商业真人秀节目《创智赢家》(Shark Tank)明星兼知名投资人Kevin?O 'Leary透露,美国证券交易委员会至少要到 2023 年才会批准比特币 ETF,他解释说:“我个人认为SEC不会在明年批准BTC ETF,我看不出这件事会发生,当然这是我个人意见,我没有比任何人获得更多信息,但我听过监管机构试图解读一些东西,我认为他们会慢慢进入这一领域。”8月11日,FTX宣布聘请Kevin O'Leary担任官方新闻发言人,并以加密货币支付工资。(blockworks)[2021/8/13 1:51:50]
不存在跨分片的交易,即各分片内的交易是完全不会相互依赖的。跨分片的交易需要占用多个分片的处理容量,也要占据信标链的处理容量,会使可扩展性大打折扣。
关于,这个假设是有可能得到满足的,无状态性就是这样的一种技术,它的思路是,在传播交易,附带交易所访问状态的证明,使得交易的验证者无需持有交易执行之时的状态数据,就能验证交易的有效性。这一点极为关键,如果没有无状态性,参与分片验证的验证者就必须保存分片的状态,因为验证者会被不断分配到不同的分片链上,那就意味着他们必须保存所有分片的状态,在实践中也就意味着他们要不断下载所有分片的区块并处理交易,从而使整个系统坍缩为一个大区块系统。遗憾的是,至今,以太坊1.0也没有研究出足够轻量的无状态方法。
关于,那就没有什么好说的了。如果不能实现跨分片交易,分片化执行的系统就没什么意义,因为各分片各自为政。必须使得ETH有办法存在于各个分片上,这个系统才能仍然以ETH为主体。而直到今天为止,还没有出现一种跨分片交易方案,能够不增加信标链的处理量。道理也很简单,对于任意A分片来说,因为并行处理,任意?B分片上正在发生什么交易,需不需要改写本分片的状态,是不可知的,因此必须存在一个通信层,可信地证明B分片上发生了一笔试图改写A分片状态的交易。而一旦需要让信标链具备处理交易的功能,平方级扩展的效果就会被打破。
观点:数字卢布不会具有BTC这样的加密资产的优势:俄罗斯高等经济学院银行学院院长Vasily Solodkov在接受采访时表示,所谓的数字卢布这样的央行数字货币(CBDC)不会提供比特币(像BTC)这样的加密资产所具有的很多优势。他说:“俄罗斯央行表示,它希望将自己的官方加密资产定位为现有(代币)的竞争对手,但数字卢布显然会输给他们,而且会变得更弱。数字卢布不会像现有的(加密资产)那样具有无可争辩的优势,如匿名性、跨境功能和有限供应。”Vasily Solodkov补充说,支付公司可能会因为央行的这一项目而遭受损失,该项目将消除对第三方金融提供商的需求。(Cryptonews)[2020/12/25 16:28:14]
除了存疑的可扩展性,分片化执行还带来了许多经济上的有趣问题。例如,如果跨分片交易的处理时间超过一笔分片内交易的处理时间,这就意味着,不同分片上的ETH价值也不会相同。就好像美国国内的1美元,与美国国外的1美元,实际上并不是同一种东西。不论有多少个分片,都至少会有两种ETH价格,一种,是那个金融应用最繁茂的分片上的ETH的价格;另一种是其它分片上的ETH的价格;后者必须支付一定的手续费并付出一定的时间,才能换成前者,因此对前者必定有一些折价。同理,即使每个分片上都有uniswap,不同分片上市场的交易滑点也必定不相同,最终大家都会汇集到一个分片上,因为大家都在一起的时候,流动性最充沛,资金效率最高。某种程度上,可以认为跨分片交易的需要是很少的——但这也意味着,其它分片上闲置的交易处理容量,也根本没有意义。
分片化执行系统的技术难点,此处不再赘述,感兴趣者可以自己想想分片化执行系统怎么支付手续费的问题。但我在这里想说的是,分片化执行系统的设计理念违背了大家的实际需要,也违背了事物的发展规律。全局状态,并不是一个问题,而正是大家需要的东西;正是因为以太坊使得所有金融应用都能瞬间组合,创造了一个价值可以零摩擦流通的空间,以太坊才有了变革世界的潜力;在协议层为价值流通创造摩擦,是自废武功。有了一个良好的基础层时候,应该想办法维护这个基础层,剩下的事情让用户自己选择,让生态自己演化——不要以为设计能设计出一个生态,过度设计只是给所有人强加成本。
观点:加密货币最初以隐私为导向的精神必须被传播:9月4日消息,加密市场数据提供商Coin Metrics的报告显示,专注于隐私的加密货币zcash (ZEC)、monero (XMR)和grin的交易总额仅占比特币交易总额的6%。Zcash的隐私保护功能没有得到充分利用,只有不到2%的交易得到完全保护。并且隐私币的受欢迎程度仍然不高。报告作者认为,这些统计数据标志着对匿名的背离,匿名是虚拟资产最初设计的基本原则。随着加密货币继续被更广泛的公众所采用,加密货币最初的以隐私为导向的精神必须被传播,以便其能够生存下去。如果做不到这一点,就会导致最初的创建匿名交易系统的想法逐渐消失,并被有关加密货币用途的其他概念所取代。(news.bitcoin)[2020/9/4]
分片化执行的搁置,侧面印证了其中的难度——在可预见的未来,这条道路无法产生令我们满意的成果。尽管如此,我并不认为Eth2.0的研究员们已经完全放弃了三阶段路线图,Vitalik也还强调,变更后的路线图,跟Phase2也是完全兼容的,只是Phase2不再具有优先级。
但是实际上,放弃分片化执行,才是以太坊应该选择的道路。
可执行信标链路线图
在以太坊2.0的新路线图中,最令人瞩目的一点是:信标链区块将包含合并后的Eth1分片的交易,也即信标链具备了执行功能。其它分片仅具有保存数据的功能。
实际上,新路线图中“数据分片”的定位是“供rollup使用的数据可得性层”。
没了执行化分片,平方级扩展就无从谈起了。那么,这种“PoSLayer-1+rollup+rollup数据不占据主链区块空间”架构的可扩展性如何呢?
声音 | 观点:行情长期看涨,牛市一定会到来:2月19日蚂蚁矿池联合创始人田鑫携手蚂蚁矿机销售负责人范晓俊,挖币网联合创始人张媛,比特蓝鲸创始人陈雷,虎符交易所王瑞锡四位大咖进行主题为“减半X牛市X黑马”的蚂蚁矿池第一期线上联播活动。
针对“怎么看待今年的比特币行情”问题,四位嘉宾均发表了个人看法。蚂蚁矿机范晓俊表示:长期看涨,建议大家守住币,守住矿机。比特蓝鲸陈雷及挖币网张媛持理性看法:币价大涨可能性不高,很难向上突破历史高值。虎符交易所王瑞锡表示:对比特币今年的行情充满期待,努力,HODL,牛市一定会到来。[2020/2/20]
要解答这个问题,我们先来看看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。
归根结底,只有契合用户需要的性能提升,才是真正有意义的性能提升。如果不从用户的实际需要出发,相反,从技术美感或者最大化性能的假设出发,只能设计出空中楼阁。如果可以,那就让用户自己来做决定,在协议层操心太多,往往徒增摩擦。
以太坊的路线图应该改变吗?当然,因为没有什么利益,大到值得我们承担改变底层这么大的风险。
作者|哈希派分析团队 第三大比特币巨鲸过去7天增持2822枚BTC:金色财经报道,BitInfoCharts数据显示,全球第三大比特币巨鲸再次开启增持模式,过去7天增加了2822枚BTC,价值约1.17亿美元,截止目前.
1900/1/1 0:00:00本文来源:36氪,原题《没有比特币,数字货币就炒不动了?》 作者:杨亚茹 近日的币圈,跌宕起伏,徐明星被抓、华尔街唱多......褪去“暴富”梦的魔幻外衣后,比特币走下两万美元神坛已三年之久.
1900/1/1 0:00:00谷歌趋势显示“比特币”关键字的搜索兴趣相对较低,而链上数据显示,精明投资者正在囤积比特币。 比特币(BTC)在上涨后继续显示强劲涨势。关键数据显示,近几个月来的上涨趋势很可能是精明投资者推动的.
1900/1/1 0:00:00IndexCooperative对于DeFi指数及相关结构性产品的发展路径展开了一系列的预测,本文将作简单介绍.
1900/1/1 0:00:00来源:国际金融报 记者:余继超编辑:陈偲版式:王莹不足半个月,建行30亿美元数字债发行计划宣布撤回.
1900/1/1 0:00:0011月21日,CFTC公布了最新一期的CME比特币期货周报,统计周期内BTC上涨势头延续,虽然在统计周期前半段基本保持横盘,但是末段的一波上涨为后续的冲高奠定了基础,市场上涨势头没有明显变化,机构投资者是否仍然坚守看涨态度不动摇.
1900/1/1 0:00:00