License	BSD-style
Maintainer	Vincent Hanquez <vincent@snarc.org>
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Crypto.PubKey.Ed25519

Contents

Size constants
Smart constructors
Methods

Description

Ed25519 support

Synopsis

data SecretKey
data PublicKey
data Signature
publicKeySize :: Int
secretKeySize :: Int
signatureSize :: Int
signature :: ByteArrayAccess ba => ba -> CryptoFailable Signature
publicKey :: ByteArrayAccess ba => ba -> CryptoFailable PublicKey
secretKey :: ByteArrayAccess ba => ba -> CryptoFailable SecretKey
toPublic :: SecretKey -> PublicKey
sign :: ByteArrayAccess ba => SecretKey -> PublicKey -> ba -> Signature
unsafeSign :: ByteArrayAccess ba => SecretKey -> PublicKey -> ba -> Signature
verify :: ByteArrayAccess ba => PublicKey -> ba -> Signature -> Bool
generateSecretKey :: MonadRandom m => m SecretKey

Documentation

data SecretKey Source #

An Ed25519 Secret key

Instances

Instances details

Show SecretKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods showsPrec :: Int -> SecretKey -> ShowS # show :: SecretKey -> String # showList :: [SecretKey] -> ShowS #
NFData SecretKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods rnf :: SecretKey -> () #
Eq SecretKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods (==) :: SecretKey -> SecretKey -> Bool # (/=) :: SecretKey -> SecretKey -> Bool #
ByteArrayAccess SecretKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods length :: SecretKey -> Int # withByteArray :: SecretKey -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: SecretKey -> Ptr p -> IO () #

data PublicKey Source #

An Ed25519 public key

Instances

Instances details

Show PublicKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods showsPrec :: Int -> PublicKey -> ShowS # show :: PublicKey -> String # showList :: [PublicKey] -> ShowS #
NFData PublicKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods rnf :: PublicKey -> () #
Eq PublicKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods (==) :: PublicKey -> PublicKey -> Bool # (/=) :: PublicKey -> PublicKey -> Bool #
ByteArrayAccess PublicKey Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods length :: PublicKey -> Int # withByteArray :: PublicKey -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: PublicKey -> Ptr p -> IO () #

data Signature Source #

An Ed25519 signature

Instances

Instances details

Show Signature Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
NFData Signature Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods rnf :: Signature -> () #
Eq Signature Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #
ByteArrayAccess Signature Source #
Instance details Defined in Crypto.PubKey.Ed25519 Methods length :: Signature -> Int # withByteArray :: Signature -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: Signature -> Ptr p -> IO () #

Size constants

publicKeySize :: Int Source #

A public key is 32 bytes

secretKeySize :: Int Source #

A secret key is 32 bytes

signatureSize :: Int Source #

A signature is 64 bytes

Smart constructors

signature :: ByteArrayAccess ba => ba -> CryptoFailable Signature Source #

Try to build a signature from a bytearray

publicKey :: ByteArrayAccess ba => ba -> CryptoFailable PublicKey Source #

Try to build a public key from a bytearray

secretKey :: ByteArrayAccess ba => ba -> CryptoFailable SecretKey Source #

Try to build a secret key from a bytearray

Methods

toPublic :: SecretKey -> PublicKey Source #

Create a public key from a secret key

sign :: ByteArrayAccess ba => SecretKey -> PublicKey -> ba -> Signature Source #

Sign a message using the key pair. The public key parameter is ignored and its public key is generated from the secret key parameter to prevent Double Public Key Signing Function Oracle Attack.

unsafeSign :: ByteArrayAccess ba => SecretKey -> PublicKey -> ba -> Signature Source #

Sign a message using the key pair. This is old sign, which is vulnerable to private key compromise if the given public key does not correspond to the secret key. This function is provided for performance critical applications. To use it safely, applications must verify or derive the public key.

verify :: ByteArrayAccess ba => PublicKey -> ba -> Signature -> Bool Source #

Verify a message

generateSecretKey :: MonadRandom m => m SecretKey Source #

Generate a secret key