Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum
taking proof - based verified computation a few steps closer to practicality ( extended version ) .