11 KiB
Magic-Wormhole
This library provides a primitive function to securely transfer small amounts of data between two computers. Both machines must be connected to the internet, but they do not need to have public IP addresses or know how to contact each other ahead of time.
Security and connectivity is provided by means of an "invitation code": a short string that is transcribed from one machine to the other by the users at the keyboard. This works in conjunction with a baked-in "rendezvous server" that relays information from one machine to the other.
Modes
This library will eventually offer multiple modes. For now, only "transcribe mode" is available.
Transcribe mode has two variants. In the "machine-generated" variant, the "initiator" machine creates the invitation code, displays it to the first user, they convey it (somehow) to the second user, who transcribes it into the second ("receiver") machine. In the "human-generated" variant, the two humans come up with the code (possibly without computers), then later transcribe it into both machines.
When the initator machine generates the invitation code, the initiator contacts the rendezvous server and allocates a "channel ID", which is a small integer. The initiator then displays the invitation code, which is the channel-ID plus a few secret words. The user copies the code to the second machine. The receiver machine connects to the rendezvous server, and uses the invitation code to contact the initiator. They agree upon an encryption key, and exchange a small encrypted+authenticated data message.
When the humans create an invitation code out-of-band, they are responsible for choosing an unused channel-ID (simply picking a random 3-or-more digit number is probably enough), and some random words. The invitation code uses the same format in either variant: channel-ID, a hyphen, and an arbitrary string.
The two machines participating in the wormhole setup are not distinguished:
it doesn't matter which one goes first, and both use the same Wormhole class.
In the first variant, one side calls get_code()
while the other calls
set_code()
. In the second variant, both sides call set_code()
. Note that
this is not true for the "Transit" protocol used for bulk data-transfer: the
Transit class currently distinguishes "Sender" from "Receiver", so the
programs on each side must have some way to decide (ahead of time) which is
which.
Each side gets to do one send_data()
call and one get_data()
call.
get_data
will wait until the other side has done send_data
, so the
application developer must be careful to avoid deadlocks (don't get before
you send on both sides in the same protocol). When both sides are done, they
must call close()
, to let the library know that the connection is complete
and it can deallocate the channel. If you forget to call close()
, the
server will not free the channel, and other users will suffer longer
invitation codes as a result. To encourage close()
, the library will log an
error if a Wormhole object is destroyed before being closed.
Examples
The synchronous+blocking flow looks like this:
from wormhole.blocking.transcribe import Wormhole
from wormhole.public_relay import RENDEZVOUS_RELAY
mydata = b"initiator's data"
i = Wormhole(u"appid", RENDEZVOUS_RELAY)
code = i.get_code()
print("Invitation Code: %s" % code)
i.send_data(mydata)
theirdata = i.get_data()
i.close()
print("Their data: %s" % theirdata.decode("ascii"))
import sys
from wormhole.blocking.transcribe import Wormhole
from wormhole.public_relay import RENDEZVOUS_RELAY
mydata = b"receiver's data"
code = sys.argv[1]
r = Wormhole(u"appid", RENDEZVOUS_RELAY)
r.set_code(code)
r.send_data(mydata)
theirdata = r.get_data()
r.close()
print("Their data: %s" % theirdata.decode("ascii"))
Twisted
The Twisted-friendly flow looks like this:
from twisted.internet import reactor
from wormhole.public_relay import RENDEZVOUS_RELAY
from wormhole.twisted.transcribe import Wormhole
outbound_message = b"outbound data"
w1 = Wormhole(u"appid", RENDEZVOUS_RELAY)
d = w1.get_code()
def _got_code(code):
print "Invitation Code:", code
return w1.send_data(outbound_message)
d.addCallback(_got_code)
d.addCallback(lambda _: w1.get_data())
def _got_data(inbound_message):
print "Inbound message:", inbound_message
d.addCallback(_got_data)
d.addCallback(w1.close)
d.addBoth(lambda _: reactor.stop())
reactor.run()
On the other side, you call set_code()
instead of waiting for get_code()
:
w2 = Wormhole(u"appid", RENDEZVOUS_RELAY)
w2.set_code(code)
d = w2.send_data(my_message)
...
Note that the Twisted-form close()
accepts (and returns) an optional
argument, so you can use d.addCallback(w.close)
instead of
d.addCallback(lambda _: w.close())
.
Verifier
You can call w.get_verifier()
before send_data()/get_data()
: this will
perform the first half of the PAKE negotiation, then return a verifier object
(bytes) which can be converted into a printable representation and manually
compared. When the users are convinced that get_verifier()
from both sides
are the same, call send_data()/get_data()
to continue the transfer. If you
call send_data()/get_data()
before get_verifier()
, it will perform the
complete transfer without pausing.
The Twisted form of get_verifier()
returns a Deferred that fires with the
verifier bytes.
Generating the Invitation Code
In most situations, the "sending" or "initiating" side will call
i.get_code()
to generate the invitation code. This returns a string in the
form NNN-code-words
. The numeric "NNN" prefix is the "channel id", and is a
short integer allocated by talking to the rendezvous server. The rest is a
randomly-generated selection from the PGP wordlist, providing a default of 16
bits of entropy. The initiating program should display this code to the user,
who should transcribe it to the receiving user, who gives it to the Receiver
object by calling r.set_code()
. The receiving program can also use
input_code_with_completion()
to use a readline-based input function: this
offers tab completion of allocated channel-ids and known codewords.
Alternatively, the human users can agree upon an invitation code themselves,
and provide it to both programs later (with i.set_code()
and
r.set_code()
). They should choose a channel-id that is unlikely to already
be in use (3 or more digits are recommended), append a hyphen, and then
include randomly-selected words or characters. Dice, coin flips, shuffled
cards, or repeated sampling of a high-resolution stopwatch are all useful
techniques.
Note that the code is a human-readable string (the python "unicode" type in python2, "str" in python3).
Application Identifier
Applications using this library must provide an "application identifier", a
simple string that distinguishes one application from another. To ensure
uniqueness, use a domain name. To use multiple apps for a single domain,
append a URL-like slash and path, like example.com/app1
. This string must
be the same on both clients, otherwise they will not see each other. The
invitation codes are scoped to the app-id. Note that the app-id must be
unicode, not bytes, so on python2 use u"appid"
.
Distinct app-ids reduce the size of the connection-id numbers. If fewer than ten initiators are active for a given app-id, the connection-id will only need to contain a single digit, even if some other app-id is currently using thousands of concurrent sessions.
Rendezvous Relays
The library depends upon a "rendezvous relay", which is a server (with a public IP address) that delivers small encrypted messages from one client to the other. This must be the same for both clients, and is generally baked-in to the application source code or default config.
This library includes the URL of a public relay run by the author. Application developers can use this one, or they can run their own (see src/wormhole/servers/relay.py) and configure their clients to use it instead. This URL is passed as a unicode string.
Polling and Shutdown
TODO: this is mostly imaginary
The reactor-based (Twisted-style) forms of these objects need to establish TCP connections, re-establish them if they are lost, and sometimes (for transports that don't support long-running connections) poll for new messages. They may also time out eventually. Longer delays mean less network traffic, but higher latency.
These timers should be matched to the expectations, and expected behavior, of your users. In a file-transfer application, where the users are sitting next to each other, it is appropriate to poll very frequently (perhaps every 500ms) for a few minutes, then give up. In an email-like messaging program where the introduction is establishing a long-term relationship, and the program can store any outgoing messages until the connection is established, it is probably better to poll once a minute for the first few minutes, then back off to once an hour, and not give up for several days.
The schedule=
constructor argument establishes the polling schedule. It
should contain a sorted list of (when, interval) tuples (both floats). At
when
seconds after the first start()
call, the polling interval will be
set to interval
.
The timeout=
argument provides a hard timeout. After this many seconds, the
sync will be abandoned, and all callbacks will errback with a TimeoutError.
Both have defaults suitable for face-to-face realtime setup environments.
Serialization
TODO: only the Twisted form supports serialization so far
You may not be able to hold the Wormhole object in memory for the whole sync
process: maybe you allow it to wait for several days, but the program will be
restarted during that time. To support this, you can persist the state of the
object by calling data = w.serialize()
, which will return a printable
bytestring (the JSON-encoding of a small dictionary). To restore, use the
from_serialized(data)
classmethod (e.g. w = Wormhole.from_serialized(data)
).
There is exactly one point at which you can serialize the wormhole: after
establishing the invitation code, but before waiting for get_verifier()
or
get_data()
, or calling send_data()
. If you are creating a new invitation
code, the correct time is during the callback fired by get_code()
. If you
are accepting a pre-generated code, the time is just after calling
set_code()
.
To properly checkpoint the process, you should store the first message
(returned by start()
) next to the serialized wormhole instance, so you can
re-send it if necessary.
Bytes, Strings, Unicode, and Python 3
All cryptographically-sensitive parameters are passed as bytes ("str" in python2, "bytes" in python3):
- verifier string
- data in/out
- transit records in/out
Other (human-facing) values are always unicode ("unicode" in python2, "str" in python3):
- wormhole code
- relay URL
- transit URLs
- transit connection hints (e.g. "host:port")
- application identifier
- derived-key "purpose" string:
w.derive_key(PURPOSE)
Detailed Example