Equilibrium Computation In Games And Strategic Aspects Of Bitcoin Mining