Modeling Bitcoin Contracts by Timed Automata
Pricing via processing or combatting junk mail