CertificateOfMembership.hpp 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404
  1. /*
  2. * ZeroTier One - Network Virtualization Everywhere
  3. * Copyright (C) 2011-2016 ZeroTier, Inc. https://www.zerotier.com/
  4. *
  5. * This program is free software: you can redistribute it and/or modify
  6. * it under the terms of the GNU General Public License as published by
  7. * the Free Software Foundation, either version 3 of the License, or
  8. * (at your option) any later version.
  9. *
  10. * This program is distributed in the hope that it will be useful,
  11. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  13. * GNU General Public License for more details.
  14. *
  15. * You should have received a copy of the GNU General Public License
  16. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  17. */
  18. #ifndef ZT_CERTIFICATEOFMEMBERSHIP_HPP
  19. #define ZT_CERTIFICATEOFMEMBERSHIP_HPP
  20. #include <stdint.h>
  21. #include <string.h>
  22. #include <string>
  23. #include <vector>
  24. #include <stdexcept>
  25. #include "Constants.hpp"
  26. #include "Buffer.hpp"
  27. #include "Address.hpp"
  28. #include "C25519.hpp"
  29. #include "Identity.hpp"
  30. #include "Utils.hpp"
  31. namespace ZeroTier {
  32. /**
  33. * Certificate of network membership
  34. *
  35. * The COM contains a sorted set of three-element tuples called qualifiers.
  36. * These contain an id, a value, and a maximum delta.
  37. *
  38. * The ID is arbitrary and should be assigned using a scheme that makes
  39. * every ID globally unique. IDs beneath 65536 are reserved for global
  40. * assignment by ZeroTier Networks.
  41. *
  42. * The value's meaning is ID-specific and isn't important here. What's
  43. * important is the value and the third member of the tuple: the maximum
  44. * delta. The maximum delta is the maximum difference permitted between
  45. * values for a given ID between certificates for the two certificates to
  46. * themselves agree.
  47. *
  48. * Network membership is checked by checking whether a peer's certificate
  49. * agrees with your own. The timestamp provides the fundamental criterion--
  50. * each member of a private network must constantly obtain new certificates
  51. * often enough to stay within the max delta for this qualifier. But other
  52. * criteria could be added in the future for very special behaviors, things
  53. * like latitude and longitude for instance.
  54. */
  55. class CertificateOfMembership
  56. {
  57. public:
  58. /**
  59. * Certificate type codes, used in serialization
  60. *
  61. * Only one so far, and only one hopefully there shall be for quite some
  62. * time.
  63. */
  64. enum Type
  65. {
  66. COM_UINT64_ED25519 = 1 // tuples of unsigned 64's signed with Ed25519
  67. };
  68. /**
  69. * Reserved qualifier IDs
  70. *
  71. * IDs below 65536 should be considered reserved for future global
  72. * assignment here.
  73. *
  74. * Addition of new required fields requires that code in hasRequiredFields
  75. * be updated as well.
  76. */
  77. enum ReservedId
  78. {
  79. /**
  80. * Revision number of certificate
  81. *
  82. * Certificates may differ in revision number by a designated max
  83. * delta. Differences wider than this cause certificates not to agree.
  84. */
  85. COM_RESERVED_ID_REVISION = 0,
  86. /**
  87. * Network ID for which certificate was issued
  88. *
  89. * maxDelta here is zero, since this must match.
  90. */
  91. COM_RESERVED_ID_NETWORK_ID = 1,
  92. /**
  93. * ZeroTier address to whom certificate was issued
  94. *
  95. * maxDelta will be 0xffffffffffffffff here since it's permitted to differ
  96. * from peers obviously.
  97. */
  98. COM_RESERVED_ID_ISSUED_TO = 2
  99. };
  100. /**
  101. * Create an empty certificate
  102. */
  103. CertificateOfMembership() { memset(_signature.data,0,_signature.size()); }
  104. /**
  105. * Create from required fields common to all networks
  106. *
  107. * @param revision Revision number of certificate
  108. * @param timestampMaxDelta Maximum variation between timestamps on this net
  109. * @param nwid Network ID
  110. * @param issuedTo Certificate recipient
  111. */
  112. CertificateOfMembership(uint64_t revision,uint64_t revisionMaxDelta,uint64_t nwid,const Address &issuedTo)
  113. {
  114. _qualifiers.push_back(_Qualifier(COM_RESERVED_ID_REVISION,revision,revisionMaxDelta));
  115. _qualifiers.push_back(_Qualifier(COM_RESERVED_ID_NETWORK_ID,nwid,0));
  116. _qualifiers.push_back(_Qualifier(COM_RESERVED_ID_ISSUED_TO,issuedTo.toInt(),0xffffffffffffffffULL));
  117. memset(_signature.data,0,_signature.size());
  118. }
  119. /**
  120. * Create from string-serialized data
  121. *
  122. * @param s String-serialized COM
  123. */
  124. CertificateOfMembership(const char *s) { fromString(s); }
  125. /**
  126. * Create from string-serialized data
  127. *
  128. * @param s String-serialized COM
  129. */
  130. CertificateOfMembership(const std::string &s) { fromString(s.c_str()); }
  131. /**
  132. * Create from binary-serialized COM in buffer
  133. *
  134. * @param b Buffer to deserialize from
  135. * @param startAt Position to start in buffer
  136. */
  137. template<unsigned int C>
  138. CertificateOfMembership(const Buffer<C> &b,unsigned int startAt = 0)
  139. throw(std::out_of_range,std::invalid_argument)
  140. {
  141. deserialize(b,startAt);
  142. }
  143. /**
  144. * @return True if there's something here
  145. */
  146. inline operator bool() const
  147. throw()
  148. {
  149. return (_qualifiers.size() != 0);
  150. }
  151. /**
  152. * Check for presence of all required fields common to all networks
  153. *
  154. * @return True if all required fields are present
  155. */
  156. inline bool hasRequiredFields() const
  157. throw()
  158. {
  159. if (_qualifiers.size() < 3)
  160. return false;
  161. if (_qualifiers[0].id != COM_RESERVED_ID_REVISION)
  162. return false;
  163. if (_qualifiers[1].id != COM_RESERVED_ID_NETWORK_ID)
  164. return false;
  165. if (_qualifiers[2].id != COM_RESERVED_ID_ISSUED_TO)
  166. return false;
  167. return true;
  168. }
  169. /**
  170. * @return Maximum delta for mandatory revision field or 0 if field missing
  171. */
  172. inline uint64_t revisionMaxDelta() const
  173. throw()
  174. {
  175. for(std::vector<_Qualifier>::const_iterator q(_qualifiers.begin());q!=_qualifiers.end();++q) {
  176. if (q->id == COM_RESERVED_ID_REVISION)
  177. return q->maxDelta;
  178. }
  179. return 0ULL;
  180. }
  181. /**
  182. * @return Revision number for this cert
  183. */
  184. inline uint64_t revision() const
  185. throw()
  186. {
  187. for(std::vector<_Qualifier>::const_iterator q(_qualifiers.begin());q!=_qualifiers.end();++q) {
  188. if (q->id == COM_RESERVED_ID_REVISION)
  189. return q->value;
  190. }
  191. return 0ULL;
  192. }
  193. /**
  194. * @return Address to which this cert was issued
  195. */
  196. inline Address issuedTo() const
  197. throw()
  198. {
  199. for(std::vector<_Qualifier>::const_iterator q(_qualifiers.begin());q!=_qualifiers.end();++q) {
  200. if (q->id == COM_RESERVED_ID_ISSUED_TO)
  201. return Address(q->value);
  202. }
  203. return Address();
  204. }
  205. /**
  206. * @return Network ID for which this cert was issued
  207. */
  208. inline uint64_t networkId() const
  209. throw()
  210. {
  211. for(std::vector<_Qualifier>::const_iterator q(_qualifiers.begin());q!=_qualifiers.end();++q) {
  212. if (q->id == COM_RESERVED_ID_NETWORK_ID)
  213. return q->value;
  214. }
  215. return 0ULL;
  216. }
  217. /**
  218. * Add or update a qualifier in this certificate
  219. *
  220. * Any signature is invalidated and signedBy is set to null.
  221. *
  222. * @param id Qualifier ID
  223. * @param value Qualifier value
  224. * @param maxDelta Qualifier maximum allowed difference (absolute value of difference)
  225. */
  226. void setQualifier(uint64_t id,uint64_t value,uint64_t maxDelta);
  227. inline void setQualifier(ReservedId id,uint64_t value,uint64_t maxDelta) { setQualifier((uint64_t)id,value,maxDelta); }
  228. /**
  229. * @return String-serialized representation of this certificate
  230. */
  231. std::string toString() const;
  232. /**
  233. * Set this certificate equal to the hex-serialized string
  234. *
  235. * Invalid strings will result in invalid or undefined certificate
  236. * contents. These will subsequently fail validation and comparison.
  237. * Empty strings will result in an empty certificate.
  238. *
  239. * @param s String to deserialize
  240. */
  241. void fromString(const char *s);
  242. inline void fromString(const std::string &s) { fromString(s.c_str()); }
  243. /**
  244. * Compare two certificates for parameter agreement
  245. *
  246. * This compares this certificate with the other and returns true if all
  247. * paramters in this cert are present in the other and if they agree to
  248. * within this cert's max delta value for each given parameter.
  249. *
  250. * Tuples present in other but not in this cert are ignored, but any
  251. * tuples present in this cert but not in other result in 'false'.
  252. *
  253. * @param other Cert to compare with
  254. * @return True if certs agree and 'other' may be communicated with
  255. */
  256. bool agreesWith(const CertificateOfMembership &other) const
  257. throw();
  258. /**
  259. * Sign this certificate
  260. *
  261. * @param with Identity to sign with, must include private key
  262. * @return True if signature was successful
  263. */
  264. bool sign(const Identity &with);
  265. /**
  266. * Verify certificate against an identity
  267. *
  268. * @param id Identity to verify against
  269. * @return True if certificate is signed by this identity and verification was successful
  270. */
  271. bool verify(const Identity &id) const;
  272. /**
  273. * @return True if signed
  274. */
  275. inline bool isSigned() const throw() { return (_signedBy); }
  276. /**
  277. * @return Address that signed this certificate or null address if none
  278. */
  279. inline const Address &signedBy() const throw() { return _signedBy; }
  280. template<unsigned int C>
  281. inline void serialize(Buffer<C> &b) const
  282. {
  283. b.append((unsigned char)COM_UINT64_ED25519);
  284. b.append((uint16_t)_qualifiers.size());
  285. for(std::vector<_Qualifier>::const_iterator q(_qualifiers.begin());q!=_qualifiers.end();++q) {
  286. b.append(q->id);
  287. b.append(q->value);
  288. b.append(q->maxDelta);
  289. }
  290. _signedBy.appendTo(b);
  291. if (_signedBy)
  292. b.append(_signature.data,(unsigned int)_signature.size());
  293. }
  294. template<unsigned int C>
  295. inline unsigned int deserialize(const Buffer<C> &b,unsigned int startAt = 0)
  296. {
  297. unsigned int p = startAt;
  298. _qualifiers.clear();
  299. _signedBy.zero();
  300. if (b[p++] != COM_UINT64_ED25519)
  301. throw std::invalid_argument("unknown certificate of membership type");
  302. unsigned int numq = b.template at<uint16_t>(p); p += sizeof(uint16_t);
  303. uint64_t lastId = 0;
  304. for(unsigned int i=0;i<numq;++i) {
  305. uint64_t tmp = b.template at<uint64_t>(p);
  306. if (tmp < lastId)
  307. throw std::invalid_argument("certificate qualifiers are not sorted");
  308. else lastId = tmp;
  309. _qualifiers.push_back(_Qualifier(
  310. tmp,
  311. b.template at<uint64_t>(p + 8),
  312. b.template at<uint64_t>(p + 16)
  313. ));
  314. p += 24;
  315. }
  316. _signedBy.setTo(b.field(p,ZT_ADDRESS_LENGTH),ZT_ADDRESS_LENGTH);
  317. p += ZT_ADDRESS_LENGTH;
  318. if (_signedBy) {
  319. memcpy(_signature.data,b.field(p,(unsigned int)_signature.size()),_signature.size());
  320. p += (unsigned int)_signature.size();
  321. }
  322. return (p - startAt);
  323. }
  324. inline bool operator==(const CertificateOfMembership &c) const
  325. throw()
  326. {
  327. if (_signedBy != c._signedBy)
  328. return false;
  329. // We have to compare in depth manually since == only compares id
  330. if (_qualifiers.size() != c._qualifiers.size())
  331. return false;
  332. for(unsigned long i=0;i<_qualifiers.size();++i) {
  333. const _Qualifier &a = _qualifiers[i];
  334. const _Qualifier &b = c._qualifiers[i];
  335. if ((a.id != b.id)||(a.value != b.value)||(a.maxDelta != b.maxDelta))
  336. return false;
  337. }
  338. return (_signature == c._signature);
  339. }
  340. inline bool operator!=(const CertificateOfMembership &c) const throw() { return (!(*this == c)); }
  341. private:
  342. struct _Qualifier
  343. {
  344. _Qualifier() throw() {}
  345. _Qualifier(uint64_t i,uint64_t v,uint64_t m) throw() :
  346. id(i),
  347. value(v),
  348. maxDelta(m) {}
  349. uint64_t id;
  350. uint64_t value;
  351. uint64_t maxDelta;
  352. inline bool operator==(const _Qualifier &q) const throw() { return (id == q.id); } // for unique
  353. inline bool operator<(const _Qualifier &q) const throw() { return (id < q.id); } // for sort
  354. };
  355. Address _signedBy;
  356. std::vector<_Qualifier> _qualifiers; // sorted by id and unique
  357. C25519::Signature _signature;
  358. };
  359. } // namespace ZeroTier
  360. #endif