cacophony-0.1.0.0: A library implementing the Noise protocol.

MaintainerJohn Galt <centromere@users.noreply.github.com>
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Crypto.Noise.Descriptors

Contents

Description

This module contains all of the descriptors for all the handshakes specified in the protocol. The first two characters of the name represent the handshake the descriptor belongs to (NN, KN, NK, etc). The next character represents whether the descriptor is intended to be used by the Initiator or the Responder. Finally, the number indicates the step of the handshake in which the descriptor is intended to be used. Regular handshake steps begin at 1, but descriptors for pre-messages are numbered 0. The descriptors for pre-messages are intended to be passed to the handshakeState function. The (de-)serialization of pre-messages is beyond the scope of this library, but public keys can be imported/exported using the curveBytesToPub and curvePubToBytes functions.

For example, in Noise_NN, Alice passes noiseNNI1 to writeHandshakeMsg. The resulting ByteString is transmitted to Bob, where he passes the noiseNNR1 descriptor to readHandshakeMsg. This covers the -> e step of the handshake. Next, Bob passes noiseNNR2 to writeHandshakeMsgFinal and transmits the resulting ByteString to Alice. Finally, Alice passes noiseNNI2 to readHandshakeMsgFinal. This covers the <- e, dhee step of the handshake.

Synopsis

Functions

Noise_NN

noiseNNI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseNNR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_KN

noiseKNI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKNR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKNI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseKNR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_NK

noiseNKI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseNKR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseNKI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseNKR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_KK

noiseKKI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKKR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKKI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseKKR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_NE

noiseNEI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseNER0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseNEI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNER1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseNER2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_KE

noiseKEI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKER0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKEI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKER1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseKER2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_NX

noiseNXI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseNXR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseNXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_KX

noiseKXI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKXR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseKXI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseKXR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseKXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_XN

noiseXNI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXNR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXNR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXNI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXNI3 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXNR3 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_IN

noiseINI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseINR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseINR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseINI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_XK

noiseXKI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseXKR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseXKI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXKR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXKI3 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXKR3 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_IK

noiseIKI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseIKR0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseIKI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIKR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseIKR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIKI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_XE

noiseXEI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseXER0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseXEI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXER1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXER2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXEI3 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXER3 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_IE

noiseIEI0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseIER0 :: (Cipher c, Curve d, Hash h) => Descriptor c d h () Source

noiseIEI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIER1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseIER2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIEI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_XX

noiseXXI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXXR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseXXI3 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseXXR3 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

Noise_IX

noiseIXI1 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIXR1 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source

noiseIXR2 :: (Cipher c, Curve d, Hash h) => DescriptorIO c d h ByteString Source

noiseIXI2 :: (Cipher c, Curve d, Hash h) => ByteString -> Descriptor c d h ByteString Source