Falcon: Transaction Verification Tool