How Do Bitcoin Nodes Verify Transactions?