There are protocols everywhere you look when you’re writing network applications, and libp2p is especially thick with them.
Throughout this article, we’ll call this kind of protocol that is built with libp2p a libp2p protocol, but you may also see them referred to as “wire protocols” or “application protocols”.
These are the protocols that define your application and provide its core functionality.
This article will walk through some of the key defining features of a libp2p protocol, give an overview of the protocol negotiation process, and outline some of the core libp2p protocols that are included with libp2p and provide key functionality.
A libp2p protocol has these key features:
libp2p protocols have unique string identifiers, which are used in the protocol negotiation process when connections are first opened.
By convention, protocol ids have a path-like structure, with a version number as the final component:
Breaking changes to your protocol’s wire format or semantics should result in a new version number. See the protocol negotiation section for more information about how version selection works during the dialing and listening process.
While libp2p will technically accept any string as a valid protocol id, using the recommended path structure with a version component is both developer-friendly and enables easier matching by version.
To accept connections, a libp2p application will register handler functions for protocols using their protocol id with the switch (aka “swarm”), or a higher level interface such as go’s Host interface.
The handler function will be invoked when an incoming stream is tagged with the registered protocol id. If you register your handler with a match function, you can choose whether to accept non-exact string matches for protocol ids, for example, to match on semantic major versions.
The “medium” over which a libp2p protocol transpires is a bi-directional binary stream with the following properties:
Behind the scenes, libp2p will also ensure that the stream is secure and efficiently multiplexed. This is transparent to the protocol handler, which reads and writes unencrypted binary data over the stream.
The format of the binary data and the mechanics of what to send when and by whom are all up to the protocol to determine. For insipiration, some common patterns that are used in libp2p’s internal protocols are outlined below.
When dialing out to initiate a new stream, libp2p will send the protocol id of the protocol you want to use. The listening peer on the other end will check the incoming protocol id against the registered protcol handlers.
If the listening peer does not support the requested protocol, it will end the stream, and the dialing peer can try again with a different protocol, or possibly a fallback version of the initially requested protocol.
If the protocol is supported, the listening peer will echo back the protocol id as a signal that future data sent over the stream will use the agreed protocol semantics.
This process of reaching agreement about what protocol to use for a given stream or connection is called protocol negotiation.
When you register a protocol handler, there are two methods you can use.
The first takes two arguments: a protocol id, and a handler function. If an incoming stream request sends an exact match for the protocol id, the handler function will be invoked with the new stream as an argument.
The second kind of protocol registration takes three arguments: the protocol id, a protocol match function, and the handler function.
When a stream request comes in whose protocol id doesn’t have any exact matches, the protocol id will be passed through
all of the registered match functions. If any returns
true, the associated handler function will be invoked.
This gives you a lot of flexibility to do your own “fuzzy matching” and define whatever rules for protocol matching make sense for your application.
If you’d like to concurrently support a range of numbered versions, you may want to use semantic versioning (aka semver).
In go-libp2p, a helper function called
MultistreamSemverMatcher can be used
as a protocol match function to see if an incoming request can be satisfied by the registered protocol version.
When dialing a remote peer to open a new stream, the initiating peer sends the protocol id that they’d like to use. The remote peer will use the matching logic described above to accept or reject the protocol. If the protocol is rejected, the dialing peer can try again.
When dialing, you can optionally provide a list of protocol ids instead of a single id. When you provide multiple protocol ids, they will each be tried in succession, and the first successful match will be used if at least one of the protocols is supported by the remote peer. This can be useful if you support a range of protocol versions, since you can propose the most recent version and fallback to older versions if the remote hasn’t adopted the latest version yet.
In addition to the protocols that you write when developing a libp2p application, libp2p itself defines several foundational protocols that are used for core features.
The protocols described below all use protocol buffers (aka protobuf) to define message schemas.
Messages are exchanged over the wire using a very simple convention which prefixes binary message payloads with an integer that represents the length of the payload in bytes. The length is encoded as a protobuf varint (variable-length integer).
The ping protocol is a simple liveness check that peers can use to quickly see if another peer is online.
After the initial protocol negotiation, the dialing peer sends 32 bytes of random binary data. The listening peer echoes the data back and closes the stream, and the dialing peer will verify the response and measure the latency between request and response.
identify protocol allows peers to exchange information about each other, most notably their public keys
and known network addresses.
The basic identify protocol works by establishing a new stream to a peer using the identify protocol id shown in the table above.
Identify message includes an
observedAddr field that contains the multiaddr that
the peer observed the request coming in on. This helps peers determine their NAT status, since it allows them to
see what other peers observe as their public address and compare it to their own view of the network.
|Protocol id||spec & implementations|
||same as identify above|
A slight variation on
identify/push protocol sends the same
Identify message, but it does so proactively
instead of in response to a request.
This is useful if a peer starts listening on a new address, establishes a new relay circuit, or
learns of its public address from other peers using the standard
identify protocol. Upon creating or learning of a new address,
the peer can push the new address to all peers it’s currently aware of. This keeps everyones routing tables up to date and
makes it more likely that other peers will discover the new address.
secio (short for secure input/output) is a protocol for encrypted communication that is similar to TLS 1.2, but without the
Certificate Authority requirements. Because each libp2p peer has a PeerId that’s derived from their
public key, the identity of a peer can be validated without needing a Certificate Authority by using their public
key to validate signed messages.
See the Secure Communication article for more information.
While secio is the default encryption protocol used by libp2p today, work is progressing on integrating TLS 1.3 into libp2p, which is expected to become the default once completed. See the libp2p TLS 1.3 spec for an overview of the design.
||circuit relay spec||go||js|
As described in the Circuit Relay article, libp2p provides a protocol for tunneling traffic through relay peers when two peers are unable to connect to each other directly. See the article for more information on working with relays, including notes on relay addresses and how to enable automatic relay connection when behind an intractible NAT.