How to verify computation with a rational network
Demystifying Incentives in the Consensus Computer