Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays[J] CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE Bistarelli, Stefano De Nicola, Rocco Galletta, Letterio Laneve, Cosimo Mercanti, Ivan Veschetti, Adele