cacophony-0.3.0: A library implementing the Noise protocol.

Maintainer	John Galt <jgalt@centromere.net>
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Crypto.Noise.MessagePatterns

Contents

Functions
- Noise_NN
- Noise_KN
Noise_NK
Noise_KK
Noise_NE
Noise_KE
Noise_NX
Noise_KX
- Noise_XN
Noise_IN
- Noise_XK
Noise_IK
- Noise_XE
Noise_IE
- Noise_XX
Noise_IX
Noise_N
Noise_K
Noise_X

Description

This module contains all of the message patterns for all the handshakes specified in the protocol. The first two characters of the name represent the handshake the pattern belongs to (NN, KN, NK, etc). The next character represents whether the pattern is intended to be used by the Initiator or the Responder. Finally, the number indicates the step of the handshake in which the pattern is intended to be used. Regular handshake steps begin at 1, but patterns for pre-messages are numbered 0. The patterns for pre-messages are intended to be passed to the handshakeState function. The (de-)serialization of pre-messages is beyond the scope of this library, but public keys can be imported/exported using the curveBytesToPub and curvePubToBytes functions.

Synopsis

Functions

Noise_NN

noiseNNI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseNNR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_KN

noiseKNI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKNR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKNI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseKNR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_NK

noiseNKI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNKR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNKI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseNKR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_KK

noiseKKI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKKR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKKI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseKKR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_NE

noiseNEI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNER0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNEI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNER1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseNER2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_KE

noiseKEI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKER0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKEI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKER1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseKER2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_NX

noiseNXI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseNXR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_KX

noiseKXI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKXR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKXI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseKXR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_XN

noiseXNI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXNR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXNI3 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXNR3 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_IN

noiseINI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseINR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseINR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseINI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_XK

noiseXKI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXKR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXKI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXKR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXKI3 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXKR3 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_IK

noiseIKI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseIKR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseIKI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseIKR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_XE

noiseXEI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXER0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXEI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXER1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXER2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXEI3 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXER3 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_IE

noiseIEI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseIER0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseIEI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIER1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseIER2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_XX

noiseXXI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXXR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseXXI3 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXXR3 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_IX

noiseIXI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

noiseIXR2 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseIXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_N

noiseNI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseNI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_K

noiseKI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseKI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source

Noise_X

noiseXI0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXR0 :: (Cipher c, Curve d, Hash h) => MessagePattern c d h () Source

noiseXI1 :: (Cipher c, Curve d, Hash h) => MessagePatternIO c d h ByteString Source

noiseXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> MessagePattern c d h ByteString Source