Algorithm 6 PayVerify function.

PayVerify(P):

Return 1 if and only if all of the following conditions hold: TACertVerify(P.sender) = 1 and SigVerify([P.amount, P.sender, P.receiver, P.timestamp], P.sig, P.sender.pbk) = 1.