Verifiable Computation in Smart Contracts
Two bitcoins at the price of one? double-spending attacks on fast payments in bitcoin