Satoshi calculates the probability of an attack on the Bitcoin network