如果智能合约的执行成本低于调于方指定的gas用量，用户能够得到退款。