shared_random.c 43 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311
  1. /* Copyright (c) 2016, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. /**
  4. * \file shared_random.c
  5. *
  6. * \brief Functions and data structure needed to accomplish the shared
  7. * random protocol as defined in proposal #250.
  8. *
  9. * \details
  10. *
  11. * This file implements the dirauth-only commit-and-reveal protocol specified
  12. * by proposal #250. The protocol has two phases (sr_phase_t): the commitment
  13. * phase and the reveal phase (see get_sr_protocol_phase()).
  14. *
  15. * During the protocol, directory authorities keep state in memory (using
  16. * sr_state_t) and in disk (using sr_disk_state_t). The synchronization between
  17. * these two data structures happens in disk_state_update() and
  18. * disk_state_parse().
  19. *
  20. * Here is a rough protocol outline:
  21. *
  22. * 1) In the beginning of the commitment phase, dirauths generate a
  23. * commitment/reveal value for the current protocol run (see
  24. * new_protocol_run() and sr_generate_our_commit()).
  25. *
  26. * 2) During voting, dirauths publish their commits in their votes
  27. * depending on the current phase. Dirauths also include the two
  28. * latest shared random values (SRV) in their votes.
  29. * (see sr_get_string_for_vote())
  30. *
  31. * 3) Upon receiving a commit from a vote, authorities parse it, verify
  32. * it, and attempt to save any new commitment or reveal information in
  33. * their state file (see extract_shared_random_commits() and
  34. * sr_handle_received_commits()). They also parse SRVs from votes to
  35. * decide which SRV should be included in the final consensus (see
  36. * extract_shared_random_srvs()).
  37. *
  38. * 3) After voting is done, we count the SRVs we extracted from the votes,
  39. * to find the one voted by the majority of dirauths which should be
  40. * included in the final consensus (see get_majority_srv_from_votes()).
  41. * If an appropriate SRV is found, it is embedded in the consensus (see
  42. * sr_get_string_for_consensus()).
  43. *
  44. * 4) At the end of the reveal phase, dirauths compute a fresh SRV for the
  45. * day using the active commits (see sr_compute_srv()). This new SRV
  46. * is embedded in the votes as described above.
  47. *
  48. * Some more notes:
  49. *
  50. * - To support rebooting authorities and to avoid double voting, each dirauth
  51. * saves the current state of the protocol on disk so that it can resume
  52. * normally in case of reboot. The disk state (sr_disk_state_t) is managed by
  53. * shared_random_state.c:state_query() and we go to extra lengths to ensure
  54. * that the state is flushed on disk everytime we receive any useful
  55. * information like commits or SRVs.
  56. *
  57. * - When we receive a commit from a vote, we examine it to see if it's useful
  58. * to us and whether it's appropriate to receive it according to the current
  59. * phase of the protocol (see should_keep_commit()). If the commit is useful
  60. * to us, we save it in our disk state using save_commit_to_state(). When we
  61. * receive the reveal information corresponding to a commitment, we verify
  62. * that they indeed match using verify_commit_and_reveal().
  63. *
  64. * - We treat consensuses as the ground truth, so everytime we generate a new
  65. * consensus we update our SR state accordingly even if our local view was
  66. * different (see sr_act_post_consensus()).
  67. *
  68. * - After a consensus has been composed, the SR protocol state gets prepared
  69. * for the next voting session using sr_state_update(). That function takes
  70. * care of housekeeping and also rotates the SRVs and commits in case a new
  71. * protocol run is coming up. We also call sr_state_update() on bootup (in
  72. * sr_state_init()), to prepare the state for the very first voting session.
  73. *
  74. * Terminology:
  75. *
  76. * - "Commitment" is the commitment value of the commit-and-reveal protocol.
  77. *
  78. * - "Reveal" is the reveal value of the commit-and-reveal protocol.
  79. *
  80. * - "Commit" is a struct (sr_commit_t) that contains a commitment value and
  81. * optionally also a corresponding reveal value.
  82. *
  83. * - "SRV" is the Shared Random Value that gets generated as the result of the
  84. * commit-and-reveal protocol.
  85. **/
  86. #define SHARED_RANDOM_PRIVATE
  87. #include "or.h"
  88. #include "shared_random.h"
  89. #include "config.h"
  90. #include "confparse.h"
  91. #include "dirvote.h"
  92. #include "networkstatus.h"
  93. #include "routerkeys.h"
  94. #include "router.h"
  95. #include "routerlist.h"
  96. #include "shared_random_state.h"
  97. #include "util.h"
  98. /* String prefix of shared random values in votes/consensuses. */
  99. static const char previous_srv_str[] = "shared-rand-previous-value";
  100. static const char current_srv_str[] = "shared-rand-current-value";
  101. static const char commit_ns_str[] = "shared-rand-commit";
  102. static const char sr_flag_ns_str[] = "shared-rand-participate";
  103. /* Return a heap allocated copy of the SRV <b>orig</b>. */
  104. STATIC sr_srv_t *
  105. srv_dup(const sr_srv_t *orig)
  106. {
  107. sr_srv_t *dup = NULL;
  108. if (!orig) {
  109. return NULL;
  110. }
  111. dup = tor_malloc_zero(sizeof(sr_srv_t));
  112. dup->num_reveals = orig->num_reveals;
  113. memcpy(dup->value, orig->value, sizeof(dup->value));
  114. return dup;
  115. }
  116. /* Allocate a new commit object and initializing it with <b>rsa_identity</b>
  117. * that MUST be provided. The digest algorithm is set to the default one
  118. * that is supported. The rest is uninitialized. This never returns NULL. */
  119. static sr_commit_t *
  120. commit_new(const char *rsa_identity)
  121. {
  122. sr_commit_t *commit;
  123. tor_assert(rsa_identity);
  124. commit = tor_malloc_zero(sizeof(*commit));
  125. commit->alg = SR_DIGEST_ALG;
  126. memcpy(commit->rsa_identity, rsa_identity, sizeof(commit->rsa_identity));
  127. return commit;
  128. }
  129. /* Issue a log message describing <b>commit</b>. */
  130. static void
  131. commit_log(const sr_commit_t *commit)
  132. {
  133. tor_assert(commit);
  134. log_debug(LD_DIR, "SR: Commit from %s", sr_commit_get_rsa_fpr(commit));
  135. log_debug(LD_DIR, "SR: Commit: [TS: %" PRIu64 "] [Encoded: %s]",
  136. commit->commit_ts, commit->encoded_commit);
  137. log_debug(LD_DIR, "SR: Reveal: [TS: %" PRIu64 "] [Encoded: %s]",
  138. commit->reveal_ts, safe_str(commit->encoded_reveal));
  139. }
  140. /* Make sure that the commitment and reveal information in <b>commit</b>
  141. * match. If they match return 0, return -1 otherwise. This function MUST be
  142. * used everytime we receive a new reveal value. Furthermore, the commit
  143. * object MUST have a reveal value and the hash of the reveal value. */
  144. STATIC int
  145. verify_commit_and_reveal(const sr_commit_t *commit)
  146. {
  147. tor_assert(commit);
  148. log_debug(LD_DIR, "SR: Validating commit from authority %s",
  149. sr_commit_get_rsa_fpr(commit));
  150. /* Check that the timestamps match. */
  151. if (commit->commit_ts != commit->reveal_ts) {
  152. log_warn(LD_BUG, "SR: Commit timestamp %" PRIu64 " doesn't match reveal "
  153. "timestamp %" PRIu64, commit->commit_ts,
  154. commit->reveal_ts);
  155. goto invalid;
  156. }
  157. /* Verify that the hashed_reveal received in the COMMIT message, matches
  158. * the reveal we just received. */
  159. {
  160. /* We first hash the reveal we just received. */
  161. char received_hashed_reveal[sizeof(commit->hashed_reveal)];
  162. /* Only sha3-256 is supported. */
  163. if (commit->alg != SR_DIGEST_ALG) {
  164. goto invalid;
  165. }
  166. /* Use the invariant length since the encoded reveal variable has an
  167. * extra byte for the NUL terminated byte. */
  168. if (crypto_digest256(received_hashed_reveal, commit->encoded_reveal,
  169. SR_REVEAL_BASE64_LEN, commit->alg)) {
  170. /* Unable to digest the reveal blob, this is unlikely. */
  171. goto invalid;
  172. }
  173. /* Now compare that with the hashed_reveal we received in COMMIT. */
  174. if (fast_memneq(received_hashed_reveal, commit->hashed_reveal,
  175. sizeof(received_hashed_reveal))) {
  176. log_warn(LD_BUG, "SR: Received reveal value from authority %s "
  177. "does't match the commit value.",
  178. sr_commit_get_rsa_fpr(commit));
  179. goto invalid;
  180. }
  181. }
  182. return 0;
  183. invalid:
  184. return -1;
  185. }
  186. /* Return true iff the commit contains an encoded reveal value. */
  187. STATIC int
  188. commit_has_reveal_value(const sr_commit_t *commit)
  189. {
  190. return !tor_mem_is_zero(commit->encoded_reveal,
  191. sizeof(commit->encoded_reveal));
  192. }
  193. /* Parse the encoded commit. The format is:
  194. * base64-encode( TIMESTAMP || H(REVEAL) )
  195. *
  196. * If successfully decoded and parsed, commit is updated and 0 is returned.
  197. * On error, return -1. */
  198. STATIC int
  199. commit_decode(const char *encoded, sr_commit_t *commit)
  200. {
  201. int decoded_len = 0;
  202. size_t offset = 0;
  203. /* XXX: Needs two extra bytes for the base64 decode calculation matches
  204. * the binary length once decoded. #17868. */
  205. char b64_decoded[SR_COMMIT_LEN + 2];
  206. tor_assert(encoded);
  207. tor_assert(commit);
  208. if (strlen(encoded) > SR_COMMIT_BASE64_LEN) {
  209. /* This means that if we base64 decode successfully the reveiced commit,
  210. * we'll end up with a bigger decoded commit thus unusable. */
  211. goto error;
  212. }
  213. /* Decode our encoded commit. Let's be careful here since _encoded_ is
  214. * coming from the network in a dirauth vote so we expect nothing more
  215. * than the base64 encoded length of a commit. */
  216. decoded_len = base64_decode(b64_decoded, sizeof(b64_decoded),
  217. encoded, strlen(encoded));
  218. if (decoded_len < 0) {
  219. log_warn(LD_BUG, "SR: Commit from authority %s can't be decoded.",
  220. sr_commit_get_rsa_fpr(commit));
  221. goto error;
  222. }
  223. if (decoded_len != SR_COMMIT_LEN) {
  224. log_warn(LD_BUG, "SR: Commit from authority %s decoded length doesn't "
  225. "match the expected length (%d vs %d).",
  226. sr_commit_get_rsa_fpr(commit), decoded_len, SR_COMMIT_LEN);
  227. goto error;
  228. }
  229. /* First is the timestamp (8 bytes). */
  230. commit->commit_ts = tor_ntohll(get_uint64(b64_decoded));
  231. offset += sizeof(uint64_t);
  232. /* Next is hashed reveal. */
  233. memcpy(commit->hashed_reveal, b64_decoded + offset,
  234. sizeof(commit->hashed_reveal));
  235. /* Copy the base64 blob to the commit. Useful for voting. */
  236. strlcpy(commit->encoded_commit, encoded, sizeof(commit->encoded_commit));
  237. return 0;
  238. error:
  239. return -1;
  240. }
  241. /* Parse the b64 blob at <b>encoded</b> containing reveal information and
  242. * store the information in-place in <b>commit</b>. Return 0 on success else
  243. * a negative value. */
  244. STATIC int
  245. reveal_decode(const char *encoded, sr_commit_t *commit)
  246. {
  247. int decoded_len = 0;
  248. /* XXX: Needs two extra bytes for the base64 decode calculation matches
  249. * the binary length once decoded. #17868. */
  250. char b64_decoded[SR_REVEAL_LEN + 2];
  251. tor_assert(encoded);
  252. tor_assert(commit);
  253. if (strlen(encoded) > SR_REVEAL_BASE64_LEN) {
  254. /* This means that if we base64 decode successfully the received reveal
  255. * value, we'll end up with a bigger decoded value thus unusable. */
  256. goto error;
  257. }
  258. /* Decode our encoded reveal. Let's be careful here since _encoded_ is
  259. * coming from the network in a dirauth vote so we expect nothing more
  260. * than the base64 encoded length of our reveal. */
  261. decoded_len = base64_decode(b64_decoded, sizeof(b64_decoded),
  262. encoded, strlen(encoded));
  263. if (decoded_len < 0) {
  264. log_warn(LD_BUG, "SR: Reveal from authority %s can't be decoded.",
  265. sr_commit_get_rsa_fpr(commit));
  266. goto error;
  267. }
  268. if (decoded_len != SR_REVEAL_LEN) {
  269. log_warn(LD_BUG, "SR: Reveal from authority %s decoded length is "
  270. "doesn't match the expected length (%d vs %d)",
  271. sr_commit_get_rsa_fpr(commit), decoded_len, SR_REVEAL_LEN);
  272. goto error;
  273. }
  274. commit->reveal_ts = tor_ntohll(get_uint64(b64_decoded));
  275. /* Copy the last part, the random value. */
  276. memcpy(commit->random_number, b64_decoded + 8,
  277. sizeof(commit->random_number));
  278. /* Also copy the whole message to use during verification */
  279. strlcpy(commit->encoded_reveal, encoded, sizeof(commit->encoded_reveal));
  280. return 0;
  281. error:
  282. return -1;
  283. }
  284. /* Encode a reveal element using a given commit object to dst which is a
  285. * buffer large enough to put the base64-encoded reveal construction. The
  286. * format is as follow:
  287. * REVEAL = base64-encode( TIMESTAMP || H(RN) )
  288. * Return base64 encoded length on success else a negative value.
  289. */
  290. STATIC int
  291. reveal_encode(const sr_commit_t *commit, char *dst, size_t len)
  292. {
  293. int ret;
  294. size_t offset = 0;
  295. char buf[SR_REVEAL_LEN] = {0};
  296. tor_assert(commit);
  297. tor_assert(dst);
  298. set_uint64(buf, tor_htonll(commit->reveal_ts));
  299. offset += sizeof(uint64_t);
  300. memcpy(buf + offset, commit->random_number,
  301. sizeof(commit->random_number));
  302. /* Let's clean the buffer and then b64 encode it. */
  303. memset(dst, 0, len);
  304. ret = base64_encode(dst, len, buf, sizeof(buf), 0);
  305. /* Wipe this buffer because it contains our random value. */
  306. memwipe(buf, 0, sizeof(buf));
  307. return ret;
  308. }
  309. /* Encode the given commit object to dst which is a buffer large enough to
  310. * put the base64-encoded commit. The format is as follow:
  311. * COMMIT = base64-encode( TIMESTAMP || H(H(RN)) )
  312. * Return base64 encoded length on success else a negative value.
  313. */
  314. STATIC int
  315. commit_encode(const sr_commit_t *commit, char *dst, size_t len)
  316. {
  317. size_t offset = 0;
  318. char buf[SR_COMMIT_LEN] = {0};
  319. tor_assert(commit);
  320. tor_assert(dst);
  321. /* First is the timestamp (8 bytes). */
  322. set_uint64(buf, tor_htonll(commit->commit_ts));
  323. offset += sizeof(uint64_t);
  324. /* and then the hashed reveal. */
  325. memcpy(buf + offset, commit->hashed_reveal,
  326. sizeof(commit->hashed_reveal));
  327. /* Clean the buffer and then b64 encode it. */
  328. memset(dst, 0, len);
  329. return base64_encode(dst, len, buf, sizeof(buf), 0);
  330. }
  331. /* Cleanup both our global state and disk state. */
  332. static void
  333. sr_cleanup(void)
  334. {
  335. sr_state_free();
  336. }
  337. /* Using <b>commit</b>, return a newly allocated string containing the commit
  338. * information that should be used during SRV calculation. It's the caller
  339. * responsibility to free the memory. Return NULL if this is not a commit to be
  340. * used for SRV calculation. */
  341. static char *
  342. get_srv_element_from_commit(const sr_commit_t *commit)
  343. {
  344. char *element;
  345. tor_assert(commit);
  346. if (!commit_has_reveal_value(commit)) {
  347. return NULL;
  348. }
  349. tor_asprintf(&element, "%s%s", sr_commit_get_rsa_fpr(commit),
  350. commit->encoded_reveal);
  351. return element;
  352. }
  353. /* Return a srv object that is built with the construction:
  354. * SRV = SHA3-256("shared-random" | INT_8(reveal_num) |
  355. * INT_8(version) | HASHED_REVEALS | previous_SRV)
  356. * This function cannot fail. */
  357. static sr_srv_t *
  358. generate_srv(const char *hashed_reveals, uint8_t reveal_num,
  359. const sr_srv_t *previous_srv)
  360. {
  361. char msg[DIGEST256_LEN + SR_SRV_MSG_LEN] = {0};
  362. size_t offset = 0;
  363. sr_srv_t *srv;
  364. tor_assert(hashed_reveals);
  365. /* Add the invariant token. */
  366. memcpy(msg, SR_SRV_TOKEN, SR_SRV_TOKEN_LEN);
  367. offset += SR_SRV_TOKEN_LEN;
  368. set_uint8(msg + offset, reveal_num);
  369. offset += 1;
  370. set_uint8(msg + offset, SR_PROTO_VERSION);
  371. offset += 1;
  372. memcpy(msg + offset, hashed_reveals, DIGEST256_LEN);
  373. offset += DIGEST256_LEN;
  374. if (previous_srv != NULL) {
  375. memcpy(msg + offset, previous_srv->value, sizeof(previous_srv->value));
  376. }
  377. /* Ok we have our message and key for the HMAC computation, allocate our
  378. * srv object and do the last step. */
  379. srv = tor_malloc_zero(sizeof(*srv));
  380. crypto_digest256((char *) srv->value, msg, sizeof(msg), SR_DIGEST_ALG);
  381. srv->num_reveals = reveal_num;
  382. {
  383. /* Debugging. */
  384. char srv_hash_encoded[SR_SRV_VALUE_BASE64_LEN + 1];
  385. sr_srv_encode(srv_hash_encoded, srv);
  386. log_debug(LD_DIR, "SR: Generated SRV: %s", srv_hash_encoded);
  387. }
  388. return srv;
  389. }
  390. /* Compare reveal values and return the result. This should exclusively be
  391. * used by smartlist_sort(). */
  392. static int
  393. compare_reveal_(const void **_a, const void **_b)
  394. {
  395. const sr_commit_t *a = *_a, *b = *_b;
  396. return fast_memcmp(a->hashed_reveal, b->hashed_reveal,
  397. sizeof(a->hashed_reveal));
  398. }
  399. /* Given <b>commit</b> give the line that we should place in our votes.
  400. * It's the responsibility of the caller to free the string. */
  401. static char *
  402. get_vote_line_from_commit(const sr_commit_t *commit, sr_phase_t phase)
  403. {
  404. char *vote_line = NULL;
  405. switch (phase) {
  406. case SR_PHASE_COMMIT:
  407. tor_asprintf(&vote_line, "%s %u %s %s %s\n",
  408. commit_ns_str,
  409. SR_PROTO_VERSION,
  410. crypto_digest_algorithm_get_name(commit->alg),
  411. sr_commit_get_rsa_fpr(commit),
  412. commit->encoded_commit);
  413. break;
  414. case SR_PHASE_REVEAL:
  415. {
  416. /* Send a reveal value for this commit if we have one. */
  417. const char *reveal_str = commit->encoded_reveal;
  418. if (tor_mem_is_zero(commit->encoded_reveal,
  419. sizeof(commit->encoded_reveal))) {
  420. reveal_str = "";
  421. }
  422. tor_asprintf(&vote_line, "%s %u %s %s %s %s\n",
  423. commit_ns_str,
  424. SR_PROTO_VERSION,
  425. crypto_digest_algorithm_get_name(commit->alg),
  426. sr_commit_get_rsa_fpr(commit),
  427. commit->encoded_commit, reveal_str);
  428. break;
  429. }
  430. default:
  431. tor_assert(0);
  432. }
  433. log_debug(LD_DIR, "SR: Commit vote line: %s", vote_line);
  434. return vote_line;
  435. }
  436. /* Return a heap allocated string that contains the given <b>srv</b> string
  437. * representation formatted for a networkstatus document using the
  438. * <b>key</b> as the start of the line. This doesn't return NULL. */
  439. static char *
  440. srv_to_ns_string(const sr_srv_t *srv, const char *key)
  441. {
  442. char *srv_str;
  443. char srv_hash_encoded[SR_SRV_VALUE_BASE64_LEN + 1];
  444. tor_assert(srv);
  445. tor_assert(key);
  446. sr_srv_encode(srv_hash_encoded, srv);
  447. tor_asprintf(&srv_str, "%s %d %s\n", key,
  448. srv->num_reveals, srv_hash_encoded);
  449. log_debug(LD_DIR, "SR: Consensus SRV line: %s", srv_str);
  450. return srv_str;
  451. }
  452. /* Given the previous SRV and the current SRV, return a heap allocated
  453. * string with their data that could be put in a vote or a consensus. Caller
  454. * must free the returned string. Return NULL if no SRVs were provided. */
  455. static char *
  456. get_ns_str_from_sr_values(const sr_srv_t *prev_srv, const sr_srv_t *cur_srv)
  457. {
  458. smartlist_t *chunks = NULL;
  459. char *srv_str;
  460. if (!prev_srv && !cur_srv) {
  461. return NULL;
  462. }
  463. chunks = smartlist_new();
  464. if (prev_srv) {
  465. char *srv_line = srv_to_ns_string(prev_srv, previous_srv_str);
  466. smartlist_add(chunks, srv_line);
  467. }
  468. if (cur_srv) {
  469. char *srv_line = srv_to_ns_string(cur_srv, current_srv_str);
  470. smartlist_add(chunks, srv_line);
  471. }
  472. /* Join the line(s) here in one string to return. */
  473. srv_str = smartlist_join_strings(chunks, "", 0, NULL);
  474. SMARTLIST_FOREACH(chunks, char *, s, tor_free(s));
  475. smartlist_free(chunks);
  476. return srv_str;
  477. }
  478. /* Return 1 iff the two commits have the same commitment values. This
  479. * function does not care about reveal values. */
  480. STATIC int
  481. commitments_are_the_same(const sr_commit_t *commit_one,
  482. const sr_commit_t *commit_two)
  483. {
  484. tor_assert(commit_one);
  485. tor_assert(commit_two);
  486. if (strcmp(commit_one->encoded_commit, commit_two->encoded_commit)) {
  487. return 0;
  488. }
  489. return 1;
  490. }
  491. /* We just received a commit from the vote of authority with
  492. * <b>identity_digest</b>. Return 1 if this commit is authorititative that
  493. * is, it belongs to the authority that voted it. Else return 0 if not. */
  494. STATIC int
  495. commit_is_authoritative(const sr_commit_t *commit,
  496. const char *voter_key)
  497. {
  498. tor_assert(commit);
  499. tor_assert(voter_key);
  500. return !memcmp(commit->rsa_identity, voter_key,
  501. sizeof(commit->rsa_identity));
  502. }
  503. /* Decide if the newly received <b>commit</b> should be kept depending on
  504. * the current phase and state of the protocol. The <b>voter_key</b> is the
  505. * RSA identity key fingerprint of the authority's vote from which the
  506. * commit comes from. The <b>phase</b> is the phase we should be validating
  507. * the commit for. Return 1 if the commit should be added to our state or 0
  508. * if not. */
  509. STATIC int
  510. should_keep_commit(const sr_commit_t *commit, const char *voter_key,
  511. sr_phase_t phase)
  512. {
  513. sr_commit_t *saved_commit;
  514. tor_assert(commit);
  515. tor_assert(voter_key);
  516. log_debug(LD_DIR, "SR: Inspecting commit from %s (voter: %s)?",
  517. sr_commit_get_rsa_fpr(commit),
  518. hex_str(voter_key, DIGEST_LEN));
  519. /* For a commit to be considered, it needs to be authoritative (it should
  520. * be the voter's own commit). */
  521. if (!commit_is_authoritative(commit, voter_key)) {
  522. log_debug(LD_DIR, "SR: Ignoring non-authoritative commit.");
  523. goto ignore;
  524. }
  525. /* Check if the authority that voted for <b>commit</b> has already posted
  526. * a commit before. */
  527. saved_commit = sr_state_get_commit(commit->rsa_identity);
  528. switch (phase) {
  529. case SR_PHASE_COMMIT:
  530. /* Already having a commit for an authority so ignore this one. */
  531. if (saved_commit) {
  532. log_debug(LD_DIR, "SR: Ignoring known commit during COMMIT phase.");
  533. goto ignore;
  534. }
  535. /* A commit with a reveal value during commitment phase is very wrong. */
  536. if (commit_has_reveal_value(commit)) {
  537. log_warn(LD_DIR, "SR: Commit from authority %s has a reveal value "
  538. "during COMMIT phase. (voter: %s)",
  539. sr_commit_get_rsa_fpr(commit),
  540. hex_str(voter_key, DIGEST_LEN));
  541. goto ignore;
  542. }
  543. break;
  544. case SR_PHASE_REVEAL:
  545. /* We are now in reveal phase. We keep a commit if and only if:
  546. *
  547. * - We have already seen a commit by this auth, AND
  548. * - the saved commit has the same commitment value as this one, AND
  549. * - the saved commit has no reveal information, AND
  550. * - this commit does have reveal information, AND
  551. * - the reveal & commit information are matching.
  552. *
  553. * If all the above are true, then we are interested in this new commit
  554. * for its reveal information. */
  555. if (!saved_commit) {
  556. log_debug(LD_DIR, "SR: Ignoring commit first seen in reveal phase.");
  557. goto ignore;
  558. }
  559. if (!commitments_are_the_same(commit, saved_commit)) {
  560. log_warn(LD_DIR, "SR: Commit from authority %s is different from "
  561. "previous commit in our state (voter: %s)",
  562. sr_commit_get_rsa_fpr(commit),
  563. hex_str(voter_key, DIGEST_LEN));
  564. goto ignore;
  565. }
  566. if (commit_has_reveal_value(saved_commit)) {
  567. log_debug(LD_DIR, "SR: Ignoring commit with known reveal info.");
  568. goto ignore;
  569. }
  570. if (!commit_has_reveal_value(commit)) {
  571. log_debug(LD_DIR, "SR: Ignoring commit without reveal value.");
  572. goto ignore;
  573. }
  574. if (verify_commit_and_reveal(commit) < 0) {
  575. log_warn(LD_BUG, "SR: Commit from authority %s has an invalid "
  576. "reveal value. (voter: %s)",
  577. sr_commit_get_rsa_fpr(commit),
  578. hex_str(voter_key, DIGEST_LEN));
  579. goto ignore;
  580. }
  581. break;
  582. default:
  583. tor_assert(0);
  584. }
  585. return 1;
  586. ignore:
  587. return 0;
  588. }
  589. /* We are in reveal phase and we found a valid and verified <b>commit</b> in
  590. * a vote that contains reveal values that we could use. Update the commit
  591. * we have in our state. Never call this with an unverified commit. */
  592. STATIC void
  593. save_commit_during_reveal_phase(const sr_commit_t *commit)
  594. {
  595. sr_commit_t *saved_commit;
  596. tor_assert(commit);
  597. /* Get the commit from our state. */
  598. saved_commit = sr_state_get_commit(commit->rsa_identity);
  599. tor_assert(saved_commit);
  600. /* Safety net. They can not be different commitments at this point. */
  601. int same_commits = commitments_are_the_same(commit, saved_commit);
  602. tor_assert(same_commits);
  603. /* Copy reveal information to our saved commit. */
  604. sr_state_copy_reveal_info(saved_commit, commit);
  605. }
  606. /* Save <b>commit</b> to our persistent state. Depending on the current
  607. * phase, different actions are taken. Steals reference of <b>commit</b>.
  608. * The commit object MUST be valid and verified before adding it to the
  609. * state. */
  610. STATIC void
  611. save_commit_to_state(sr_commit_t *commit)
  612. {
  613. sr_phase_t phase = sr_state_get_phase();
  614. ASSERT_COMMIT_VALID(commit);
  615. switch (phase) {
  616. case SR_PHASE_COMMIT:
  617. /* During commit phase, just save any new authoritative commit */
  618. sr_state_add_commit(commit);
  619. break;
  620. case SR_PHASE_REVEAL:
  621. save_commit_during_reveal_phase(commit);
  622. sr_commit_free(commit);
  623. break;
  624. default:
  625. tor_assert(0);
  626. }
  627. }
  628. /* Return the number of required participants of the SR protocol. This is based
  629. * on a consensus params. */
  630. static int
  631. get_n_voters_for_srv_agreement(void)
  632. {
  633. int num_dirauths = get_n_authorities(V3_DIRINFO);
  634. /* If the params is not found, default value should always be the maximum
  635. * number of trusted authorities. Let's not take any chances. */
  636. return networkstatus_get_param(NULL, "AuthDirNumSRVAgreements",
  637. num_dirauths, 1, num_dirauths);
  638. }
  639. /* Return 1 if we should we keep an SRV voted by <b>n_agreements</b> auths.
  640. * Return 0 if we should ignore it. */
  641. static int
  642. should_keep_srv(int n_agreements)
  643. {
  644. /* Check if the most popular SRV has reached majority. */
  645. int n_voters = get_n_authorities(V3_DIRINFO);
  646. int votes_required_for_majority = (n_voters / 2) + 1;
  647. /* We need at the very least majority to keep a value. */
  648. if (n_agreements < votes_required_for_majority) {
  649. log_notice(LD_DIR, "SR: SRV didn't reach majority [%d/%d]!",
  650. n_agreements, votes_required_for_majority);
  651. return 0;
  652. }
  653. /* When we just computed a new SRV, we need to have super majority in order
  654. * to keep it. */
  655. if (sr_state_srv_is_fresh()) {
  656. /* Check if we have super majority for this new SRV value. */
  657. int num_required_agreements = get_n_voters_for_srv_agreement();
  658. if (n_agreements < num_required_agreements) {
  659. log_notice(LD_DIR, "SR: New SRV didn't reach agreement [%d/%d]!",
  660. n_agreements, num_required_agreements);
  661. return 0;
  662. }
  663. }
  664. return 1;
  665. }
  666. /* Helper: compare two DIGEST256_LEN digests. */
  667. static int
  668. compare_srvs_(const void **_a, const void **_b)
  669. {
  670. const sr_srv_t *a = *_a, *b = *_b;
  671. return tor_memcmp(a->value, b->value, sizeof(a->value));
  672. }
  673. /* Return the most frequent member of the sorted list of DIGEST256_LEN
  674. * digests in <b>sl</b> with the count of that most frequent element. */
  675. static sr_srv_t *
  676. smartlist_get_most_frequent_srv(const smartlist_t *sl, int *count_out)
  677. {
  678. return smartlist_get_most_frequent_(sl, compare_srvs_, count_out);
  679. }
  680. /* Using a list of <b>votes</b>, return the SRV object from them that has
  681. * been voted by the majority of dirauths. If <b>current</b> is set, we look
  682. * for the current SRV value else the previous one. The returned pointer is
  683. * an object located inside a vote. NULL is returned if no appropriate value
  684. * could be found. */
  685. STATIC sr_srv_t *
  686. get_majority_srv_from_votes(const smartlist_t *votes, int current)
  687. {
  688. int count = 0;
  689. sr_srv_t *most_frequent_srv = NULL;
  690. sr_srv_t *the_srv = NULL;
  691. smartlist_t *srv_list;
  692. tor_assert(votes);
  693. srv_list = smartlist_new();
  694. /* Walk over votes and register any SRVs found. */
  695. SMARTLIST_FOREACH_BEGIN(votes, networkstatus_t *, v) {
  696. sr_srv_t *srv_tmp = NULL;
  697. if (!v->sr_info.participate) {
  698. /* Ignore vote that do not participate. */
  699. continue;
  700. }
  701. /* Do we want previous or current SRV? */
  702. srv_tmp = current ? v->sr_info.current_srv : v->sr_info.previous_srv;
  703. if (!srv_tmp) {
  704. continue;
  705. }
  706. smartlist_add(srv_list, srv_tmp);
  707. } SMARTLIST_FOREACH_END(v);
  708. most_frequent_srv = smartlist_get_most_frequent_srv(srv_list, &count);
  709. if (!most_frequent_srv) {
  710. goto end;
  711. }
  712. /* Was this SRV voted by enough auths for us to keep it? */
  713. if (!should_keep_srv(count)) {
  714. goto end;
  715. }
  716. /* We found an SRV that we can use! Habemus SRV! */
  717. the_srv = most_frequent_srv;
  718. {
  719. /* Debugging */
  720. char encoded[SR_SRV_VALUE_BASE64_LEN + 1];
  721. sr_srv_encode(encoded, the_srv);
  722. log_debug(LD_DIR, "SR: Chosen SRV by majority: %s (%d votes)", encoded,
  723. count);
  724. }
  725. end:
  726. /* We do not free any sr_srv_t values, we don't have the ownership. */
  727. smartlist_free(srv_list);
  728. return the_srv;
  729. }
  730. /* Encode the given shared random value and put it in dst. Destination
  731. * buffer must be at least SR_SRV_VALUE_BASE64_LEN plus the NULL byte. */
  732. void
  733. sr_srv_encode(char *dst, const sr_srv_t *srv)
  734. {
  735. int ret;
  736. /* Extra byte for the NULL terminated char. */
  737. char buf[SR_SRV_VALUE_BASE64_LEN + 1];
  738. tor_assert(dst);
  739. tor_assert(srv);
  740. ret = base64_encode(buf, sizeof(buf), (const char *) srv->value,
  741. sizeof(srv->value), 0);
  742. /* Always expect the full length without the NULL byte. */
  743. tor_assert(ret == (sizeof(buf) - 1));
  744. strlcpy(dst, buf, sizeof(buf));
  745. }
  746. /* Free a commit object. */
  747. void
  748. sr_commit_free(sr_commit_t *commit)
  749. {
  750. if (commit == NULL) {
  751. return;
  752. }
  753. /* Make sure we do not leave OUR random number in memory. */
  754. memwipe(commit->random_number, 0, sizeof(commit->random_number));
  755. tor_free(commit);
  756. }
  757. /* Generate the commitment/reveal value for the protocol run starting at
  758. * <b>timestamp</b>. <b>my_rsa_cert</b> is our authority RSA certificate. */
  759. sr_commit_t *
  760. sr_generate_our_commit(time_t timestamp, const authority_cert_t *my_rsa_cert)
  761. {
  762. sr_commit_t *commit = NULL;
  763. char digest[DIGEST_LEN];
  764. tor_assert(my_rsa_cert);
  765. /* Get our RSA identity fingerprint */
  766. if (crypto_pk_get_digest(my_rsa_cert->identity_key, digest) < 0) {
  767. goto error;
  768. }
  769. /* New commit with our identity key. */
  770. commit = commit_new(digest);
  771. /* Generate the reveal random value */
  772. crypto_strongest_rand(commit->random_number,
  773. sizeof(commit->random_number));
  774. commit->commit_ts = commit->reveal_ts = timestamp;
  775. /* Now get the base64 blob that corresponds to our reveal */
  776. if (reveal_encode(commit, commit->encoded_reveal,
  777. sizeof(commit->encoded_reveal)) < 0) {
  778. log_err(LD_DIR, "SR: Unable to encode our reveal value!");
  779. goto error;
  780. }
  781. /* Now let's create the commitment */
  782. tor_assert(commit->alg == SR_DIGEST_ALG);
  783. /* The invariant length is used here since the encoded reveal variable
  784. * has an extra byte added for the NULL terminated byte. */
  785. if (crypto_digest256(commit->hashed_reveal, commit->encoded_reveal,
  786. SR_REVEAL_BASE64_LEN, commit->alg)) {
  787. goto error;
  788. }
  789. /* Now get the base64 blob that corresponds to our commit. */
  790. if (commit_encode(commit, commit->encoded_commit,
  791. sizeof(commit->encoded_commit)) < 0) {
  792. log_err(LD_DIR, "SR: Unable to encode our commit value!");
  793. goto error;
  794. }
  795. log_debug(LD_DIR, "SR: Generated our commitment:");
  796. commit_log(commit);
  797. /* Our commit better be valid :). */
  798. commit->valid = 1;
  799. return commit;
  800. error:
  801. sr_commit_free(commit);
  802. return NULL;
  803. }
  804. /* Compute the shared random value based on the active commits in our state. */
  805. void
  806. sr_compute_srv(void)
  807. {
  808. size_t reveal_num = 0;
  809. char *reveals = NULL;
  810. smartlist_t *chunks, *commits;
  811. digestmap_t *state_commits;
  812. /* Computing a shared random value in the commit phase is very wrong. This
  813. * should only happen at the very end of the reveal phase when a new
  814. * protocol run is about to start. */
  815. tor_assert(sr_state_get_phase() == SR_PHASE_REVEAL);
  816. state_commits = sr_state_get_commits();
  817. commits = smartlist_new();
  818. chunks = smartlist_new();
  819. /* We must make a list of commit ordered by authority fingerprint in
  820. * ascending order as specified by proposal 250. */
  821. DIGESTMAP_FOREACH(state_commits, key, sr_commit_t *, c) {
  822. /* Extra safety net, make sure we have valid commit before using it. */
  823. ASSERT_COMMIT_VALID(c);
  824. /* Let's not use a commit from an authority that we don't know. It's
  825. * possible that an authority could be removed during a protocol run so
  826. * that commit value should never be used in the SRV computation. */
  827. if (trusteddirserver_get_by_v3_auth_digest(c->rsa_identity) == NULL) {
  828. log_warn(LD_DIR, "SR: Fingerprint %s is not from a recognized "
  829. "authority. Discarding commit for the SRV computation.",
  830. sr_commit_get_rsa_fpr(c));
  831. continue;
  832. }
  833. /* We consider this commit valid. */
  834. smartlist_add(commits, c);
  835. } DIGESTMAP_FOREACH_END;
  836. smartlist_sort(commits, compare_reveal_);
  837. /* Now for each commit for that sorted list in ascending order, we'll
  838. * build the element for each authority that needs to go into the srv
  839. * computation. */
  840. SMARTLIST_FOREACH_BEGIN(commits, const sr_commit_t *, c) {
  841. char *element = get_srv_element_from_commit(c);
  842. if (element) {
  843. smartlist_add(chunks, element);
  844. reveal_num++;
  845. }
  846. } SMARTLIST_FOREACH_END(c);
  847. smartlist_free(commits);
  848. {
  849. /* Join all reveal values into one giant string that we'll hash so we
  850. * can generated our shared random value. */
  851. sr_srv_t *current_srv;
  852. char hashed_reveals[DIGEST256_LEN];
  853. reveals = smartlist_join_strings(chunks, "", 0, NULL);
  854. SMARTLIST_FOREACH(chunks, char *, s, tor_free(s));
  855. smartlist_free(chunks);
  856. if (crypto_digest256(hashed_reveals, reveals, strlen(reveals),
  857. SR_DIGEST_ALG)) {
  858. goto end;
  859. }
  860. tor_assert(reveal_num < UINT8_MAX);
  861. current_srv = generate_srv(hashed_reveals, (uint8_t) reveal_num,
  862. sr_state_get_previous_srv());
  863. sr_state_set_current_srv(current_srv);
  864. /* We have a fresh SRV, flag our state. */
  865. sr_state_set_fresh_srv();
  866. }
  867. end:
  868. tor_free(reveals);
  869. }
  870. /* Parse a list of arguments from a SRV value either from a vote, consensus
  871. * or from our disk state and return a newly allocated srv object. NULL is
  872. * returned on error.
  873. *
  874. * The arguments' order:
  875. * num_reveals, value
  876. */
  877. sr_srv_t *
  878. sr_parse_srv(const smartlist_t *args)
  879. {
  880. char *value;
  881. int num_reveals, ok, ret;
  882. sr_srv_t *srv = NULL;
  883. tor_assert(args);
  884. if (smartlist_len(args) < 2) {
  885. goto end;
  886. }
  887. /* First argument is the number of reveal values */
  888. num_reveals = (int)tor_parse_long(smartlist_get(args, 0),
  889. 10, 0, INT32_MAX, &ok, NULL);
  890. if (!ok) {
  891. goto end;
  892. }
  893. /* Second and last argument is the shared random value it self. */
  894. value = smartlist_get(args, 1);
  895. if (strlen(value) != SR_SRV_VALUE_BASE64_LEN) {
  896. goto end;
  897. }
  898. srv = tor_malloc_zero(sizeof(*srv));
  899. srv->num_reveals = num_reveals;
  900. /* We substract one byte from the srclen because the function ignores the
  901. * '=' character in the given buffer. This is broken but it's a documented
  902. * behavior of the implementation. */
  903. ret = base64_decode((char *) srv->value, sizeof(srv->value), value,
  904. SR_SRV_VALUE_BASE64_LEN - 1);
  905. if (ret != sizeof(srv->value)) {
  906. tor_free(srv);
  907. srv = NULL;
  908. goto end;
  909. }
  910. end:
  911. return srv;
  912. }
  913. /* Parse a commit from a vote or from our disk state and return a newly
  914. * allocated commit object. NULL is returned on error.
  915. *
  916. * The commit's data is in <b>args</b> and the order matters very much:
  917. * version, algname, RSA fingerprint, commit value[, reveal value]
  918. */
  919. sr_commit_t *
  920. sr_parse_commit(const smartlist_t *args)
  921. {
  922. uint32_t version;
  923. char *value, digest[DIGEST_LEN];
  924. digest_algorithm_t alg;
  925. const char *rsa_identity_fpr;
  926. sr_commit_t *commit = NULL;
  927. if (smartlist_len(args) < 4) {
  928. goto error;
  929. }
  930. /* First is the version number of the SR protocol which indicates at which
  931. * version that commit was created. */
  932. value = smartlist_get(args, 0);
  933. version = (uint32_t) tor_parse_ulong(value, 10, 1, UINT32_MAX, NULL, NULL);
  934. if (version > SR_PROTO_VERSION) {
  935. log_info(LD_DIR, "SR: Commit version %" PRIu32 " (%s) is not supported.",
  936. version, escaped(value));
  937. goto error;
  938. }
  939. /* Second is the algorithm. */
  940. value = smartlist_get(args, 1);
  941. alg = crypto_digest_algorithm_parse_name(value);
  942. if (alg != SR_DIGEST_ALG) {
  943. log_warn(LD_BUG, "SR: Commit algorithm %s is not recognized.",
  944. escaped(value));
  945. goto error;
  946. }
  947. /* Third argument is the RSA fingerprint of the auth and turn it into a
  948. * digest value. */
  949. rsa_identity_fpr = smartlist_get(args, 2);
  950. if (base16_decode(digest, DIGEST_LEN, rsa_identity_fpr,
  951. HEX_DIGEST_LEN) < 0) {
  952. log_warn(LD_DIR, "SR: RSA fingerprint '%s' not decodable",
  953. rsa_identity_fpr);
  954. goto error;
  955. }
  956. /* Let's make sure, for extra safety, that this fingerprint is known to
  957. * us. Even though this comes from a vote, doesn't hurt to be
  958. * extracareful. */
  959. if (trusteddirserver_get_by_v3_auth_digest(digest) == NULL) {
  960. log_warn(LD_DIR, "SR: Fingerprint %s is not from a recognized "
  961. "authority. Discarding commit.",
  962. rsa_identity_fpr);
  963. goto error;
  964. }
  965. /* Allocate commit since we have a valid identity now. */
  966. commit = commit_new(digest);
  967. /* Fourth argument is the commitment value base64-encoded. */
  968. value = smartlist_get(args, 3);
  969. if (commit_decode(value, commit) < 0) {
  970. goto error;
  971. }
  972. /* (Optional) Fifth argument is the revealed value. */
  973. if (smartlist_len(args) > 4) {
  974. value = smartlist_get(args, 4);
  975. if (reveal_decode(value, commit) < 0) {
  976. goto error;
  977. }
  978. }
  979. return commit;
  980. error:
  981. sr_commit_free(commit);
  982. return NULL;
  983. }
  984. /* Called when we are done parsing a vote by <b>voter_key</b> that might
  985. * contain some useful <b>commits</b>. Find if any of them should be kept
  986. * and update our state accordingly. Once done, the list of commitments will
  987. * be empty. */
  988. void
  989. sr_handle_received_commits(smartlist_t *commits, crypto_pk_t *voter_key)
  990. {
  991. char rsa_identity[DIGEST_LEN];
  992. tor_assert(voter_key);
  993. /* It's possible that the vote has _NO_ commits. */
  994. if (commits == NULL) {
  995. return;
  996. }
  997. /* Get the RSA identity fingerprint of this voter */
  998. if (crypto_pk_get_digest(voter_key, rsa_identity) < 0) {
  999. return;
  1000. }
  1001. SMARTLIST_FOREACH_BEGIN(commits, sr_commit_t *, commit) {
  1002. /* We won't need the commit in this list anymore, kept or not. */
  1003. SMARTLIST_DEL_CURRENT(commits, commit);
  1004. /* Check if this commit is valid and should be stored in our state. */
  1005. if (!should_keep_commit(commit, rsa_identity,
  1006. sr_state_get_phase())) {
  1007. sr_commit_free(commit);
  1008. continue;
  1009. }
  1010. /* Ok, we have a valid commit now that we are about to put in our state.
  1011. * so flag it valid from now on. */
  1012. commit->valid = 1;
  1013. /* Everything lines up: save this commit to state then! */
  1014. save_commit_to_state(commit);
  1015. } SMARTLIST_FOREACH_END(commit);
  1016. }
  1017. /* Return a heap-allocated string containing commits that should be put in
  1018. * the votes. It's the responsibility of the caller to free the string.
  1019. * This always return a valid string, either empty or with line(s). */
  1020. char *
  1021. sr_get_string_for_vote(void)
  1022. {
  1023. char *vote_str = NULL;
  1024. digestmap_t *state_commits;
  1025. smartlist_t *chunks = smartlist_new();
  1026. const or_options_t *options = get_options();
  1027. /* Are we participating in the protocol? */
  1028. if (!options->AuthDirSharedRandomness) {
  1029. goto end;
  1030. }
  1031. log_debug(LD_DIR, "SR: Preparing our vote info:");
  1032. /* First line, put in the vote the participation flag. */
  1033. {
  1034. char *sr_flag_line;
  1035. tor_asprintf(&sr_flag_line, "%s\n", sr_flag_ns_str);
  1036. smartlist_add(chunks, sr_flag_line);
  1037. }
  1038. /* In our vote we include every commitment in our permanent state. */
  1039. state_commits = sr_state_get_commits();
  1040. DIGESTMAP_FOREACH(state_commits, key, const sr_commit_t *, commit) {
  1041. char *line = get_vote_line_from_commit(commit, sr_state_get_phase());
  1042. smartlist_add(chunks, line);
  1043. } DIGESTMAP_FOREACH_END;
  1044. /* Add the SRV value(s) if any. */
  1045. {
  1046. char *srv_lines = get_ns_str_from_sr_values(sr_state_get_previous_srv(),
  1047. sr_state_get_current_srv());
  1048. if (srv_lines) {
  1049. smartlist_add(chunks, srv_lines);
  1050. }
  1051. }
  1052. end:
  1053. vote_str = smartlist_join_strings(chunks, "", 0, NULL);
  1054. SMARTLIST_FOREACH(chunks, char *, s, tor_free(s));
  1055. smartlist_free(chunks);
  1056. return vote_str;
  1057. }
  1058. /* Return a heap-allocated string that should be put in the consensus and
  1059. * contains the shared randomness values. It's the responsibility of the
  1060. * caller to free the string. NULL is returned if no SRV(s) available.
  1061. *
  1062. * This is called when a consensus (any flavor) is bring created thus it
  1063. * should NEVER change the state nor the state should be changed in between
  1064. * consensus creation. */
  1065. char *
  1066. sr_get_string_for_consensus(const smartlist_t *votes)
  1067. {
  1068. char *srv_str;
  1069. const or_options_t *options = get_options();
  1070. tor_assert(votes);
  1071. /* Not participating, avoid returning anything. */
  1072. if (!options->AuthDirSharedRandomness) {
  1073. log_info(LD_DIR, "SR: Support disabled (AuthDirSharedRandomness %d)",
  1074. options->AuthDirSharedRandomness);
  1075. goto end;
  1076. }
  1077. /* Check the votes and figure out if SRVs should be included in the final
  1078. * consensus. */
  1079. sr_srv_t *prev_srv = get_majority_srv_from_votes(votes, 0);
  1080. sr_srv_t *cur_srv = get_majority_srv_from_votes(votes, 1);
  1081. srv_str = get_ns_str_from_sr_values(prev_srv, cur_srv);
  1082. if (!srv_str) {
  1083. goto end;
  1084. }
  1085. return srv_str;
  1086. end:
  1087. return NULL;
  1088. }
  1089. /* We just computed a new <b>consensus</b>. Update our state with the SRVs
  1090. * from the consensus (might be NULL as well). Register the SRVs in our SR
  1091. * state and prepare for the upcoming protocol round. */
  1092. void
  1093. sr_act_post_consensus(const networkstatus_t *consensus)
  1094. {
  1095. time_t interval_starts;
  1096. const or_options_t *options = get_options();
  1097. /* Don't act if our state hasn't been initialized. We can be called during
  1098. * boot time when loading consensus from disk which is prior to the
  1099. * initialization of the SR subsystem. We also should not be doing
  1100. * anything if we are _not_ a directory authority and if we are a bridge
  1101. * authority. */
  1102. if (!sr_state_is_initialized() || !authdir_mode_v3(options) ||
  1103. authdir_mode_bridge(options)) {
  1104. return;
  1105. }
  1106. /* Set the majority voted SRVs in our state even if both are NULL. It
  1107. * doesn't matter this is what the majority has decided. Obviously, we can
  1108. * only do that if we have a consensus. */
  1109. if (consensus) {
  1110. /* Start by freeing the current SRVs since the SRVs we believed during
  1111. * voting do not really matter. Now that all the votes are in, we use the
  1112. * majority's opinion on which are the active SRVs. */
  1113. sr_state_clean_srvs();
  1114. /* Reset the fresh flag of the SRV so we know that from now on we don't
  1115. * have a new SRV to vote for. We just used the one from the consensus
  1116. * decided by the majority. */
  1117. sr_state_unset_fresh_srv();
  1118. /* Set the SR values from the given consensus. */
  1119. sr_state_set_previous_srv(srv_dup(consensus->sr_info.previous_srv));
  1120. sr_state_set_current_srv(srv_dup(consensus->sr_info.current_srv));
  1121. }
  1122. /* Update our internal state with the next voting interval starting time. */
  1123. interval_starts = get_voting_schedule(options, time(NULL),
  1124. LOG_NOTICE)->interval_starts;
  1125. sr_state_update(interval_starts);
  1126. }
  1127. /* Initialize shared random subsystem. This MUST be called early in the boot
  1128. * process of tor. Return 0 on success else -1 on error. */
  1129. int
  1130. sr_init(int save_to_disk)
  1131. {
  1132. return sr_state_init(save_to_disk, 1);
  1133. }
  1134. /* Save our state to disk and cleanup everything. */
  1135. void
  1136. sr_save_and_cleanup(void)
  1137. {
  1138. sr_state_save();
  1139. sr_cleanup();
  1140. }