以太坊2.0主网事故回顾

雍和比特币 本文具体介绍了ETH2.0主网事端的时刻线；剖析了底子原因以及列出了 Eth2 质押者和参加者需求留意的问题。 https://beaconcha.in/epoch/32302事端总结自epoch 32302以来，信标链丢掉了许多的块主张。由于Prysm在eth2客户机中具有最多的用户，因而问题最有或许发生在Prysm上。过了一瞬间，咱们在本地重现了这个过错。这实践上是一个与eth1数据投票和验证器寄存相关的已知问题。虽然这个问题曾经现已向咱们陈述过，但咱们不能仿制这个bug并将其视为一个孤立的工作。而这个问题从来没有在任何一个测验网或主网中广泛传播过。这是这一问题初次导致区块提案失利。在这18个年代，简直全部的Prysm信标节点都不能发生新的块。32320康复正常运转，咱们普遍以为事端现已完毕。可是，大约24小时后，事端再次发生，构成相似影响。官方发布的事端往后剖析陈述现已出炉。请拜访以下链接：https://docs.google.com/document/d/1nJr6_ bd-UnLBxvhT8lcRYdAZr69QdVQ3zJNUr3LgW-0/修改检查具体阐明了事端发生的时刻；本文剖析了eth2质押的底子原因，列举了eth2质押人和参加人应留意的问题。影响一些开端数据显现，在第一次事端中，每个受影响的核对人员均匀丢掉122950 Gwei（在编写本陈述时为0.30美元）。事端发生后24小时内，相同的事端再次发生，每名受影响的核对人员丢践约0.22美元。一些要害现实：➤ 没有验证者被罚款➤ 它对信标链的完结没有影响➤ 参加率依然很高（最低点为84.8%）（编者按，这一数据与Ben Edgington编撰的最新一期eth2进展更新不同）➤ 不论客户端类坐山观虎斗，大多数验证器都会丢掉两到三个证书这不像是歹意或成心进犯经过整个团队大约30个小时的尽力，咱们确诊出了底子原因，并在UTC时刻4月25日早上6点为全部Prysm节点布置了修正版别。在节点彻底晋级之前，相似的事端仍是终究一次发生。在给了满足的时刻晋级客户端后，这种事端没有再发生，有依据标明问题现已彻底处理。问答成为验证者的捷径这次事端会不会削弱人们对eth2的决心？不能。此次事端没有导致一致失效，与eth2主网规划比较，事端影响规模十分小（第一次事端中，每个受影响的验证者均匀丢践约0.3美元）。Eth2自创世以来一向十分强壮，验证者的参加率很高，每个年代都现已敲定。从咱们的视点来看，毛病处理后，网络有才能康复到完美状况，这增强了社会各界对以太坊抗灾才能的决心。这次事端会不会削弱人们对普赖马特实验室团队的决心？咱们对这起事端的反响和处理办法与eth2测验网的毛病处理彻底不同。事端发生后，我队当即扫除了过错信息；定量影响；当等候处理方案时，它会给验证者一个清晰的呼应进程。此外，只要在咱们彻底确认处理方案后，咱们才会让您晋级客户端版别。值得留意的是，由于Prysm客户端是以太坊2.0网络中用户比例最大的软件，任何一个bug都或许导致更严峻的问题。关于中心开发人员来说，他们作业的要害是“绑定复杂性”。像eth2这样的散布式体系有如此多的变量，以至于每个团队都尽全部尽力来削减bug的或许性。当然，这个软件中的bug是不可防止的，咱们供认prymatic实验室的确出了问题。但咱们希望展现咱们团队处理问题的动机和才能，并为验证者平衡速度和精确性的问题。事端底子原因总结Eth2和eth1松懈衔接。Eth2只需求eth1来验证验证者的存款验证。换句话说，即便验证器对垃圾数据进行投票，eth2 POS链也可以持续运转。仅有会受到影响的是，在POS链再次对正确的eth1数据进行投票之前，无法增加新的验证者存款。这种“投票”是在“投票周期”中进行的，现在在主网络上设置为64个时段（约6.8小时）。投票办法是一个简略的“绝对多数”准则，eth2验证器标准对此进行了解说。不幸的是，普赖斯特在运用这一准则（以绝对多数投票）时失掉了一些有用性。在这次事端中，由于Prysm中的一个bug，一个块提议者创立了一个彻底无效的eth1寄存树根，而其他Prysm节点首要找到了块提议。然后，他们有用地投了赞成票，由于Prysm客户遵从简略的“绝对多数投票”准则，没有清晰的核实。然后，全部的Prysm节点“滚雪球”为无效信息投票，导致区块支撑者无法将带有存款的区块打包到链中。这是由于这些寄存不会验证节点的eth1寄存树根，因而阻挠主张将失利。投票期往后，问题会主动处理，但假如过错没有修正，问题还会再次发生。实践上，这次eth1 deposit data树根无效的底子原因是deposit cache初始化中有一个bug，可是只要部分运用Prysm客户端的信标节点受到影响。这导致这些节点生成过错的存款树根，而其他Prysm节点对其进行了投票，然后导致了事端。工作时刻线留意，以下是技术细节！你可以跳到下一节，阅览处理方案和事端经验。阻挠主张失利年代32302开端失掉阻挠主张。Nishant通知了小组并召开了全体会议。随后，咱们经过主网的本地信标节点再现了事端，并开端查询。依据查询，普赖斯对古怪而过错的eth1矿床树根进行了投票咱们留意到，Prysm的节点在古怪的树根上投票，该树根用于验证POS链中验证者的存款契约的存款完整性。在公共浏览器上检查原始块提议者的前史信息后（为了维护验证者，咱们不发表他的身份），咱们揣度这不是进犯。扫除法开端的疑问是关于Prysm坐山观虎斗在验证器主张的代码途径中处理eth1数据投票。特别是，咱们企图扫除一些问题：1；把堆积物打包成块有问题吗？2；对存款日志信息的拜访是否与eth1信息混合或不确认？3；咱们的默克尔树有问题吗？在接下来的16个小时左右，咱们花了许多时刻一同确诊潜在的问题。咱们梳理了代码行，企图经过单元测验再现失利进程，并测验了各种办法。虽然咱们现已有了一个潜在的处理方案，但由于短少决心，咱们对发布修正程序感到严峻。更合理的底子原因曾经，在处理eth2测验网络中的bug时，咱们学到了一些经验经验。仅仅对底子原因有决心是不行的。在高危险情况下，在向用户宣告处理方案之前，咱们需求有100%的决心。事端发生28小时后，咱们坐下来问自己：“咱们还不知道什么？咱们还能要求什么使咱们更挨近失利的底子原因？”那么咱们就知道了：1；咱们的稀少Merkle树完成没有严峻的bug，由于它运用主网络和Prater测验网络的存款来匹配lighthouse和protolambda的eth2-zrnt完成。2；咱们用于从eth1节点检索eth1数据的代码途径没有过错，而且不会回来不正确的数据。咱们不知道的是：1；无效存款的本源是坐山观虎斗发生的2；为什么这个问题可以在某些节点上重现，而不能在其他节点上重现3；为什么Prysm节点在确认区块中的堆积量时会呈现“逐一封闭”过错处理问题为了答复这些问题，咱们检查了初始化存款树的代码途径。研讨发现，为了防止出质人每次发动验证者节点时都要下载验证者的全部存款记载，在验证的前期阶段增加了一个缓存层。此外，咱们还增加了一个新功用—在客户端中，可以从嵌入式Genesis状况发动Prysm。在填充缓存时，存款树的过错默许值会导致信息损坏问题的本源假如咱们的存款树是空的，那么函数len（items）总是回来1。这意味着，当咱们实践应该将lastreceivedmerkleindex的值设置为-1时，咱们会将其设置为0。上面的代码将导致代码途径中的一些Prysm节点越过并将第0个存款嵌入到树中。其他的代码基指向存款树完成的这个古怪部分，而不是这个代码途径。为了验证这个假定，咱们测验运用protolambda供给的测验夹具尽或许多地仿制代码途径。咱们直觉上错过了将第0个存款嵌入存款树。当然，咱们可以在重复测验中找到问题的本源！然后，咱们在代码途径周围增加一个条件，以防止该条件再次呈现，并预备发动终究的修正版别。处理问题底子原因总结➤ Prysm将eth1数据保存在磁盘上，以防止用户每次重新发动进程时都必须恳求验证者的存款合同日志。➤ 假如节点重新发动并将eth1数据保存在磁盘上，咱们将从这些数据初始化存款缓存。可是，由于咱们的稀少Merkle树（SMT）辅佐包的作业方法与从磁盘上的数据初始化此缓存的代码途径不同，因而咱们将越过将第0个存款嵌入存款树，然后导致无效存款的本源。此代码途径只影响那些自创立后就没有数据库的节点，这些节点后来被修正。➤ 在官方标准中，Prysm节点遵从“绝对多数”准则完成eth1数据投票算法，但Prysm没有彻底完成算法的一些有用条件。Prysm节点以eth1数据的绝对多数进行投票，eth1数据引证现有的块根。这或许导致Prysm节点投票挑选由有问题的存款树生成的存款树的哈希值，由于这些存款没有被验证。➤ 由于网络中的大多数节点都是Prysm节点，由于Prysm节点在一段时刻内不能在主网上生成块，因而用绝对多数准则对有问题的寄存根进行表决的问题的滚雪球效应现已成为一个严峻的问题。➤ 一旦eth1数据的投票周期被重置，Prysm节点就可以再次正确地提出块，直到将来遇到缝隙停止。处理方案北京时刻4月25日星期天13:00，在阅历了数小时的不确认性之后，咱们发布了问题的处理方案。咱们对这个处理方案充满决心，而且咱们十分有决心在节点晋级之后，这个问题不会呈现在eth2中。吸收校训➤ 在这种情况下，对咱们的处理方案的决心以及与外部国际的慎重交流至关重要当咱们遇到eth2的medalla测验网络事端时，咱们学到了一个关于杰出交流价值的重要经验。每一次公众谈论和言语的精确表达都会对活动的成果发生严峻影响。在testnet工作中，咱们以为一个直接的处理方案是经过公共通道告诉您“重新发动节点”。这个匆促的决议导致网络上的大多数节点离线，然后在一堆坏节点中力争上游地寻找好节点与区块链同步。此外，咱们很快发布了一个软件晋级的热补丁，它没有100%的决心来处理这个问题。这给体系带来了更多的紊乱，并导致节点运营商对处理方案发生置疑。比较之下，在新主网事端的整个进程中，咱们一向重视详尽精确的交流。此外，直到咱们对问题的底子原因和处理方案有100%的决心，咱们才发布热补丁。耐性和镇定有助于处理问题**咱们的团队在曩昔几年里一向在构建eth2，并学会了坐山观虎斗在窘境中坚持镇定。咱们以为，坚持镇定，常常交流状况陈述，确保团队在处理问题的进程中感受到支撑和活跃反应是十分重要的。咱们可以花时刻搜集尽或许多的依据，并与咱们的用户细心协作，咱们将成功地处理这个问题。更重要的是，咱们从一开端就花时刻量化工作的影响，以削减出质人的忧虑和信息的短少。这一课关于在高压力和睡眠不足的情况下作业十分重要。怠慢脚步，以正确的方法处理问题，不惜全部代价防止让工作变得更糟。➤ * * eth2测验网络不等于主网**关于Prysm客户端，咱们在公共eth2测验网络中对Prysm的预产品候选版别进行了广泛的测验和监督。Prater和Pyrmont测验网络是用户在参加eth2主网之前测验设置的好东西。可是，在这些测验网络中，四个产等第eth2客户机的比例挨近均匀水平，也就是说，没有一个客户机在验证器中占有很大的比例。不幸的是，这或许没有考虑到大多数人运用客户端时呈现的缝隙。未来，prymatic实验室将在接近主网络或50%的prymatic网络节点的环境中进行内部测验。此外，咱们主张其他客户也在自己的内容测验中参加这样的环境，这样当他们成为大多数客户时，也可以了解自己客户的潜在问题。出质人该怎么想为什么要用普瑞斯客户做典当https://launchpad.ethereum.org人们挑选运营普瑞斯，由于从一开端，咱们的团队就致力于让他们更简略参加以太坊的承诺。我现已和咱们的用户谈过许屡次了。许多人挑选一个客户并不是由于微优化或许与其他客户比较收入差异相对较小，而是由于咱们让他们的体会更简略——好的文档，它总是为全部社区成员供给重要的协助。Eth2关于初学者来说是可怕的，它的承诺充满了不确认性和危险。咱们团队的任务是让用户知道咱们在他们身边，不管他们的问题有多小，咱们都会支撑他们。特别是，咱们重视的是或许不熟悉命令行和UNIX操作体系的一般典当人。在未来，您可以对咱们的团队有以下希望：➤ 进步完成标准条件的精确性，确保在编写任何代码之前对预设的有用条件进行充沛的检查和质疑➤ 咱们不需求改善体会，但咱们需求加倍尽力，使普赖斯比今日高出许多倍，以便运用咱们客户的典当人可以更轻松地参加网络，包含改善网络界面。➤ 普瑞斯将在eth1ltgt；Eth2在兼并之前供给了要害的功用和改善。➤ 咱们信任，健康的竞赛可以构成一个强有力的激励机制来促进eth的权益，并证明更多的人可以参加其间，因而更安全，由于全部的客户团队都在不断改善自己的软件➤ 咱们的团队致力于以最高的专业水准处理出质人或许遇到的问题。咱们信任，咱们会处理咱们在路上或许遇到的任何问题，并向咱们的社区保证，咱们将使认捐人体会咱们的首要任务。➤ 终究，咱们信任有许多重要的功用可以使Prysm成为eth2更具吸引力的软件，咱们将持续朝着这个方针迭代➤ Prysm对验证者的收入进行了一些高档优化，并没有将其设置为全部出质人的默许起点。咱们信任，这些功能开释后，普利司曼的典当人将看到最高水平的收入。回忆客户多元化对话自从eth2创立以来，咱们听到的一个一起主题是客户多样性。Eth2是一个散布式体系，由来自国际各地的人作为验证者。不同的人运用不同的软件参加区块链的一致。假如某个软件呈现严峻问题，假如运转网络的客户端散布均衡，影响会更小。早在本年1月，莱昂纳多·鲍蒂斯塔·戈麦斯就发布了一份数据剖析陈述，成果显现，实践的Prysm节点占网络的65%。这一工作也标明，普赖斯特核对占了大多数今日。https://github.com/leobago/BSC-ETH2/tree/master/armiarma咱们主张您客观地看待每个客户机：它的软件、它的社区和它的弹性，然后决议哪个软件和它背面的团队最适合您的需求。假如eth2客户机短少对您重要的内容，咱们激烈主张您以不挑选其客户机为理由宣布函数恳求。Prymatic实验室将持续致力于协助您参加以太坊网络，推进区块链软件的开展。