Verifiable Computation in Smart Contracts
Bitcoin Transaction Malleability and MtGox