Bitcoin di Stefan Thomas: L’analisi matematica di un problema di password da 220 milioni di dollari