Bitcoin de Stefan Thomas: El análisis matemático de un problema de contraseña de $220 millones