Monero total supply question

<superresistant> Hi guys, a friend asked me a question and I can't give a precise answer : How do Monero guarantee a fixed supply and no hidden supply of coins ? How would I verify this information from the blockchain ?

<needmoney90> The coinbase transactions have a ring-size of zero
<needmoney90> so you can verify the initial creation of the coins
<needmoney90> then through the magic of mathematical proofs, you can say that with extreme certainty (barring a collision or insane improbabilities) the following transactions that occurred were valid
<needmoney90> and did not create more coins
<needmoney90> @superresistant https://lab.getmonero.org/pubs/MRL-0003.pdf if he wants a super-precise answer
<needmoney90> that's about as precise as you can get.
<hyc> y'know, sometimes I think we're being hypocritical about insane improbabilities
<needmoney90> ¯\_(ツ)_/¯
<hyc> e.g. "I have a CPU that only gets 10 H/s, should I bother to mine?"
<hyc> chances are far against you. and yet we say "you might get lucky"
<needmoney90> If theres any doubts, we can HF in a doubling of the size of things for the future.
<needmoney90> We're talking probabilities that are on a universal constant level
<hyc> chance of any hash collision is infinitesimally small, but it is non-zero
<needmoney90> like, multiple universe lifetimes and using every atom of matter ever in the universe level
<hyc> naw. luck is luck.
<hyc> it could happen, and it could even happen twice in a row.

<moneromooo> Each block has a coinbase tx. Sum all the outputs in those.