Copyright	(c) Piyush P Kurur 2019
License	Apache-2.0 OR BSD-3-Clause
Maintainer	Piyush P Kurur <ppk@iitpkd.ac.in>
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Raaz.Primitive.Poly1305.Internal

Contents

The Poly1305 MAC

Description

Synopsis

newtype Poly1305 = Poly1305 WORD
newtype R = R WORD
newtype S = S WORD
type WORD = Tuple 2 (LE Word64)
data family Key p :: Type

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

The datatype that captures the Poly1305 authenticator tag.

Constructors

Poly1305 WORD

Instances

Instances details

IsString Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods fromString :: String -> Poly1305 #
Storable Poly1305 Source #
Instance details 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 () #
Show Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods showsPrec :: Int -> Poly1305 -> ShowS # show :: Poly1305 -> String # showList :: [Poly1305] -> ShowS #
Eq Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods (==) :: Poly1305 -> Poly1305 -> Bool # (/=) :: Poly1305 -> Poly1305 -> Bool #
Encodable Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods toByteString :: Poly1305 -> ByteString Source # fromByteString :: ByteString -> Maybe Poly1305 Source # unsafeFromByteString :: ByteString -> Poly1305 Source #
Primitive Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Associated Types type WordType Poly1305 Source # type WordsPerBlock Poly1305 :: Nat Source #
EndianStore Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods store :: Ptr Poly1305 -> Poly1305 -> IO () Source # load :: Ptr Poly1305 -> IO Poly1305 Source # adjustEndian :: Ptr Poly1305 -> Int -> IO () Source #
Equality Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods eq :: Poly1305 -> Poly1305 -> Result Source #
Show (Key Poly1305) Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods showsPrec :: Int -> Key Poly1305 -> ShowS # show :: Key Poly1305 -> String # showList :: [Key Poly1305] -> ShowS #
data Key Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal data Key Poly1305 = Key R S
type WordType Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal type WordType Poly1305 = Word8
type WordsPerBlock Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal type WordsPerBlock Poly1305 = 16

newtype R Source #

The r component of the secret.

Constructors

R WORD

Instances

Instances details

IsString R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods fromString :: String -> R #
Storable R Source #
Instance details 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 () #
Show R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods showsPrec :: Int -> R -> ShowS # show :: R -> String # showList :: [R] -> ShowS #
Eq R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods (==) :: R -> R -> Bool # (/=) :: R -> R -> Bool #
Encodable R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods toByteString :: R -> ByteString Source # fromByteString :: ByteString -> Maybe R Source # unsafeFromByteString :: ByteString -> R Source #
EndianStore R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods store :: Ptr R -> R -> IO () Source # load :: Ptr R -> IO R Source # adjustEndian :: Ptr R -> Int -> IO () Source #
Equality R Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods eq :: R -> R -> Result Source #

newtype S Source #

The s component of the secret.

Constructors

S WORD

Instances

Instances details

IsString S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods fromString :: String -> S #
Storable S Source #
Instance details 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 () #
Show S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods showsPrec :: Int -> S -> ShowS # show :: S -> String # showList :: [S] -> ShowS #
Eq S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods (==) :: S -> S -> Bool # (/=) :: S -> S -> Bool #
Encodable S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods toByteString :: S -> ByteString Source # fromByteString :: ByteString -> Maybe S Source # unsafeFromByteString :: ByteString -> S Source #
EndianStore S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods store :: Ptr S -> S -> IO () Source # load :: Ptr S -> IO S Source # adjustEndian :: Ptr S -> Int -> IO () Source #
Equality S Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods eq :: S -> S -> Result Source #

type WORD = Tuple 2 (LE Word64) Source #

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

data family Key p :: Type Source #

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

Instances

Instances details

Initialisable ChaCha20Mem (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Key ChaCha20 -> ChaCha20Mem -> IO () Source #
IsString (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key ChaCha20 #
IsString (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key XChaCha20 #
IsString (Key (Keyed prim)) Source #
Instance details Defined in Raaz.Primitive.Keyed.Internal Methods fromString :: String -> Key (Keyed prim) #
Storable (Key ChaCha20) Source #
Instance details 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 () #
Storable (Key XChaCha20) Source #
Instance details 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 () #
Show (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Key ChaCha20 -> ShowS # show :: Key ChaCha20 -> String # showList :: [Key ChaCha20] -> ShowS #
Show (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Key XChaCha20 -> ShowS # show :: Key XChaCha20 -> String # showList :: [Key XChaCha20] -> ShowS #
Show (Key (Keyed prim)) Source #
Instance details 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) Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal Methods showsPrec :: Int -> Key Poly1305 -> ShowS # show :: Key Poly1305 -> String # showList :: [Key Poly1305] -> ShowS #
Eq (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods (==) :: Key ChaCha20 -> Key ChaCha20 -> Bool # (/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool #
Encodable (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Key ChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Key ChaCha20) Source # unsafeFromByteString :: ByteString -> Key ChaCha20 Source #
Encodable (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Key XChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Key XChaCha20) Source # unsafeFromByteString :: ByteString -> Key XChaCha20 Source #
Encodable (Key (Keyed prim)) Source #
Instance details Defined in Raaz.Primitive.Keyed.Internal Methods toByteString :: Key (Keyed prim) -> ByteString Source # fromByteString :: ByteString -> Maybe (Key (Keyed prim)) Source # unsafeFromByteString :: ByteString -> Key (Keyed prim) Source #
EndianStore (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO () Source # load :: Ptr (Key ChaCha20) -> IO (Key ChaCha20) Source # adjustEndian :: Ptr (Key ChaCha20) -> Int -> IO () Source #
EndianStore (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO () Source # load :: Ptr (Key XChaCha20) -> IO (Key XChaCha20) Source # adjustEndian :: Ptr (Key XChaCha20) -> Int -> IO () Source #
Equality (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods eq :: Key ChaCha20 -> Key ChaCha20 -> Result Source #
Initialisable (MemoryCell (Key ChaCha20)) (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Key XChaCha20 -> MemoryCell (Key ChaCha20) -> IO () Source #
newtype Key ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key ChaCha20 = Key KEY
newtype Key XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key XChaCha20 = XKey KEY
data Key Poly1305 Source #
Instance details Defined in Raaz.Primitive.Poly1305.Internal data Key Poly1305 = Key R S
newtype Key (Keyed prim) Source #
Instance details Defined in Raaz.Primitive.Keyed.Internal newtype Key (Keyed prim) = Key ByteString