Crypto.RSA

Definitions

data RSAPublicKey : Type

Totality: total
Visibility: export
Constructor: 

MkRSAPublicKey : Integer -> Integer -> RSAPublicKey

mk_rsa_publickey : Integer -> Integer -> Maybe RSAPublicKey

Visibility: export

rsa_encrypt : RSAPublicKey -> Integer -> Integer

Visibility: export

os2ip : Foldable t => t Bits8 -> Integer

Visibility: export

i2osp : Nat -> Integer -> Maybe (List Bits8)

Visibility: export

rsavp1 : RSAPublicKey -> Integer -> Maybe Integer

Visibility: export

MaskGenerationFunction : Type

Visibility: public export

mgf1 : Hash algo => MaskGenerationFunction

Visibility: export

modulus_bits : RSAPublicKey -> Nat

Visibility: export

emsa_pss_verify : Hash algo => MaskGenerationFunction -> Nat -> List Bits8 -> List1 Bits8 -> Nat -> Maybe ()

Visibility: export

rsassa_pss_verify' : Hash algo => MaskGenerationFunction -> Nat -> RSAPublicKey -> List Bits8 -> List Bits8 -> Bool

Visibility: export

rsassa_pss_verify : Hash algo => RSAPublicKey -> List Bits8 -> List Bits8 -> Bool

Visibility: export

emsa_pkcs1_v15_encode : RegisteredHash algo => List Bits8 -> Nat -> Maybe (List Bits8)

Visibility: export

rsassa_pkcs1_v15_verify : RegisteredHash algo => RSAPublicKey -> List Bits8 -> List Bits8 -> Bool

Visibility: export