- rsa_verify(+Key, +Data, +Signature, +Options) is semidet
- Verify an RSA signature for Data with public key Key.
- SHA algorithm used to compute the digest. Values are
sha512. The default is the
same as for rsa_sign/4. This option must match the algorithm
that was used for signing. When operating with different parties,
the used algorithm must be communicated over an authenticated
- Encoding to use for Data. Default is