Hard Fork in 40 Blocks

by BlakeKeiller, Saturday, December 26, 2020, 20:08 (274 days ago)

The chain is currently at block 4960 and so there are 40 more blocks before the hard fork. At 1 block an hour this would make the hard fork occur in two days, on December 28. Blocks have been slower the past week so December 29 is more likely.

Upgrading to version 0.2.1 is necessary for the hard fork, just in case anyone hasn't yet.

Hard Fork in 19 Blocks (likely Dec 27 or 28)

by BlakeKeiller, Sunday, December 27, 2020, 09:49 (274 days ago) @ BlakeKeiller

For some reason blocks started being produced much faster in the past 12 hours or so and 21 blocks have been produced. This makes it likely the hard fork will happen today (December 27) or tomorrow (December 28).

Hard Fork Passed

by BlakeKeiller, Monday, December 28, 2020, 06:35 (273 days ago) @ BlakeKeiller

The network is now at Block 5003, so 3 blocks past the hard fork. It seems to have been successful. Due to the veto contract for the bounty fund, in two days I will begin collecting (non vetoed) rewards for the bounty fund and place them as bounties on conjectured propositions. There are already many to choose from (the Mizar and HOL4 sets and formulations of some of the "top 100" theorems), but if anyone has other suggestions feel free to post them here.

RSS Feed of thread
powered by my little forum