Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
Information propagation in the Bitcoin network