A Mean Field Game Approach to Bitcoin Mining. - Charles Bertucci; Louis Bertucci; Jean-Michel Lasry; Pierre-Louis Lions (SIAM J. Financial Math., 2024)