:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Modulecryptonite-0.30Haskell2010
Parameters for PSS signature/verification.
PSSParamspssHash :: hashHash function to use
pssMaskGenAlg :: MaskGenAlgorithm seed outputMask Gen algorithm to use
pssSaltLength :: IntLength of salt. need to be <= to hLen.
pssTrailerField :: Word8Trailer field, usually 0xbc
Default Params with a specified hash function
Default Params using SHA1 algorithm.
signWithSalt :: HashAlgorithm hash=> ByteStringSalt to use
-> Maybe Blinderoptional blinder to use
-> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyRSA Private Key
-> ByteStringMessage to sign
-> Either Error ByteStringSign using the PSS parameters and the salt explicitely passed as parameters.
the function ignore SaltLength from the PSS Parameters
signDigestWithSalt :: HashAlgorithm hash=> ByteStringSalt to use
-> Maybe Blinderoptional blinder to use
-> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyRSA Private Key
-> Digest hashMessage digest
-> Either Error ByteStringSign using the PSS parameters and the salt explicitely passed as parameters.
the function ignore SaltLength from the PSS Parameters
sign :: (HashAlgorithm hash, MonadRandom m)=> Maybe Blinderoptional blinder to use
-> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyRSA Private Key
-> ByteStringMessage to sign
-> m (Either Error ByteString)Sign using the PSS Parameters
signDigest :: (HashAlgorithm hash, MonadRandom m)=> Maybe Blinderoptional blinder to use
-> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyRSA Private Key
-> Digest hashMessage digest
-> m (Either Error ByteString)Sign using the PSS Parameters
signSafer :: (HashAlgorithm hash, MonadRandom m)=> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyprivate key
-> ByteStringmessage to sign
-> m (Either Error ByteString)Sign using the PSS Parameters and an automatically generated blinder.
signDigestSafer :: (HashAlgorithm hash, MonadRandom m)=> PSSParams hash ByteString ByteStringPSS Parameters to use
-> PrivateKeyprivate key
-> Digest hashmessage digst
-> m (Either Error ByteString)Sign using the PSS Parameters and an automatically generated blinder.
verify :: HashAlgorithm hash=> PSSParams hash ByteString ByteStringPSS Parameters to use to verify, this need to be identical to the parameters when signing
-> PublicKeyRSA Public Key
-> ByteStringMessage to verify
-> ByteStringSignature
-> BoolVerify a signature using the PSS Parameters
verifyDigest :: HashAlgorithm hash=> PSSParams hash ByteString ByteStringPSS Parameters to use to verify, this need to be identical to the parameters when signing
-> PublicKeyRSA Public Key
-> Digest hashDigest to verify
-> ByteStringSignature
-> BoolVerify a signature using the PSS Parameters