verifyTx()