As posted in a different comment, Monero uses cryptographic range-proofs to verify supply (nodes verify the range-proofs of each TX). In addition, a Python script to externally audit supply is under development: https://ccs.getmonero.org/proposals/monero-inflation-checker.html