BFR-SE: A Blockchain-Based Fair and Reliable Searchable Encryption Scheme for IoT with Fine-Grained Access Control in Cloud Environment

Algorithm 6

ExistenceVerify.

 Input: , random,

 Output: void

1 bool IsVr = IsVerifyRound()

2 bool IsRd = IsResultReady()

3 ifIsVr== true && IsRd==falsethen

4  Compensate()

5 else ifIsVr== true && IsRd==truethen

6  ifCommitVerify(,random, ) == true then

7    bool isExist = BFVerify(BF, SHA256())

8    ifisExist == falsethen

9      Compensate()

10    end

11  end