Bitcoin de Stefan Thomas: A análise matemática de um problema de senha de $220 milhões