本文是为预测 EIP 4345 的影响而作的练习。这个 EIP 提议在 2021 年 12 月推迟难度炸弹。我们的目标是看看我们是否能帮助确定应该何时推迟、应该推迟多少,好让难度炸弹预计在 2022 年 5 月份再次爆炸。
有关这个主题,我之前已经写过很多篇文章了:
有关难度计算的方法:It’s Not the Difficult(中文译本)
有关如何推迟难度炸弹:A Method to Diffuse the Difficulty Bomb
一些更老的文章见 此处 和 此处
难度炸弹的计算两部分组成:A 部分,用于调整难度、平抑出块时间的波动;B 部分,即难度炸弹本体(详细解释见上述第一篇文章)。
A 部分的调整时逐块发生的,保证出块时间围绕 13.5 秒波动。这部分的调整效果非常好,如果没有难度炸弹的话,将使出块时间几乎保持恒定。我们感兴趣的是 B 部分。
B 部分的炸弹是一个阶跃函数,每隔 10 万个区块,数值就变作两倍。在 “爆炸” 之前,大家都不会注意到它,然而一旦它开始爆炸,数值上升的速度会非常快(跟 2^n 一样。
以太坊将进行硬分叉升级,以将难度炸弹推迟大约2-3个月:6月15日,官方消息,以太坊主网将在区块高度15050000(约6月底)进行Gray Glacier硬分叉升级,以将难度炸弹推迟大约2-3个月,因此所有用户必须在区块激活之前进行升级。以太坊客户端Geth对此发布v1.10.19版本,引入Gray Glacier硬分叉,强制进行升级。
此前消息,以太坊开发者Tim Beiko表示,以太坊预计在8月下旬至11月之间进行合并,只有灾难性事件或失败才能阻止今年的合并。由于涉及的技术问题,几乎不可能给出合并发生的确切日期。此外,也有迹象表明,开发人员正在推迟以太坊的难度炸弹,因为他们目前正在修复他们在Ropsten合并期间发现的错误。[2022/6/15 4:29:51]
炸弹的数值依赖于 fake_period(伪周期号,在等式中表示为 n_sub_p)。fake_period 的值则完全依赖于 fake_block (伪区块号)的数值;这个数值又是由当前区块的区块号(real_block 数值)以及 offset(推迟量)决定的。
我只有自己一个人。我带着日渐疲惫的心、使用公开可得的数据写下这篇文章。我在这里所说的一切都是可以讨论的,但我已不准备为此负任何责任。本文中的一切,请自己带着怀疑和谨慎加以看待和使用。
以太坊核心开发者:仍将继续通过影子分叉寻找漏洞,难度炸弹实施方案仍未达成共识:金色财经消息,以太坊核心开发者Tim Beiko在Twitter上分享了The Merge会议的内容。本次会议显示,之前进行的两次影子分叉进行相对顺利,没有出现重大问题,但在测试网正式分叉前还将继续通过影子分叉来寻找可能的漏洞。在MEV方面,会议讨论的结果显示,mev-boost未来会有一个额外的约束,区块的构建者需要尊重验证者选择的Gas限制。最后,Tim Beiko表达了其对难度炸弹的看法,由于难度炸弹对矿工以及用户体验的影响较大,所以其认为针对难度炸弹的设置和启用应该谨慎,客户端团队成员甚至支持移除难度炸弹。[2022/4/30 2:41:49]
我是一个工程师,不是一个数学家,所以我对实际数据的兴趣,要比对数学预测的大。在下文中,我会预测数据将如何改变。我的预测基于上面的公式,但都只用到了简单、直接的 Excel 表格。
我的讨论基于三个简单的观察:
A 部分工作得非常好,使得出块时间稳定在平均 13.3 的水平。
B 部分也工作得非常好,它是独立于 A 部分的,并且只会提高区块时间。
如果我们忽略炸弹部分,我们的预测会是保守的。
换句话来说,如果我们的预测忽略了炸弹的效果,我们预测的时间将会比实际时间 “提早” 一些。这样的话,即使我们预测错了,也会有额外的缓冲时间。
以太坊核心开发者:含 EIP-4345 的箭形冰川升级将于 12 月 8 日进行,难度炸弹计划推迟至明年 6 月:10月16日消息,以太坊核心开发者 Tim Beiko 发推表示,根据最新的以太坊电话会议讨论,包含改进提案 EIP-4345 的以太坊箭形冰川(Arrow Glacier)网络升级将在区块高度 13773000 处(约 12 月 8 日)进行,难度炸弹计划推迟至明年 6 月。同时 Tim Beiko 表示,如果合并(The Merge)之前已经准备好,那可在此之前进行,且明年 2 月将会再次通过电话会议做出决定。此外难度炸弹基于当前的网络算力,如果算力在合并前迅速下降,则可能会加速难度炸弹的出现。[2021/10/16 20:34:16]
第一个表格使用当前的区块号(在撰文之时是 1339 1127),并按每块 13.3 秒的时间推算出 1400 0000 区块高度的时间:
看仔细一些,我们发现,自区块号 1200 0000 以来,平均出块时间一直在提高(尽管 8 月和 9 月有所下降)。当然,随着炸弹的爆炸,平均出块时间会增加得越来越快。
动态 | 以太坊EIP 2515提议用“难度冻结”取代“难度炸弹”:以太坊硬分叉协调员James Hancock最近发布的EIP 2515试图用“难度冻结(Difficulty Freeze)”取代长期存在的“难度炸弹(Difficulty Bomb)”。
Hancock表示,“难度冻结是一种易于预测和建模的机制,核心开发人员和客户端维护人员更容易感受到失去它的压力。客户端维护人员也被定位为最有能力应对即将到来的难度冻结的群体。”
EIP 2515提议使用难度冻结替换难度炸弹,主要由于最近硬分叉缪尔冰川面临的问题。 Hancock解释,EIP背后的动机是简单地消除难度炸弹的复杂模型,该模型在意想不到的时间出现,造成了技术困难,对矿工造成了负面影响。
如果实施新的EIP,将简化区块时间重定目标机制。Hancock还提到该EIP会对其产生影响的一些安全考虑因素。然而,并非每个人都对新EIP感到满意,有一些批评者倾向于旧方式。(AMBCrypto)[2020/2/17]
再次强调,为了保守一些,我们选择 13.3 秒的出块时间来预测未来区块挖出的具体时间,并且,我们暂时忽略难度炸弹的效果。当难度炸弹爆炸时,平均出块时间增加;所以,忽略难度炸弹的结果是我们预测的时间将早于实际挖出的时间。(按我们这个例子来看,就是区块 1400 0000 将 “不早于” 2022 年 1 月 10 日挖出。)
声音 | EthHub开发者:随着君士坦丁堡&圣彼得堡升级,下个难度炸弹可能更早到达:Etheruem的缪尔冰川(Muir Glacier)硬分叉在9,200,000区块处激活,并将“难度炸弹”延迟了4,000,000区块。根据EthHub开发者Eric Conner的说法,随着君士坦丁堡&圣彼得堡升级,下个难度炸弹可能在缪尔冰川之后更早到达,区块时间将更短。如果以太坊2.0仍在开发中,难度炸弹的提前到来可能会导致考虑开发的再度推迟。(AMBCrypto)[2020/1/8]
我们考虑的第一个问题是,“何时应该分叉?”
在我看来,答案完全取决于 fake_period 的数值。可以这么问:“我们应该在哪个区块号分叉?1370 0050,1380 0050 还是 13900 0050?”(加上一个 50,确保没有差一错误(off-by-one error) —— 为什么这很重要,则留给读者当作练习 —— 公式的计算应该使用大于号呢,还是使用大于等于号呢?)
下面的表格展示了 fake_block 计算。
在这里我们并置了对每个区块将挖出的具体时间的预测,以及伪区块号的计算(用真区块号减去偏移量,获得伪区块号,并推导出伪周期号)。
伪周期号正是我们感兴趣的内容,因为难度炸弹的值完全取决于伪周期号的值。从我之前的工作来看,我们认为难度炸弹的效果会在伪周期号达到 41~42 之间的时候开始显现,在此之前则不明显。换言之,当伪周期号变成 41 时,B 部分的效果将压过 A 部分的效果。
我在这里不想解释为什么难度炸弹的效果不会在伪周期号达到 41 之前显现。我想说的只是,炸弹只会提高出块的时间,而如果没有炸弹的话,A 部分就会让区块时间保持在 13.3 秒左右。换句话来说,平均出块之间会高于 13.3 秒,如果太低了(出块速度太快了),A 部分就会调整难度,把出块时间拉回来 —— 再直白一点 —— A 部分就是这么工作的。
给定上述分析,我建议在晚于 1380 0000 区块的任意时间分叉。大概是 12 月中旬。我会建议以具体的区块号(而不是日期)为目标,比如区块号 1385 0000。“痛点”(也就是出块时间明显减慢的时候)会在大约 1 月中旬到来。所以这个目标也是有容错空间的。
我们需要考虑的另一个问题是,“我们需要偏移多少伪区块?”
如上所述,偏移量决定了伪区块号,进而决定了伪周期号,进而决定了炸弹的值。所以,在下文中,我们会专注于偏移量,看看我们能学到什么。
首先,我们来看看这个 EIP 提议的偏移量。我们在此根据 13.3 秒的平均出块时间生成一个简单的图表。同样地,我们忽略炸弹的影响,因为我们知道炸弹只会提高区块时间,因此让相应区块号的实际发生时间晚于我们的预测。我们将安排 “Arrow Glacier”(下一次分叉的代号)发生在 1380 0050 号区块,并使用这个 EIP 提议的偏移量 1050 0000。
本图似乎表明,如果我们(按照这个 EIP 的建议)设置 1050 0000 的偏移量,则难度炸弹最早将在 4 月中旬(也即伪周期号再次到达 41 的时候)开始爆炸。到 5 月中旬,区块将开始显著变慢(伪周期号到达 43)。
我们之前遇过的最大的伪周期号就是 43, 是在 “拜占庭” 分叉之前。出块时间的增加显著可见 —— 达到了数秒的级别。
为了消遣,我准备看看如果我们提早或推迟分叉的时间,会有什么影响。
下面的这张表显示了估计的结果 —— 让我有点意外 —— 分叉的时间对最终结果没有影响。但是,我回想了一些,觉得这是有道理的。因为,唯一一个决定伪周期号的量就是偏移量。除了让当次分叉之前出块变得更慢,推迟分叉的时间对下一次难度炸弹爆炸的时间(即四五月间)没有任何影响。
你可以从上面这张图看出,无论我们早点还是晚点实施 “Arrow Glacier” 硬分叉,只要我们使用 1050 0000 的偏移量,那就对下一次难度炸弹爆炸的时机没有任何影响。
这个问题取决于你想在 5 月的时候给以太坊核心开发者多大的压力。如果你想给他们很大的压力 —— 让 5 月的时候整个世界都会抱怨以太坊出块速度变慢 —— 那就把偏移量设得小一点。如果你只想轻轻地推他们一下 —— 类似于 “我们最好现在采取行动,不过也不是特别着急” —— 那就支持大一点的偏移量。
如果你使用了 1050 0000 的偏移量,你可能是在给他们很大的压力。你可以预期,四月底就会看到出块显著变慢(慢上一秒的那种)。但是,难度炸弹的麻烦之处在于,一旦开始爆炸,就不会给人喘息之机。
从 “明显(变慢)” 到 “非常显著”,到 “令人烦躁”,再到 “搞什么鬼” 再到 “以太坊去死吧”,只需要 4 到 6 周时间。我不是瞎扯,因为每一个 10 万区块的周期都会越来越长(因为每过一个周期,炸弹数值就会翻倍,出块时间会增加得非常快),而且只要开始爆炸,就会爆炸得越来越快。详见我上面关于 “拜占庭” 分叉前爆炸情况的文章。难度炸弹是来得很慢,但爆炸之后可就是另一番景象了。
在最后一个表格中,我建议使用 1070 0000 的偏移量。我同样建议在1380 0050 号区块后分叉。这会让我们现在有休息的时间,并让预计下一次爆炸的时间推到 5 月中旬。这是保守估计,但也是现实的考量。
结论:需要设置大于 1050 0000 的偏移量。
决定你想给核心开发者多大的压力。如果你想狠狠推他们一把,就把偏移量设为 1050 0000;如果你想放过自己,就请设置为 1070 0000。摇摆不定的,可以在这两者间取一个值。
“何时” 激活分叉的决定对下次爆炸的时间没有影响(也即,都左右不了炸弹会在 5 月份爆炸)。这个决定唯一影响的是 “Arrow Glacier” 硬分叉之前 出块时间会拉长到多久。这是因为,只有偏移量会影响伪周期号,也只有伪周期号会影响难度炸弹的数值。
TrueBlocks 是完全用我们的个人资金支持的项目,少量奖金来自以太坊基金(2018)、Consensys 公司(2019)、Moloch DAO(2021)以及近期的 Filecoin/IPFS(2021)。
如果你喜欢本文,或者希望支持我们的工作,请看我们的 GitCoin 主页:https://gitcoin.co/grants/184/trueblocks。请给下一轮匹配捐款。我们会从更大的匹配奖励中获得额外的利益。即使很小的数额也会产生很大的效果。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。