Bitcoin and the Double-Spending Problem