The complexity of bitcoin mining has updated the historical record