Hi, I'm looking for some more documentation about the anatomy of the transaction verification process. I find it hard to imagine how this works if nodes can only see a part of the Tangle. The part I'm mostly interested in is to verify if the output address (one that sends iotas) has a sufficient balance. Does somebody know where to find more information, or maybe someone would like to explain more here?
Have a look at these threads:
If you have additional questions, the best place to ask is the #tanglemath channel on Slack.