Raaz.Primitive.Poly1305.Internal

The Poly1305 MAC

This module exposes the types required to implement the the poly1305 message authenticator. The poly1305 is a function that takes two parameters r and s and for an input message m computes the function.

Poly1305(m, r,s) = (M(r) mod 2^130 - 5) + s mod 2^128

In the original publication, r is selected pseudo-randomly and s is generated by encrypting (using AES) a nonce n with a secret key k, i.e. r = random; s = AES(k,n). The secret that needs to be shared by the two parties is r and the key k. Actual protocols should never repeat the nonce n for otherwise there will be compromise in the security. The RFC7539 uses a variant that uses the chacha20 cipher instead of AES.

As can be seen from the above discussion the actual mechanism for selecting the r and s differs depending on the situation. Hence, this module only provide the "raw" Poly1305 implementation leaving out the details of the selection of r and s for some latter stage. Thus this module is not of direct use but is used by actual protocols to implement message authentication.

newtype Poly1305

The datatype that captures the Poly1305 authenticator tag.

Constructors

Poly1305 WORD

Instances

Eq Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

(==) :: Poly1305 -> Poly1305 -> Bool

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

Show Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> Poly1305 -> ShowS

show :: Poly1305 -> String

showList :: [Poly1305] -> ShowS

IsString Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

fromString :: String -> Poly1305

Storable Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

sizeOf :: Poly1305 -> Int

alignment :: Poly1305 -> Int

peekElemOff :: Ptr Poly1305 -> Int -> IO Poly1305

pokeElemOff :: Ptr Poly1305 -> Int -> Poly1305 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Poly1305

pokeByteOff :: Ptr b -> Int -> Poly1305 -> IO ()

peek :: Ptr Poly1305 -> IO Poly1305

poke :: Ptr Poly1305 -> Poly1305 -> IO ()

Equality Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

eq :: Poly1305 -> Poly1305 -> Result

EndianStore Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

store :: Ptr Poly1305 -> Poly1305 -> IO ()

load :: Ptr Poly1305 -> IO Poly1305

adjustEndian :: Ptr Poly1305 -> Int -> IO ()

Encodable Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Methods

toByteString :: Poly1305 -> ByteString

fromByteString :: ByteString -> Maybe Poly1305

unsafeFromByteString :: ByteString -> Poly1305

Primitive Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

Associated Types

type WordType Poly1305

type WordsPerBlock Poly1305 :: Nat

Show (Key Poly1305)

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> Key Poly1305 -> ShowS

show :: Key Poly1305 -> String

showList :: [Key Poly1305] -> ShowS

data Key Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

data Key Poly1305 = Key R S

type WordType Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

type WordType Poly1305 = Word8

type WordsPerBlock Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

type WordsPerBlock Poly1305 = 16

newtype R

The r component of the secret.

Constructors

R WORD

Instances

Eq R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

(==) :: R -> R -> Bool

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

Show R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> R -> ShowS

show :: R -> String

showList :: [R] -> ShowS

IsString R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

fromString :: String -> R

Storable R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

sizeOf :: R -> Int

alignment :: R -> Int

peekElemOff :: Ptr R -> Int -> IO R

pokeElemOff :: Ptr R -> Int -> R -> IO ()

peekByteOff :: Ptr b -> Int -> IO R

pokeByteOff :: Ptr b -> Int -> R -> IO ()

peek :: Ptr R -> IO R

poke :: Ptr R -> R -> IO ()

Equality R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

eq :: R -> R -> Result

EndianStore R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

store :: Ptr R -> R -> IO ()

load :: Ptr R -> IO R

adjustEndian :: Ptr R -> Int -> IO ()

Encodable R

Defined in Raaz.Primitive.Poly1305.Internal

Methods

toByteString :: R -> ByteString

fromByteString :: ByteString -> Maybe R

unsafeFromByteString :: ByteString -> R

newtype S

The s component of the secret.

Constructors

S WORD

Instances

Eq S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

(==) :: S -> S -> Bool

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

Show S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> S -> ShowS

show :: S -> String

showList :: [S] -> ShowS

IsString S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

fromString :: String -> S

Storable S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

sizeOf :: S -> Int

alignment :: S -> Int

peekElemOff :: Ptr S -> Int -> IO S

pokeElemOff :: Ptr S -> Int -> S -> IO ()

peekByteOff :: Ptr b -> Int -> IO S

pokeByteOff :: Ptr b -> Int -> S -> IO ()

peek :: Ptr S -> IO S

poke :: Ptr S -> S -> IO ()

Equality S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

eq :: S -> S -> Result

EndianStore S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

store :: Ptr S -> S -> IO ()

load :: Ptr S -> IO S

adjustEndian :: Ptr S -> Int -> IO ()

Encodable S

Defined in Raaz.Primitive.Poly1305.Internal

Methods

toByteString :: S -> ByteString

fromByteString :: ByteString -> Maybe S

unsafeFromByteString :: ByteString -> S

type WORD = Tuple 2 (LE Word64)

A Poly1305 word is a 128-bit numbers in little-endian.

data family Key p :: Type

The type family that captures the key of a keyed primitive.

Instances

Initialisable ChaCha20Mem (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key ChaCha20 -> ChaCha20Mem -> IO ()

Eq (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

(==) :: Key ChaCha20 -> Key ChaCha20 -> Bool

(/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool

Show (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key XChaCha20 -> ShowS

show :: Key XChaCha20 -> String

showList :: [Key XChaCha20] -> ShowS

Show (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key ChaCha20 -> ShowS

show :: Key ChaCha20 -> String

showList :: [Key ChaCha20] -> ShowS

Show (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

showsPrec :: Int -> Key (Keyed prim) -> ShowS

show :: Key (Keyed prim) -> String

showList :: [Key (Keyed prim)] -> ShowS

Show (Key Poly1305)

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> Key Poly1305 -> ShowS

show :: Key Poly1305 -> String

showList :: [Key Poly1305] -> ShowS

IsString (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key XChaCha20

IsString (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key ChaCha20

IsString (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

fromString :: String -> Key (Keyed prim)

Storable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key XChaCha20 -> Int

alignment :: Key XChaCha20 -> Int

peekElemOff :: Ptr (Key XChaCha20) -> Int -> IO (Key XChaCha20)

pokeElemOff :: Ptr (Key XChaCha20) -> Int -> Key XChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key XChaCha20)

pokeByteOff :: Ptr b -> Int -> Key XChaCha20 -> IO ()

peek :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

poke :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

Storable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key ChaCha20 -> Int

alignment :: Key ChaCha20 -> Int

peekElemOff :: Ptr (Key ChaCha20) -> Int -> IO (Key ChaCha20)

pokeElemOff :: Ptr (Key ChaCha20) -> Int -> Key ChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key ChaCha20)

pokeByteOff :: Ptr b -> Int -> Key ChaCha20 -> IO ()

peek :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

poke :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

Equality (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

eq :: Key ChaCha20 -> Key ChaCha20 -> Result

EndianStore (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

load :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

adjustEndian :: Ptr (Key XChaCha20) -> Int -> IO ()

EndianStore (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

load :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

adjustEndian :: Ptr (Key ChaCha20) -> Int -> IO ()

Encodable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key XChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key XChaCha20)

unsafeFromByteString :: ByteString -> Key XChaCha20

Encodable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key ChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key ChaCha20)

unsafeFromByteString :: ByteString -> Key ChaCha20

Encodable (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

toByteString :: Key (Keyed prim) -> ByteString

fromByteString :: ByteString -> Maybe (Key (Keyed prim))

unsafeFromByteString :: ByteString -> Key (Keyed prim)

Initialisable (MemoryCell (Key ChaCha20)) (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key XChaCha20 -> MemoryCell (Key ChaCha20) -> IO ()

newtype Key XChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key XChaCha20 = XKey KEY

newtype Key ChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key ChaCha20 = Key KEY

data Key Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

data Key Poly1305 = Key R S

newtype Key (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

newtype Key (Keyed prim) = Key ByteString