Double-Spending Problem Explained by a Developer