We’re the Tor Project: we’ve been developing the Tor since 2002. We’ve grown Tor to anonymize millions of users over thousands of volunteer-operated relays. Nick Mathewson, Tor cofounder and original developer of Arti, will direct this work.
Tor provides robust network-level privacy, hiding traffic among millions of Tor users. Thus, it fits as a "missing piece" of the Zcash privacy story–as a communications privacy layer for Zcash, and for other tools that Zcash users employ.
Tor is deployed, well established, and well analyzed, and works with most any TCP-based protocol. Our performance is improving over time, and we layer with an ecosystem of anticensorship tools.
But the current Tor implementation bears signs of its age. Tor is implemented in C, as a standalone network proxy. This makes it cumbersome to embed. And because Tor is written in C, security is risky, and we need to be meticulously careful when writing new code.
We’re solving these issues with Arti, a Rust implementation of the Tor client protocols. We hope Arti will replace our C, and thereby help Zcash protect users from surveillance and censorship. Arti will make the Tor protocols easier to embed, to develop, to adjust, and to use.
Today, Arti is a working Tor client, but is not yet fully secure, featureful, efficient, or usable. We will close these gaps one-by-one as roadmapped below. We hope to work together with developers from Zcash-related projects to refine those milestones and deliver a usable product.
Architecturally, Arti’s high-level crates provide a set of async/await APIs for connecting through the Tor network; lower-level crates provide fine-grained control over specific behavior. We separate networking from domain logic, to make our code more testable and portable.
Arti is our first major Rust project. Though we’ve been learning as we go, we may still make a few Rust mistakes. Depending on funding, we may be able to hire experienced Rust developers to assist.
Since Arti is embeddable, we face risks in defining stable APIs: we must provide everything users need, but nothing that hinders us long-term. We’re mitigating this risk by rolling out APIs through a gated process, carefully distinguishing between stable and unstable APIs.
We have to support our C code until Arti can replace it, and address emerging attacks, network issues, research findings, etc. Thus, a sudden issue may distract us from Arti while we resolve it. To mitigate somewhat, we will try to avoid new features in the C implementation while Arti is under development.
We depend on users for feedback about our design choices. This work will rely particularly on feedback from downstream developers about our APIs. In case our existing contacts within the Zcash ecosystem become busy or distracted, we are also in contact with other users who can comment and assist.
Even though Arti will be more maintainable and usable than our C code, it will inevitably be less mature. Thus it will likely have some bugs or deficiencies at first, due to loss of implicit knowledge currently embodied in the C implementation.
Our timeline is based on feedback from our Zcash forum post, and assumes three full-time developers. For specifics, see https://gitlab.torproject.org/tpo/core/arti/-/milestones .
We budget for $44,800 per month. This is based on 3 developers at an average of $13,267 per month, 10% of a project manager’s time at $10k per month, and 10% overhead. Thus our budget is:
This gives a total of $673,200
Edits added June 7 2021