header.go 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231
  1. package header
  2. import (
  3. "encoding/binary"
  4. "encoding/json"
  5. "errors"
  6. "fmt"
  7. )
  8. //Version 1 header:
  9. // 0 31
  10. // |-----------------------------------------------------------------------|
  11. // | Version (uint4) | Type (uint4) | Subtype (uint8) | Reserved (uint16) | 32
  12. // |-----------------------------------------------------------------------|
  13. // | Remote index (uint32) | 64
  14. // |-----------------------------------------------------------------------|
  15. // | Message counter | 96
  16. // | (uint64) | 128
  17. // |-----------------------------------------------------------------------|
  18. // | payload... |
  19. type m = map[string]any
  20. const (
  21. Version uint8 = 1
  22. Len = 16
  23. // MaxOverhead is the most a payload grows on its way to the underlay.
  24. // A relayed packet has two headers and two AEAD tags, one for the inner tunnel and another for the relay tunnel.
  25. // Every supported cipher (today) has a 16 byte tag.
  26. MaxOverhead = 2 * (Len + 16)
  27. )
  28. type MessageType uint8
  29. type MessageSubType uint8
  30. const (
  31. Handshake MessageType = 0
  32. Message MessageType = 1
  33. RecvError MessageType = 2
  34. LightHouse MessageType = 3
  35. Test MessageType = 4
  36. CloseTunnel MessageType = 5
  37. Control MessageType = 6
  38. )
  39. var typeMap = map[MessageType]string{
  40. Handshake: "handshake",
  41. Message: "message",
  42. RecvError: "recvError",
  43. LightHouse: "lightHouse",
  44. Test: "test",
  45. CloseTunnel: "closeTunnel",
  46. Control: "control",
  47. }
  48. const (
  49. MessageNone MessageSubType = 0
  50. MessageRelay MessageSubType = 1
  51. )
  52. const (
  53. TestRequest MessageSubType = 0
  54. TestReply MessageSubType = 1
  55. )
  56. const (
  57. HandshakeIXPSK0 MessageSubType = 0
  58. HandshakeXXPSK0 MessageSubType = 1
  59. // HandshakeIXPSK2MLKEM1024 is IX with an ephemeral ML-KEM-1024 exchange mixed
  60. // in through the psk2 slot. Its messages exceed the MTU and travel as
  61. // fragments (see handshake/fragment).
  62. HandshakeIXPSK2MLKEM1024 MessageSubType = 2
  63. )
  64. // IsFragmented reports whether handshake messages of this subtype travel as
  65. // fragments.
  66. func IsFragmented(st MessageSubType) bool {
  67. return st == HandshakeIXPSK2MLKEM1024
  68. }
  69. var ErrHeaderTooShort = errors.New("header is too short")
  70. var subTypeTestMap = map[MessageSubType]string{
  71. TestRequest: "testRequest",
  72. TestReply: "testReply",
  73. }
  74. var subTypeNoneMap = map[MessageSubType]string{0: "none"}
  75. var subTypeMap = map[MessageType]*map[MessageSubType]string{
  76. Message: {
  77. MessageNone: "none",
  78. MessageRelay: "relay",
  79. },
  80. RecvError: &subTypeNoneMap,
  81. LightHouse: &subTypeNoneMap,
  82. Test: &subTypeTestMap,
  83. CloseTunnel: &subTypeNoneMap,
  84. Handshake: {
  85. HandshakeIXPSK0: "ix_psk0",
  86. HandshakeIXPSK2MLKEM1024: "ix_psk2_mlkem1024",
  87. },
  88. Control: &subTypeNoneMap,
  89. }
  90. type H struct {
  91. Version uint8
  92. Type MessageType
  93. Subtype MessageSubType
  94. Reserved uint16
  95. RemoteIndex uint32
  96. MessageCounter uint64
  97. }
  98. // Encode uses the provided byte array to encode the provided header values into.
  99. // Byte array must be capped higher than HeaderLen or this will panic
  100. func Encode(b []byte, v uint8, t MessageType, st MessageSubType, ri uint32, c uint64) []byte {
  101. b = b[:Len]
  102. b[0] = v<<4 | byte(t&0x0f)
  103. b[1] = byte(st)
  104. binary.BigEndian.PutUint16(b[2:4], 0)
  105. binary.BigEndian.PutUint32(b[4:8], ri)
  106. binary.BigEndian.PutUint64(b[8:16], c)
  107. return b
  108. }
  109. // String creates a readable string representation of a header
  110. func (h *H) String() string {
  111. if h == nil {
  112. return "<nil>"
  113. }
  114. return fmt.Sprintf("ver=%d type=%s subtype=%s reserved=%#x remoteindex=%v messagecounter=%v",
  115. h.Version, h.TypeName(), h.SubTypeName(), h.Reserved, h.RemoteIndex, h.MessageCounter)
  116. }
  117. // MarshalJSON creates a json string representation of a header
  118. func (h *H) MarshalJSON() ([]byte, error) {
  119. return json.Marshal(m{
  120. "version": h.Version,
  121. "type": h.TypeName(),
  122. "subType": h.SubTypeName(),
  123. "reserved": h.Reserved,
  124. "remoteIndex": h.RemoteIndex,
  125. "messageCounter": h.MessageCounter,
  126. })
  127. }
  128. // Encode turns header into bytes
  129. func (h *H) Encode(b []byte) ([]byte, error) {
  130. if h == nil {
  131. return nil, errors.New("nil header")
  132. }
  133. return Encode(b, h.Version, h.Type, h.Subtype, h.RemoteIndex, h.MessageCounter), nil
  134. }
  135. // Parse is a helper function to parses given bytes into new Header struct
  136. func (h *H) Parse(b []byte) error {
  137. if len(b) < Len {
  138. return ErrHeaderTooShort
  139. }
  140. // get upper 4 bytes
  141. h.Version = uint8((b[0] >> 4) & 0x0f)
  142. // get lower 4 bytes
  143. h.Type = MessageType(b[0] & 0x0f)
  144. h.Subtype = MessageSubType(b[1])
  145. h.Reserved = binary.BigEndian.Uint16(b[2:4])
  146. h.RemoteIndex = binary.BigEndian.Uint32(b[4:8])
  147. h.MessageCounter = binary.BigEndian.Uint64(b[8:16])
  148. return nil
  149. }
  150. // TypeName will transform the headers message type into a human string
  151. func (h *H) TypeName() string {
  152. return TypeName(h.Type)
  153. }
  154. // TypeName will transform a nebula message type into a human string
  155. func TypeName(t MessageType) string {
  156. if n, ok := typeMap[t]; ok {
  157. return n
  158. }
  159. return "unknown"
  160. }
  161. // SubTypeName will transform the headers message sub type into a human string
  162. func (h *H) SubTypeName() string {
  163. return SubTypeName(h.Type, h.Subtype)
  164. }
  165. func (h *H) IsValidSubType() bool {
  166. return IsValidSubType(h.Type, h.Subtype)
  167. }
  168. // SubTypeName will transform a nebula message sub type into a human string
  169. func SubTypeName(t MessageType, s MessageSubType) string {
  170. if n, ok := subTypeMap[t]; ok {
  171. if x, ok := (*n)[s]; ok {
  172. return x
  173. }
  174. }
  175. return "unknown"
  176. }
  177. func IsValidSubType(t MessageType, s MessageSubType) bool {
  178. switch t {
  179. case Message:
  180. return s == MessageNone || s == MessageRelay
  181. case Handshake:
  182. return s == HandshakeIXPSK0 || s == HandshakeIXPSK2MLKEM1024
  183. case Test:
  184. return s == TestReply || s == TestRequest
  185. case Control, CloseTunnel, RecvError, LightHouse:
  186. return s == 0
  187. default:
  188. return false
  189. }
  190. }
  191. // NewHeader turns bytes into a header
  192. func NewHeader(b []byte) (*H, error) {
  193. h := new(H)
  194. if err := h.Parse(b); err != nil {
  195. return nil, err
  196. }
  197. return h, nil
  198. }