Verification of transactions