pub(crate) fn verify( pub_key: &RsaPublicKey, hashed: &[u8], sig: &BigUint, sig_len: usize, digest: &mut dyn DynDigest, salt_len: usize, ) -> Result<()>