This design makes it simple to prevent double spending. You just check that the transaction inputs are in the set of unspent transactions (UTXOs).