Copyright	(c) Joseph Abrahamson 2013
License	MIT
Maintainer	me@jspha.com
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Crypto.Saltine.Core.Sign

Description

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.

Synopsis

data SecretKey
data PublicKey
type Keypair = (SecretKey, PublicKey)
newKeypair :: IO Keypair
sign :: SecretKey -> ByteString -> ByteString
signOpen :: PublicKey -> ByteString -> Maybe ByteString
signDetached :: SecretKey -> ByteString -> ByteString
signVerifyDetached :: PublicKey -> ByteString -> ByteString -> Bool

Documentation

data SecretKey Source #

An opaque box cryptographic secret key.

Instances

Eq SecretKey Source #
Instance details Defined in Crypto.Saltine.Core.Sign Methods (==) :: SecretKey -> SecretKey -> Bool # (/=) :: SecretKey -> SecretKey -> Bool #
Ord SecretKey Source #
Instance details 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 Source #
Instance details Defined in Crypto.Saltine.Core.Sign Methods encode :: SecretKey -> ByteString Source # decode :: ByteString -> Maybe SecretKey Source # encoded :: (Choice p, Applicative f) => p SecretKey (f SecretKey) -> p ByteString (f ByteString) Source #

data PublicKey Source #

An opaque box cryptographic public key.

Instances

Eq PublicKey Source #
Instance details Defined in Crypto.Saltine.Core.Sign Methods (==) :: PublicKey -> PublicKey -> Bool # (/=) :: PublicKey -> PublicKey -> Bool #
Ord PublicKey Source #
Instance details 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 Source #
Instance details Defined in Crypto.Saltine.Core.Sign Methods encode :: PublicKey -> ByteString Source # decode :: ByteString -> Maybe PublicKey Source # encoded :: (Choice p, Applicative f) => p PublicKey (f PublicKey) -> p ByteString (f ByteString) Source #

type Keypair = (SecretKey, PublicKey) Source #

A convenience type for keypairs

newKeypair :: IO Keypair Source #

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

sign Source #

Arguments

:: SecretKey
-> ByteString	Message
-> ByteString	Signed message

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

signOpen Source #

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 Source #

Arguments

:: SecretKey
-> ByteString	Message
-> ByteString	Signature

Returns just the signature for a message using a SecretKey.

signVerifyDetached Source #

Arguments

:: PublicKey
-> ByteString	Signature
-> ByteString	Message
-> Bool

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