不久前 vitalik 发了一篇题为《干什么分片棒棒哒：显现本领属性的神奇面纱（why sharding is great: demystifying the technical properties）》的作品（https://vitalik.ca/general/2021/04/07/sharding.html，华文机翻陈迹鲜明，倡导观赏英文版），从本领上深刻浅出地解说了以太坊分片供给的一定属性和开销的丧失比特币交易平台排名。
文中提到：“分片是以太坊可扩充性的将来，它将是扶助生态体例每秒扶助数千笔买卖并承诺寰球上海大学局部地域以可接受的本钱按期运用该平台的要害比特币矿机。”作品是好作品，更加是经过设置以太坊分片的一定属性，与“地痞分片”（原文所说的“具备特殊各别且常常弱得多的安定属性的本领”）划清了范围。固然烤仔特殊敬仰 v 神画大饼的势力，也认可安定真实的分片本领是将来区块链本领必定的兴盛目标，然而对于文中的几何缺点仍旧感触不吐烦恼。作品的中心论理是 v 神觉得经过“大略”本领没辙同声让区块链赢得可扩充性（scalability）、去重心化（decentralization）、安定性（security）三个属性，即所谓的“不大概三角”，而分片本领不妨同声处置那些题目，以是“分片棒棒哒”。这个论理初看犹如有点原因，然而提防想想却貌同实异，重要有三个缺点：“大略”本领、“不大概三角”、分片的需要性。
开始是对于“大略”本领没辙同声赢得三个属性的结论比特币一个多少人民币。文中没有设置究竟怎么办的本领能称为“大略”，本质计划时掉包观念成了三种“简单的处置计划（easy solutions）”：囊括比特币以太坊在前的保守单链，由少量节点保护的高含糊量区块链（大概指 eos 和同盟链），以及多链生态体例（波卡和其它少许不保护安定性的“地痞分片”等）。
这个结论的论理题目在乎，“大略（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 处置分片带来的推迟题目的人，该当再去温习一下言而无信的故事。综上所述，烤仔觉得以太坊的分片本领就犹如画饼充饥故事里的青梅，不妨激动民心然而没有几何本质意旨。即使从来心心念念远处的青梅，而对身边的溪流漠不关心，害怕只会渴死在路上。
end
