License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | Good |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data Error
- data PublicKey = PublicKey {}
- data PrivateKey = PrivateKey {}
- data Blinder = Blinder !Integer !Integer
- generateWith :: (Integer, Integer) -> Int -> Integer -> Maybe (PublicKey, PrivateKey)
- generate :: MonadRandom m => Int -> Integer -> m (PublicKey, PrivateKey)
- generateBlinder :: MonadRandom m => Integer -> m Blinder
Documentation
error possible during encryption, decryption or signing.
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. |
Represent a RSA public key
Instances
Data PublicKey Source # | |
Defined in Crypto.PubKey.RSA.Types gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PublicKey -> c PublicKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PublicKey # toConstr :: PublicKey -> Constr # dataTypeOf :: PublicKey -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PublicKey) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey) # gmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r # gmapQ :: (forall d. Data d => d -> u) -> PublicKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PublicKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey # | |
Read PublicKey Source # | |
Show PublicKey Source # | |
NFData PublicKey Source # | |
Defined in Crypto.PubKey.RSA.Types | |
Eq PublicKey Source # | |
data PrivateKey Source #
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.
PrivateKey | |
|
Instances
Blinder which is used to obfuscate the timing of the decryption primitive (used by decryption and signing).
Generation function
:: (Integer, Integer) | chosen distinct primes p and q |
-> Int | size in bytes |
-> Integer | RSA public exponent |
-> Maybe (PublicKey, PrivateKey) |
Generate a key pair given p and q.
p and q need to be distinct prime numbers.
e need to be coprime to phi=(p-1)*(q-1). If that's not the case, the function will not return a key pair. A small hamming weight results in better performance.
- e=0x10001 is a popular choice
- e=3 is popular as well, but proven to not be as secure for some cases.
:: MonadRandom m | |
=> Int | size in bytes |
-> Integer | RSA public exponent |
-> m (PublicKey, PrivateKey) |
generate a pair of (private, public) key of size in bytes.
:: MonadRandom m | |
=> Integer | RSA public N parameter. |
-> m Blinder |
Generate a blinder to use with decryption and signing operation
the unique parameter apart from the random number generator is the public key value N.