Hard Fork to Address the Ice Age (EIP-2387)

This is the central discussion place for a proposal to have a Hard fork shortly after Istanbul to address the Ice.

The proposed EIP is to rewind the Ice Age 4 million blocks and include a commitment to address issues with the Ice Age during that time.

Ice Age Delay EIP: https://github.com/ethereum/EIPs/pull/2384
Hard-fork Meta: https://github.com/ethereum/EIPs/pull/2387

1 Like

Copy from Gitter:

Where does the number to delay the hard fork of 4,000,000 come from? My understanding of the reason for the bomb was to avoid a situation like in Bitcoin where ten people control when to fork. Hereā€™s the scenario ā€” all youā€™all decide (for whatever reason) that there should be no more changes forever. And whomever has the GitHub permissions to change the code are convinced as well. The rest of the community would then have no recourse. If you think this canā€™t happenā€“look at Bitcoin. Forcing ourselves to deliver a fork every so often, even if there are no substantive changes, forces the community to repeatedly come back into agreementā€¦and it give whatever portion of the community that wants to a chance to fork off. A better way to remove the ā€˜painā€™ of the ice age would be to better manage it and make sure it gets modeled better (so we know when itā€™s going to hit) and include it in forks as a regular course.

Correction: The 4,000,000 would be in addition to the 5,000,000 from previous forks (3,000,000 for Byzantium and an additional 2,000,000 for Constantinople). So the subtraction from the ā€˜realā€™ block number to the ā€˜fakeā€™ block number would be 9,000,000. This will reset the fork ā€˜periodā€™ to zero ((9069000 - 9000000 = 69000) % 100000) = 0

Another way to do this, which would be much more obvious would be to simply subtract the FORK_BLOCK_NUMBER from the ā€˜realā€™ block to arrive at ā€˜fakeā€™ block number. This would reset the bomb to zero each time.

I think thereā€™s a lot of confusion related to hash rate. The bomb, once it starts going off, totally dominates the difficulty calc.

The reason the bomb is going off earlier this time is because we only set it back to period 22 ((7280000 - 5000000) % 1000000) = 22, whereas in Byzantium we set it back to period 13 ((4370000 - 3000000) % 100000) = 13. Our goal should be to set the period back to 0.

The difficulty calc comes in two parts, A and B. A is designed to offset any change in hash rate by responding oppositely with higher or lower difficulty. Part A tends to hover at 14 seconds.

Part B (the bomb) grows exponentially based only on the period itā€™s in, and the period is dependent only on block number. The bomb totally dominates once it starts showing up. The non-bomb component (A ā€“ i.e. hash rate/difficulty) hovers.

A much more likely explanation for why the bomb is happening earlier than expected is because 2^22 is a lot larger than 2^13, and N months after the Byzantium fork we were in period 13 + X, whereas now we are in period 22 + X. (Where X is the number of periods the chain advances in N months.)

If we choose bomb_reset_subtraction = ISTANBUL_FORK_BLOCK we would make the period == 0 and fully diffuse the bomb.

2 Likes

Why block 9mm? 4mm past the current fake block number?

(1) we didnā€™t want to put the fake block in the future. There was concern that some implementations may wind up using negative block numbers for calculations and was viewed as an unneeded risk. So thatā€™s why itā€™s not larger.

(2) we wanted to kick it down a long way. This gives us the room for either the bomb to meet or see measurable progress on one of the goals that advocates have stated (which is to encourage us to move off of Proof of Work to Proof of Stake) or for us to have a less pressured discussion to remove the bomb entirely. There are reasonable arguments on both sides of the ā€œremoveā€ debate and achieving consensus on removal would not happen inside of a week. So thatā€™s one reason it was as large as was reasonable.

As far as timeframe I estimate that gives us until Q2 or Q3 of 2021 before we can measure the impact again. The future of the difficulty bomb is something that we should have at least one panel discussion on at Devcon 6, and possibly EthCC and other large ethereum conferences (but those are IMHO the two tentpoles). A 2-3mm block delay would put ā€œthe bomb is about to explodeā€ pressure on such a panel as there is an outside chance we could measure the impact by then. I donā€™t know if we can have a good discussion about the purpose of the bomb and whether or not it is filling that purpose when the mechanism is demanding action.

2 Likes

If you only subtract 4,000,000 from the current block number (9,000,000) you will make the ā€˜fake blockā€™ 5,000,000 which would be period 50 ā€“ which is way, way past where the bomb is now. The thing that matters is the period. The goal should always be to reset the period to zero.

2 Likes

EIP-2384 proposes to push it 4 million from Constantinople (highlights mine):


Itā€™s also probably OT in this thread (for the hard-fork meta), and should go to the one on the delay.

1 Like

In this article, I argue that hash rate has nothing to do with why the bomb seems to be going off earlier this time than the last time. I argue that we didnā€™t set the period back far enough last time. I also argue that the only thing that really matters is the bomb part of the calc, and that the non-bomb part not only doesnā€™t affect the slowing blocks but that it actually helps the chain get back to faster blocks each time a bomblet explodes. Finally, I argue that if one always sets the period back to the same value (0), then the bomb would be perfectly predictable since itā€™s a function of fake block number only. Itā€™s all explained here: https://medium.com/@tjayrush/its-not-that-difficult-33a428c3c2c3. Iā€™d really appreciate discussion.

Iā€™ve asked this on Gitter, just copying here for reference: Why is there a need for a new hard fork name and not just stick the agreed naming scheme? i.e. make this part of Istanbul or Berlin.

These two reasons came up:

  • For some reason news outlets already reported about Berlin and ā€œwhatā€™s included in itā€ (despite the EIP-centric process)
  • ā€œEmergencyā€ hard forks had two-word names (with the exception of Petersburg)

And copying this from the PR: Suggest ā€œMuir Glacierā€ (see here) which has retreated significantly. Or any other similar glacier :wink:

3 Likes

As a matter of procedure, I argue that EIP-2387 should be remove from Last Call and without further consideration.

EIP-2387 depends on EIP-2384 with the latter being in Last Call status.

Because the EIP dependee is not in final status the EIP dependor should not be eligible for Last Call consideration.

That is all.

This recommendation is implemented at https://github.com/ethereum/EIPs/pull/2413