Proving Bitcoin's Security*