A Probabilistic Model of the Bitcoin Blockchain | Arena Library | Arena