P[N(t) = n] = FSn (t) − FSn+1 (t) = (αt)n n! e−αt , and N(t) follows a Poisson law with mean value αt. This result is classical, and the mathematics of bitcoin mining, as well as other cryptocurrencies with validation based on proof of work, are mathematics of Poisson processes.