2020-11-13 17:31:52 +00:00
URLs
====
The goal of this document is to completely specify the construction and use of the URLs by Tahoe-LAFS for service location.
This includes, but is not limited to, the original Foolscap-based URLs.
These are not to be confused with the URI-like capabilities Tahoe-LAFS uses to refer to stored data.
An attempt is also made to outline the rationale for certain choices about these URLs.
The intended audience for this document is Tahoe-LAFS maintainers and other developers interested in interoperating with Tahoe-LAFS or these URLs.
Background
----------
Tahoe-LAFS first used Foolscap_ for network communication.
Foolscap connection setup takes as an input a Foolscap URL or a *fURL* .
A fURL includes three components:
* the base32-encoded SHA1 hash of the DER form of an x509v3 certificate
2020-11-25 23:30:36 +00:00
* zero or more network addresses [1]_
2020-11-13 17:31:52 +00:00
* an object identifier
A Foolscap client tries to connect to each network address in turn.
If a connection is established then TLS is negotiated.
The server is authenticated by matching its certificate against the hash in the fURL.
A matching certificate serves as proof that the handshaking peer is the correct server.
This serves as the process by which the client authenticates the server.
The client can then exercise further Foolscap functionality using the fURL's object identifier.
If the object identifier is an unguessable, secret string then it serves as a capability.
2020-11-26 12:25:25 +00:00
This unguessable identifier is sometimes called a `swiss number`_ (or swissnum).
The client's use of the swissnum is what allows the server to authorize the client.
.. _`swiss number`: http://wiki.erights.org/wiki/Swiss_number
2020-11-13 17:31:52 +00:00
NURLs
-----
The authentication and authorization properties of fURLs are a good fit for Tahoe-LAFS' requirements.
These are not inherently tied to the Foolscap protocol itself.
2020-11-13 19:11:21 +00:00
In particular they are beneficial to :doc: `../proposed/http-storage-node-protocol` which uses HTTP instead of Foolscap.
2020-11-13 17:31:52 +00:00
It is conceivable they will also be used with WebSockets at some point as well.
Continuing to refer to these URLs as fURLs when they are being used for other protocols may cause confusion.
Therefore,
2020-11-13 19:11:21 +00:00
this document coins the name **NURL** for these URLs.
This can be considered to expand to "**N** \ ew URLs" or "Authe\ **N** \ ticating URLs" or "Authorizi\ **N** \ g URLs" as the reader prefers.
2020-11-13 17:31:52 +00:00
2020-11-26 14:18:12 +00:00
The anticipated use for a **NURL** will still be to establish a TLS connection to a peer.
2020-11-26 14:43:05 +00:00
The protocol run over that TLS connection could be Foolscap though it is more likely to be an HTTP-based protocol (such as GBS).
2020-11-26 14:18:12 +00:00
2020-11-13 17:31:52 +00:00
Syntax
------
The EBNF for a NURL is as follows::
2020-11-13 18:57:36 +00:00
nurl = scheme, hash, "@", net-loc-list, "/", swiss-number, [ version1 ]
2020-11-13 17:56:33 +00:00
2020-11-13 17:31:52 +00:00
scheme = "pb://"
2020-11-13 17:56:33 +00:00
hash = unreserved
2020-11-13 17:31:52 +00:00
net-loc-list = net-loc, [ { ",", net-loc } ]
2020-11-26 15:16:49 +00:00
net-loc = tcp-loc | tor-loc | i2p-loc
tcp-loc = [ "tcp:" ], hostname, [ ":" port ]
tor-loc = "tor:", hostname, [ ":" port ]
i2p-loc = "i2p:", i2p-addr, [ ":" port ]
i2p-addr = { unreserved }, ".i2p"
2020-11-13 17:56:33 +00:00
hostname = domain | IPv4address | IPv6address
2020-11-13 17:31:52 +00:00
swiss-number = segment
2020-11-13 18:57:36 +00:00
version1 = "#v=1"
2020-11-13 17:31:52 +00:00
See https://tools.ietf.org/html/rfc3986#section-3.3 for the definition of `` segment `` .
2020-11-13 17:56:33 +00:00
See https://tools.ietf.org/html/rfc2396#appendix-A for the definition of `` unreserved `` .
See https://tools.ietf.org/html/draft-main-ipaddr-text-rep-02#section-3.1 for the definition of `` IPv4address `` .
See https://tools.ietf.org/html/draft-main-ipaddr-text-rep-02#section-3.2 for the definition of `` IPv6address `` .
See https://tools.ietf.org/html/rfc1035#section-2.3.1 for the definition of `` domain `` .
2020-11-13 17:31:52 +00:00
Versions
--------
Though all NURLs are syntactically compatible some semantic differences are allowed.
These differences are separated into distinct versions.
Version 0
---------
A Foolscap fURL is considered the canonical definition of a version 0 NURL.
Notably,
the hash component is defined as the base32-encoded SHA1 hash of the DER form of an x509v3 certificate.
2020-11-13 19:05:22 +00:00
A version 0 NURL is identified by the absence of the `` v=1 `` fragment.
2020-11-13 17:31:52 +00:00
2020-11-26 15:16:40 +00:00
Examples
~~~~~~~~
* `` pb://sisi4zenj7cxncgvdog7szg3yxbrnamy@tcp:127.1:34399/xphmwz6lx24rh2nxlinni ``
* `` pb://2uxmzoqqimpdwowxr24q6w5ekmxcymby@localhost:47877/riqhpojvzwxujhna5szkn ``
2020-11-13 17:31:52 +00:00
Version 1
---------
The hash component of a version 1 NURL differs in three ways from the prior version.
1. The hash function used is SHA3-224 instead of SHA1.
The security of SHA1 `continues to be eroded`_ .
Contrariwise SHA3 is currently the most recent addition to the SHA family by NIST.
The 224 bit instance is chosen to keep the output short and because it offers greater collision resistance than SHA1 was thought to offer even at its inception
(prior to security research showing actual collision resistance is lower).
2. The hash is computed over the certificate's SPKI instead of the whole certificate.
This allows certificate re-generation so long as the public key remains the same.
This is useful to allow contact information to be updated or extension of validity period.
Use of an SPKI hash has also been `explored by the web community`_ during its flirtation with using it for HTTPS certificate pinning
(though this is now largely abandoned).
2020-11-26 12:31:59 +00:00
.. note ::
*Only* the certificate's keypair is pinned by the SPKI hash.
The freedom to change every other part of the certificate is coupled with the fact that all other parts of the certificate contain arbitrary information set by the private key holder.
2020-11-26 15:31:22 +00:00
It is neither guaranteed nor expected that a certificate-issuing authority has validated this information.
Therefore,
*all* certificate fields should be considered within the context of the relationship identified by the SPKI hash.
2020-11-26 12:31:59 +00:00
2020-11-13 17:31:52 +00:00
3. The hash is encoded using urlsafe-base64 (without padding) instead of base32.
This provides a more compact representation and minimizes the usability impacts of switching from a 160 bit hash to a 224 bit hash.
2020-11-13 18:57:36 +00:00
A version 1 NURL is identified by the presence of the `` v=1 `` fragment.
Though the length of the hash string (38 bytes) could also be used to differentiate it from a version 0 NURL,
there is no guarantee that this will be effective in differentiating it from future versions so this approach should not be used.
2020-11-13 17:31:52 +00:00
It is possible for a client to unilaterally upgrade a version 0 NURL to a version 1 NURL.
After establishing and authenticating a connection the client will have received a copy of the server's certificate.
This is sufficient to compute the new hash and rewrite the NURL to upgrade it to version 1.
This provides stronger authentication assurances for future uses but it is not required.
2020-11-26 15:16:40 +00:00
Examples
~~~~~~~~
* `` pb://1WUX44xKjKdpGLohmFcBNuIRN-8rlv1Iij_7rQ@tcp:127.1:34399/jhjbc3bjbhk#v=1 ``
* `` pb://azEu8vlRpnEeYm0DySQDeNY3Z2iJXHC_bsbaAw@localhost:47877/64i4aokv4ej#v=1 ``
2020-11-13 17:31:52 +00:00
.. _`continues to be eroded`: https://en.wikipedia.org/wiki/SHA-1#Cryptanalysis_and_validation
.. _`explored by the web community`: https://www.imperialviolet.org/2011/05/04/pinning.html
2020-11-13 19:11:21 +00:00
.. _Foolscap: https://github.com/warner/foolscap
2020-11-25 23:30:36 +00:00
.. [1] `` foolscap.furl.decode_furl `` is taken as the canonical definition of the syntax of a fURL.
The **location hints** part of the fURL,
as it is referred to in Foolscap,
is matched by the regular expression fragment `` ([^/]*) `` .
Since this matches the empty string,
no network addresses are required to form a fURL.
The supporting code around the regular expression also takes extra steps to allow an empty string to match here.