作者:CarlBeekhuizen
翻译:阿剑
来源：以太坊爱好者
特别感谢SachaYves-Leger和JosephSchweitzer的指正。
Sharding是Eth2对比Eth1的许多升级之一。这个名词来源于数据库研究，就是将一个大的数据库切分为许多部分，而一个分片就是一个部分。那么放到Eth2和数据库的语境下，分片就意味着要把整个系统的存储和计算切分开来、相互独立地处理各分片，然后随实际需要组成最终结果。具体来说，Eth2系统中包含了许多分片链，而每一个条分片链的功能都与Eth1区块链相似，这就能带来大幅度的可扩展性提升。
不过，在Eth2中还有一种不那么为人所知的分片类型，而且从协议设计的角度来看，这个类型可能更为激动人心：分片化的共识。
分片化的共识
稳定币crvUSD科普创新清算机制LLAMMA，可在抵押品价格下跌时逐步替换为稳定币:1月17日消息，Curve官方科普其稳定币crvUSD创新的清算机制LLAMMA，解释了LLAMMA通过AMM的特性进行针对债务人更友善的清算方式，让抵押品在价格下跌时逐渐转移成稳定币，让原本要清偿的债务有一定程度的稳定币可以偿还，同时在价格回稳时再逐渐把稳定币换回抵押品，而不是直接的触发清算导致债务人的亏损。
此前报道，2022年11月23日，去中心化交易平台CurveFinance开发者发布Curve即将推出的去中心化Stablecoin“crvUSD”的官方代码和白皮书。[2023/1/17 11:17:13]
就像网络中最慢节点的处理能力限制了网络的吞吐量，单个验证者的计算资源也决定了能够参与共识的验证者总数量。因为每新增一个验证者，都会给系统中的所有其他验证者带来额外的工作量，那么随着验证者数量的增加，最终会达到一个状态：资源最少的那个验证者将不再能够参与共识。那么Eth2处理这个问题的方案就是?分片化的共识。
人大附中物理老师李永乐科普拜占庭将军问题和区块链:5月14日，人大附中物理老师、科普视频网红李永乐在其公众号发布视频《拜占庭将军问题是什么？区块链如何防范恶意节点？》。李永乐老师在视频中对拜占庭将军问题和区块链进行了讲解，他表示，拜占庭将军问题本质上指的是，在分布式计算机网络中，如果存在故障和恶意节点，是否能够保持正常节点的网络一致性问题。在近40年的时间里，人们提出了许多方案解决这一问题，称为拜占庭容错法。例如兰波特自己提出了口头协议、书面协议法，后来有人提出了实用拜占庭容错PBFT算法，在2008年，中本聪发明比特币后，人们又设想了通过区块链的方法解决这一问题。区块链通过算力证明来保持账本的一致性，也就是必须计算数学题，才能得到记账的权力，其他人对这个记账结果进行验证，如果是对的，就认可你的结果。与拜占庭问题比起来，就增加了叛徒的成本。[2020/5/14]
分析
声音 | 上海股交所总经理：区块链想要大规模发展要做好社会科普工作:金色财经报道，上海股交所总经理张云峰表示，区块链当前还处于一个“概念”的阶段，距离成熟应用，影响到百姓的日常生活还有很长的路要走。对于“区块链”和其会带来的社会和经济效果，沈阳应当持审慎的态度。区块链想要大规模发展，一方面要做好这项复杂技术的社会科普工作，加快社会大众对区块链的了解。另一方面，要充分发挥市场的作用，让企业用实实在在的技术创新，赋能实体经济的发展。[2019/11/17]
Eth2的系统中有两种基本的时间单位，时隙和时段。
一个时隙是12秒，这是我们预期可出一个区块的时间；区块其实是一种让验证者的投票能集合发布到链上的机制，不止于包含交易让链变得有用。
一个时段由32个时隙组成，在一个时段中，信标链要执行所有跟链的维护相关的计算，包括：合理化及敲定新区块、给验证者发放奖励和惩罚。
声音 | 中科院姚建铨：要加快推进区块链与物联网融合的科普 培训:据新华网消息，日前，在区块链与物联网融合发展峰会上，中国科学院院士姚建铨说，关注区块链技术里面的大数据，跟区块链技术结合起来进行测量和检测，能更好地提升激光清洗技术。姚建铨建议，无锡今后要加快推进区块链与物联网融合的科普、培训，正确引导广大人民群众对技术的认知；同时，建立专业、权威，但又普适、成套的理论体系和标准，以此切入区块链的实际应用。[2018/9/18]
我们在本系列的第一篇文章中提到，验证者会被分配到不同的委员会中执行工作。那么在任一时刻，都有验证者同时既是信标链委员会成员、也是某一个分片链委员会的成员；每个验证者在一个时段中都要发出见证消息一次——为已经提出的信标链区块投票。
Eth2的分片化共识的安全模型，基于这样一个观念：让委员会在某种程度上就是整个验证者集合的准确统计学代表。
举例而言，如果整个验证者集合中有33%的验证者是恶意的，那么他们可能就会进入到同一个委员会中。那就完蛋了。
所以，我们需要确保事情不至于如此。换句话来说，我们需要保证的是，如果33%的验证者是恶意的，那么在一个委员会中只有约33%的验证者是恶意的。
我们需要两个举措来实现这一点：
保证验证者的委员会分配是随机的
组成委员会有数量下限要求
举个例子，如果单个委员会由128个随机选出的验证者组成，那么一个控制了全网1/3验证者的攻击者能够控制单个委员会的2/3验证力量的概率是非常非常小的。
综合
验证者提交的投票叫做“见证消息”。见证消息由几个部分组成：
对信标链顶端区块的投票
对合理化信标区块/确定化信标链区块的投票
对分片链最新状态的投票
所有同意该投票的验证者的签名
把尽可能多的部分都组合到一条见证消息中，系统的整体效率便得以提升，因为，在检查验证者的签名时，不再需要分别验证对信标链区块的投票和对分片链区块的投票，节点只需基于见证消息做运算，即可得知信标链区块的状态和每一条分片链的状态。
如果每一个验证者都提交了自己的见证消息，而每一条见证消息都需要被所有其它节点单独验证一次，那么Eth2的节点的开销可能会变得很大。这就是为什么我们需要“聚合技术”。
见证消息被设计成容易组合的形式，因此，如果有两个乃至更多验证者做了同样的投票，那就可以用一条见证消息把他们的投票都汇总起来，只需把签名字段放在一起即可。这就是“聚合”和含义。
委员会的投票在根本上来说也是易于聚合的，因为这些验证者都被分配到了同一个分片上，因此分片状态的投票和对信标链区块的投票很可能是相同的。这就是Eth2能随着验证者数量的增加而扩展吞吐量的机制。通过把验证者打散到委员会内，验证者将只需关心自己所在委员会的成员，也只需检查极少数从其它委员会处传来的、已经聚合过的见证消息。
签名聚合
Eth2使用了BLS签名方案——?一种在多条椭圆曲线上得到定义、对签名聚合较为友好的方案。在方案所选定的曲线上，单个签名的大小是96字节。
如果占总量10%的ETH参与了质押，则Eth2会拥有约35万个验证者。这就意味着，单个epoch产生的签名数据量大小可能会达到33.6MB，那么一天就是7.6GB。那么，只要133天，签名数据就会超过1TB。
解决方案是，BLS签名是可以聚合的。如果Alice提交了签名A，而Bob所提交的签名B是对相同数据签的名，那么只需存储C=A+B，就能验证Alice和Bob的签名。使用了签名聚合技术，整个委员会的验证者前面都可以聚合成一个签名。这样就能将签名数据的存储需求降低到每天2MB。
总结
把验证者分配到不同委员会中的设计，让验证Eth2所需付出的工作量降低了几个数量级。
对于一个想要验证信标链和所有分片链的节点来说，它要做的仅仅是监测来自每一个委员会的聚合见证消息，只需如此便可知道每条分片链的状态，以及各验证者对哪些区块属于/不属于信标链主链的看法。
因此，委员会机制帮助Eth2实现了两大设计目标：只需消费者级别的笔记本即可参与Eth2网络、支持尽可能多的验证者来实现尽可能的去中心化。
用数字来说明：大多数拜占庭容错式的权益证明协议只能支持数十位验证者，但Eth2可以支持数十万验证者同时为系统安全性作贡献，又不牺牲执行时延和吞吐量。
原文链接：https://blog.ethereum.org/2020/03/27/sharding-consensus/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。