Crypto.Saltine.Core.Sign

Signatures: Crypto.Saltine.Core.Sign

The newKeypair function randomly generates a secret key and a corresponding public key. The sign function signs a message ByteString using the signer's secret key and returns the resulting signed message. The signOpen function verifies the signature in a signed message using the signer's public key then returns the message without its signature.

Crypto.Saltine.Core.Sign is an EdDSA signature using elliptic-curve Curve25519 (see: http://ed25519.cr.yp.to/). See also, "Daniel J. Bernstein, Niels Duif, Tanja Lange, Peter Schwabe, Bo-Yin Yang. High-speed high-security signatures. Journal of Cryptographic Engineering 2 (2012), 77–89." http://ed25519.cr.yp.to/ed25519-20110926.pdf.

This is current information as of 2013 June 6.

Documentation

data SecretKey

An opaque box cryptographic secret key.

Instances

Eq SecretKey

Defined in Crypto.Saltine.Core.Sign

Methods

(==) :: SecretKey -> SecretKey -> Bool

(/=) :: SecretKey -> SecretKey -> Bool

Ord SecretKey

Defined in Crypto.Saltine.Core.Sign

Methods

compare :: SecretKey -> SecretKey -> Ordering

(<) :: SecretKey -> SecretKey -> Bool

(<=) :: SecretKey -> SecretKey -> Bool

(>) :: SecretKey -> SecretKey -> Bool

(>=) :: SecretKey -> SecretKey -> Bool

max :: SecretKey -> SecretKey -> SecretKey

min :: SecretKey -> SecretKey -> SecretKey

IsEncoding SecretKey

Defined in Crypto.Saltine.Core.Sign

Methods

encode :: SecretKey -> ByteString

decode :: ByteString -> Maybe SecretKey

encoded :: (Choice p, Applicative f) => p SecretKey (f SecretKey) -> p ByteString (f ByteString)

data PublicKey

An opaque box cryptographic public key.

Instances

Eq PublicKey

Defined in Crypto.Saltine.Core.Sign

Methods

(==) :: PublicKey -> PublicKey -> Bool

(/=) :: PublicKey -> PublicKey -> Bool

Ord PublicKey

Defined in Crypto.Saltine.Core.Sign

Methods

compare :: PublicKey -> PublicKey -> Ordering

(<) :: PublicKey -> PublicKey -> Bool

(<=) :: PublicKey -> PublicKey -> Bool

(>) :: PublicKey -> PublicKey -> Bool

(>=) :: PublicKey -> PublicKey -> Bool

max :: PublicKey -> PublicKey -> PublicKey

min :: PublicKey -> PublicKey -> PublicKey

IsEncoding PublicKey

Defined in Crypto.Saltine.Core.Sign

Methods

encode :: PublicKey -> ByteString

decode :: ByteString -> Maybe PublicKey

encoded :: (Choice p, Applicative f) => p PublicKey (f PublicKey) -> p ByteString (f ByteString)

type Keypair = (SecretKey, PublicKey)

A convenience type for keypairs

newKeypair :: IO Keypair

Creates a random key of the correct size for sign and signOpen of form (secretKey, publicKey).

sign

Arguments

:: SecretKey

-> ByteString

Message

-> ByteString

Signed message

Augments a message with a signature forming a "signed message".

signOpen

Arguments

:: PublicKey

-> ByteString

Signed message

-> Maybe ByteString

Maybe the restored message

Checks a "signed message" returning Just the original message iff the signature was generated using the SecretKey corresponding to the given PublicKey. Returns Nothing otherwise.

signDetached

Arguments

:: SecretKey

-> ByteString

Message

-> ByteString

Signature

Returns just the signature for a message using a SecretKey.

signVerifyDetached

Arguments

:: PublicKey

-> ByteString

Signature

-> ByteString

Message

-> Bool

Returns True if the signature is valid for the given public key and message.