Provably Secure Lattice-Based Self-Certified Signature Scheme

Algorithm 4

Verify.

	Input: and , the message , the signature .
	Output: the verification result.
(1)	Compute .
(2)	Check whether and .
(3)	If so, return accept. Otherwise, return reject.