Verifiable Computation in Smart Contracts
blockchain technology beyond bitcoin : an overview .