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	None
Language	Haskell2010

Raaz.Primitive.ChaCha20.Internal

Contents

ChaCha20 cipher

Description

Synopsis

data ChaCha20 = ChaCha20
data XChaCha20 = XChaCha20
data family Key p :: Type
data family Nounce p :: Type
data ChaCha20Mem = ChaCha20Mem {
- keyCell :: MemoryCell (Key ChaCha20)
- ivCell :: MemoryCell (Nounce ChaCha20)
- counterCell :: MemoryCell WORD
}
keyCellPtr :: ChaCha20Mem -> Ptr (Key ChaCha20)
ivCellPtr :: ChaCha20Mem -> Ptr (Nounce ChaCha20)
counterCellPtr :: ChaCha20Mem -> Ptr WORD

ChaCha20 cipher

This module defines the ChaCha20 ciphers and the memory element used by a typical implementation. The variant of Chacha20 that we support is the IETF version described in RFC 7538 with 32-bit (4-byte) counter and 96-bit (12-byte) IV.

data ChaCha20 Source #

The type associated with the ChaCha20 cipher.

Constructors

ChaCha20

Instances

Instances details

Primitive ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Associated Types type WordType ChaCha20 Source # type WordsPerBlock ChaCha20 :: Nat Source #
Extractable ChaCha20Mem (BlockCount ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods extract :: ChaCha20Mem -> IO (BlockCount ChaCha20) Source #
Initialisable ChaCha20Mem (BlockCount ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: BlockCount ChaCha20 -> ChaCha20Mem -> IO () Source #
Initialisable ChaCha20Mem (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Nounce ChaCha20 -> ChaCha20Mem -> IO () Source #
Initialisable ChaCha20Mem (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Key ChaCha20 -> ChaCha20Mem -> IO () Source #
Eq (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods (==) :: Nounce ChaCha20 -> Nounce ChaCha20 -> Bool # (/=) :: Nounce ChaCha20 -> Nounce ChaCha20 -> Bool #
Eq (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods (==) :: Key ChaCha20 -> Key ChaCha20 -> Bool # (/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool #
Show (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Nounce ChaCha20 -> ShowS # show :: Nounce ChaCha20 -> String # showList :: [Nounce ChaCha20] -> ShowS #
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 #
IsString (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Nounce ChaCha20 #
IsString (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key ChaCha20 #
Storable (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods sizeOf :: Nounce ChaCha20 -> Int # alignment :: Nounce ChaCha20 -> Int # peekElemOff :: Ptr (Nounce ChaCha20) -> Int -> IO (Nounce ChaCha20) # pokeElemOff :: Ptr (Nounce ChaCha20) -> Int -> Nounce ChaCha20 -> IO () # peekByteOff :: Ptr b -> Int -> IO (Nounce ChaCha20) # pokeByteOff :: Ptr b -> Int -> Nounce ChaCha20 -> IO () # peek :: Ptr (Nounce ChaCha20) -> IO (Nounce ChaCha20) # poke :: Ptr (Nounce ChaCha20) -> Nounce ChaCha20 -> IO () #
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 () #
Equality (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods eq :: Nounce ChaCha20 -> Nounce ChaCha20 -> Result Source #
Equality (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods eq :: Key ChaCha20 -> Key ChaCha20 -> Result Source #
EndianStore (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Nounce ChaCha20) -> Nounce ChaCha20 -> IO () Source # load :: Ptr (Nounce ChaCha20) -> IO (Nounce ChaCha20) Source # adjustEndian :: Ptr (Nounce ChaCha20) -> Int -> IO () 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 #
Encodable (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Nounce ChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Nounce ChaCha20) Source # unsafeFromByteString :: ByteString -> Nounce ChaCha20 Source #
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 #
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 Nounce ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Nounce ChaCha20 = Nounce (Tuple 3 WORD)
newtype Key ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key ChaCha20 = Key KEY
type WordType ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal type WordType ChaCha20
type WordsPerBlock ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal type WordsPerBlock ChaCha20 = 16

data XChaCha20 Source #

The type associated with the XChaCha20 variant.

Constructors

XChaCha20

Instances

Instances details

Primitive XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Associated Types type WordType XChaCha20 Source # type WordsPerBlock XChaCha20 :: Nat Source #
Show (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Nounce XChaCha20 -> ShowS # show :: Nounce XChaCha20 -> String # showList :: [Nounce XChaCha20] -> 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 #
IsString (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Nounce XChaCha20 #
IsString (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key XChaCha20 #
Storable (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods sizeOf :: Nounce XChaCha20 -> Int # alignment :: Nounce XChaCha20 -> Int # peekElemOff :: Ptr (Nounce XChaCha20) -> Int -> IO (Nounce XChaCha20) # pokeElemOff :: Ptr (Nounce XChaCha20) -> Int -> Nounce XChaCha20 -> IO () # peekByteOff :: Ptr b -> Int -> IO (Nounce XChaCha20) # pokeByteOff :: Ptr b -> Int -> Nounce XChaCha20 -> IO () # peek :: Ptr (Nounce XChaCha20) -> IO (Nounce XChaCha20) # poke :: Ptr (Nounce XChaCha20) -> Nounce XChaCha20 -> 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 () #
EndianStore (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Nounce XChaCha20) -> Nounce XChaCha20 -> IO () Source # load :: Ptr (Nounce XChaCha20) -> IO (Nounce XChaCha20) Source # adjustEndian :: Ptr (Nounce XChaCha20) -> 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 #
Encodable (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Nounce XChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Nounce XChaCha20) Source # unsafeFromByteString :: ByteString -> Nounce XChaCha20 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 #
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 Nounce XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Nounce XChaCha20 = XNounce (Tuple 6 WORD)
newtype Key XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key XChaCha20 = XKey KEY
type WordType XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal type WordType XChaCha20
type WordsPerBlock XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal type WordsPerBlock XChaCha20 = 16

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 #
Eq (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods (==) :: Key ChaCha20 -> Key ChaCha20 -> Bool # (/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool #
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 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 (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 #
IsString (Key XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key XChaCha20 #
IsString (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Key ChaCha20 #
IsString (Key (Keyed prim)) Source #
Instance details Defined in Raaz.Primitive.Keyed.Internal Methods fromString :: String -> Key (Keyed prim) #
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 () #
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 () #
Equality (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods eq :: Key ChaCha20 -> Key ChaCha20 -> Result 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 #
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 #
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 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 (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 #
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 XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key XChaCha20 = XKey KEY
newtype Key ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Key ChaCha20 = Key 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

data family Nounce p :: Type Source #

In addition to keys, certain primitives require nounces that can be public but needs to be distinct across different uses when sharing the key. The type family that captures the nounce for a primitive (if it requires one).

Instances

Instances details

Initialisable ChaCha20Mem (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Nounce ChaCha20 -> ChaCha20Mem -> IO () Source #
Eq (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods (==) :: Nounce ChaCha20 -> Nounce ChaCha20 -> Bool # (/=) :: Nounce ChaCha20 -> Nounce ChaCha20 -> Bool #
Show (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Nounce XChaCha20 -> ShowS # show :: Nounce XChaCha20 -> String # showList :: [Nounce XChaCha20] -> ShowS #
Show (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods showsPrec :: Int -> Nounce ChaCha20 -> ShowS # show :: Nounce ChaCha20 -> String # showList :: [Nounce ChaCha20] -> ShowS #
IsString (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Nounce XChaCha20 #
IsString (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods fromString :: String -> Nounce ChaCha20 #
Storable (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods sizeOf :: Nounce XChaCha20 -> Int # alignment :: Nounce XChaCha20 -> Int # peekElemOff :: Ptr (Nounce XChaCha20) -> Int -> IO (Nounce XChaCha20) # pokeElemOff :: Ptr (Nounce XChaCha20) -> Int -> Nounce XChaCha20 -> IO () # peekByteOff :: Ptr b -> Int -> IO (Nounce XChaCha20) # pokeByteOff :: Ptr b -> Int -> Nounce XChaCha20 -> IO () # peek :: Ptr (Nounce XChaCha20) -> IO (Nounce XChaCha20) # poke :: Ptr (Nounce XChaCha20) -> Nounce XChaCha20 -> IO () #
Storable (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods sizeOf :: Nounce ChaCha20 -> Int # alignment :: Nounce ChaCha20 -> Int # peekElemOff :: Ptr (Nounce ChaCha20) -> Int -> IO (Nounce ChaCha20) # pokeElemOff :: Ptr (Nounce ChaCha20) -> Int -> Nounce ChaCha20 -> IO () # peekByteOff :: Ptr b -> Int -> IO (Nounce ChaCha20) # pokeByteOff :: Ptr b -> Int -> Nounce ChaCha20 -> IO () # peek :: Ptr (Nounce ChaCha20) -> IO (Nounce ChaCha20) # poke :: Ptr (Nounce ChaCha20) -> Nounce ChaCha20 -> IO () #
Equality (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods eq :: Nounce ChaCha20 -> Nounce ChaCha20 -> Result Source #
EndianStore (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Nounce XChaCha20) -> Nounce XChaCha20 -> IO () Source # load :: Ptr (Nounce XChaCha20) -> IO (Nounce XChaCha20) Source # adjustEndian :: Ptr (Nounce XChaCha20) -> Int -> IO () Source #
EndianStore (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods store :: Ptr (Nounce ChaCha20) -> Nounce ChaCha20 -> IO () Source # load :: Ptr (Nounce ChaCha20) -> IO (Nounce ChaCha20) Source # adjustEndian :: Ptr (Nounce ChaCha20) -> Int -> IO () Source #
Encodable (Nounce XChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Nounce XChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Nounce XChaCha20) Source # unsafeFromByteString :: ByteString -> Nounce XChaCha20 Source #
Encodable (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods toByteString :: Nounce ChaCha20 -> ByteString Source # fromByteString :: ByteString -> Maybe (Nounce ChaCha20) Source # unsafeFromByteString :: ByteString -> Nounce ChaCha20 Source #
newtype Nounce XChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Nounce XChaCha20 = XNounce (Tuple 6 WORD)
newtype Nounce ChaCha20 Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal newtype Nounce ChaCha20 = Nounce (Tuple 3 WORD)

data ChaCha20Mem Source #

The memory element used by chacha20. This memory is an instance of WriteAccessible where the key portion of the memory can be written into.

Constructors

ChaCha20Mem
Fields keyCell :: MemoryCell (Key ChaCha20) ivCell :: MemoryCell (Nounce ChaCha20) counterCell :: MemoryCell WORD

Instances

Instances details

WriteAccessible ChaCha20Mem Source #	Writes into the key portion.
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods writeAccess :: ChaCha20Mem -> [Access] Source # afterWriteAdjustment :: ChaCha20Mem -> IO () Source #
Memory ChaCha20Mem Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods memoryAlloc :: Alloc ChaCha20Mem Source # unsafeToPointer :: ChaCha20Mem -> Ptr Word8 Source #
Extractable ChaCha20Mem (BlockCount ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods extract :: ChaCha20Mem -> IO (BlockCount ChaCha20) Source #
Initialisable ChaCha20Mem (BlockCount ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: BlockCount ChaCha20 -> ChaCha20Mem -> IO () Source #
Initialisable ChaCha20Mem (Nounce ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Nounce ChaCha20 -> ChaCha20Mem -> IO () Source #
Initialisable ChaCha20Mem (Key ChaCha20) Source #
Instance details Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Key ChaCha20 -> ChaCha20Mem -> IO () Source #

keyCellPtr :: ChaCha20Mem -> Ptr (Key ChaCha20) Source #

The pointer into the chacha memory where the key is stored.

ivCellPtr :: ChaCha20Mem -> Ptr (Nounce ChaCha20) Source #

The pointer into the chacha memory where the iv is stored.

counterCellPtr :: ChaCha20Mem -> Ptr WORD Source #

The pointer in the chacha memory where the counter is stored.