Crypto.Noise.HandshakePatterns

This module contains all of the handshake patterns specified in sections 7.2, 7.3, and 9.4.

Standard patterns

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

PSK patterns

noiseNNpsk0 :: HandshakePattern

Noise_NNpsk0():
  -> psk, e
  <- e, ee

noiseNNpsk2 :: HandshakePattern

Noise_NNpsk2():
  -> e
  <- e, ee, psk

noiseNKpsk0 :: HandshakePattern

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

noiseNKpsk2 :: HandshakePattern

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

noiseNXpsk2 :: HandshakePattern

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

noiseXNpsk3 :: HandshakePattern

Noise_XNpsk3(s):
  -> e
  <- e, ee
  -> s, se, psk

noiseXKpsk3 :: HandshakePattern

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

noiseXXpsk3 :: HandshakePattern

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

noiseKNpsk0 :: HandshakePattern

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

noiseKNpsk2 :: HandshakePattern

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

noiseKKpsk0 :: HandshakePattern

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

noiseKKpsk2 :: HandshakePattern

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

noiseKXpsk2 :: HandshakePattern

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

noiseINpsk1 :: HandshakePattern

Noise_INpsk1(s):
  -> e, s, psk
  <- e, ee, se

noiseINpsk2 :: HandshakePattern

Noise_INpsk2(s):
  -> e, s
  <- e, ee, se, psk

noiseIKpsk1 :: HandshakePattern

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

noiseIKpsk2 :: HandshakePattern

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

noiseIXpsk2 :: HandshakePattern

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

noiseNpsk0 :: HandshakePattern

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

noiseKpsk0 :: HandshakePattern

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

noiseXpsk1 :: HandshakePattern

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