hs_circuit.c 46 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250
  1. /* Copyright (c) 2017, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. /**
  4. * \file hs_circuit.c
  5. **/
  6. #define HS_CIRCUIT_PRIVATE
  7. #include "or.h"
  8. #include "circpathbias.h"
  9. #include "circuitbuild.h"
  10. #include "circuitlist.h"
  11. #include "circuituse.h"
  12. #include "config.h"
  13. #include "crypto_rand.h"
  14. #include "crypto_util.h"
  15. #include "nodelist.h"
  16. #include "policies.h"
  17. #include "relay.h"
  18. #include "rendservice.h"
  19. #include "rephist.h"
  20. #include "router.h"
  21. #include "hs_cell.h"
  22. #include "hs_ident.h"
  23. #include "hs_ntor.h"
  24. #include "hs_service.h"
  25. #include "hs_circuit.h"
  26. /* Trunnel. */
  27. #include "ed25519_cert.h"
  28. #include "hs/cell_common.h"
  29. #include "hs/cell_establish_intro.h"
  30. /* A circuit is about to become an e2e rendezvous circuit. Check
  31. * <b>circ_purpose</b> and ensure that it's properly set. Return true iff
  32. * circuit purpose is properly set, otherwise return false. */
  33. static int
  34. circuit_purpose_is_correct_for_rend(unsigned int circ_purpose,
  35. int is_service_side)
  36. {
  37. if (is_service_side) {
  38. if (circ_purpose != CIRCUIT_PURPOSE_S_CONNECT_REND) {
  39. log_warn(LD_BUG,
  40. "HS e2e circuit setup with wrong purpose (%d)", circ_purpose);
  41. return 0;
  42. }
  43. }
  44. if (!is_service_side) {
  45. if (circ_purpose != CIRCUIT_PURPOSE_C_REND_READY &&
  46. circ_purpose != CIRCUIT_PURPOSE_C_REND_READY_INTRO_ACKED) {
  47. log_warn(LD_BUG,
  48. "Client e2e circuit setup with wrong purpose (%d)", circ_purpose);
  49. return 0;
  50. }
  51. }
  52. return 1;
  53. }
  54. /* Create and return a crypt path for the final hop of a v3 prop224 rendezvous
  55. * circuit. Initialize the crypt path crypto using the output material from the
  56. * ntor key exchange at <b>ntor_key_seed</b>.
  57. *
  58. * If <b>is_service_side</b> is set, we are the hidden service and the final
  59. * hop of the rendezvous circuit is the client on the other side. */
  60. static crypt_path_t *
  61. create_rend_cpath(const uint8_t *ntor_key_seed, size_t seed_len,
  62. int is_service_side)
  63. {
  64. uint8_t keys[HS_NTOR_KEY_EXPANSION_KDF_OUT_LEN];
  65. crypt_path_t *cpath = NULL;
  66. /* Do the key expansion */
  67. if (hs_ntor_circuit_key_expansion(ntor_key_seed, seed_len,
  68. keys, sizeof(keys)) < 0) {
  69. goto err;
  70. }
  71. /* Setup the cpath */
  72. cpath = tor_malloc_zero(sizeof(crypt_path_t));
  73. cpath->magic = CRYPT_PATH_MAGIC;
  74. if (circuit_init_cpath_crypto(cpath, (char*)keys, sizeof(keys),
  75. is_service_side, 1) < 0) {
  76. tor_free(cpath);
  77. goto err;
  78. }
  79. err:
  80. memwipe(keys, 0, sizeof(keys));
  81. return cpath;
  82. }
  83. /* We are a v2 legacy HS client: Create and return a crypt path for the hidden
  84. * service on the other side of the rendezvous circuit <b>circ</b>. Initialize
  85. * the crypt path crypto using the body of the RENDEZVOUS1 cell at
  86. * <b>rend_cell_body</b> (which must be at least DH_KEY_LEN+DIGEST_LEN bytes).
  87. */
  88. static crypt_path_t *
  89. create_rend_cpath_legacy(origin_circuit_t *circ, const uint8_t *rend_cell_body)
  90. {
  91. crypt_path_t *hop = NULL;
  92. char keys[DIGEST_LEN+CPATH_KEY_MATERIAL_LEN];
  93. /* first DH_KEY_LEN bytes are g^y from the service. Finish the dh
  94. * handshake...*/
  95. tor_assert(circ->build_state);
  96. tor_assert(circ->build_state->pending_final_cpath);
  97. hop = circ->build_state->pending_final_cpath;
  98. tor_assert(hop->rend_dh_handshake_state);
  99. if (crypto_dh_compute_secret(LOG_PROTOCOL_WARN, hop->rend_dh_handshake_state,
  100. (char*)rend_cell_body, DH_KEY_LEN,
  101. keys, DIGEST_LEN+CPATH_KEY_MATERIAL_LEN)<0) {
  102. log_warn(LD_GENERAL, "Couldn't complete DH handshake.");
  103. goto err;
  104. }
  105. /* ... and set up cpath. */
  106. if (circuit_init_cpath_crypto(hop,
  107. keys+DIGEST_LEN, sizeof(keys)-DIGEST_LEN,
  108. 0, 0) < 0)
  109. goto err;
  110. /* Check whether the digest is right... */
  111. if (tor_memneq(keys, rend_cell_body+DH_KEY_LEN, DIGEST_LEN)) {
  112. log_warn(LD_PROTOCOL, "Incorrect digest of key material.");
  113. goto err;
  114. }
  115. /* clean up the crypto stuff we just made */
  116. crypto_dh_free(hop->rend_dh_handshake_state);
  117. hop->rend_dh_handshake_state = NULL;
  118. goto done;
  119. err:
  120. hop = NULL;
  121. done:
  122. memwipe(keys, 0, sizeof(keys));
  123. return hop;
  124. }
  125. /* Append the final <b>hop</b> to the cpath of the rend <b>circ</b>, and mark
  126. * <b>circ</b> ready for use to transfer HS relay cells. */
  127. static void
  128. finalize_rend_circuit(origin_circuit_t *circ, crypt_path_t *hop,
  129. int is_service_side)
  130. {
  131. tor_assert(circ);
  132. tor_assert(hop);
  133. /* Notify the circuit state machine that we are splicing this circuit */
  134. int new_circ_purpose = is_service_side ?
  135. CIRCUIT_PURPOSE_S_REND_JOINED : CIRCUIT_PURPOSE_C_REND_JOINED;
  136. circuit_change_purpose(TO_CIRCUIT(circ), new_circ_purpose);
  137. /* All is well. Extend the circuit. */
  138. hop->state = CPATH_STATE_OPEN;
  139. /* Set the windows to default. */
  140. hop->package_window = circuit_initial_package_window();
  141. hop->deliver_window = CIRCWINDOW_START;
  142. /* Now that this circuit has finished connecting to its destination,
  143. * make sure circuit_get_open_circ_or_launch is willing to return it
  144. * so we can actually use it. */
  145. circ->hs_circ_has_timed_out = 0;
  146. /* Append the hop to the cpath of this circuit */
  147. onion_append_to_cpath(&circ->cpath, hop);
  148. /* In legacy code, 'pending_final_cpath' points to the final hop we just
  149. * appended to the cpath. We set the original pointer to NULL so that we
  150. * don't double free it. */
  151. if (circ->build_state) {
  152. circ->build_state->pending_final_cpath = NULL;
  153. }
  154. /* Finally, mark circuit as ready to be used for client streams */
  155. if (!is_service_side) {
  156. circuit_try_attaching_streams(circ);
  157. }
  158. }
  159. /* For a given circuit and a service introduction point object, register the
  160. * intro circuit to the circuitmap. This supports legacy intro point. */
  161. static void
  162. register_intro_circ(const hs_service_intro_point_t *ip,
  163. origin_circuit_t *circ)
  164. {
  165. tor_assert(ip);
  166. tor_assert(circ);
  167. if (ip->base.is_only_legacy) {
  168. hs_circuitmap_register_intro_circ_v2_service_side(circ,
  169. ip->legacy_key_digest);
  170. } else {
  171. hs_circuitmap_register_intro_circ_v3_service_side(circ,
  172. &ip->auth_key_kp.pubkey);
  173. }
  174. }
  175. /* Return the number of opened introduction circuit for the given circuit that
  176. * is matching its identity key. */
  177. static unsigned int
  178. count_opened_desc_intro_point_circuits(const hs_service_t *service,
  179. const hs_service_descriptor_t *desc)
  180. {
  181. unsigned int count = 0;
  182. tor_assert(service);
  183. tor_assert(desc);
  184. DIGEST256MAP_FOREACH(desc->intro_points.map, key,
  185. const hs_service_intro_point_t *, ip) {
  186. const circuit_t *circ;
  187. const origin_circuit_t *ocirc = hs_circ_service_get_intro_circ(ip);
  188. if (ocirc == NULL) {
  189. continue;
  190. }
  191. circ = TO_CIRCUIT(ocirc);
  192. tor_assert(circ->purpose == CIRCUIT_PURPOSE_S_ESTABLISH_INTRO ||
  193. circ->purpose == CIRCUIT_PURPOSE_S_INTRO);
  194. /* Having a circuit not for the requested service is really bad. */
  195. tor_assert(ed25519_pubkey_eq(&service->keys.identity_pk,
  196. &ocirc->hs_ident->identity_pk));
  197. /* Only count opened circuit and skip circuit that will be closed. */
  198. if (!circ->marked_for_close && circ->state == CIRCUIT_STATE_OPEN) {
  199. count++;
  200. }
  201. } DIGEST256MAP_FOREACH_END;
  202. return count;
  203. }
  204. /* From a given service, rendezvous cookie and handshake info, create a
  205. * rendezvous point circuit identifier. This can't fail. */
  206. STATIC hs_ident_circuit_t *
  207. create_rp_circuit_identifier(const hs_service_t *service,
  208. const uint8_t *rendezvous_cookie,
  209. const curve25519_public_key_t *server_pk,
  210. const hs_ntor_rend_cell_keys_t *keys)
  211. {
  212. hs_ident_circuit_t *ident;
  213. uint8_t handshake_info[CURVE25519_PUBKEY_LEN + DIGEST256_LEN];
  214. tor_assert(service);
  215. tor_assert(rendezvous_cookie);
  216. tor_assert(server_pk);
  217. tor_assert(keys);
  218. ident = hs_ident_circuit_new(&service->keys.identity_pk,
  219. HS_IDENT_CIRCUIT_RENDEZVOUS);
  220. /* Copy the RENDEZVOUS_COOKIE which is the unique identifier. */
  221. memcpy(ident->rendezvous_cookie, rendezvous_cookie,
  222. sizeof(ident->rendezvous_cookie));
  223. /* Build the HANDSHAKE_INFO which looks like this:
  224. * SERVER_PK [32 bytes]
  225. * AUTH_INPUT_MAC [32 bytes]
  226. */
  227. memcpy(handshake_info, server_pk->public_key, CURVE25519_PUBKEY_LEN);
  228. memcpy(handshake_info + CURVE25519_PUBKEY_LEN, keys->rend_cell_auth_mac,
  229. DIGEST256_LEN);
  230. tor_assert(sizeof(ident->rendezvous_handshake_info) ==
  231. sizeof(handshake_info));
  232. memcpy(ident->rendezvous_handshake_info, handshake_info,
  233. sizeof(ident->rendezvous_handshake_info));
  234. /* Finally copy the NTOR_KEY_SEED for e2e encryption on the circuit. */
  235. tor_assert(sizeof(ident->rendezvous_ntor_key_seed) ==
  236. sizeof(keys->ntor_key_seed));
  237. memcpy(ident->rendezvous_ntor_key_seed, keys->ntor_key_seed,
  238. sizeof(ident->rendezvous_ntor_key_seed));
  239. return ident;
  240. }
  241. /* From a given service and service intro point, create an introduction point
  242. * circuit identifier. This can't fail. */
  243. static hs_ident_circuit_t *
  244. create_intro_circuit_identifier(const hs_service_t *service,
  245. const hs_service_intro_point_t *ip)
  246. {
  247. hs_ident_circuit_t *ident;
  248. tor_assert(service);
  249. tor_assert(ip);
  250. ident = hs_ident_circuit_new(&service->keys.identity_pk,
  251. HS_IDENT_CIRCUIT_INTRO);
  252. ed25519_pubkey_copy(&ident->intro_auth_pk, &ip->auth_key_kp.pubkey);
  253. return ident;
  254. }
  255. /* For a given introduction point and an introduction circuit, send the
  256. * ESTABLISH_INTRO cell. The service object is used for logging. This can fail
  257. * and if so, the circuit is closed and the intro point object is flagged
  258. * that the circuit is not established anymore which is important for the
  259. * retry mechanism. */
  260. static void
  261. send_establish_intro(const hs_service_t *service,
  262. hs_service_intro_point_t *ip, origin_circuit_t *circ)
  263. {
  264. ssize_t cell_len;
  265. uint8_t payload[RELAY_PAYLOAD_SIZE];
  266. tor_assert(service);
  267. tor_assert(ip);
  268. tor_assert(circ);
  269. /* Encode establish intro cell. */
  270. cell_len = hs_cell_build_establish_intro(circ->cpath->prev->rend_circ_nonce,
  271. ip, payload);
  272. if (cell_len < 0) {
  273. log_warn(LD_REND, "Unable to encode ESTABLISH_INTRO cell for service %s "
  274. "on circuit %u. Closing circuit.",
  275. safe_str_client(service->onion_address),
  276. TO_CIRCUIT(circ)->n_circ_id);
  277. goto err;
  278. }
  279. /* Send the cell on the circuit. */
  280. if (relay_send_command_from_edge(CONTROL_CELL_ID, TO_CIRCUIT(circ),
  281. RELAY_COMMAND_ESTABLISH_INTRO,
  282. (char *) payload, cell_len,
  283. circ->cpath->prev) < 0) {
  284. log_info(LD_REND, "Unable to send ESTABLISH_INTRO cell for service %s "
  285. "on circuit %u.",
  286. safe_str_client(service->onion_address),
  287. TO_CIRCUIT(circ)->n_circ_id);
  288. /* On error, the circuit has been closed. */
  289. goto done;
  290. }
  291. /* Record the attempt to use this circuit. */
  292. pathbias_count_use_attempt(circ);
  293. goto done;
  294. err:
  295. circuit_mark_for_close(TO_CIRCUIT(circ), END_CIRC_REASON_INTERNAL);
  296. done:
  297. memwipe(payload, 0, sizeof(payload));
  298. }
  299. /* Return a string constant describing the anonymity of service. */
  300. static const char *
  301. get_service_anonymity_string(const hs_service_t *service)
  302. {
  303. if (service->config.is_single_onion) {
  304. return "single onion";
  305. } else {
  306. return "hidden";
  307. }
  308. }
  309. /* For a given service, the ntor onion key and a rendezvous cookie, launch a
  310. * circuit to the rendezvous point specified by the link specifiers. On
  311. * success, a circuit identifier is attached to the circuit with the needed
  312. * data. This function will try to open a circuit for a maximum value of
  313. * MAX_REND_FAILURES then it will give up. */
  314. static void
  315. launch_rendezvous_point_circuit(const hs_service_t *service,
  316. const hs_service_intro_point_t *ip,
  317. const hs_cell_introduce2_data_t *data)
  318. {
  319. int circ_needs_uptime;
  320. time_t now = time(NULL);
  321. extend_info_t *info = NULL;
  322. origin_circuit_t *circ;
  323. tor_assert(service);
  324. tor_assert(ip);
  325. tor_assert(data);
  326. circ_needs_uptime = hs_service_requires_uptime_circ(service->config.ports);
  327. /* Get the extend info data structure for the chosen rendezvous point
  328. * specified by the given link specifiers. */
  329. info = hs_get_extend_info_from_lspecs(data->link_specifiers,
  330. &data->onion_pk,
  331. service->config.is_single_onion);
  332. if (info == NULL) {
  333. /* We are done here, we can't extend to the rendezvous point.
  334. * If you're running an IPv6-only v3 single onion service on 0.3.2 or with
  335. * 0.3.2 clients, and somehow disable the option check, it will fail here.
  336. */
  337. log_fn(LOG_PROTOCOL_WARN, LD_REND,
  338. "Not enough info to open a circuit to a rendezvous point for "
  339. "%s service %s.",
  340. get_service_anonymity_string(service),
  341. safe_str_client(service->onion_address));
  342. goto end;
  343. }
  344. for (int i = 0; i < MAX_REND_FAILURES; i++) {
  345. int circ_flags = CIRCLAUNCH_NEED_CAPACITY | CIRCLAUNCH_IS_INTERNAL;
  346. if (circ_needs_uptime) {
  347. circ_flags |= CIRCLAUNCH_NEED_UPTIME;
  348. }
  349. /* Firewall and policies are checked when getting the extend info. */
  350. if (service->config.is_single_onion) {
  351. circ_flags |= CIRCLAUNCH_ONEHOP_TUNNEL;
  352. }
  353. circ = circuit_launch_by_extend_info(CIRCUIT_PURPOSE_S_CONNECT_REND, info,
  354. circ_flags);
  355. if (circ != NULL) {
  356. /* Stop retrying, we have a circuit! */
  357. break;
  358. }
  359. }
  360. if (circ == NULL) {
  361. log_warn(LD_REND, "Giving up on launching a rendezvous circuit to %s "
  362. "for %s service %s",
  363. safe_str_client(extend_info_describe(info)),
  364. get_service_anonymity_string(service),
  365. safe_str_client(service->onion_address));
  366. goto end;
  367. }
  368. log_info(LD_REND, "Rendezvous circuit launched to %s with cookie %s "
  369. "for %s service %s",
  370. safe_str_client(extend_info_describe(info)),
  371. safe_str_client(hex_str((const char *) data->rendezvous_cookie,
  372. REND_COOKIE_LEN)),
  373. get_service_anonymity_string(service),
  374. safe_str_client(service->onion_address));
  375. tor_assert(circ->build_state);
  376. /* Rendezvous circuit have a specific timeout for the time spent on trying
  377. * to connect to the rendezvous point. */
  378. circ->build_state->expiry_time = now + MAX_REND_TIMEOUT;
  379. /* Create circuit identifier and key material. */
  380. {
  381. hs_ntor_rend_cell_keys_t keys;
  382. curve25519_keypair_t ephemeral_kp;
  383. /* No need for extra strong, this is only for this circuit life time. This
  384. * key will be used for the RENDEZVOUS1 cell that will be sent on the
  385. * circuit once opened. */
  386. curve25519_keypair_generate(&ephemeral_kp, 0);
  387. if (hs_ntor_service_get_rendezvous1_keys(&ip->auth_key_kp.pubkey,
  388. &ip->enc_key_kp,
  389. &ephemeral_kp, &data->client_pk,
  390. &keys) < 0) {
  391. /* This should not really happened but just in case, don't make tor
  392. * freak out, close the circuit and move on. */
  393. log_info(LD_REND, "Unable to get RENDEZVOUS1 key material for "
  394. "service %s",
  395. safe_str_client(service->onion_address));
  396. circuit_mark_for_close(TO_CIRCUIT(circ), END_CIRC_REASON_INTERNAL);
  397. goto end;
  398. }
  399. circ->hs_ident = create_rp_circuit_identifier(service,
  400. data->rendezvous_cookie,
  401. &ephemeral_kp.pubkey, &keys);
  402. memwipe(&ephemeral_kp, 0, sizeof(ephemeral_kp));
  403. memwipe(&keys, 0, sizeof(keys));
  404. tor_assert(circ->hs_ident);
  405. }
  406. end:
  407. extend_info_free(info);
  408. }
  409. /* Return true iff the given service rendezvous circuit circ is allowed for a
  410. * relaunch to the rendezvous point. */
  411. static int
  412. can_relaunch_service_rendezvous_point(const origin_circuit_t *circ)
  413. {
  414. tor_assert(circ);
  415. /* This is initialized when allocating an origin circuit. */
  416. tor_assert(circ->build_state);
  417. tor_assert(TO_CIRCUIT(circ)->purpose == CIRCUIT_PURPOSE_S_CONNECT_REND);
  418. /* XXX: Retrying under certain condition. This is related to #22455. */
  419. /* Avoid to relaunch twice a circuit to the same rendezvous point at the
  420. * same time. */
  421. if (circ->hs_service_side_rend_circ_has_been_relaunched) {
  422. log_info(LD_REND, "Rendezvous circuit to %s has already been retried. "
  423. "Skipping retry.",
  424. safe_str_client(
  425. extend_info_describe(circ->build_state->chosen_exit)));
  426. goto disallow;
  427. }
  428. /* We check failure_count >= hs_get_service_max_rend_failures()-1 below, and
  429. * the -1 is because we increment the failure count for our current failure
  430. * *after* this clause. */
  431. int max_rend_failures = hs_get_service_max_rend_failures() - 1;
  432. /* A failure count that has reached maximum allowed or circuit that expired,
  433. * we skip relaunching. */
  434. if (circ->build_state->failure_count > max_rend_failures ||
  435. circ->build_state->expiry_time <= time(NULL)) {
  436. log_info(LD_REND, "Attempt to build a rendezvous circuit to %s has "
  437. "failed with %d attempts and expiry time %ld. "
  438. "Giving up building.",
  439. safe_str_client(
  440. extend_info_describe(circ->build_state->chosen_exit)),
  441. circ->build_state->failure_count,
  442. (long int) circ->build_state->expiry_time);
  443. goto disallow;
  444. }
  445. /* Allowed to relaunch. */
  446. return 1;
  447. disallow:
  448. return 0;
  449. }
  450. /* Retry the rendezvous point of circ by launching a new circuit to it. */
  451. static void
  452. retry_service_rendezvous_point(const origin_circuit_t *circ)
  453. {
  454. int flags = 0;
  455. origin_circuit_t *new_circ;
  456. cpath_build_state_t *bstate;
  457. tor_assert(circ);
  458. /* This is initialized when allocating an origin circuit. */
  459. tor_assert(circ->build_state);
  460. tor_assert(TO_CIRCUIT(circ)->purpose == CIRCUIT_PURPOSE_S_CONNECT_REND);
  461. /* Ease our life. */
  462. bstate = circ->build_state;
  463. log_info(LD_REND, "Retrying rendezvous point circuit to %s",
  464. safe_str_client(extend_info_describe(bstate->chosen_exit)));
  465. /* Get the current build state flags for the next circuit. */
  466. flags |= (bstate->need_uptime) ? CIRCLAUNCH_NEED_UPTIME : 0;
  467. flags |= (bstate->need_capacity) ? CIRCLAUNCH_NEED_CAPACITY : 0;
  468. flags |= (bstate->is_internal) ? CIRCLAUNCH_IS_INTERNAL : 0;
  469. /* We do NOT add the onehop tunnel flag even though it might be a single
  470. * onion service. The reason is that if we failed once to connect to the RP
  471. * with a direct connection, we consider that chances are that we will fail
  472. * again so try a 3-hop circuit and hope for the best. Because the service
  473. * has no anonymity (single onion), this change of behavior won't affect
  474. * security directly. */
  475. new_circ = circuit_launch_by_extend_info(CIRCUIT_PURPOSE_S_CONNECT_REND,
  476. bstate->chosen_exit, flags);
  477. if (new_circ == NULL) {
  478. log_warn(LD_REND, "Failed to launch rendezvous circuit to %s",
  479. safe_str_client(extend_info_describe(bstate->chosen_exit)));
  480. goto done;
  481. }
  482. /* Transfer build state information to the new circuit state in part to
  483. * catch any other failures. */
  484. new_circ->build_state->failure_count = bstate->failure_count+1;
  485. new_circ->build_state->expiry_time = bstate->expiry_time;
  486. new_circ->hs_ident = hs_ident_circuit_dup(circ->hs_ident);
  487. done:
  488. return;
  489. }
  490. /* Add all possible link specifiers in node to lspecs:
  491. * - legacy ID is mandatory thus MUST be present in node;
  492. * - include ed25519 link specifier if present in the node, and the node
  493. * supports ed25519 link authentication, even if its link versions are not
  494. * compatible with us;
  495. * - include IPv4 link specifier, if the primary address is not IPv4, log a
  496. * BUG() warning, and return an empty smartlist;
  497. * - include IPv6 link specifier if present in the node. */
  498. static void
  499. get_lspecs_from_node(const node_t *node, smartlist_t *lspecs)
  500. {
  501. link_specifier_t *ls;
  502. tor_addr_port_t ap;
  503. tor_assert(node);
  504. tor_assert(lspecs);
  505. /* Get the relay's IPv4 address. */
  506. node_get_prim_orport(node, &ap);
  507. /* We expect the node's primary address to be a valid IPv4 address.
  508. * This conforms to the protocol, which requires either an IPv4 or IPv6
  509. * address (or both). */
  510. if (BUG(!tor_addr_is_v4(&ap.addr)) ||
  511. BUG(!tor_addr_port_is_valid_ap(&ap, 0))) {
  512. return;
  513. }
  514. ls = link_specifier_new();
  515. link_specifier_set_ls_type(ls, LS_IPV4);
  516. link_specifier_set_un_ipv4_addr(ls, tor_addr_to_ipv4h(&ap.addr));
  517. link_specifier_set_un_ipv4_port(ls, ap.port);
  518. /* Four bytes IPv4 and two bytes port. */
  519. link_specifier_set_ls_len(ls, sizeof(ap.addr.addr.in_addr) +
  520. sizeof(ap.port));
  521. smartlist_add(lspecs, ls);
  522. /* Legacy ID is mandatory and will always be present in node. */
  523. ls = link_specifier_new();
  524. link_specifier_set_ls_type(ls, LS_LEGACY_ID);
  525. memcpy(link_specifier_getarray_un_legacy_id(ls), node->identity,
  526. link_specifier_getlen_un_legacy_id(ls));
  527. link_specifier_set_ls_len(ls, link_specifier_getlen_un_legacy_id(ls));
  528. smartlist_add(lspecs, ls);
  529. /* ed25519 ID is only included if the node has it, and the node declares a
  530. protocol version that supports ed25519 link authentication, even if that
  531. link version is not compatible with us. (We are sending the ed25519 key
  532. to another tor, which may support different link versions.) */
  533. if (!ed25519_public_key_is_zero(&node->ed25519_id) &&
  534. node_supports_ed25519_link_authentication(node, 0)) {
  535. ls = link_specifier_new();
  536. link_specifier_set_ls_type(ls, LS_ED25519_ID);
  537. memcpy(link_specifier_getarray_un_ed25519_id(ls), &node->ed25519_id,
  538. link_specifier_getlen_un_ed25519_id(ls));
  539. link_specifier_set_ls_len(ls, link_specifier_getlen_un_ed25519_id(ls));
  540. smartlist_add(lspecs, ls);
  541. }
  542. /* Check for IPv6. If so, include it as well. */
  543. if (node_has_ipv6_orport(node)) {
  544. ls = link_specifier_new();
  545. node_get_pref_ipv6_orport(node, &ap);
  546. link_specifier_set_ls_type(ls, LS_IPV6);
  547. size_t addr_len = link_specifier_getlen_un_ipv6_addr(ls);
  548. const uint8_t *in6_addr = tor_addr_to_in6_addr8(&ap.addr);
  549. uint8_t *ipv6_array = link_specifier_getarray_un_ipv6_addr(ls);
  550. memcpy(ipv6_array, in6_addr, addr_len);
  551. link_specifier_set_un_ipv6_port(ls, ap.port);
  552. /* Sixteen bytes IPv6 and two bytes port. */
  553. link_specifier_set_ls_len(ls, addr_len + sizeof(ap.port));
  554. smartlist_add(lspecs, ls);
  555. }
  556. }
  557. /* Using the given descriptor intro point ip, the node of the
  558. * rendezvous point rp_node and the service's subcredential, populate the
  559. * already allocated intro1_data object with the needed key material and link
  560. * specifiers.
  561. *
  562. * If rp_node has an invalid primary address, intro1_data->link_specifiers
  563. * will be an empty list. Otherwise, this function can't fail. The ip
  564. * MUST be a valid object containing the needed keys and authentication
  565. * method. */
  566. static void
  567. setup_introduce1_data(const hs_desc_intro_point_t *ip,
  568. const node_t *rp_node,
  569. const uint8_t *subcredential,
  570. hs_cell_introduce1_data_t *intro1_data)
  571. {
  572. smartlist_t *rp_lspecs;
  573. tor_assert(ip);
  574. tor_assert(rp_node);
  575. tor_assert(subcredential);
  576. tor_assert(intro1_data);
  577. /* Build the link specifiers from the extend information of the rendezvous
  578. * circuit that we've picked previously. */
  579. rp_lspecs = smartlist_new();
  580. get_lspecs_from_node(rp_node, rp_lspecs);
  581. /* Populate the introduce1 data object. */
  582. memset(intro1_data, 0, sizeof(hs_cell_introduce1_data_t));
  583. if (ip->legacy.key != NULL) {
  584. intro1_data->is_legacy = 1;
  585. intro1_data->legacy_key = ip->legacy.key;
  586. }
  587. intro1_data->auth_pk = &ip->auth_key_cert->signed_key;
  588. intro1_data->enc_pk = &ip->enc_key;
  589. intro1_data->subcredential = subcredential;
  590. intro1_data->onion_pk = node_get_curve25519_onion_key(rp_node);
  591. intro1_data->link_specifiers = rp_lspecs;
  592. }
  593. /* ========== */
  594. /* Public API */
  595. /* ========== */
  596. /* Return an introduction point circuit matching the given intro point object.
  597. * NULL is returned is no such circuit can be found. */
  598. origin_circuit_t *
  599. hs_circ_service_get_intro_circ(const hs_service_intro_point_t *ip)
  600. {
  601. tor_assert(ip);
  602. if (ip->base.is_only_legacy) {
  603. return hs_circuitmap_get_intro_circ_v2_service_side(ip->legacy_key_digest);
  604. } else {
  605. return hs_circuitmap_get_intro_circ_v3_service_side(
  606. &ip->auth_key_kp.pubkey);
  607. }
  608. }
  609. /* Called when we fail building a rendezvous circuit at some point other than
  610. * the last hop: launches a new circuit to the same rendezvous point. This
  611. * supports legacy service.
  612. *
  613. * We currently relaunch connections to rendezvous points if:
  614. * - A rendezvous circuit timed out before connecting to RP.
  615. * - The rendezvous circuit failed to connect to the RP.
  616. *
  617. * We avoid relaunching a connection to this rendezvous point if:
  618. * - We have already tried MAX_REND_FAILURES times to connect to this RP,
  619. * - We've been trying to connect to this RP for more than MAX_REND_TIMEOUT
  620. * seconds, or
  621. * - We've already retried this specific rendezvous circuit.
  622. */
  623. void
  624. hs_circ_retry_service_rendezvous_point(origin_circuit_t *circ)
  625. {
  626. tor_assert(circ);
  627. tor_assert(TO_CIRCUIT(circ)->purpose == CIRCUIT_PURPOSE_S_CONNECT_REND);
  628. /* Check if we are allowed to relaunch to the rendezvous point of circ. */
  629. if (!can_relaunch_service_rendezvous_point(circ)) {
  630. goto done;
  631. }
  632. /* Flag the circuit that we are relaunching, to avoid to relaunch twice a
  633. * circuit to the same rendezvous point at the same time. */
  634. circ->hs_service_side_rend_circ_has_been_relaunched = 1;
  635. /* Legacy services don't have a hidden service ident. */
  636. if (circ->hs_ident) {
  637. retry_service_rendezvous_point(circ);
  638. } else {
  639. rend_service_relaunch_rendezvous(circ);
  640. }
  641. done:
  642. return;
  643. }
  644. /* For a given service and a service intro point, launch a circuit to the
  645. * extend info ei. If the service is a single onion, a one-hop circuit will be
  646. * requested. Return 0 if the circuit was successfully launched and tagged
  647. * with the correct identifier. On error, a negative value is returned. */
  648. int
  649. hs_circ_launch_intro_point(hs_service_t *service,
  650. const hs_service_intro_point_t *ip,
  651. extend_info_t *ei)
  652. {
  653. /* Standard flags for introduction circuit. */
  654. int ret = -1, circ_flags = CIRCLAUNCH_NEED_UPTIME | CIRCLAUNCH_IS_INTERNAL;
  655. origin_circuit_t *circ;
  656. tor_assert(service);
  657. tor_assert(ip);
  658. tor_assert(ei);
  659. /* Update circuit flags in case of a single onion service that requires a
  660. * direct connection. */
  661. if (service->config.is_single_onion) {
  662. circ_flags |= CIRCLAUNCH_ONEHOP_TUNNEL;
  663. }
  664. log_info(LD_REND, "Launching a circuit to intro point %s for service %s.",
  665. safe_str_client(extend_info_describe(ei)),
  666. safe_str_client(service->onion_address));
  667. /* Note down the launch for the retry period. Even if the circuit fails to
  668. * be launched, we still want to respect the retry period to avoid stress on
  669. * the circuit subsystem. */
  670. service->state.num_intro_circ_launched++;
  671. circ = circuit_launch_by_extend_info(CIRCUIT_PURPOSE_S_ESTABLISH_INTRO,
  672. ei, circ_flags);
  673. if (circ == NULL) {
  674. goto end;
  675. }
  676. /* Setup the circuit identifier and attach it to it. */
  677. circ->hs_ident = create_intro_circuit_identifier(service, ip);
  678. tor_assert(circ->hs_ident);
  679. /* Register circuit in the global circuitmap. */
  680. register_intro_circ(ip, circ);
  681. /* Success. */
  682. ret = 0;
  683. end:
  684. return ret;
  685. }
  686. /* Called when a service introduction point circuit is done building. Given
  687. * the service and intro point object, this function will send the
  688. * ESTABLISH_INTRO cell on the circuit. Return 0 on success. Return 1 if the
  689. * circuit has been repurposed to General because we already have too many
  690. * opened. */
  691. int
  692. hs_circ_service_intro_has_opened(hs_service_t *service,
  693. hs_service_intro_point_t *ip,
  694. const hs_service_descriptor_t *desc,
  695. origin_circuit_t *circ)
  696. {
  697. int ret = 0;
  698. unsigned int num_intro_circ, num_needed_circ;
  699. tor_assert(service);
  700. tor_assert(ip);
  701. tor_assert(desc);
  702. tor_assert(circ);
  703. /* Cound opened circuits that have sent ESTABLISH_INTRO cells or are already
  704. * established introduction circuits */
  705. num_intro_circ = count_opened_desc_intro_point_circuits(service, desc);
  706. num_needed_circ = service->config.num_intro_points;
  707. if (num_intro_circ > num_needed_circ) {
  708. /* There are too many opened valid intro circuit for what the service
  709. * needs so repurpose this one. */
  710. /* XXX: Legacy code checks options->ExcludeNodes and if not NULL it just
  711. * closes the circuit. I have NO idea why it does that so it hasn't been
  712. * added here. I can only assume in case our ExcludeNodes list changes but
  713. * in that case, all circuit are flagged unusable (config.c). --dgoulet */
  714. log_info(LD_CIRC | LD_REND, "Introduction circuit just opened but we "
  715. "have enough for service %s. Repurposing "
  716. "it to general and leaving internal.",
  717. safe_str_client(service->onion_address));
  718. tor_assert(circ->build_state->is_internal);
  719. /* Remove it from the circuitmap. */
  720. hs_circuitmap_remove_circuit(TO_CIRCUIT(circ));
  721. /* Cleaning up the hidden service identifier and repurpose. */
  722. hs_ident_circuit_free(circ->hs_ident);
  723. circ->hs_ident = NULL;
  724. if (circuit_should_use_vanguards(TO_CIRCUIT(circ)->purpose))
  725. circuit_change_purpose(TO_CIRCUIT(circ), CIRCUIT_PURPOSE_HS_VANGUARDS);
  726. else
  727. circuit_change_purpose(TO_CIRCUIT(circ), CIRCUIT_PURPOSE_C_GENERAL);
  728. /* Inform that this circuit just opened for this new purpose. */
  729. circuit_has_opened(circ);
  730. /* This return value indicate to the caller that the IP object should be
  731. * removed from the service because it's corresponding circuit has just
  732. * been repurposed. */
  733. ret = 1;
  734. goto done;
  735. }
  736. log_info(LD_REND, "Introduction circuit %u established for service %s.",
  737. TO_CIRCUIT(circ)->n_circ_id,
  738. safe_str_client(service->onion_address));
  739. circuit_log_path(LOG_INFO, LD_REND, circ);
  740. /* Time to send an ESTABLISH_INTRO cell on this circuit. On error, this call
  741. * makes sure the circuit gets closed. */
  742. send_establish_intro(service, ip, circ);
  743. done:
  744. return ret;
  745. }
  746. /* Called when a service rendezvous point circuit is done building. Given the
  747. * service and the circuit, this function will send a RENDEZVOUS1 cell on the
  748. * circuit using the information in the circuit identifier. If the cell can't
  749. * be sent, the circuit is closed. */
  750. void
  751. hs_circ_service_rp_has_opened(const hs_service_t *service,
  752. origin_circuit_t *circ)
  753. {
  754. size_t payload_len;
  755. uint8_t payload[RELAY_PAYLOAD_SIZE] = {0};
  756. tor_assert(service);
  757. tor_assert(circ);
  758. tor_assert(circ->hs_ident);
  759. /* Some useful logging. */
  760. log_info(LD_REND, "Rendezvous circuit %u has opened with cookie %s "
  761. "for service %s",
  762. TO_CIRCUIT(circ)->n_circ_id,
  763. hex_str((const char *) circ->hs_ident->rendezvous_cookie,
  764. REND_COOKIE_LEN),
  765. safe_str_client(service->onion_address));
  766. circuit_log_path(LOG_INFO, LD_REND, circ);
  767. /* This can't fail. */
  768. payload_len = hs_cell_build_rendezvous1(
  769. circ->hs_ident->rendezvous_cookie,
  770. sizeof(circ->hs_ident->rendezvous_cookie),
  771. circ->hs_ident->rendezvous_handshake_info,
  772. sizeof(circ->hs_ident->rendezvous_handshake_info),
  773. payload);
  774. /* Pad the payload with random bytes so it matches the size of a legacy cell
  775. * which is normally always bigger. Also, the size of a legacy cell is
  776. * always smaller than the RELAY_PAYLOAD_SIZE so this is safe. */
  777. if (payload_len < HS_LEGACY_RENDEZVOUS_CELL_SIZE) {
  778. crypto_rand((char *) payload + payload_len,
  779. HS_LEGACY_RENDEZVOUS_CELL_SIZE - payload_len);
  780. payload_len = HS_LEGACY_RENDEZVOUS_CELL_SIZE;
  781. }
  782. if (relay_send_command_from_edge(CONTROL_CELL_ID, TO_CIRCUIT(circ),
  783. RELAY_COMMAND_RENDEZVOUS1,
  784. (const char *) payload, payload_len,
  785. circ->cpath->prev) < 0) {
  786. /* On error, circuit is closed. */
  787. log_warn(LD_REND, "Unable to send RENDEZVOUS1 cell on circuit %u "
  788. "for service %s",
  789. TO_CIRCUIT(circ)->n_circ_id,
  790. safe_str_client(service->onion_address));
  791. goto done;
  792. }
  793. /* Setup end-to-end rendezvous circuit between the client and us. */
  794. if (hs_circuit_setup_e2e_rend_circ(circ,
  795. circ->hs_ident->rendezvous_ntor_key_seed,
  796. sizeof(circ->hs_ident->rendezvous_ntor_key_seed),
  797. 1) < 0) {
  798. log_warn(LD_GENERAL, "Failed to setup circ");
  799. goto done;
  800. }
  801. done:
  802. memwipe(payload, 0, sizeof(payload));
  803. }
  804. /* Circ has been expecting an INTRO_ESTABLISHED cell that just arrived. Handle
  805. * the INTRO_ESTABLISHED cell payload of length payload_len arriving on the
  806. * given introduction circuit circ. The service is only used for logging
  807. * purposes. Return 0 on success else a negative value. */
  808. int
  809. hs_circ_handle_intro_established(const hs_service_t *service,
  810. const hs_service_intro_point_t *ip,
  811. origin_circuit_t *circ,
  812. const uint8_t *payload, size_t payload_len)
  813. {
  814. int ret = -1;
  815. tor_assert(service);
  816. tor_assert(ip);
  817. tor_assert(circ);
  818. tor_assert(payload);
  819. if (BUG(TO_CIRCUIT(circ)->purpose != CIRCUIT_PURPOSE_S_ESTABLISH_INTRO)) {
  820. goto done;
  821. }
  822. /* Try to parse the payload into a cell making sure we do actually have a
  823. * valid cell. For a legacy node, it's an empty payload so as long as we
  824. * have the cell, we are good. */
  825. if (!ip->base.is_only_legacy &&
  826. hs_cell_parse_intro_established(payload, payload_len) < 0) {
  827. log_warn(LD_REND, "Unable to parse the INTRO_ESTABLISHED cell on "
  828. "circuit %u for service %s",
  829. TO_CIRCUIT(circ)->n_circ_id,
  830. safe_str_client(service->onion_address));
  831. goto done;
  832. }
  833. /* Switch the purpose to a fully working intro point. */
  834. circuit_change_purpose(TO_CIRCUIT(circ), CIRCUIT_PURPOSE_S_INTRO);
  835. /* Getting a valid INTRODUCE_ESTABLISHED means we've successfully used the
  836. * circuit so update our pathbias subsystem. */
  837. pathbias_mark_use_success(circ);
  838. /* Success. */
  839. ret = 0;
  840. done:
  841. return ret;
  842. }
  843. /* We just received an INTRODUCE2 cell on the established introduction circuit
  844. * circ. Handle the INTRODUCE2 payload of size payload_len for the given
  845. * circuit and service. This cell is associated with the intro point object ip
  846. * and the subcredential. Return 0 on success else a negative value. */
  847. int
  848. hs_circ_handle_introduce2(const hs_service_t *service,
  849. const origin_circuit_t *circ,
  850. hs_service_intro_point_t *ip,
  851. const uint8_t *subcredential,
  852. const uint8_t *payload, size_t payload_len)
  853. {
  854. int ret = -1;
  855. time_t elapsed;
  856. hs_cell_introduce2_data_t data;
  857. tor_assert(service);
  858. tor_assert(circ);
  859. tor_assert(ip);
  860. tor_assert(subcredential);
  861. tor_assert(payload);
  862. /* Populate the data structure with everything we need for the cell to be
  863. * parsed, decrypted and key material computed correctly. */
  864. data.auth_pk = &ip->auth_key_kp.pubkey;
  865. data.enc_kp = &ip->enc_key_kp;
  866. data.subcredential = subcredential;
  867. data.payload = payload;
  868. data.payload_len = payload_len;
  869. data.link_specifiers = smartlist_new();
  870. data.replay_cache = ip->replay_cache;
  871. if (hs_cell_parse_introduce2(&data, circ, service) < 0) {
  872. goto done;
  873. }
  874. /* Check whether we've seen this REND_COOKIE before to detect repeats. */
  875. if (replaycache_add_test_and_elapsed(
  876. service->state.replay_cache_rend_cookie,
  877. data.rendezvous_cookie, sizeof(data.rendezvous_cookie),
  878. &elapsed)) {
  879. /* A Tor client will send a new INTRODUCE1 cell with the same REND_COOKIE
  880. * as its previous one if its intro circ times out while in state
  881. * CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT. If we received the first
  882. * INTRODUCE1 cell (the intro-point relay converts it into an INTRODUCE2
  883. * cell), we are already trying to connect to that rend point (and may
  884. * have already succeeded); drop this cell. */
  885. log_info(LD_REND, "We received an INTRODUCE2 cell with same REND_COOKIE "
  886. "field %ld seconds ago. Dropping cell.",
  887. (long int) elapsed);
  888. goto done;
  889. }
  890. /* At this point, we just confirmed that the full INTRODUCE2 cell is valid
  891. * so increment our counter that we've seen one on this intro point. */
  892. ip->introduce2_count++;
  893. /* Launch rendezvous circuit with the onion key and rend cookie. */
  894. launch_rendezvous_point_circuit(service, ip, &data);
  895. /* Success. */
  896. ret = 0;
  897. done:
  898. SMARTLIST_FOREACH(data.link_specifiers, link_specifier_t *, lspec,
  899. link_specifier_free(lspec));
  900. smartlist_free(data.link_specifiers);
  901. memwipe(&data, 0, sizeof(data));
  902. return ret;
  903. }
  904. /* Circuit <b>circ</b> just finished the rend ntor key exchange. Use the key
  905. * exchange output material at <b>ntor_key_seed</b> and setup <b>circ</b> to
  906. * serve as a rendezvous end-to-end circuit between the client and the
  907. * service. If <b>is_service_side</b> is set, then we are the hidden service
  908. * and the other side is the client.
  909. *
  910. * Return 0 if the operation went well; in case of error return -1. */
  911. int
  912. hs_circuit_setup_e2e_rend_circ(origin_circuit_t *circ,
  913. const uint8_t *ntor_key_seed, size_t seed_len,
  914. int is_service_side)
  915. {
  916. if (BUG(!circuit_purpose_is_correct_for_rend(TO_CIRCUIT(circ)->purpose,
  917. is_service_side))) {
  918. return -1;
  919. }
  920. crypt_path_t *hop = create_rend_cpath(ntor_key_seed, seed_len,
  921. is_service_side);
  922. if (!hop) {
  923. log_warn(LD_REND, "Couldn't get v3 %s cpath!",
  924. is_service_side ? "service-side" : "client-side");
  925. return -1;
  926. }
  927. finalize_rend_circuit(circ, hop, is_service_side);
  928. return 0;
  929. }
  930. /* We are a v2 legacy HS client and we just received a RENDEZVOUS1 cell
  931. * <b>rend_cell_body</b> on <b>circ</b>. Finish up the DH key exchange and then
  932. * extend the crypt path of <b>circ</b> so that the hidden service is on the
  933. * other side. */
  934. int
  935. hs_circuit_setup_e2e_rend_circ_legacy_client(origin_circuit_t *circ,
  936. const uint8_t *rend_cell_body)
  937. {
  938. if (BUG(!circuit_purpose_is_correct_for_rend(
  939. TO_CIRCUIT(circ)->purpose, 0))) {
  940. return -1;
  941. }
  942. crypt_path_t *hop = create_rend_cpath_legacy(circ, rend_cell_body);
  943. if (!hop) {
  944. log_warn(LD_GENERAL, "Couldn't get v2 cpath.");
  945. return -1;
  946. }
  947. finalize_rend_circuit(circ, hop, 0);
  948. return 0;
  949. }
  950. /* Given the introduction circuit intro_circ, the rendezvous circuit
  951. * rend_circ, a descriptor intro point object ip and the service's
  952. * subcredential, send an INTRODUCE1 cell on intro_circ.
  953. *
  954. * This will also setup the circuit identifier on rend_circ containing the key
  955. * material for the handshake and e2e encryption. Return 0 on success else
  956. * negative value. Because relay_send_command_from_edge() closes the circuit
  957. * on error, it is possible that intro_circ is closed on error. */
  958. int
  959. hs_circ_send_introduce1(origin_circuit_t *intro_circ,
  960. origin_circuit_t *rend_circ,
  961. const hs_desc_intro_point_t *ip,
  962. const uint8_t *subcredential)
  963. {
  964. int ret = -1;
  965. ssize_t payload_len;
  966. uint8_t payload[RELAY_PAYLOAD_SIZE] = {0};
  967. hs_cell_introduce1_data_t intro1_data;
  968. tor_assert(intro_circ);
  969. tor_assert(rend_circ);
  970. tor_assert(ip);
  971. tor_assert(subcredential);
  972. /* It is undefined behavior in hs_cell_introduce1_data_clear() if intro1_data
  973. * has been declared on the stack but not initialized. Here, we set it to 0.
  974. */
  975. memset(&intro1_data, 0, sizeof(hs_cell_introduce1_data_t));
  976. /* This takes various objects in order to populate the introduce1 data
  977. * object which is used to build the content of the cell. */
  978. const node_t *exit_node = build_state_get_exit_node(rend_circ->build_state);
  979. if (exit_node == NULL) {
  980. log_info(LD_REND, "Unable to get rendezvous point for circuit %u. "
  981. "Failing.", TO_CIRCUIT(intro_circ)->n_circ_id);
  982. goto done;
  983. }
  984. setup_introduce1_data(ip, exit_node, subcredential, &intro1_data);
  985. /* If we didn't get any link specifiers, it's because our node was
  986. * bad. */
  987. if (BUG(!intro1_data.link_specifiers) ||
  988. !smartlist_len(intro1_data.link_specifiers)) {
  989. log_warn(LD_REND, "Unable to get link specifiers for INTRODUCE1 cell on "
  990. "circuit %u.", TO_CIRCUIT(intro_circ)->n_circ_id);
  991. goto done;
  992. }
  993. /* Final step before we encode a cell, we setup the circuit identifier which
  994. * will generate both the rendezvous cookie and client keypair for this
  995. * connection. Those are put in the ident. */
  996. intro1_data.rendezvous_cookie = rend_circ->hs_ident->rendezvous_cookie;
  997. intro1_data.client_kp = &rend_circ->hs_ident->rendezvous_client_kp;
  998. memcpy(intro_circ->hs_ident->rendezvous_cookie,
  999. rend_circ->hs_ident->rendezvous_cookie,
  1000. sizeof(intro_circ->hs_ident->rendezvous_cookie));
  1001. /* From the introduce1 data object, this will encode the INTRODUCE1 cell
  1002. * into payload which is then ready to be sent as is. */
  1003. payload_len = hs_cell_build_introduce1(&intro1_data, payload);
  1004. if (BUG(payload_len < 0)) {
  1005. goto done;
  1006. }
  1007. if (relay_send_command_from_edge(CONTROL_CELL_ID, TO_CIRCUIT(intro_circ),
  1008. RELAY_COMMAND_INTRODUCE1,
  1009. (const char *) payload, payload_len,
  1010. intro_circ->cpath->prev) < 0) {
  1011. /* On error, circuit is closed. */
  1012. log_warn(LD_REND, "Unable to send INTRODUCE1 cell on circuit %u.",
  1013. TO_CIRCUIT(intro_circ)->n_circ_id);
  1014. goto done;
  1015. }
  1016. /* Success. */
  1017. ret = 0;
  1018. goto done;
  1019. done:
  1020. hs_cell_introduce1_data_clear(&intro1_data);
  1021. memwipe(payload, 0, sizeof(payload));
  1022. return ret;
  1023. }
  1024. /* Send an ESTABLISH_RENDEZVOUS cell along the rendezvous circuit circ. On
  1025. * success, 0 is returned else -1 and the circuit is marked for close. */
  1026. int
  1027. hs_circ_send_establish_rendezvous(origin_circuit_t *circ)
  1028. {
  1029. ssize_t cell_len = 0;
  1030. uint8_t cell[RELAY_PAYLOAD_SIZE] = {0};
  1031. tor_assert(circ);
  1032. tor_assert(TO_CIRCUIT(circ)->purpose == CIRCUIT_PURPOSE_C_ESTABLISH_REND);
  1033. log_info(LD_REND, "Send an ESTABLISH_RENDEZVOUS cell on circuit %u",
  1034. TO_CIRCUIT(circ)->n_circ_id);
  1035. /* Set timestamp_dirty, because circuit_expire_building expects it,
  1036. * and the rend cookie also means we've used the circ. */
  1037. TO_CIRCUIT(circ)->timestamp_dirty = time(NULL);
  1038. /* We've attempted to use this circuit. Probe it if we fail */
  1039. pathbias_count_use_attempt(circ);
  1040. /* Generate the RENDEZVOUS_COOKIE and place it in the identifier so we can
  1041. * complete the handshake when receiving the acknowledgement. */
  1042. crypto_rand((char *) circ->hs_ident->rendezvous_cookie, HS_REND_COOKIE_LEN);
  1043. /* Generate the client keypair. No need to be extra strong, not long term */
  1044. curve25519_keypair_generate(&circ->hs_ident->rendezvous_client_kp, 0);
  1045. cell_len =
  1046. hs_cell_build_establish_rendezvous(circ->hs_ident->rendezvous_cookie,
  1047. cell);
  1048. if (BUG(cell_len < 0)) {
  1049. goto err;
  1050. }
  1051. if (relay_send_command_from_edge(CONTROL_CELL_ID, TO_CIRCUIT(circ),
  1052. RELAY_COMMAND_ESTABLISH_RENDEZVOUS,
  1053. (const char *) cell, cell_len,
  1054. circ->cpath->prev) < 0) {
  1055. /* Circuit has been marked for close */
  1056. log_warn(LD_REND, "Unable to send ESTABLISH_RENDEZVOUS cell on "
  1057. "circuit %u", TO_CIRCUIT(circ)->n_circ_id);
  1058. memwipe(cell, 0, cell_len);
  1059. goto err;
  1060. }
  1061. memwipe(cell, 0, cell_len);
  1062. return 0;
  1063. err:
  1064. return -1;
  1065. }
  1066. /* We are about to close or free this <b>circ</b>. Clean it up from any
  1067. * related HS data structures. This function can be called multiple times
  1068. * safely for the same circuit. */
  1069. void
  1070. hs_circ_cleanup(circuit_t *circ)
  1071. {
  1072. tor_assert(circ);
  1073. /* If it's a service-side intro circ, notify the HS subsystem for the intro
  1074. * point circuit closing so it can be dealt with cleanly. */
  1075. if (circ->purpose == CIRCUIT_PURPOSE_S_ESTABLISH_INTRO ||
  1076. circ->purpose == CIRCUIT_PURPOSE_S_INTRO) {
  1077. hs_service_intro_circ_has_closed(TO_ORIGIN_CIRCUIT(circ));
  1078. }
  1079. /* Clear HS circuitmap token for this circ (if any). Very important to be
  1080. * done after the HS subsystem has been notified of the close else the
  1081. * circuit will not be found.
  1082. *
  1083. * We do this at the close if possible because from that point on, the
  1084. * circuit is good as dead. We can't rely on removing it in the circuit
  1085. * free() function because we open a race window between the close and free
  1086. * where we can't register a new circuit for the same intro point. */
  1087. if (circ->hs_token) {
  1088. hs_circuitmap_remove_circuit(circ);
  1089. }
  1090. }