Enabling Double-Spending Detection In A Pair-Based Ledger