Reducing Forks in the Blockchain via Probabilistic Verification | IEEE Conference Publication | IEEE Xplore