PK_VERIFY

Verification message of a public-key message