Crypto.PubKey.RSA.Types

Documentation

data Error

error possible during encryption, decryption or signing.

Constructors

MessageSizeIncorrect

the message to decrypt is not of the correct size (need to be == private_size)

MessageTooLong

the message to encrypt is too long

MessageNotRecognized

the message decrypted doesn't have a PKCS15 structure (0 2 .. 0 msg)

SignatureTooLong

the message's digest is too long

InvalidParameters

some parameters lead to breaking assumptions.

Instances

Eq Error

Show Error

data Blinder

Blinder which is used to obfuscate the timing of the decryption primitive (used by decryption and signing).

Constructors

Blinder !Integer !Integer

Instances

Eq Blinder

Show Blinder

data PublicKey

Represent a RSA public key

Constructors

PublicKey

Fields

public_size :: Int

size of key in bytes

public_n :: Integer

public p*q

public_e :: Integer

public exponant e

Instances

Eq PublicKey

Data PublicKey

Read PublicKey

Show PublicKey

NFData PublicKey

data PrivateKey

Represent a RSA private key.

Only the pub, d fields are mandatory to fill.

p, q, dP, dQ, qinv are by-product during RSA generation, but are useful to record here to speed up massively the decrypt and sign operation.

implementations can leave optional fields to 0.

Constructors

PrivateKey

Fields

private_pub :: PublicKey

public part of a private key (size, n and e)

private_d :: Integer

private exponant d

private_p :: Integer

p prime number

private_q :: Integer

q prime number

private_dP :: Integer

d mod (p-1)

private_dQ :: Integer

d mod (q-1)

private_qinv :: Integer

q^(-1) mod p

Instances

Eq PrivateKey

Data PrivateKey

Read PrivateKey

Show PrivateKey

NFData PrivateKey

newtype KeyPair

Represent RSA KeyPair

note the RSA private key contains already an instance of public key for efficiency

Constructors

KeyPair PrivateKey

Instances

Eq KeyPair

Data KeyPair

Read KeyPair

Show KeyPair

NFData KeyPair

toPublicKey :: KeyPair -> PublicKey

Public key of a RSA KeyPair

toPrivateKey :: KeyPair -> PrivateKey

Private key of a RSA KeyPair

private_size :: PrivateKey -> Int

get the size in bytes from a private key

private_n :: PrivateKey -> Integer

get n from a private key

private_e :: PrivateKey -> Integer

get e from a private key