rend-spec.txt 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342
  1. $Id$
  2. Tor Rendezvous Specification
  3. 0. Overview and preliminaries
  4. Read http://tor.eff.org/doc/design-paper/tor-design.html#sec:rendezvous
  5. before you read this specification. It will make more sense.
  6. Rendezvous points provide location-hidden services (server
  7. anonymity) for the onion routing network. With rendezvous points,
  8. Bob can offer a TCP service (say, a webserver) via the onion
  9. routing network, without revealing the IP of that service.
  10. Bob does this by anonymously advertising a public key for his
  11. service, along with a list of onion routers to act as "Introduction
  12. Points" for his service. He creates forward OR circuits to those
  13. introduction points, and tells them about his public key. To
  14. connect to Bob, Alice first builds an OR circuit to an OR to act as
  15. her "Rendezvous Point", then connects to one of Bob's chosen
  16. introduction points, and asks it to tell him about her Rendezvous
  17. Point (RP). If Bob chooses to answer, he builds an OR circuit to her
  18. RP, and tells it to connect him to Alice. The RP joints their
  19. circuits together, and begins relaying cells. Alice's 'BEGIN'
  20. cells are received directly by Bob's OP, which responds by
  21. communication with the local server implementing Bob's service.
  22. Below, we describe a network-level specification of this service,
  23. along with interfaces to make this process transparent to Alice
  24. (so long as she is using an OP).
  25. 0.1. Notation, conventions and prerequisites
  26. In the specifications below, we use the same notation as in
  27. "tor-spec.txt". The service specified here also requires the existence of
  28. an onion routing network as specified in "tor-spec.txt".
  29. H(x) is a SHA1 digest of x.
  30. PKSign(SK,x) is a PKCS.1-padded RSA signature of x with SK.
  31. PKEncrypt(SK,x) is a PKCS.1-padded RSA encryption of x with SK.
  32. Public keys are all RSA, and encoded in ASN.1.
  33. All integers are stored in network (big-endian) order.
  34. All symmetric encryption uses AES in counter mode, except where
  35. otherwise noted.
  36. In all discussions, "Alice" will refer to a user connecting to a
  37. location-hidden service, and "Bob" will refer to a user running a
  38. location-hidden service.
  39. 0.2. Protocol outline
  40. 1. Bob->Bob's OP: "Offer IP:Port as public-key-name:Port". [configuration]
  41. (We do not specify this step; it is left to the implementor of
  42. Bob's OP.)
  43. 2. Bob's OP generates keypair and rendezvous service descriptor:
  44. "Meet public-key X at introduction point A, B, or C." (signed)
  45. 3. Bob's OP->Introduction point via Tor: [introduction setup]
  46. "This pk is me."
  47. 4. Bob's OP->directory service via Tor: publishes Bob's service descriptor
  48. [advertisement]
  49. 5. Out of band, Alice receives a y.onion:port address. She opens a
  50. SOCKS connection to her OP, and requests y.onion:port.
  51. 6. Alice's OP retrieves Bob's descriptor via Tor: [descriptor lookup.]
  52. 7. Alice's OP chooses a rendezvous point, opens a circuit to that
  53. rendezvous point, and establishes a rendezvous circuit. [rendezvous
  54. setup.]
  55. 8. Alice connects to the Introduction point via Tor, and tells it about
  56. her rendezvous point. (Encrypted to Bob.) [Introduction 1]
  57. 9. The Introduction point passes this on to Bob's OP via Tor, along the
  58. introduction circuit. [Introduction 2]
  59. 10. Bob's OP decides whether to connect to Alice, and if so, creates a
  60. circuit to Alice's RP via Tor. Establishes a shared circuit.
  61. [Rendezvous.]
  62. 11. Alice's OP sends begin cells to Bob's OP. [Connection]
  63. 0.3. Constants and new cell types
  64. Relay cell types
  65. 32 -- RELAY_ESTABLISH_INTRO
  66. 33 -- RELAY_ESTABLISH_RENDEZVOUS
  67. 34 -- RELAY_INTRODUCE1
  68. 35 -- RELAY_INTRODUCE2
  69. 36 -- RELAY_RENDEZVOUS1
  70. 37 -- RELAY_RENDEZVOUS2
  71. 38 -- RELAY_INTRO_ESTABLISHED
  72. 39 -- RELAY_RENDEZVOUS_ESTABLISHED
  73. 40 -- RELAY_COMMAND_INTRODUCE_ACK
  74. 1. The Protocol
  75. 1.1. Bob configures his local OP.
  76. We do not specify a format for the OP configuration file. However,
  77. OPs SHOULD allow Bob to provide more than one advertised service
  78. per OP, and MUST allow Bob to specify one or more virtual ports per
  79. service. Bob provides a mapping from each of these virtual ports
  80. to a local IP:Port pair.
  81. 1.2. Bob's OP generates service descriptors.
  82. The first time the OP provides an advertised service, it generates
  83. a public/private keypair (stored locally). Periodically, the OP
  84. generates a service descriptor, containing:
  85. KL Key length [2 octets]
  86. PK Bob's public key [KL octets]
  87. TS A timestamp [4 octets]
  88. NI Number of introduction points [2 octets]
  89. Ipt A list of NUL-terminated ORs [variable]
  90. SIG Signature of above fields [variable]
  91. KL is the length of PK, in octets. (Currently, KL must be 128.)
  92. TS is the number of seconds elapsed since Jan 1, 1970.
  93. The members of Ipt may be either (a) nicknames, or (b) identity key
  94. digests, encoded in hex, and prefixed with a '$'. Clients must
  95. accept both forms. Services must only generate the second form.
  96. Once 0.0.9.x is obsoleted, we can drop the first form.
  97. [It's ok for Bob to advertise 0 introduction points. He might want
  98. to do that if he previously advertised some introduction points,
  99. and now he doesn't have any. -RD]
  100. 1.3. Bob's OP establishes his introduction points.
  101. The OP establishes a new introduction circuit to each introduction
  102. point. These circuits MUST NOT be used for anything but rendezvous
  103. introduction. To establish the introduction, Bob sends a
  104. RELAY_ESTABLISH_INTRO cell, containing:
  105. KL Key length [2 octets]
  106. PK Bob's public key [KL octets]
  107. HS Hash of session info [20 octets]
  108. SIG Signature of above information [variable]
  109. To prevent replay attacks, the HS field contains a SHA-1 hash based on the
  110. shared secret KH between Bob's OP and the introduction point, as
  111. follows:
  112. HS = H(KH | "INTRODUCE")
  113. That is:
  114. HS = H(KH | [49 4E 54 52 4F 44 55 43 45])
  115. (KH, as specified in tor-spec.txt, is H(g^xy | [00]) .)
  116. Upon receiving such a cell, the OR first checks that the signature is
  117. correct with the included public key. If so, it checks whether HS is
  118. correct given the shared state between Bob's OP and the OR. If either
  119. check fails, the OP discards the cell; otherwise, it associates the
  120. circuit with Bob's public key, and dissociates any other circuits
  121. currently associated with PK. On success, the OR sends Bob a
  122. RELAY_INTRO_ESTABLISHED cell with an empty payload.
  123. 1.4. Bob's OP advertises his service descriptor
  124. Bob's OP opens a stream to each directory server's directory port via Tor.
  125. (He may re-use old circuits for this.)
  126. Over this stream, Bob's OP makes an HTTP 'POST' request, to the URL
  127. '/tor/rendezvous/publish' (relative to the directory server's root),
  128. containing as its body Bob's service descriptor. Upon receiving a
  129. descriptor, the directory server checks the signature, and discards the
  130. descriptor if the signature does not match the enclosed public key. Next,
  131. the directory server checks the timestamp. If the timestamp is more than
  132. 24 hours in the past or more than 1 hour in the future, or the directory
  133. server already has a newer descriptor with the same public key, the server
  134. discards the descriptor. Otherwise, the server discards any older
  135. descriptors with the same public key, and associates the new descriptor
  136. with the public key. The directory server remembers this descriptor for
  137. at least 24 hours after its timestamp. At least every 24 hours, Bob's OP
  138. uploads a fresh descriptor.
  139. 1.5. Alice receives a y.onion address
  140. When Alice receives a pointer to a location-hidden service, it is as a
  141. hostname of the form "y.onion", where y is a base-32 encoding of a
  142. 10-octet hash of Bob's service's public key, computed as follows:
  143. 1. Let H = H(PK).
  144. 2. Let H' = the first 80 bits of H, considering each octet from
  145. most significant bit to least significant bit.
  146. 2. Generate a 16-character encoding of H', using base32 as defined
  147. in RFC 3548.
  148. (We only use 80 bits instead of the 160 bits from SHA1 because we don't
  149. need to worry about man-in-the-middle attacks, and because it will make
  150. handling the url's more convenient.)
  151. [Yes, numbers are allowed at the beginning. See RFC1123. -NM]
  152. 1.6. Alice's OP retrieves a service descriptor
  153. Alice opens a stream to a directory server via Tor, and makes an
  154. HTTP GET request for the document '/tor/rendezvous/<y>', where
  155. '<y> is replaced with the encoding of Bob's public key as described
  156. above. (She may re-use old circuits for this.) The directory replies
  157. with a 404 HTTP response if it does not recognize <y>, and otherwise
  158. returns Bob's most recently uploaded service descriptor.
  159. If Alice's OP receives a 404 response, it tries the other directory
  160. servers, and only fails the lookup if none recognizes the public key hash.
  161. Upon receiving a service descriptor, Alice verifies with the same process
  162. as the directory server uses, described above in section 1.4.
  163. The directory server gives a 400 response if it cannot understand Alice's
  164. request.
  165. Alice should cache the descriptor locally, but should not use
  166. descriptors that are more than 24 hours older than their timestamp.
  167. [Caching may make her partitionable, but she fetched it anonymously,
  168. and we can't very well *not* cache it. -RD]
  169. 1.7. Alice's OP establishes a rendezvous point.
  170. When Alice requests a connection to a given location-hidden service,
  171. and Alice's OP does not have an established circuit to that service,
  172. the OP builds a rendezvous circuit. It does this by establishing
  173. a circuit to a randomly chosen OR, and sending a
  174. RELAY_ESTABLISH_RENDEZVOUS cell to that OR. The body of that cell
  175. contains:
  176. RC Rendezvous cookie [20 octets]
  177. The rendezvous cookie is an arbitrary 20-byte value, chosen randomly by
  178. Alice's OP.
  179. Upon receiving a RELAY_ESTABLISH_RENDEZVOUS cell, the OR associates the
  180. RC with the circuit that sent it. It replies to Alice with an empty
  181. RELAY_RENDEZVOUS_ESTABLISHED cell to indicate success.
  182. Alice's OP MUST NOT use the circuit which sent the cell for any purpose
  183. other than rendezvous with the given location-hidden service.
  184. 1.8. Introduction: from Alice's OP to Introduction Point
  185. Alice builds a separate circuit to one of Bob's chosen introduction
  186. points, and sends it a RELAY_INTRODUCE1 cell containing:
  187. Cleartext
  188. PK_ID Identifier for Bob's PK [20 octets]
  189. Encrypted to Bob's PK:
  190. RP Rendezvous point's nickname [20 octets]
  191. RC Rendezvous cookie [20 octets]
  192. g^x Diffie-Hellman data, part 1 [128 octets]
  193. OR
  194. VER Version byte: set to 1. [1 octet]
  195. RP [42 octets]
  196. RC Rendezvous cookie [20 octets]
  197. g^x Diffie-Hellman data, part 1 [128 octets]
  198. PK_ID is the hash of Bob's public key. RP is NUL-padded and terminated,
  199. and must contain EITHER a nickname, or an identity key digest, encoded in
  200. hex, and prefixed with a '$'.
  201. Implementations must accept both variants, but should only generate the
  202. first so long as Tor 0.0.7 is in use.
  203. The hybrid encryption to Bob's PK works just like the hybrid
  204. encryption in CREATE cells (see main spec). Thus the payload of the
  205. RELAY_INTRODUCE1 cell on the wire will contain 20+42+16+20+20+128=246
  206. bytes.
  207. 1.9. Introduction: From the Introduction Point to Bob's OP
  208. If the Introduction Point recognizes PK_ID as a public key which has
  209. established a circuit for introductions as in 1.3 above, it sends the body
  210. of the cell in a new RELAY_INTRODUCE2 cell down the corresponding circuit.
  211. (If the PK_ID is unrecognized, the RELAY_INTRODUCE1 cell is discarded.)
  212. After sending the RELAY_INTRODUCE2 cell, the OR replies to Alice with an
  213. empty RELAY_COMMAND_INTRODUCE_ACK cell. If no RELAY_INTRODUCE2 cell can
  214. be sent, the OR replies to Alice with a non-empty cell to indicate an
  215. error. (The semantics of the cell body may be determined later; the
  216. current implementation sends a single '1' byte on failure.)
  217. When Bob's OP receives the RELAY_INTRODUCE2 cell, it decrypts it with
  218. the private key for the corresponding hidden service, and extracts the
  219. rendezvous point's nickname, the rendezvous cookie, and the value of g^x
  220. chosen by Alice.
  221. 1.10. Rendezvous
  222. Bob's OP build a new Tor circuit ending at Alice's chosen rendezvous
  223. point, and sends a RELAY_RENDEZVOUS1 cell along this circuit, containing:
  224. RC Rendezvous cookie [20 octets]
  225. g^y Diffie-Hellman [128 octets]
  226. KH Handshake digest [20 octets]
  227. (Bob's OP MUST NOT use this circuit for any other purpose.)
  228. If the RP recognizes RC, it relays the rest of the cell down the
  229. corresponding circuit in a RELAY_RENDEZVOUS2 cell, containing:
  230. g^y Diffie-Hellman [128 octets]
  231. KH Handshake digest [20 octets]
  232. (If the RP does not recognize the RC, it discards the cell and
  233. tears down the circuit.)
  234. When Alice's OP receives a RELAY_RENDEZVOUS2 cell on a circuit which
  235. has sent a RELAY_ESTABLISH_RENDEZVOUS cell but which has not yet received
  236. a reply, it uses g^y and H(g^xy) to complete the handshake as in the Tor
  237. circuit extend process: they establish a 60-octet string as
  238. K = SHA1(g^xy | [00]) | SHA1(g^xy | [01]) | SHA1(g^xy | [02])
  239. and generate
  240. KH = K[0..15]
  241. Kf = K[16..31]
  242. Kb = K[32..47]
  243. Subsequently, the rendezvous point passes relay cells, unchanged, from
  244. each of the two circuits to the other. When Alice's OP sends
  245. RELAY cells along the circuit, it first encrypts them with the
  246. Kf, then with all of the keys for the ORs in Alice's side of the circuit;
  247. and when Alice's OP receives RELAY cells from the circuit, it decrypts
  248. them with the keys for the ORs in Alice's side of the circuit, then
  249. decrypts them with Kb. Bob's OP does the same, with Kf and Kb
  250. interchanged.
  251. 1.11. Creating streams
  252. To open TCP connections to Bob's location-hidden service, Alice's OP sends
  253. a RELAY_BEGIN cell along the established circuit, using the special
  254. address "", and a chosen port. Bob's OP chooses a destination IP and
  255. port, based on the configuration of the service connected to the circuit,
  256. and opens a TCP stream. From then on, Bob's OP treats the stream as an
  257. ordinary exit connection.
  258. [ Except he doesn't include addr in the connected cell or the end
  259. cell. -RD]
  260. Alice MAY send multiple RELAY_BEGIN cells along the circuit, to open
  261. multiple streams to Bob. Alice SHOULD NOT send RELAY_BEGIN cells for any
  262. other address along her circuit to Bob; if she does, Bob MUST reject them.