Adding concurrency to smart contracts
Demystifying Incentives in the Consensus Computer