> Bitcoin's protocol gives a syntax for financial state transitions, but doesn't judge whether they are acceptable state transitions
It seems to me that bitcoin's protocol *does* judge whether a state transition is acceptable or not, e.g. in the tx_check.cpp file
For example, consider this snippet:
if (txout.nValue > MAX_MONEY)
return state.Invalid
That seems to imply that a transaction with an output that creates more than 21,000,000 btc is not acceptable
