The halving of May 11, 2020 brings the question back to the forefront: what will happen when miners have mined the last Bitcoin?