| Maintainer | John Galt <jgalt@centromere.net> |
|---|---|
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Crypto.Noise.Internal.SymmetricState
Description
- data SymmetricState c h = SymmetricState {
- _ssCipher :: CipherState c
- _ssck :: ChainingKey h
- _ssh :: Either ScrubbedBytes (Digest h)
- ssh :: forall c h. Lens' (SymmetricState c h) (Either ScrubbedBytes (Digest h))
- ssck :: forall c h. Lens' (SymmetricState c h) (ChainingKey h)
- ssCipher :: forall c h c. Lens (SymmetricState c h) (SymmetricState c h) (CipherState c) (CipherState c)
- symmetricState :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h
- mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- mixHash :: Hash h => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- mixKeyAndHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h
- encryptAndHash :: (MonadThrow m, Cipher c, Hash h) => Plaintext -> SymmetricState c h -> m (Ciphertext c, SymmetricState c h)
- decryptAndHash :: (MonadThrow m, Cipher c, Hash h) => Ciphertext c -> SymmetricState c h -> m (Plaintext, SymmetricState c h)
- split :: (Cipher c, Hash h) => SymmetricState c h -> (CipherState c, CipherState c)
- sshBytes :: Hash h => Either ScrubbedBytes (Digest h) -> ScrubbedBytes
Documentation
data SymmetricState c h Source #
Constructors
| SymmetricState | |
Fields
| |
ssh :: forall c h. Lens' (SymmetricState c h) (Either ScrubbedBytes (Digest h)) Source #
ssck :: forall c h. Lens' (SymmetricState c h) (ChainingKey h) Source #
ssCipher :: forall c h c. Lens (SymmetricState c h) (SymmetricState c h) (CipherState c) (CipherState c) Source #
symmetricState :: forall c h. (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h Source #
Creates a new SymmetricState from the given protocol name.
mixKey :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source #
Mixes keying material in to the SymmetricState.
mixHash :: Hash h => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source #
Mixes arbitrary data in to the SymmetricState.
mixKeyAndHash :: (Cipher c, Hash h) => ScrubbedBytes -> SymmetricState c h -> SymmetricState c h Source #
Mixes key material and arbitrary data in to the SymmetricState.
Note that this is not isomorphic to mixHash . mixKey.
encryptAndHash :: (MonadThrow m, Cipher c, Hash h) => Plaintext -> SymmetricState c h -> m (Ciphertext c, SymmetricState c h) Source #
Encrypts the given Plaintext. Note that this may not actually perform encryption if a key has not been established yet, in which case the original plaintext is returned.
decryptAndHash :: (MonadThrow m, Cipher c, Hash h) => Ciphertext c -> SymmetricState c h -> m (Plaintext, SymmetricState c h) Source #
Decrypts the given Ciphertext. Note that this may not actually perform decryption if a key as not been established yet, in which case the original ciphertext is returned.
split :: (Cipher c, Hash h) => SymmetricState c h -> (CipherState c, CipherState c) Source #
Returns a pair of CipherStates for encrypting transport messages. The first CipherState is for encrypting messages from the Initiator to the Responder, and the second is for encrypting messages from the Responder to the Initiator.
sshBytes :: Hash h => Either ScrubbedBytes (Digest h) -> ScrubbedBytes Source #
Utility function to convert the hash state to ScrubbedBytes.