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

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

Functions

noiseNN :: HandshakePattern

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

noiseKN :: HandshakePattern

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

noiseNK :: HandshakePattern

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

noiseKK :: HandshakePattern

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

noiseNE :: HandshakePattern

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

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

noiseKE :: HandshakePattern

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

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

noiseKX :: HandshakePattern

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

noiseXN :: HandshakePattern

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

noiseIN :: HandshakePattern

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

noiseXK :: HandshakePattern

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

noiseIK :: HandshakePattern

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

noiseXE :: HandshakePattern

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

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

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

noiseIX :: HandshakePattern

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

noiseN :: HandshakePattern

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

noiseK :: HandshakePattern

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

noiseX :: HandshakePattern

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

noiseXXfallback :: HandshakePattern

@Noise_XXfallback(s, rs, re): <- e ... -> e, dhee, s, dhse <- s, dhse