dircollate.c 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324
  1. /* Copyright (c) 2001-2004, Roger Dingledine.
  2. * Copyright (c) 2004-2006, Roger Dingledine, Nick Mathewson.
  3. * Copyright (c) 2007-2017, The Tor Project, Inc. */
  4. /* See LICENSE for licensing information */
  5. /**
  6. * \file dircollate.c
  7. *
  8. * \brief Collation code for figuring out which identities to vote for in
  9. * the directory voting process.
  10. *
  11. * During the consensus calculation, when an authority is looking at the vote
  12. * documents from all the authorities, it needs to compute the consensus for
  13. * each relay listed by at least one authority. But the notion of "each
  14. * relay" can be tricky: some relays have Ed25519 keys, and others don't.
  15. *
  16. * Moreover, older consensus methods did RSA-based ID collation alone, and
  17. * ignored Ed25519 keys. We need to support those too until we're completely
  18. * sure that authorities will never downgrade.
  19. *
  20. * This module is invoked exclusively from dirvote.c.
  21. */
  22. #define DIRCOLLATE_PRIVATE
  23. #include "dircollate.h"
  24. #include "dirvote.h"
  25. static void dircollator_collate_by_ed25519(dircollator_t *dc);
  26. /** Hashtable entry mapping a pair of digests (actually an ed25519 key and an
  27. * RSA SHA1 digest) to an array of vote_routerstatus_t. */
  28. typedef struct ddmap_entry_s {
  29. HT_ENTRY(ddmap_entry_s) node;
  30. /** A SHA1-RSA1024 identity digest and Ed25519 identity key,
  31. * concatenated. (If there is no ed25519 identity key, there is no
  32. * entry in this table.) */
  33. uint8_t d[DIGEST_LEN + DIGEST256_LEN];
  34. /* The nth member of this array corresponds to the vote_routerstatus_t (if
  35. * any) received for this digest pair from the nth voter. */
  36. vote_routerstatus_t *vrs_lst[FLEXIBLE_ARRAY_MEMBER];
  37. } ddmap_entry_t;
  38. #define ddmap_entry_free(e) \
  39. FREE_AND_NULL(ddmap_entry_t, ddmap_entry_free_, (e))
  40. /** Release all storage held by e. */
  41. static void
  42. ddmap_entry_free_(ddmap_entry_t *e)
  43. {
  44. tor_free(e);
  45. }
  46. /** Return a new empty ddmap_entry, with <b>n_votes</b> elements in
  47. * vrs_list. */
  48. static ddmap_entry_t *
  49. ddmap_entry_new(int n_votes)
  50. {
  51. return tor_malloc_zero(offsetof(ddmap_entry_t, vrs_lst) +
  52. sizeof(vote_routerstatus_t *) * n_votes);
  53. }
  54. /** Helper: compute a hash of a single ddmap_entry_t's identity (or
  55. * identities) */
  56. static unsigned
  57. ddmap_entry_hash(const ddmap_entry_t *ent)
  58. {
  59. return (unsigned) siphash24g(ent->d, sizeof(ent->d));
  60. }
  61. /** Helper: return true if <b>a</b> and <b>b</b> have the same
  62. * identity/identities. */
  63. static unsigned
  64. ddmap_entry_eq(const ddmap_entry_t *a, const ddmap_entry_t *b)
  65. {
  66. return fast_memeq(a->d, b->d, sizeof(a->d));
  67. }
  68. /** Record the RSA identity of <b>ent</b> as <b>rsa_sha1</b>, and the
  69. * ed25519 identity as <b>ed25519</b>. Both must be provided. */
  70. static void
  71. ddmap_entry_set_digests(ddmap_entry_t *ent,
  72. const uint8_t *rsa_sha1,
  73. const uint8_t *ed25519)
  74. {
  75. memcpy(ent->d, rsa_sha1, DIGEST_LEN);
  76. memcpy(ent->d + DIGEST_LEN, ed25519, DIGEST256_LEN);
  77. }
  78. HT_PROTOTYPE(double_digest_map, ddmap_entry_s, node, ddmap_entry_hash,
  79. ddmap_entry_eq)
  80. HT_GENERATE2(double_digest_map, ddmap_entry_s, node, ddmap_entry_hash,
  81. ddmap_entry_eq, 0.6, tor_reallocarray, tor_free_)
  82. /** Helper: add a single vote_routerstatus_t <b>vrs</b> to the collator
  83. * <b>dc</b>, indexing it by its RSA key digest, and by the 2-tuple of its RSA
  84. * key digest and Ed25519 key. It must come from the <b>vote_num</b>th
  85. * vote.
  86. *
  87. * Requires that the vote is well-formed -- that is, that it has no duplicate
  88. * routerstatus entries. We already checked for that when parsing the vote. */
  89. static void
  90. dircollator_add_routerstatus(dircollator_t *dc,
  91. int vote_num,
  92. networkstatus_t *vote,
  93. vote_routerstatus_t *vrs)
  94. {
  95. const char *id = vrs->status.identity_digest;
  96. /* Clear this flag; we might set it later during the voting process */
  97. vrs->ed25519_reflects_consensus = 0;
  98. (void) vote; // We don't currently need this.
  99. /* First, add this item to the appropriate RSA-SHA-Id array. */
  100. vote_routerstatus_t **vrs_lst = digestmap_get(dc->by_rsa_sha1, id);
  101. if (NULL == vrs_lst) {
  102. vrs_lst = tor_calloc(dc->n_votes, sizeof(vote_routerstatus_t *));
  103. digestmap_set(dc->by_rsa_sha1, id, vrs_lst);
  104. }
  105. tor_assert(vrs_lst[vote_num] == NULL);
  106. vrs_lst[vote_num] = vrs;
  107. const uint8_t *ed = vrs->ed25519_id;
  108. if (! vrs->has_ed25519_listing)
  109. return;
  110. /* Now add it to the appropriate <Ed,RSA-SHA-Id> array. */
  111. ddmap_entry_t search, *found;
  112. memset(&search, 0, sizeof(search));
  113. ddmap_entry_set_digests(&search, (const uint8_t *)id, ed);
  114. found = HT_FIND(double_digest_map, &dc->by_both_ids, &search);
  115. if (NULL == found) {
  116. found = ddmap_entry_new(dc->n_votes);
  117. ddmap_entry_set_digests(found, (const uint8_t *)id, ed);
  118. HT_INSERT(double_digest_map, &dc->by_both_ids, found);
  119. }
  120. vrs_lst = found->vrs_lst;
  121. tor_assert(vrs_lst[vote_num] == NULL);
  122. vrs_lst[vote_num] = vrs;
  123. }
  124. /** Create and return a new dircollator object to use when collating
  125. * <b>n_votes</b> out of a total of <b>n_authorities</b>. */
  126. dircollator_t *
  127. dircollator_new(int n_votes, int n_authorities)
  128. {
  129. dircollator_t *dc = tor_malloc_zero(sizeof(dircollator_t));
  130. tor_assert(n_votes <= n_authorities);
  131. dc->n_votes = n_votes;
  132. dc->n_authorities = n_authorities;
  133. dc->by_rsa_sha1 = digestmap_new();
  134. HT_INIT(double_digest_map, &dc->by_both_ids);
  135. return dc;
  136. }
  137. /** Release all storage held by <b>dc</b>. */
  138. void
  139. dircollator_free_(dircollator_t *dc)
  140. {
  141. if (!dc)
  142. return;
  143. if (dc->by_collated_rsa_sha1 != dc->by_rsa_sha1)
  144. digestmap_free(dc->by_collated_rsa_sha1, NULL);
  145. digestmap_free(dc->by_rsa_sha1, tor_free_);
  146. smartlist_free(dc->all_rsa_sha1_lst);
  147. ddmap_entry_t **e, **next, *this;
  148. for (e = HT_START(double_digest_map, &dc->by_both_ids);
  149. e != NULL; e = next) {
  150. this = *e;
  151. next = HT_NEXT_RMV(double_digest_map, &dc->by_both_ids, e);
  152. ddmap_entry_free(this);
  153. }
  154. HT_CLEAR(double_digest_map, &dc->by_both_ids);
  155. tor_free(dc);
  156. }
  157. /** Add a single vote <b>v</b> to a dircollator <b>dc</b>. This function must
  158. * be called exactly once for each vote to be used in the consensus. It may
  159. * only be called before dircollator_collate().
  160. */
  161. void
  162. dircollator_add_vote(dircollator_t *dc, networkstatus_t *v)
  163. {
  164. tor_assert(v->type == NS_TYPE_VOTE);
  165. tor_assert(dc->next_vote_num < dc->n_votes);
  166. tor_assert(!dc->is_collated);
  167. const int votenum = dc->next_vote_num++;
  168. SMARTLIST_FOREACH_BEGIN(v->routerstatus_list, vote_routerstatus_t *, vrs) {
  169. dircollator_add_routerstatus(dc, votenum, v, vrs);
  170. } SMARTLIST_FOREACH_END(vrs);
  171. }
  172. /** Sort the entries in <b>dc</b> according to <b>consensus_method</b>, so
  173. * that the consensus process can iterate over them with
  174. * dircollator_n_routers() and dircollator_get_votes_for_router(). */
  175. void
  176. dircollator_collate(dircollator_t *dc, int consensus_method)
  177. {
  178. (void) consensus_method;
  179. tor_assert(!dc->is_collated);
  180. dc->all_rsa_sha1_lst = smartlist_new();
  181. dircollator_collate_by_ed25519(dc);
  182. smartlist_sort_digests(dc->all_rsa_sha1_lst);
  183. dc->is_collated = 1;
  184. }
  185. /**
  186. * Collation function for ed25519 consensuses: collate the votes for each
  187. * entry in <b>dc</b> by ed25519 key and by RSA key.
  188. *
  189. * The rule is, approximately:
  190. * If a (ed,rsa) identity is listed by more than half of authorities,
  191. * include it. And include all (rsa)-only votes about that node as
  192. * matching.
  193. *
  194. * Otherwise, if an (*,rsa) or (rsa) identity is listed by more than
  195. * half of the authorities, and no (ed,rsa) pair for the same RSA key
  196. * has been already been included based on the rule above, include
  197. * that RSA identity.
  198. */
  199. static void
  200. dircollator_collate_by_ed25519(dircollator_t *dc)
  201. {
  202. const int total_authorities = dc->n_authorities;
  203. digestmap_t *rsa_digests = digestmap_new();
  204. ddmap_entry_t **iter;
  205. /* Go over all <ed,rsa> pairs */
  206. HT_FOREACH(iter, double_digest_map, &dc->by_both_ids) {
  207. ddmap_entry_t *ent = *iter;
  208. int n = 0, i;
  209. for (i = 0; i < dc->n_votes; ++i) {
  210. if (ent->vrs_lst[i] != NULL)
  211. ++n;
  212. }
  213. /* If not enough authorties listed this exact <ed,rsa> pair,
  214. * don't include it. */
  215. if (n <= total_authorities / 2)
  216. continue;
  217. /* Now consider whether there are any other entries with the same
  218. * RSA key (but with possibly different or missing ed value). */
  219. vote_routerstatus_t **vrs_lst2 = digestmap_get(dc->by_rsa_sha1,
  220. (char*)ent->d);
  221. tor_assert(vrs_lst2);
  222. for (i = 0; i < dc->n_votes; ++i) {
  223. if (ent->vrs_lst[i] != NULL) {
  224. ent->vrs_lst[i]->ed25519_reflects_consensus = 1;
  225. } else if (vrs_lst2[i] && ! vrs_lst2[i]->has_ed25519_listing) {
  226. ent->vrs_lst[i] = vrs_lst2[i];
  227. }
  228. }
  229. /* Record that we have seen this RSA digest. */
  230. digestmap_set(rsa_digests, (char*)ent->d, ent->vrs_lst);
  231. smartlist_add(dc->all_rsa_sha1_lst, ent->d);
  232. }
  233. /* Now look over all entries with an RSA digest, looking for RSA digests
  234. * we didn't put in yet.
  235. */
  236. DIGESTMAP_FOREACH(dc->by_rsa_sha1, k, vote_routerstatus_t **, vrs_lst) {
  237. if (digestmap_get(rsa_digests, k) != NULL)
  238. continue; /* We already included this RSA digest */
  239. int n = 0, i;
  240. for (i = 0; i < dc->n_votes; ++i) {
  241. if (vrs_lst[i] != NULL)
  242. ++n;
  243. }
  244. if (n <= total_authorities / 2)
  245. continue; /* Not enough votes */
  246. digestmap_set(rsa_digests, k, vrs_lst);
  247. smartlist_add(dc->all_rsa_sha1_lst, (char *)k);
  248. } DIGESTMAP_FOREACH_END;
  249. dc->by_collated_rsa_sha1 = rsa_digests;
  250. }
  251. /** Return the total number of collated router entries. This function may
  252. * only be called after dircollator_collate. */
  253. int
  254. dircollator_n_routers(dircollator_t *dc)
  255. {
  256. tor_assert(dc->is_collated);
  257. return smartlist_len(dc->all_rsa_sha1_lst);
  258. }
  259. /** Return an array of vote_routerstatus_t entries for the <b>idx</b>th router
  260. * in the collation order. Each array contains n_votes elements, where the
  261. * nth element of the array is the vote_routerstatus_t from the nth voter for
  262. * this identity (or NULL if there is no such entry).
  263. *
  264. * The maximum value for <b>idx</b> is dircollator_n_routers().
  265. *
  266. * This function may only be called after dircollator_collate. */
  267. vote_routerstatus_t **
  268. dircollator_get_votes_for_router(dircollator_t *dc, int idx)
  269. {
  270. tor_assert(dc->is_collated);
  271. tor_assert(idx < smartlist_len(dc->all_rsa_sha1_lst));
  272. return digestmap_get(dc->by_collated_rsa_sha1,
  273. smartlist_get(dc->all_rsa_sha1_lst, idx));
  274. }