/*
This file is part of GNUnet.
- Copyright (C) 2001 - 2011 GNUnet e.V.
+ Copyright (C) 2007 - 2017 GNUnet e.V.
GNUnet is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published
*/
/**
- * @author Bartlomiej Polot
* @file cadet/cadet_protocol.h
+ * @brief P2P messages used by CADET
+ * @author Bartlomiej Polot
+ * @author Christian Grothoff
*/
#ifndef CADET_PROTOCOL_H_
GNUNET_NETWORK_STRUCT_BEGIN
+
+/******************************************************************************/
+/***************************** CONNECTION **********************************/
+/******************************************************************************/
+
+
/**
* Message for cadet connection creation.
*/
-struct GNUNET_CADET_ConnectionCreate
+struct GNUNET_CADET_ConnectionCreateMessage
{
/**
* Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_CREATE
*
- * Size: sizeof (struct GNUNET_CADET_ConnectionCreate) +
+ * Size: sizeof (struct GNUNET_CADET_ConnectionCreateMessage) +
* path_length * sizeof (struct GNUNET_PeerIdentity)
*/
struct GNUNET_MessageHeader header;
/**
- * For alignment.
+ * Connection options in network byte order.
+ * #GNUNET_CADET_OPTION_DEFAULT for buffered;
+ * #GNUNET_CADET_OPTION_NOBUFFER for unbuffered.
+ * Other flags are ignored and should not be set at this level.
*/
- uint32_t reserved GNUNET_PACKED;
-
+ uint32_t options GNUNET_PACKED;
+
/**
* ID of the connection
*/
- struct GNUNET_CADET_Hash cid;
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
/**
* path_length structs defining the *whole* path from the origin [0] to the
/**
* Message for ack'ing a connection
*/
-struct GNUNET_CADET_ConnectionACK
+struct GNUNET_CADET_ConnectionCreateAckMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_ACK
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_CREATE_ACK
*/
struct GNUNET_MessageHeader header;
/**
* ID of the connection.
*/
- struct GNUNET_CADET_Hash cid;
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
};
/**
- * Message for encapsulation of a Key eXchange message in a connection.
+ * Message for notifying a disconnection in a path
+ */
+struct GNUNET_CADET_ConnectionBrokenMessage
+{
+ /**
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_BROKEN.
+ */
+ struct GNUNET_MessageHeader header;
+
+ /**
+ * For alignment.
+ */
+ uint32_t reserved GNUNET_PACKED;
+
+ /**
+ * ID of the connection.
+ */
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
+
+ /**
+ * ID of the endpoint
+ */
+ struct GNUNET_PeerIdentity peer1;
+
+ /**
+ * ID of the endpoint
+ */
+ struct GNUNET_PeerIdentity peer2;
+};
+
+
+/**
+ * Message to destroy a connection.
*/
-struct GNUNET_CADET_KX
+struct GNUNET_CADET_ConnectionDestroyMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_KX.
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_DESTROY
*/
struct GNUNET_MessageHeader header;
-
+
/**
* For alignment.
*/
/**
* ID of the connection.
*/
- struct GNUNET_CADET_Hash cid;
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
+};
+
- /* Specific KX message follows. */
+/******************************************************************************/
+/******************************* TUNNEL ***********************************/
+/******************************************************************************/
+
+/**
+ * Unique identifier (counter) for an encrypted message in a channel.
+ * Used to match #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_HOP_BY_HOP_ENCRYPTED_ACK
+ * and #GNUNET_MESSAGE_TYPE_CADET_TUNNEL_ENCRYPTED_POLL messages
+ * against the respective #GNUNET_MESSAGE_TYPE_CADET_TUNNEL_ENCRYPTED
+ * messages.
+ */
+struct CadetEncryptedMessageIdentifier
+{
+ /**
+ * This number is incremented by one per message. It may wrap around.
+ * In network byte order.
+ */
+ uint32_t pid GNUNET_PACKED;
};
/**
- * Flags to be used in GNUNET_CADET_AX_KX.
+ * Flags to be used in GNUNET_CADET_KX.
*/
-enum GNUNET_CADET_AX_KX_Flags {
+enum GNUNET_CADET_KX_Flags {
/**
* Should the peer reply with its KX details?
*/
- GNUNET_CADET_AX_KX_FLAG_NONE = 0,
+ GNUNET_CADET_KX_FLAG_NONE = 0,
/**
* The peer should reply with its KX details?
*/
- GNUNET_CADET_AX_KX_FLAG_FORCE_REPLY = 1
+ GNUNET_CADET_KX_FLAG_FORCE_REPLY = 1
};
/**
- * Message for encapsulation of a Key eXchange message in a connection.
+ * Message for a Key eXchange for a tunnel.
*/
-struct GNUNET_CADET_AX_KX
+struct GNUNET_CADET_TunnelKeyExchangeMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_AX_KX.
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_TUNNEL_KX or
+ * #GNUNET_MESSAGE_TYPE_CADET_TUNNEL_KX_AUTH as part
+ * of `struct GNUNET_CADET_TunnelKeyExchangeAuthMessage`.
*/
struct GNUNET_MessageHeader header;
/**
* Flags for the key exchange in NBO, based on
- * `enum GNUNET_CADET_AX_KX_Flags`.
+ * `enum GNUNET_CADET_KX_Flags`.
*/
uint32_t flags GNUNET_PACKED;
+ /**
+ * ID of the connection.
+ */
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
+
/**
* Sender's ephemeral public ECC key encoded in a
* format suitable for network transmission, as created
* using 'gcry_sexp_sprint'.
*/
struct GNUNET_CRYPTO_EcdhePublicKey ratchet_key;
+
};
/**
- * Axolotl tunnel message.
+ * Message for a Key eXchange for a tunnel, with authentication.
+ * Used as a response to the initial KX as well as for rekeying.
*/
-struct GNUNET_CADET_AX
+struct GNUNET_CADET_TunnelKeyExchangeAuthMessage
{
- /**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_AXOLOTL_DATA
- */
- struct GNUNET_MessageHeader header;
/**
- * ID of the packet (hop by hop).
+ * Message header with key material.
*/
- uint32_t pid GNUNET_PACKED;
+ struct GNUNET_CADET_TunnelKeyExchangeMessage kx;
/**
- * ID of the connection.
+ * KDF-proof that sender could compute the 3-DH, used in lieu of a
+ * signature or payload data.
*/
- struct GNUNET_CADET_Hash cid;
+ struct GNUNET_HashCode auth;
- /**
- * MAC of the encrypted message, used to verify message integrity.
- * Everything after this value will be encrypted with the header key
- * and authenticated.
- */
- struct GNUNET_CADET_Hash hmac;
+};
- /**************** AX_HEADER start ****************/
+
+/**
+ * Encrypted axolotl header with numbers that identify which
+ * keys in which ratchet are to be used to decrypt the body.
+ */
+struct GNUNET_CADET_AxHeader
+{
/**
* Number of messages sent with the current ratchet key.
*/
struct GNUNET_CRYPTO_EcdhePublicKey DHRs;
- /**************** AX_HEADER end ****************/
-
- /**
- * Encrypted content follows.
- */
};
/**
- * Message to create a Channel.
+ * Axolotl-encrypted tunnel message with application payload.
*/
-struct GNUNET_CADET_ChannelCreate
+struct GNUNET_CADET_TunnelEncryptedMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_CREATE
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_TUNNEL_ENCRYPTED
*/
struct GNUNET_MessageHeader header;
/**
- * Channel options.
+ * Reserved, for alignment.
*/
- uint32_t opt GNUNET_PACKED;
+ uint32_t reserved GNUNET_PACKED;
/**
- * Destination port.
+ * ID of the connection.
*/
- struct GNUNET_HashCode port;
+ struct GNUNET_CADET_ConnectionTunnelIdentifier cid;
/**
- * ID of the channel
+ * MAC of the encrypted message, used to verify message integrity.
+ * Everything after this value will be encrypted with the header key
+ * and authenticated.
*/
- CADET_ChannelNumber chid GNUNET_PACKED;
-};
+ struct GNUNET_ShortHashCode hmac;
-
-/**
- * Message to manage a Channel (ACK, NACK, Destroy).
- */
-struct GNUNET_CADET_ChannelManage
-{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_{ACK|NACK|DESTROY}
+ * Axolotl-header that specifies which keys to use in which ratchet
+ * to decrypt the body that follows.
*/
- struct GNUNET_MessageHeader header;
+ struct GNUNET_CADET_AxHeader ax_header;
/**
- * ID of the channel
+ * Encrypted content follows.
*/
- CADET_ChannelNumber chid GNUNET_PACKED;
};
+/******************************************************************************/
+/******************************* CHANNEL ***********************************/
+/******************************************************************************/
+
+
/**
- * Message for cadet data traffic.
+ * Message to create a Channel.
*/
-struct GNUNET_CADET_Data
+struct GNUNET_CADET_ChannelOpenMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_UNICAST,
- * #GNUNET_MESSAGE_TYPE_CADET_TO_ORIGIN
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_OPEN
*/
struct GNUNET_MessageHeader header;
/**
- * Unique ID of the payload message
+ * Channel options.
*/
- uint32_t mid GNUNET_PACKED;
+ uint32_t opt GNUNET_PACKED;
/**
- * ID of the channel
+ * Hash of destination port and listener.
*/
- CADET_ChannelNumber chid GNUNET_PACKED;
+ struct GNUNET_HashCode h_port;
/**
- * Payload follows
+ * ID of the channel within the tunnel.
*/
+ struct GNUNET_CADET_ChannelTunnelNumber ctn;
};
/**
- * Message to acknowledge end-to-end data.
+ * Message to acknowledge opening a channel of type
+ * #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_OPEN_ACK.
*/
-struct GNUNET_CADET_DataACK
+struct GNUNET_CADET_ChannelOpenAckMessage
{
/**
- * Type: GNUNET_MESSAGE_TYPE_CADET_DATA_ACK
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_OPEN_ACK
*/
struct GNUNET_MessageHeader header;
/**
- * ID of the channel
+ * For alignment.
*/
- CADET_ChannelNumber chid GNUNET_PACKED;
+ uint32_t reserved GNUNET_PACKED;
/**
- * Bitfield of already-received newer messages
- * pid + 1 @ LSB
- * pid + 64 @ MSB
+ * ID of the channel
*/
- uint64_t futures GNUNET_PACKED;
+ struct GNUNET_CADET_ChannelTunnelNumber ctn;
/**
- * Last message ID received.
+ * Port number of the channel, used to prove to the
+ * initiator that the receiver knows the port.
*/
- uint32_t mid GNUNET_PACKED;
+ struct GNUNET_HashCode port;
};
/**
- * Message to acknowledge cadet encrypted traffic.
+ * Message to destroy a channel of type
+ * #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_DESTROY.
*/
-struct GNUNET_CADET_ACK
+struct GNUNET_CADET_ChannelDestroyMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_ACK
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_DESTROY
*/
struct GNUNET_MessageHeader header;
/**
- * Maximum packet ID authorized.
+ * For alignment.
*/
- uint32_t ack GNUNET_PACKED;
+ uint32_t reserved GNUNET_PACKED;
/**
- * ID of the connection.
+ * ID of the channel
*/
- struct GNUNET_CADET_Hash cid;
+ struct GNUNET_CADET_ChannelTunnelNumber ctn;
};
/**
- * Message to query a peer about its Flow Control status regarding a tunnel.
+ * Number used to uniquely identify messages in a CADET Channel.
*/
-struct GNUNET_CADET_Poll
+struct ChannelMessageIdentifier
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_POLL
- */
- struct GNUNET_MessageHeader header;
-
- /**
- * Last packet sent.
- */
- uint32_t pid GNUNET_PACKED;
-
- /**
- * ID of the connection.
+ * Unique ID of the message, cycles around, in NBO.
*/
- struct GNUNET_CADET_Hash cid;
-
+ uint32_t mid GNUNET_PACKED;
};
/**
- * Message for notifying a disconnection in a path
+ * Message for cadet data traffic.
*/
-struct GNUNET_CADET_ConnectionBroken
+struct GNUNET_CADET_ChannelAppDataMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_BROKEN
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_APP_DATA.
*/
struct GNUNET_MessageHeader header;
/**
- * For alignment.
- */
- uint32_t reserved GNUNET_PACKED;
-
- /**
- * ID of the connection.
+ * Unique ID of the payload message.
*/
- struct GNUNET_CADET_Hash cid;
+ struct ChannelMessageIdentifier mid;
/**
- * ID of the endpoint
+ * ID of the channel
*/
- struct GNUNET_PeerIdentity peer1;
+ struct GNUNET_CADET_ChannelTunnelNumber ctn;
/**
- * ID of the endpoint
+ * Payload follows
*/
- struct GNUNET_PeerIdentity peer2;
};
/**
- * Message to destroy a connection.
+ * Message to acknowledge end-to-end data.
*/
-struct GNUNET_CADET_ConnectionDestroy
+struct GNUNET_CADET_ChannelDataAckMessage
{
/**
- * Type: #GNUNET_MESSAGE_TYPE_CADET_CONNECTION_DESTROY
+ * Type: #GNUNET_MESSAGE_TYPE_CADET_CHANNEL_APP_DATA_ACK
*/
struct GNUNET_MessageHeader header;
/**
- * For alignment.
+ * ID of the channel
*/
- uint32_t reserved GNUNET_PACKED;
+ struct GNUNET_CADET_ChannelTunnelNumber ctn;
/**
- * ID of the connection.
+ * Bitfield of already-received newer messages. Note that bit 0
+ * corresponds to @e mid + 1.
+ *
+ * pid + 0 @ LSB
+ * pid + 63 @ MSB
+ */
+ uint64_t futures GNUNET_PACKED;
+
+ /**
+ * Next message ID expected.
*/
- struct GNUNET_CADET_Hash cid;
+ struct ChannelMessageIdentifier mid;
};