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

Deferred patterns

noiseNK1 :: HandshakePattern

@Noise_NK1: <- s ... -> e <- e, ee, es

noiseNX1 :: HandshakePattern

@Noise_NX1: -> e <- e, ee, s -> es

noiseX1N :: HandshakePattern

@Noise_X1N: -> e <- e, ee -> s <- se

noiseX1K :: HandshakePattern

@Noise_X1K: <- s ... -> e, es <- e, ee -> s <- se

noiseXK1 :: HandshakePattern

@Noise_XK1: <- s ... -> e <- e, ee, es -> s, se

noiseX1K1 :: HandshakePattern

@Noise_X1K1: <- s ... -> e <- e, ee, es -> s <- se

noiseX1X :: HandshakePattern

@Noise_X1X -> e <- e, ee, s, es -> s <- se

noiseXX1 :: HandshakePattern

@Noise_XX1: -> e <- e, ee, s -> es, s, se

noiseX1X1 :: HandshakePattern

@Noise_X1X1: -> e <- e, ee, s -> es, s <- se

noiseK1N :: HandshakePattern

@Noise_K1N: -> s ... -> e <- e, ee -> se

noiseK1K :: HandshakePattern

@Noise_K1K: -> s <- s ... -> e, es <- e, ee -> se

noiseKK1 :: HandshakePattern

@Noise_KK1: -> s <- s ... -> e <- e, ee, se, es

noiseK1K1 :: HandshakePattern

@Noise_K1K1: -> s <- s ... -> e <- e, ee, es -> se

noiseK1X :: HandshakePattern

@Noise_K1X -> s ... -> e <- e, ee, s, es -> se

noiseKX1 :: HandshakePattern

@Noise_KX1 -> s ... -> e <- e, ee, se, s -> es

noiseK1X1 :: HandshakePattern

@Noise_K1X1: -> s ... -> e <- e, ee, s -> se, es

noiseI1N :: HandshakePattern

@Noise_I1N: -> e, s <- e, ee -> se

noiseI1K :: HandshakePattern

@Noise_I1K: <- s ... -> e, es, s <- e, ee -> se

noiseIK1 :: HandshakePattern

@Noise_IK1: <- s ... -> e, s <- e, ee, se, es

noiseI1K1 :: HandshakePattern

@Noise_I1K1: <- s ... -> e, s <- e, ee, es -> se

noiseI1X :: HandshakePattern

@Noise_I1X: -> e, s <- e, ee, s, es -> se

noiseIX1 :: HandshakePattern

@Noise_IX1: -> e, s <- e, ee, se, s -> es

noiseI1X1 :: HandshakePattern

@Noise_I1X1: -> e, s <- e, ee, s -> se, es