Bitcoin, blockchain, double spend, mining, proof-of-work, Regularized Incomplete Beta Function