Sort:  

They don't. Instead they validate some mathematical properties that ensure integrity of the chain without knowing specific amounts. Specifically that each output is only spent at most once and that each transaction has inputs = outputs + fee.