Time-Enabled and Verifiable Secure Search for Blockchain-Empowered Electronic Health Record Sharing in IoT

Algorithm 4

Verification.

	Input: keywords ciphertexts set , token , proof
	Output: 1/0.
(1)	For each , the data user parses
(2)	It computes , and
(3)	It checks
(4)	If the equation holds, it returns “1.” Otherwise, it returns “0.”