How to verify computation with a rational network
Bitcoin and Beyond: A Technical Survey on Decentralized Digital Currencies