gpg at verify: