This document proposes an attribute-based encryption scheme with verifiable outsourced decryption. Existing attribute-based encryption schemes have expensive decryption costs due to pairing operations. To address this, prior work introduced outsourced decryption using a transformation key, but did not verify the correctness of the transformation. The proposed scheme modifies the model to allow verification and constructs a concrete scheme that proves security without random oracles, while substantially reducing computation time for resource-limited devices to recover plaintexts.