不久前Vitalik发了一篇题为《为什么分片棒棒哒:揭开技术属性的神秘面纱》的文章,从技术上深入浅出地讲解了以太坊分片提供的特定属性和付出的牺牲。
文中提到:“分片是以太坊可扩展性的未来,它将是帮助生态系统每秒支持数千笔交易并允许世界上大部分地区以可承受的成本定期使用该平台的关键。”
文章是好文章,特别是通过定义以太坊分片的特定属性,与“流氓分片”划清了界限。
虽然烤仔非常佩服V神画大饼的实力,也认同安全可靠的分片技术是未来区块链技术必然的发展方向,但是对于文中的若干错误仍然觉得不吐不快。
文章的核心逻辑是V神认为通过“简单”技术无法同时让区块链获得可扩展性、去中心化、安全性三个属性,即所谓的“不可能三角”,而分片技术可以同时解决这些问题,所以“分片棒棒哒”。这个逻辑初看似乎有点道理,但是仔细想想却似是而非,主要有三个漏洞:“简单”技术、“不可能三角”、分片的必要性。
美SEC专员:国会正在积极考虑关于稳定币的问题:金色财经报道,美国SEC专员Hester Peirce在社交媒体上称,收到很多关于稳定币和 SEC 的问题,当然是事实和情况,但 SEC 应该听从国会的意见,国会正在积极考虑这个问题。与此同时,我们和其他监管机构可以举行公开圆桌会议。强制措施不是制定规则的方式。
Circle首席执行官Jeremy Allaire转发该条推送称,现在是国会忙于立法的时候了。当事情是新的、复杂的、对社会有广泛影响的时候,你就该这样做。[2023/2/23 12:25:14]
首先是关于“简单”技术无法同时获得三个属性的论断。文中没有定义到底什么样的技术能称为“简单”,实际讨论时偷换概念成了三种“容易的解决方案”:包括比特币以太坊在内的传统单链,由少数节点维护的高吞吐量区块链,以及多链生态系统。
蔚来创始人:我是反对比特币的,哪怕公司赔破产了也不会妥协:金色财经报道,在今日的蔚来NIODAY2022媒体面对面上,蔚来创始人、董事长、CEO李斌,蔚来联合创始人、总裁秦力洪接受媒体采访。对于数据泄露事件,李斌表示,蔚来确实可以做得更好,这是去年8月以前的数据,并不是近期黑客的攻击,已经报案了,跟监管机构第一时间进行了交流,非常愤慨有这样的事。他说,我是反对比特币的,让这样的勒索事件非常容易,妥协会开非常不好的先河。用户的损失会承担责任,哪怕公司赔破产了,也不会妥协。
此前消息,2022年12月11日,蔚来公司收到外部邮件,声称拥有蔚来内部数据,并以泄露数据勒索225万美元(当前约1570.5万元人民币)等额比特币。[2022/12/25 22:06:49]
这个论断的逻辑问题在于,“简单”不等于“容易”,偷换概念后的举例论证也因为没有穷尽所有可能性而更像是在挑软柿子捏。
CZ:Binance和BNB目前没有受FTX影响:11月14日消息,11月14日晚币安AMA Space中,币安创始人赵长鹏(CZ)表示,Binance和BNB目前没有受到FTX破产的影响,FTX破产对加密货币行业的影响也会逐渐减小。
如果你(投资者)不知道行业正在发生什么,不要买来卖去。近期很多信息不断涌现,有好有坏,市场处于高度的不可预测和剧烈波动下,除了hold,最好什么也别做。过几年你可能都不记得最近发生的事。
此外,CZ表示Binance的提现需求略有增加,但这在市场下跌的情况下属于正常现象。[2022/11/14 13:04:10]
类似的逻辑烤仔之前曾经在一个笑话中见到过——“如何证明所有奇数都是素数?我们来看一下:3是素数,5是素数,7也是素数,证完了。”
法官批准Ripple动议,以验证七名美SEC官员公开言论的视频:金色财经消息,美国前联邦检察官James K.Filan发推特表示,在一份只有文本的命令(Text Only Order)中,法官Netburn批准了Ripple被告的动议,即送达两份传票,以验证七名美国证券交易委员会(SEC)的公开言论视频,并忽略SEC关于被告试图重新开启证据发现程序的指控。[2022/8/15 12:26:11]
其中第二种方案吞吐量高的区块链,在V神的概念里似乎和节点数量少画上了等号,犯了循环论证的错误。总之,这里的论述肯定是没有考虑Conflux这样可以在几千个共识节点上实现几千TPS吞吐量的方案。
或许V神在这里对于“简单”的定义可以直接按照效果划一条线,凡是能解决“不可能三角”的统统归为“不简单”技术,这样方可确保逻辑严谨立于不败之地。
其次,所谓的“不可能三角”也是一个由来已久的错误概念。虽然常被拿来和分布式系统的CAP定理相提并论,但是实际上“区块链不可能三角”从来没有任何理论上的证明,最多只能算是一个“假说”或者“猜想”。这种把“自己做不到”等同于“不可能”的逻辑,颇有一种便秘了埋怨地球没有吸引力的即视感。
好在V神似乎也意识到再提“不可能三角”以太坊分片的优点就说不通了,所以在这篇文章里偷偷加上了一个前提——“如果你坚持使用简单技术,那么将无法同时获得三种属性”。
不知道啥时候能正式把“区块链不可能三角”的说法正式改为“区块链简单技术暂时做不到三角”以正视听,同时建议加一行小字“‘简单技术’指不能同时获得这三种属性的区块链技术”。
最后,这篇文章也不足以支持分片技术的必要性和迫切性。分片固然可以打破“不可能三角”,解决以太坊面临的性能问题。但这只是一个充分性的条件,不能说明为什么一定要采用分片技术,甚至不能说明为什么一定要打破“不可能三角”。
在“不可能三角”的描述中,可扩展性的要求是整个区块链共识系统的处理能力超过普通消费级PC或笔记本电脑作为单个节点的处理能力。从长远来看这个目标终归是要实现的,但是从目前以太坊的实际情况来看,这个目标属于好高骛远。以现在的电脑性能,单机足以每秒处理几千甚至上万笔交易,而以太坊只能处理不超过50笔,还远远没有达到瓶颈。基于以太坊现在的性能搞分片,就像是一个小学数学还没学明白的孩子非要学高等数学一样,事倍功半不说,将来还免不了从头再来一遍。
所以,即便分片可以解决以太坊面临的问题,也不意味着必须用分片来解决。与最初提出以太坊分片的概念时相比,如今已经有了包括Conflux等高性能共识算法和Rollup等第二层扩展方案在内的很多现成的解决方案。再抱残守缺地坚持做分片就有点一条道走到黑的意思了。
除了核心逻辑存有漏洞之外,分片本身在安全性、可靠性和性能方面的牺牲也是非常明显的,V神在文中已经说得比较详细,此处不再赘述。
这里只纠正一点:分片必然降低用户体验,增加确认用户等待时间的问题无可避免,并非只存在于采用欺诈证明的方案。尽管ZK-SNARK等证明技术可以大幅提升交易的验证效率,确保交易上链后能被快速确认,但此类技术无一例外需要较长的时间用于生成证明。因此,从用户的视角来看,采用ZK-SNARK技术减少交易上链后等待时间的代价是增加了上链前等待生成证明的时间,总的体验未必有多少改善。寄希望于靠ZK-SNARK解决分片带来的延迟问题的人,应该再去复习一下朝三暮四的故事。
综上所述,烤仔认为以太坊的分片技术就如同望梅止渴故事里的梅子,可以鼓舞人心但是没有多少实际意义。如果一直心心念念远方的梅子,而对身边的溪流视而不见,恐怕只会渴死在路上。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。