Stefan Thomas Bitcoin: The Mathematical Analysis of a $220 Million Password Problem