onion_ntor.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337
  1. /* Copyright (c) 2012-2017, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. /**
  4. * \file onion_ntor.c
  5. *
  6. * \brief Implementation for the ntor handshake.
  7. *
  8. * The ntor circuit-extension handshake was developed as a replacement
  9. * for the old TAP handshake. It uses Elliptic-curve Diffie-Hellman and
  10. * a hash function in order to perform a one-way authenticated key
  11. * exchange. The ntor handshake is meant to replace the old "TAP"
  12. * handshake.
  13. *
  14. * We instantiate ntor with curve25519, HMAC-SHA256, and HKDF.
  15. *
  16. * This handshake, like the other circuit-extension handshakes, is
  17. * invoked from onion.c.
  18. */
  19. #include "orconfig.h"
  20. #define ONION_NTOR_PRIVATE
  21. #include "crypto.h"
  22. #include "crypto_digest.h"
  23. #include "crypto_util.h"
  24. #include "onion_ntor.h"
  25. #include "torlog.h"
  26. #include "util.h"
  27. /** Free storage held in an ntor handshake state. */
  28. void
  29. ntor_handshake_state_free_(ntor_handshake_state_t *state)
  30. {
  31. if (!state)
  32. return;
  33. memwipe(state, 0, sizeof(*state));
  34. tor_free(state);
  35. }
  36. /** Convenience function to represent HMAC_SHA256 as our instantiation of
  37. * ntor's "tweaked hash'. Hash the <b>inp_len</b> bytes at <b>inp</b> into
  38. * a DIGEST256_LEN-byte digest at <b>out</b>, with the hash changing
  39. * depending on the value of <b>tweak</b>. */
  40. static void
  41. h_tweak(uint8_t *out,
  42. const uint8_t *inp, size_t inp_len,
  43. const char *tweak)
  44. {
  45. size_t tweak_len = strlen(tweak);
  46. crypto_hmac_sha256((char*)out, tweak, tweak_len, (const char*)inp, inp_len);
  47. }
  48. /** Wrapper around a set of tweak-values for use with the ntor handshake. */
  49. typedef struct tweakset_t {
  50. const char *t_mac;
  51. const char *t_key;
  52. const char *t_verify;
  53. const char *m_expand;
  54. } tweakset_t;
  55. /** The tweaks to be used with our handshake. */
  56. static const tweakset_t proto1_tweaks = {
  57. #define PROTOID "ntor-curve25519-sha256-1"
  58. #define PROTOID_LEN 24
  59. PROTOID ":mac",
  60. PROTOID ":key_extract",
  61. PROTOID ":verify",
  62. PROTOID ":key_expand"
  63. };
  64. /** Convenience macro: copy <b>len</b> bytes from <b>inp</b> to <b>ptr</b>,
  65. * and advance <b>ptr</b> by the number of bytes copied. */
  66. #define APPEND(ptr, inp, len) \
  67. STMT_BEGIN { \
  68. memcpy(ptr, (inp), (len)); \
  69. ptr += len; \
  70. } STMT_END
  71. /**
  72. * Compute the first client-side step of the ntor handshake for communicating
  73. * with a server whose DIGEST_LEN-byte server identity is <b>router_id</b>,
  74. * and whose onion key is <b>router_key</b>. Store the NTOR_ONIONSKIN_LEN-byte
  75. * message in <b>onion_skin_out</b>, and store the handshake state in
  76. * *<b>handshake_state_out</b>. Return 0 on success, -1 on failure.
  77. */
  78. int
  79. onion_skin_ntor_create(const uint8_t *router_id,
  80. const curve25519_public_key_t *router_key,
  81. ntor_handshake_state_t **handshake_state_out,
  82. uint8_t *onion_skin_out)
  83. {
  84. ntor_handshake_state_t *state;
  85. uint8_t *op;
  86. state = tor_malloc_zero(sizeof(ntor_handshake_state_t));
  87. memcpy(state->router_id, router_id, DIGEST_LEN);
  88. memcpy(&state->pubkey_B, router_key, sizeof(curve25519_public_key_t));
  89. if (curve25519_secret_key_generate(&state->seckey_x, 0) < 0) {
  90. /* LCOV_EXCL_START
  91. * Secret key generation should be unable to fail when the key isn't
  92. * marked as "extra-strong" */
  93. tor_assert_nonfatal_unreached();
  94. tor_free(state);
  95. return -1;
  96. /* LCOV_EXCL_STOP */
  97. }
  98. curve25519_public_key_generate(&state->pubkey_X, &state->seckey_x);
  99. op = onion_skin_out;
  100. APPEND(op, router_id, DIGEST_LEN);
  101. APPEND(op, router_key->public_key, CURVE25519_PUBKEY_LEN);
  102. APPEND(op, state->pubkey_X.public_key, CURVE25519_PUBKEY_LEN);
  103. tor_assert(op == onion_skin_out + NTOR_ONIONSKIN_LEN);
  104. *handshake_state_out = state;
  105. return 0;
  106. }
  107. #define SERVER_STR "Server"
  108. #define SERVER_STR_LEN 6
  109. #define SECRET_INPUT_LEN (CURVE25519_PUBKEY_LEN * 3 + \
  110. CURVE25519_OUTPUT_LEN * 2 + \
  111. DIGEST_LEN + PROTOID_LEN)
  112. #define AUTH_INPUT_LEN (DIGEST256_LEN + DIGEST_LEN + \
  113. CURVE25519_PUBKEY_LEN*3 + \
  114. PROTOID_LEN + SERVER_STR_LEN)
  115. /**
  116. * Perform the server side of an ntor handshake. Given an
  117. * NTOR_ONIONSKIN_LEN-byte message in <b>onion_skin</b>, our own identity
  118. * fingerprint as <b>my_node_id</b>, and an associative array mapping public
  119. * onion keys to curve25519_keypair_t in <b>private_keys</b>, attempt to
  120. * perform the handshake. Use <b>junk_keys</b> if present if the handshake
  121. * indicates an unrecognized public key. Write an NTOR_REPLY_LEN-byte
  122. * message to send back to the client into <b>handshake_reply_out</b>, and
  123. * generate <b>key_out_len</b> bytes of key material in <b>key_out</b>. Return
  124. * 0 on success, -1 on failure.
  125. */
  126. int
  127. onion_skin_ntor_server_handshake(const uint8_t *onion_skin,
  128. const di_digest256_map_t *private_keys,
  129. const curve25519_keypair_t *junk_keys,
  130. const uint8_t *my_node_id,
  131. uint8_t *handshake_reply_out,
  132. uint8_t *key_out,
  133. size_t key_out_len)
  134. {
  135. const tweakset_t *T = &proto1_tweaks;
  136. /* Sensitive stack-allocated material. Kept in an anonymous struct to make
  137. * it easy to wipe. */
  138. struct {
  139. uint8_t secret_input[SECRET_INPUT_LEN];
  140. uint8_t auth_input[AUTH_INPUT_LEN];
  141. curve25519_public_key_t pubkey_X;
  142. curve25519_secret_key_t seckey_y;
  143. curve25519_public_key_t pubkey_Y;
  144. uint8_t verify[DIGEST256_LEN];
  145. } s;
  146. uint8_t *si = s.secret_input, *ai = s.auth_input;
  147. const curve25519_keypair_t *keypair_bB;
  148. int bad;
  149. /* Decode the onion skin */
  150. /* XXXX Does this possible early-return business threaten our security? */
  151. if (tor_memneq(onion_skin, my_node_id, DIGEST_LEN))
  152. return -1;
  153. /* Note that on key-not-found, we go through with this operation anyway,
  154. * using "junk_keys". This will result in failed authentication, but won't
  155. * leak whether we recognized the key. */
  156. keypair_bB = dimap_search(private_keys, onion_skin + DIGEST_LEN,
  157. (void*)junk_keys);
  158. if (!keypair_bB)
  159. return -1;
  160. memcpy(s.pubkey_X.public_key, onion_skin+DIGEST_LEN+DIGEST256_LEN,
  161. CURVE25519_PUBKEY_LEN);
  162. /* Make y, Y */
  163. curve25519_secret_key_generate(&s.seckey_y, 0);
  164. curve25519_public_key_generate(&s.pubkey_Y, &s.seckey_y);
  165. /* NOTE: If we ever use a group other than curve25519, or a different
  166. * representation for its points, we may need to perform different or
  167. * additional checks on X here and on Y in the client handshake, or lose our
  168. * security properties. What checks we need would depend on the properties
  169. * of the group and its representation.
  170. *
  171. * In short: if you use anything other than curve25519, this aspect of the
  172. * code will need to be reconsidered carefully. */
  173. /* build secret_input */
  174. curve25519_handshake(si, &s.seckey_y, &s.pubkey_X);
  175. bad = safe_mem_is_zero(si, CURVE25519_OUTPUT_LEN);
  176. si += CURVE25519_OUTPUT_LEN;
  177. curve25519_handshake(si, &keypair_bB->seckey, &s.pubkey_X);
  178. bad |= safe_mem_is_zero(si, CURVE25519_OUTPUT_LEN);
  179. si += CURVE25519_OUTPUT_LEN;
  180. APPEND(si, my_node_id, DIGEST_LEN);
  181. APPEND(si, keypair_bB->pubkey.public_key, CURVE25519_PUBKEY_LEN);
  182. APPEND(si, s.pubkey_X.public_key, CURVE25519_PUBKEY_LEN);
  183. APPEND(si, s.pubkey_Y.public_key, CURVE25519_PUBKEY_LEN);
  184. APPEND(si, PROTOID, PROTOID_LEN);
  185. tor_assert(si == s.secret_input + sizeof(s.secret_input));
  186. /* Compute hashes of secret_input */
  187. h_tweak(s.verify, s.secret_input, sizeof(s.secret_input), T->t_verify);
  188. /* Compute auth_input */
  189. APPEND(ai, s.verify, DIGEST256_LEN);
  190. APPEND(ai, my_node_id, DIGEST_LEN);
  191. APPEND(ai, keypair_bB->pubkey.public_key, CURVE25519_PUBKEY_LEN);
  192. APPEND(ai, s.pubkey_Y.public_key, CURVE25519_PUBKEY_LEN);
  193. APPEND(ai, s.pubkey_X.public_key, CURVE25519_PUBKEY_LEN);
  194. APPEND(ai, PROTOID, PROTOID_LEN);
  195. APPEND(ai, SERVER_STR, SERVER_STR_LEN);
  196. tor_assert(ai == s.auth_input + sizeof(s.auth_input));
  197. /* Build the reply */
  198. memcpy(handshake_reply_out, s.pubkey_Y.public_key, CURVE25519_PUBKEY_LEN);
  199. h_tweak(handshake_reply_out+CURVE25519_PUBKEY_LEN,
  200. s.auth_input, sizeof(s.auth_input),
  201. T->t_mac);
  202. /* Generate the key material */
  203. crypto_expand_key_material_rfc5869_sha256(
  204. s.secret_input, sizeof(s.secret_input),
  205. (const uint8_t*)T->t_key, strlen(T->t_key),
  206. (const uint8_t*)T->m_expand, strlen(T->m_expand),
  207. key_out, key_out_len);
  208. /* Wipe all of our local state */
  209. memwipe(&s, 0, sizeof(s));
  210. return bad ? -1 : 0;
  211. }
  212. /**
  213. * Perform the final client side of the ntor handshake, using the state in
  214. * <b>handshake_state</b> and the server's NTOR_REPLY_LEN-byte reply in
  215. * <b>handshake_reply</b>. Generate <b>key_out_len</b> bytes of key material
  216. * in <b>key_out</b>. Return 0 on success, -1 on failure.
  217. */
  218. int
  219. onion_skin_ntor_client_handshake(
  220. const ntor_handshake_state_t *handshake_state,
  221. const uint8_t *handshake_reply,
  222. uint8_t *key_out,
  223. size_t key_out_len,
  224. const char **msg_out)
  225. {
  226. const tweakset_t *T = &proto1_tweaks;
  227. /* Sensitive stack-allocated material. Kept in an anonymous struct to make
  228. * it easy to wipe. */
  229. struct {
  230. curve25519_public_key_t pubkey_Y;
  231. uint8_t secret_input[SECRET_INPUT_LEN];
  232. uint8_t verify[DIGEST256_LEN];
  233. uint8_t auth_input[AUTH_INPUT_LEN];
  234. uint8_t auth[DIGEST256_LEN];
  235. } s;
  236. uint8_t *ai = s.auth_input, *si = s.secret_input;
  237. const uint8_t *auth_candidate;
  238. int bad;
  239. /* Decode input */
  240. memcpy(s.pubkey_Y.public_key, handshake_reply, CURVE25519_PUBKEY_LEN);
  241. auth_candidate = handshake_reply + CURVE25519_PUBKEY_LEN;
  242. /* See note in server_handshake above about checking points. The
  243. * circumstances under which we'd need to check Y for membership are
  244. * different than those under which we'd be checking X. */
  245. /* Compute secret_input */
  246. curve25519_handshake(si, &handshake_state->seckey_x, &s.pubkey_Y);
  247. bad = safe_mem_is_zero(si, CURVE25519_OUTPUT_LEN);
  248. si += CURVE25519_OUTPUT_LEN;
  249. curve25519_handshake(si, &handshake_state->seckey_x,
  250. &handshake_state->pubkey_B);
  251. bad |= (safe_mem_is_zero(si, CURVE25519_OUTPUT_LEN) << 1);
  252. si += CURVE25519_OUTPUT_LEN;
  253. APPEND(si, handshake_state->router_id, DIGEST_LEN);
  254. APPEND(si, handshake_state->pubkey_B.public_key, CURVE25519_PUBKEY_LEN);
  255. APPEND(si, handshake_state->pubkey_X.public_key, CURVE25519_PUBKEY_LEN);
  256. APPEND(si, s.pubkey_Y.public_key, CURVE25519_PUBKEY_LEN);
  257. APPEND(si, PROTOID, PROTOID_LEN);
  258. tor_assert(si == s.secret_input + sizeof(s.secret_input));
  259. /* Compute verify from secret_input */
  260. h_tweak(s.verify, s.secret_input, sizeof(s.secret_input), T->t_verify);
  261. /* Compute auth_input */
  262. APPEND(ai, s.verify, DIGEST256_LEN);
  263. APPEND(ai, handshake_state->router_id, DIGEST_LEN);
  264. APPEND(ai, handshake_state->pubkey_B.public_key, CURVE25519_PUBKEY_LEN);
  265. APPEND(ai, s.pubkey_Y.public_key, CURVE25519_PUBKEY_LEN);
  266. APPEND(ai, handshake_state->pubkey_X.public_key, CURVE25519_PUBKEY_LEN);
  267. APPEND(ai, PROTOID, PROTOID_LEN);
  268. APPEND(ai, SERVER_STR, SERVER_STR_LEN);
  269. tor_assert(ai == s.auth_input + sizeof(s.auth_input));
  270. /* Compute auth */
  271. h_tweak(s.auth, s.auth_input, sizeof(s.auth_input), T->t_mac);
  272. bad |= (tor_memneq(s.auth, auth_candidate, DIGEST256_LEN) << 2);
  273. crypto_expand_key_material_rfc5869_sha256(
  274. s.secret_input, sizeof(s.secret_input),
  275. (const uint8_t*)T->t_key, strlen(T->t_key),
  276. (const uint8_t*)T->m_expand, strlen(T->m_expand),
  277. key_out, key_out_len);
  278. memwipe(&s, 0, sizeof(s));
  279. if (bad) {
  280. if (bad & 4) {
  281. if (msg_out)
  282. *msg_out = NULL; /* Don't report this one; we probably just had the
  283. * wrong onion key.*/
  284. log_fn(LOG_INFO, LD_PROTOCOL,
  285. "Invalid result from curve25519 handshake: %d", bad);
  286. }
  287. if (bad & 3) {
  288. if (msg_out)
  289. *msg_out = "Zero output from curve25519 handshake";
  290. log_fn(LOG_WARN, LD_PROTOCOL,
  291. "Invalid result from curve25519 handshake: %d", bad);
  292. }
  293. }
  294. return bad ? -1 : 0;
  295. }