Crypto.Noise.HandshakePatterns

This module contains all of the handshake patterns specified in sections 8.2 and 8.3 as well as unspecified patterns found in previous drafts of the protocol.

Types

data HandshakePattern c

This type represents a single handshake pattern and is implemented as a Free Monad.

Functions

noiseNN :: HandshakePattern c

Noise_NN():
  -> e
  <- e, dhee

noiseKN :: HandshakePattern c

Noise_KN(s):
  -> s
  ...
  -> e
  <- e, dhee, dhes

noiseNK :: HandshakePattern c

Noise_NK(rs):
  <- s
  ...
  -> e, dhes
  <- e, dhee

noiseKK :: HandshakePattern c

Noise_KK(s, rs):
  -> s
  <- s
  ...
  -> e, dhes, dhss
  <- e, dhee, dhes

noiseNE :: HandshakePattern c

Noise_NE(rs, re):
  <- s, e
  ...
  -> e, dhee, dhes
  <- e, dhee

This is not an officially recognized pattern (see section 8.6).

noiseKE :: HandshakePattern c

Noise_KE(s, rs, re):
  -> s
  <- s, e
  ...
  -> e, dhee, dhes, dhse
  <- e, dhee, dhes

This is not an officially recognized pattern (see section 8.6).

noiseNX :: HandshakePattern c

Noise_NX(rs):
  -> e
  <- e, dhee, s, dhse

noiseKX :: HandshakePattern c

Noise_KX(s, rs):
  -> s
  ...
  -> e
  <- e, dhee, dhes, s, dhse

noiseXN :: HandshakePattern c

Noise_XN(s):
  -> e
  <- e, dhee
  -> s, dhse

noiseIN :: HandshakePattern c

Noise_IN(s):
  -> e, s
  <- e, dhee, dhes

noiseXK :: HandshakePattern c

Noise_XK(s, rs):
  <- s
  ...
  -> e, dhes
  <- e, dhee
  -> s, dhse

noiseIK :: HandshakePattern c

Noise_IK(s, rs):
  <- s
  ...
  -> e, dhes, s, dhss
  <- e, dhee, dhes

noiseXE :: HandshakePattern c

Noise_XE(s, rs, re):
  <- s, e
  ...
  -> e, dhee, dhes
  <- e, dhee
  -> s, dhse

This is not an officially recognized pattern (see section 8.6).

noiseIE :: HandshakePattern c

Noise_IE(s, rs, re):
  <- s, e
  ...
  -> e, dhee, dhes, s, dhse
  <- e, dhee, dhes

This is not an officially recognized pattern (see section 8.6).

noiseXX :: HandshakePattern c

Noise_XX(s, rs):
  -> e
  <- e, dhee, s, dhse
  -> s, dhse

noiseIX :: HandshakePattern c

Noise_IX(s, rs):
  -> e, s
  <- e, dhee, dhes, s, dhse

noiseXR :: HandshakePattern c

Noise_XR(s, rs):
  -> e
  <- e, dhee
  -> s, dhse
  <- s, dhse

noiseN :: HandshakePattern c

Noise_N(rs):
  <- s
  ...
  -> e, dhes

noiseK :: HandshakePattern c

Noise_K(s, rs):
  -> s
  <- s
  ...
  -> e, dhes, dhss

noiseX :: HandshakePattern c

Noise_X(s, rs):
  <- s
  ...
  -> e, dhes, s, dhss