Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Hashcash - A Denial of Service Counter-Measure