这篇文章内容涵盖Kintsugi事件的全面总结、它的后果,还有在主网合并前的具体行动计划。概要
合并测试网Kintsugi在几个客户端上发生了问题。一个fuzzer创建了一个无效区块,但客户端Nethermind和Besu因为缺少一项检查而把该区块视为有效。这个无效区块导致网络分成了三部分——一部分包含无效区块、一部分不包含无效区块,还有一部分进入了OptimisticSync模式。尽管修复程序已经部署了,该fuzzer又创建了另一个区块,在客户端Geth触发了进一步的问题——无法加入正确的分叉。当我们修复了Geth的问题,我们就能够把所有的节点带回到相同的正确的分叉,区块链重新开始做最终敲定。总结
合并测试网Kintsugi在前几周的运行中遇到了一系列问题,暴露了多个客户端的几个漏洞。问题主要是由开发者Marius开发的fuzzer引发的,这个fuzzer旨在创建有意思的区块并在网络里对区块进行广播。一个这样的区块的blockHash被替换为它的parentHash(父块哈希)。engine_executePayload具备了所有构建一个区块和构建该区块的blockHash所需的所有参数。EL(执行层)客户端应该根据这些参数来构建区块,并根据通过的blockHash进行验证。这个特定区块正确无误地没有通过Geth的检查,但通过了Nethermind和Besu的验证。该区块之所以在Nethermind被错误地通过验证是因为缓存问题,而Besu则完全没有这项检查。由此,该区块被一个Lighthouse-Besu节点提议,并导致区块链分叉为两部分,在执行层与Nethermind或Besu连接的验证者在一个分叉上,而月Geth连接的验证者则在另一个分叉上。请注意,检查当前区块的blockHash是合并新增的要求,因此在某些客户端上会存在缺少或不准确的验证。Geth的一个问题是当执行错误的负载时,它返回的是一个JSON-RPC错误而不是INVALID(无效),而Teku的问题是(此时已修复但还未部署)认为那些错误在optimisticsync模式下是可通过的。因此,Teku-Geth节点在遇到无效负载时还是进入了optimisticsync模式。由于该区块本身是有效的,已连接的Geth节点是从网络而不是engineAPI获取数据的,因此现在的Teku-Geth节点是在无效的分叉链上的。由于Teku节点还在有很多漏洞的旧版本上,Teku-Geth节点保持在optimisticsync模式,并在区块链停止做最终敲定的期间拒绝提议区块。我们现在处于这样的一个情况——共识层客户端(lighthouse、prysm、nimbus和lodestar)-Geth(占大约46%)与共识层客户端-Nethermind/Besu(占大约19%)在不同的分叉上,其他运行Teku-Geth(大约占35%)的验证者则处于optimisticsync模式。在找到和部署了Nethermind和Besu节点的修复程序后,我们就能够让它们重新连上正确的链。Teku-Geth节点的更新导致了另一个与无效内存访问相关的问题,它由Geth上与区块排序验证相关的问题引起。这个具体的漏洞也是由Marius的fuzzer触发的,这个fuzzer产出了一个parentRoot是有效且block_number=1的区块。在Geth执行一个区块前,它需要查看它的父块,看看它们是否需要同步。这样做的一种方式是在缓存里检查parentHash或在database里检查parentHash和blockNumber。由于Teku是同时执行所有分叉里的所有负载,缓存就不再包含parentHash。因此,Geth试图在它的database里通过parentHash和blockNumber查找其父块。然而,database并没有这个blockNumber的哈希(这个区块是fuzzer构建的)。Geth会推断,由于它没有父块,它需要开启同步。但是,这样触发的同步会试图同步比权威链更短的的链,这就违反了Geth中的某些条件,这导致Geth进程错误,节点关闭,导致Teku-Geth节点一直处于不健康的状态。在上述问题的调试中,Geth团队还在合并的代码库里发现了一个触发错误的竞争条件。此外,我们还遇到其他问题——Nimbus出现与执行层重新连接相关的错误,Lodestar降低拒绝出块的对等点分数。客户端推出了所有的修复,且让所有节点都进行升级。当所有的修复都生效时,区块链会有很多小分叉,每个的参与率都很低。对一些节点进行重新同步可以减少一些分叉。一旦有足够多的节点完成重新同步,我们会看到有越来越多的节点通过重组回到这个分叉上,这使我们能跨过最终确定性所需的66%的阈值。FAQ
韩国检察机关将对 Terra/LUNA 崩盘事件开启第二轮全面调查:7月3日消息,韩国首尔南部检察厅金融和证券犯罪联合调查组将从新任负责人接任后从 7 月 4 日开始对 Terra/LUNA 崩盘事件开启全面调查。目前针对 Terraform Labs 和其 CEO Do Kwon 提出的指控或争议有违反欺诈和相关法律、逃税漏税以及资金流向争议。检方一名官员表示,除了已提出的指控外,我们将审查舆论提出的所有指控。[2022/7/3 1:47:05]
Q:这个测试网死了吗?A:没有。在我们部署修复程序并重新同步一些停滞的节点后,链最终又开始做最终敲定了。当链恢复最终敲定,它就可以如常运行。目前,Kintsugi的参与率是大约99%,这表明所有客户端的漏洞已经得到修补,且网络也运行良好。交易和智能合约交互继续如常运作。Q:为什么这条链这么长时间不做最终敲定?A:虽然我们很早就找到了根本原因,我们想要让链保持非最终敲定状态,让客户端团队调试他们的代码。此外,我们想要收集非最终敲定期间的客户端表现数据。Q:在分叉链上的验证者会被罚没吗?A:不会。每个验证者都包含一个slashingprotection(罚没保护)database,确保验证者不会对可罚没的信息签名。在“错误”分叉的验证者只会被视为在“正确”分叉上处于inactive状态。一旦它们重组到“正确”分叉上,罚没database会阻止它们对可罚没信息签名。Q:这会如何影响主网发布?会有新的延迟吗?A:我们认为这件事不会影响主网发布计划。在规范本身上没有发现严重的问题。测试网的目的是发现漏洞,我们认为Kintsugi在发现客户端实现的边缘情况方面表现很好。这事件是对多个客户端组合的一次很好的压力测试。我们有一个公开的清单,它将指引我们何时准备好在主网实现合并。Q:这会如何影响测试计划?A:我们将研究创建几个强制处于非最终敲定状态的测试网。对这些非最终敲定的测试网进行持续测试使我们可以触发更多边缘情况,和改进工具。在这次事故中发现的漏洞将被添加为静态测试用例,以确保我们会通过回归测试。对验证者、基础设施提供商和工具开发者的重要启示:测试网上的非最终敲定时期加强了最糟糕情况硬件要求的一些假设。在非最终敲定期,验证者应该预期:由于需要对多个分叉选择规则进行评估,CPU负载会增加(有时达到100%)在非最终敲定期由于不会有修剪,硬盘使用量会增加RAM使用量会有边际增长这意味着,在同一台机器上运行的任何额外工具或监测都会遇到资源争用问题。Kintsugi测试网的工具(区块浏览器、水龙头、RPC)在具有3个节点的Kubernetes集群上运行。这个集群还运行多个工具使用的信标节点。由于信标节点使用的资源比预置的要多得多,因此我们的工具经常由于资源不足而以降级的方式运行。对于基础设施提供商来说,谨慎的做法是在不同的机器上运行它们的共识层和执行层,或有严格的资源使用定义。合并意味着每个共识层客户端都需要运行自己的执行层客户端。(主网上的)执行层客户端现在需要很大的磁盘容量。在非最终敲定期间,CL的磁盘使用量也会激增,这会由于磁盘空间不足而导致崩溃。所有验证者应该确保他们有足够大的缓冲磁盘空间来应对这种问题。依赖于最终确定性的工具开发者应该为非最终敲定时期多做考虑。一种可能的方式是显示optimistic信息,同时传达该信息在用户界面是会变化的。
工行行长:在区块链领域将全面提升技术供给能力和底层效能:中国工商银行行长谷澍表示,近年来,随着云计算、大数据、人工智能、区块链等新技术的广泛应用,新业务模式层出不穷,银行信息系统安全面临更大挑战。工行在区块链领域,将全面提升技术供给能力和底层效能,打造“区块链+”金融生态开放体系,聚焦供应链金融、资金管理、政务服务等领域输出企业级的业务解决方案。(中国证券报)[2020/4/17]
声音 | 新加坡科学院院士:区块链能为医疗数据提供全面的数据库:近日,新加坡科学院院士黄铭钧在接受采访时表示,很多患者在不同的医院里都有医疗数据。过去,不同医院之间的数据无法共享。虽然电子病历正在普及,但在实际运用过程中,由于缺乏人工智能集成,电子病历与健康档案可能并非以病人为中心,而是以碎片化方式存在,储存在不同的数据库当中。区块链要做的,是提供一个非常全面而完整的数据,并以患者为中心提供个性化医疗,让患者决定自己的信息分享给谁。一旦拥有了这种全面的数据库,医疗质量效果都能够得到提升。(人民日报海外版)[2019/12/26]
声音 | Robinhood联合创始人:加密资产会促进我们的全面发展:据cryptimi消息,美国股票和加密交易平台Robinhood正在进入新一轮融资的最后阶段,估值在70亿至80亿美元之间。Robinhood联合创始人Baiju Bhat最近表示,“加密资产会促进我们的全面发展,在接下来的几年里,你会看到Robinhood成为一家提供全方位服务的消费金融公司。”该应用程序的成功主要归功于低廉的佣金以及灵活易用的界面,已经成功吸引了年轻一代用户的关注。[2019/5/27]
动态 | 山东省寿光市农业园区已全面推广区块链追溯系统:据农民日报今日消息,山东省寿光市去年新规划建设的18个重点农业园区,全面推广智能管控技术和区块链追溯系统,使每个大棚、每个园区都成为了“绿色车间”、“绿色工厂”。[2019/4/17]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。