Crypto.Noise.Internal.CipherState

Documentation

data CipherState c

Constructors

CipherState

Fields

• _csk :: Maybe (SymmetricKey c)
• _csn :: Nonce c

Instances

Show (CipherState c)

Methods

showsPrec :: Int -> CipherState c -> ShowS

show :: CipherState c -> String

showList :: [CipherState c] -> ShowS

csn :: forall c. Lens' (CipherState c) (Nonce c)

csk :: forall c. Lens' (CipherState c) (Maybe (SymmetricKey c))

cipherState :: Cipher c => Maybe (SymmetricKey c) -> CipherState c

Creates a new CipherState with an optional symmetric key and a zero nonce.

encryptWithAd :: (MonadThrow m, Cipher c) => AssocData -> Plaintext -> CipherState c -> m (Ciphertext c, CipherState c)

Encrypts the provided plaintext and increments the nonce. If this CipherState does not have a key associated with it, the plaintext will be returned.

decryptWithAd :: (MonadThrow m, Cipher c) => AssocData -> Ciphertext c -> CipherState c -> m (Plaintext, CipherState c)

Decrypts the provided ciphertext and increments the nonce. If this CipherState does not have a key associated with it, the ciphertext will be returned. If the CipherState does have a key and decryption fails, a DecryptionError will be returned.

rekey :: Cipher c => CipherState c -> CipherState c

Rekeys the CipherState. If a key has not been established yet, the CipherState is returned unmodified.

validNonce :: Cipher c => CipherState c -> Bool

Tests whether the Nonce contained within a CipherState is valid (less than the maximum allowed).