Likewise, when the signer submits his/her identity IDsig, the PKG computes the private key KIDsig related with IDsig by running the Extract with the master secret mk.
IDsig, and the signature s, any party (verifier) can validate whether the signature s is valid one or not.