Die erste stabile Version von Arti, der offiziellen Tor-Implementierung in Rust

Die Entwickler des anonymen Netzwerks Tor haben die erste stabile Version (1.0.0) des Projekts Arti veröffentlicht, das einen in Rust geschriebenen Tor-Client entwickelt. Die Version 1.0 wird als für die Nutzung durch gewöhnliche Benutzer geeignet angesehen und bietet dasselbe Maß an Vertraulichkeit, Benutzerfreundlichkeit und Stabilität wie die Hauptimplementierung in C. Auch die API, die für die Nutzung der Funktionalität von Arti in anderen Anwendungen angeboten wird, wurde stabilisiert. Der Code wird unter den Lizenzen Apache 2.0 und MIT verbreitet.

Im Gegensatz zur Implementierung in C, die zunächst als SOCKS-Proxy konzipiert und später für andere Bedürfnisse angepasst wurde, entwickelt sich Arti von Anfang an in Form einer modularen eingebetteten Bibliothek, die von verschiedenen Anwendungen genutzt werden kann. Darüber hinaus wird bei der Entwicklung des neuen Projekts die gesamte bisherige Erfahrung in der Tor-Entwicklung berücksichtigt, was hilft, bekannte architektonische Probleme zu vermeiden und das Projekt modularer und effizienter zu gestalten.

Ein Grund für die Neuentwicklung von Tor in Rust war der Wunsch, ein höheres Maß an Code-Sicherheit zu erreichen, indem eine Sprache verwendet wird, die sicheren Umgang mit Speicher gewährleistet. Nach Schätzung der Tor-Entwickler werden mindestens die Hälfte aller vom Projekt verfolgten Schwachstellen in der Rust-Implementierung ausgeschlossen, wenn im Code keine 'unsafe'-Blöcke verwendet werden. Rust ermöglicht es zudem, eine schnellere Entwicklung zu erreichen als bei der Verwendung von C, dank der Ausdruckskraft der Sprache und strengen Garantien, die es ermöglichen, keine Zeit mit doppelten Überprüfungen und der Erstellung überflüssigen Codes zu verschwenden.

Am Ende der Entwicklung der ersten Version hat sich die Verwendung der Sprache Rust als gerechtfertigt erwiesen. Beispielsweise wurde festgestellt, dass es in jedem Schritt des Codes in Rust weniger Fehler gab als bei vergleichbarer Entwicklung in C – die während der Entwicklung aufgetretenen Fehler waren hauptsächlich mit Logik und Semantik verbunden. Die als Nachteil empfundene hohe Anforderungen des Compilers rustc erwiesen sich in Wirklichkeit als Vorteil, denn wenn der Code kompiliert und die Tests bestanden hat, erhöht sich die Wahrscheinlichkeit seiner Korrektheit erheblich.

Bei der Arbeit an der neuen Version bestätigte sich auch die erhöhte Entwicklungsgeschwindigkeit, was nicht nur damit zusammenhängt, dass die Funktionalitäten auf Basis des vorhandenen Templates rekonstruiert wurden, sondern auch mit der ausdrucksvolleren Semantik von Rust, den praktischen Funktionsbibliotheken und der Nutzung der Sicherheitsmechanismen von Rust zur Gewährleistung der Code-Sicherheit. Ein Nachteil ist die große Größe der resultierenden Builds – da die Standardbibliothek von Rust nicht standardmäßig in Systemen mitgeliefert wird, muss sie in die angebotenen Download-Pakete aufgenommen werden.

Die Version 1.0 konzentriert sich hauptsächlich auf die grundlegende Funktionalität als Client. In der Version 1.1 ist geplant, die Unterstützung für anpassbaren Transport und Brücken zur Umgehung von Blockierungen zu implementieren. In der Version 1.2 wird Unterstützung für Onion-Dienste und verwandte Funktionen, wie das Protokoll zur Steuerung der Überlastung (RTT Congestion Control) und DDoS-Schutzmaßnahmen, erwartet. Die Erreichung der Parität mit dem Client in der Programmiersprache C ist für den Branch 2.0 angestrebt, in dem auch Bindungen für die Verwendung von Arti in verschiedenen Programmiersprachen angeboten werden.

In den kommenden Jahren wird die Arbeit darauf ausgerichtet sein, die Funktionalitäten umzusetzen, die für den Betrieb von Relais erforderlich sind, und Server Verzeichnissen. Wenn der Code in Rust ein Niveau erreicht, das in der Lage ist, die Implementierung in C vollständig zu ersetzen, beabsichtigen die Entwickler, Arti den Status der Hauptimplementierung von Tor zu verleihen und die Unterstützung für die Implementierung in C einzustellen. Die Unterstützung der C-Version wird schrittweise eingestellt, um eine sanfte Migration zu ermöglichen.

Quelle: opennet.ru