Нет не верно, если хэшрейт упадёт в 4 раза то и сложность упадёт в 4 раза + корректировка заложенная в бомбу сложности. Бомба сложности будет делать свое дело никак не завися от хешрейта сети (количества майнеров, цены эфира) и будет загонять сложность в небеса вплоть до наступления ледниковой эры и полного перехода на ПОС, но до того как время генерации блоков вырастет значительно, сеть уже перейдёт частично на ПОС и будет работать в гибридном режиме POW/POS награда майнерам будет сокращаться, добывать эфир будет всё сложнее и затратнее, и так до полного перехода на ПОС. При переходе на ПОС награда за каждый блок будет составлять уже не 5 эфиров, а значительно меньше, вплоть до полного прекращения гкенерации новых монет, награда ПОС майнерам будет выплачиваться из комиссий за транзы.
Банальный пример. Есть числа A и B которые связаны формулой B / A = t. Теперь представим функцию (B + D) / A. Если D маленькое, а A и B большие, то (B + D) / A примерно равно t. А теперь уменьшим A и В в 4 раза, а D увеличим на пару порядков. В итоге получим, что (B + D) / A уже много больше чем t. Так и в формуле бомба сложности влияет на время блока при уменьшении хэшрейта.
Представьте себе, да. Потому что при падении сложности вот эта корректирующая часть формулы:
Quote
parent_diff // 2048 * max(1 - (block_timestamp - parent_timestamp) // 10, -99)
уменьшается относительно бомбы сложности, которая идёт в абсолютном выражении:
Quote
int(2^((block.number // 100000) - 2))
В конце сентября номер блока будет в районе 4.2 млн. и бомба сложности будет давать прирост на каждом блоке 2^40 = 1,099,511,627,776. Если предположить, что сложность в этот момент будет 550 TH, а время блока 50-59 секунд (что соответствует хэшрейту в 9.3 - 11 TH/s), то корректирующая часть формулы даст -1,074,218,750,000 и сложность вместо того чтобы уменьшаться будет расти. И это при времени блока в 50 (!) секунд.
P.S. Вот код расчёта сложности с гитхаба (calcDifficultyHomestead):
https://github.com/ethereum/go-ethereum/blob/master/consensus/ethash/consensus.go
? 
