monero supply can be verified. The mechanism is basic such that tx out = tx in, without revealing who holds what and to whom.