Verifiable Computation in Smart Contracts
User Privacy in the Public Bitcoin Blockchain