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, ee

noiseKN :: HandshakePattern

Noise_KN(s):
  -> s
  ...
  -> e
  <- e, ee, se

noiseNK :: HandshakePattern

Noise_NK(rs):
  <- s
  ...
  -> e, es
  <- e, ee

noiseKK :: HandshakePattern

Noise_KK(s, rs):
  -> s
  <- s
  ...
  -> e, es, ss
  <- e, ee, se

noiseNX :: HandshakePattern

Noise_NX(rs):
  -> e
  <- e, ee, s, es

noiseKX :: HandshakePattern

Noise_KX(s, rs):
  -> s
  ...
  -> e
  <- e, ee, se, s, es

noiseXN :: HandshakePattern

Noise_XN(s):
  -> e
  <- e, ee
  -> s, se

noiseIN :: HandshakePattern

Noise_IN(s):
  -> e, s
  <- e, ee, se

noiseXK :: HandshakePattern

Noise_XK(s, rs):
  <- s
  ...
  -> e, es
  <- e, ee
  -> s, se

noiseIK :: HandshakePattern

Noise_IK(s, rs):
  <- s
  ...
  -> e, es, s, ss
  <- e, ee, se

noiseXX :: HandshakePattern

Noise_XX(s, rs):
  -> e
  <- e, ee, s, es
  -> s, se

noiseIX :: HandshakePattern

Noise_IX(s, rs):
  -> e, s
  <- e, ee, se, s, es

noiseN :: HandshakePattern

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

noiseK :: HandshakePattern

Noise_K(s, rs):
  -> s
  <- s
  ...
  -> e, es, ss

noiseX :: HandshakePattern

Noise_X(s, rs):
  <- s
  ...
  -> e, es, s, ss

noiseXXfallback :: HandshakePattern

@Noise_XXfallback(s, rs, re): <- e ... -> e, ee, s, se <- s, es