望梅止渴的以太坊分片(Sharding)

不久前 Vitalik 发了一篇题为《为什么分片棒棒哒:揭开技术属性的神秘面纱(Why sharding is great: demystifying the technical properties)》的文章(https://vitalik.ca/general/2021/04/07/sharding.html,中文机翻痕迹明显,建议阅读英文版),从技术上深入浅出地讲解了以太坊分片提供的特定属性和付出的牺牲。

文中提到:“分片是以太坊可扩展性的未来,它将是帮助生态系统每秒支持数千笔交易并允许世界上大部分地区以可承受的成本定期使用该平台的关键。”

文章是好文章,特别是通过定义以太坊分片的特定属性,与“流氓分片”(原文所说的“具有非常不同且通常弱得多的安全属性的技术”)划清了界限。

虽然烤仔非常佩服 V 神画大饼的实力,也认同安全可靠的分片技术是未来区块链技术必然的发展方向,但是对于文中的若干错误仍然觉得不吐不快。

武汉寻今云创始人蒋鑫:今年将是分布式存储综合服务商的终极之战:据官方消息,在2021年IPFS分布式存储生态峰会上,武汉寻今云创始人蒋鑫发表“寻金与行业”主题演讲。他从寻今云的发展、区块链的思考、分布式存储领域的思考、数字通证的思考这四个方面与大家分享。他表示,武汉寻今云得到今天的成绩,是因为我们选对了公司,星际联盟;选对了赛道,分布式存储领域;选对了行业,区块链行业。另外,他向大家分享了他对未来市场的分析,他认为今年将是分布式存储综合服务商的终极之战。

他表示,星际联盟是一家有政府投资背景的分布式存储综合服务商,得到江西抚州政府和分布式资本投资,运维技术稳定。武汉寻今云是沙画中的一把沙子,是星际联盟的发展史的当中的一个部分;武汉寻今云的团队的人员,就是这把沙子里面的一粒沙子。这一粒沙子,淘起来看是一粒金沙。

他分享了对武汉市场的开拓计划,肯定了武汉渠道已经创造的销售成绩,并鼓励大家再接再厉,把握时代机遇,与星际联盟一起共创辉煌。[2021/4/17 20:30:43]

文章的核心逻辑是 V 神认为通过“简单”技术无法同时让区块链获得可扩展性(Scalability)、去中心化(Decentralization)、安全性(Security)三个属性,即所谓的“不可能三角”,而分片技术可以同时解决这些问题,所以“分片棒棒哒”。这个逻辑初看似乎有点道理,但是仔细想想却似是而非,主要有三个漏洞:“简单”技术、“不可能三角”、分片的必要性。

福布斯公布11位加密亿万富翁,Coinbase联创、FTX创始人SBF及Ripple联创分列前三:2月3日,福布斯发文总结了在比特币牛市中获利的11位亿万富翁。其中Coinbase联合创始人BrianArmstrong以65亿美元的净资产位列榜首,紧随其后的是净资产总值45亿美元的FTX创始人SamBankman-Fried(SBF),Ripple联合创始人ChrisLarsen净资产总值为29亿美元,位列第三位。[2021/2/3 18:47:03]

首先是关于“简单”技术无法同时获得三个属性的论断。文中没有定义到底什么样的技术能称为“简单”,实际讨论时偷换概念成了三种“容易的解决方案(easy solutions)”:包括比特币以太坊在内的传统单链,由少数节点维护的高吞吐量区块链(大约指 EOS 和联盟链),以及多链生态系统(波卡和其它一些不保证安全性的“流氓分片”等)。

58COIN交割合约24H行情9:00播报:截至9:00,据58COIN交割合约行情:BTC合约现报价13223.48美元,较现货贴水21.12美元,24h涨跌幅-3.32%。成交量4537.40万手,成交额120788.37万美元,当前持仓总量203.53万手,较上一交易日变化9.98万手。

EOS合约现报价2.65美元,较现货贴水0.0045美元,24h涨跌幅-0.78%。成交量205.12万手,成交额1094.01万美元,当前持仓总量361.48万手,较上一交易日变化-10.11万手。

ETH合约现报价387.52美元,较现货贴水0.79美元,24h涨跌幅-4.21%。成交量437.44万手,成交额8571.21万美元,当前持仓总量91.17万手,较上一交易日变化-9.70万手。[2020/10/29]

这个论断的逻辑问题在于,“简单(simple)”不等于“容易(easy)”,偷换概念后的举例论证也因为没有穷尽所有可能性而更像是在挑软柿子捏。

类似的逻辑烤仔之前曾经在一个笑话中见到过——“如何证明所有奇数都是素数?我们来看一下:3是素数,5是素数,7也是素数,证完了。”

其中第二种方案吞吐量高的区块链(“High-TPS chains”),在 V 神的概念里似乎和节点数量少画上了等号,犯了循环论证的错误。总之,这里的论述肯定是没有考虑 Conflux 这样可以在几千个共识节点上实现几千 TPS 吞吐量的方案。

或许 V 神在这里对于“简单”的定义可以直接按照效果划一条线,凡是能解决“不可能三角”的统统归为“不简单”技术,这样方可确保逻辑严谨立于不败之地。

其次,所谓的“不可能三角”也是一个由来已久的错误概念。虽然常被拿来和分布式系统的 CAP 定理相提并论,但是实际上“区块链不可能三角”从来没有任何理论上的证明,最多只能算是一个“假说”或者“猜想”。这种把“自己做不到”等同于“不可能”的逻辑,颇有一种便秘了埋怨地球没有吸引力的即视感。

好在 V 神似乎也意识到再提“不可能三角”以太坊分片的优点就说不通了,所以在这篇文章里偷偷加上了一个前提——“如果你坚持使用简单技术,那么将无法同时获得三种属性”。

不知道啥时候能正式把“区块链不可能三角”的说法正式改为“区块链简单技术暂时做不到三角”以正视听,同时建议加一行小字“‘简单技术’指不能同时获得这三种属性的区块链技术”。

最后,这篇文章也不足以支持分片技术的必要性和迫切性。分片固然可以打破“不可能三角”,解决以太坊面临的性能问题。但这只是一个充分性的条件,不能说明为什么一定要采用分片技术,甚至不能说明为什么一定要打破“不可能三角”。

在“不可能三角”的描述中,可扩展性的要求是整个区块链共识系统的处理能力超过普通消费级 PC 或笔记本电脑作为单个节点的处理能力。从长远来看这个目标终归是要实现的,但是从目前以太坊的实际情况来看,这个目标属于好高骛远。以现在的电脑性能,单机足以每秒处理几千甚至上万笔交易,而以太坊只能处理不超过 50 笔,还远远没有达到瓶颈。基于以太坊现在的性能搞分片,就像是一个小学数学还没学明白的孩子非要学高等数学一样,事倍功半不说,将来还免不了从头再来一遍。

所以,即便分片可以解决以太坊面临的问题,也不意味着必须用分片来解决。与最初提出以太坊分片的概念时相比,如今已经有了包括 Conflux 等高性能共识算法和 Rollup 等第二层扩展方案在内的很多现成的解决方案。再抱残守缺地坚持做分片就有点一条道走到黑的意思了。

除了核心逻辑存有漏洞之外,分片本身在安全性、可靠性和性能方面的牺牲也是非常明显的,V 神在文中已经说得比较详细,此处不再赘述。

这里只纠正一点:分片必然降低用户体验,增加确认用户等待时间的问题无可避免,并非只存在于采用欺诈证明的方案。尽管 ZK-SNARK 等证明技术可以大幅提升交易的验证效率,确保交易上链后能被快速确认,但此类技术无一例外需要较长的时间用于生成证明。因此,从用户的视角来看,采用 ZK-SNARK 技术减少交易上链后等待时间的代价是增加了上链前等待生成证明的时间,总的体验未必有多少改善。寄希望于靠 ZK-SNARK 解决分片带来的延迟问题的人,应该再去复习一下朝三暮四的故事。

综上所述,烤仔认为以太坊的分片技术就如同望梅止渴故事里的梅子,可以鼓舞人心但是没有多少实际意义。如果一直心心念念远方的梅子,而对身边的溪流视而不见,恐怕只会渴死在路上。

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

链杂谈

Uniswap火币科技子公司火币资管基金规模超7千万美元 虚拟资产市场迎来新变局

4月26日,记者从火币科技控股有限公司(下称“火币科技”;1611.HK)处获悉,火币科技全资子公司火币资产管理(香港)有限公司(下称“火币资管”)旗下4只基金产品合共融资已超7千万美元,目前仅面向符合香港证监会定义的专业投资者。 这4只基金分别为比特币跟踪基金、以太坊跟踪基金、主动管理基金和多元化基金。

火币网下载官方app区块链治理如果出问题 没司法规范怎么办?

原文标题:《观点 | 治理程序可抽取的价值》 治理程序(Governance)是协议的最终拥有者。无论是独裁还是富豪统治(plutocracy),治理程序控制着相关协议的每一个可变动的方面以及它们如何变化。不像传统的公司,区块链应用的治理程序是透明的、由专门的智能合约来定义(因此是确定性的),而且改变了什么也对所有人可见。但有光的地方就有暗。

币安app下载MakerDAO走向去中心化治理

或许是时候和Maker基金会提前说声“再见”了。 北京时间 5 月 3 日 21:23:36,以太坊区块高度 12361485,Maker 基金会将 84000 枚 MKR 转向了 MakerDAO 治理模块的 DSPause Proxy 合约。

[0:0ms0-0:491ms