המהדורה היציבה הראשונה של Arti, היישום הרשמי של Tor in Rust

המפתחים של רשת Tor האנונימית יצרו את המהדורה היציבה הראשונה (1.0.0) של פרויקט Arti, אשר מפתחת לקוח Tor שנכתב ב- Rust. מהדורת 1.0 מסומנת כמתאימה לשימוש על ידי משתמשים כלליים ומספקת את אותה רמה של פרטיות, שימושיות ויציבות כמו יישום ה-C הראשי. גם ה-API המוצע לשימוש בפונקציונליות Arti ביישומים אחרים יוצב. הקוד מופץ תחת רישיונות Apache 2.0 ו-MIT.

בניגוד למימוש C, שתוכנן תחילה כפרוקסי SOCKS ולאחר מכן מותאם לצרכים אחרים, Arti פותח בתחילה בצורה של ספרייה מודולרית הניתנת להטבעה שיכולה לשמש אפליקציות שונות. בנוסף, בעת פיתוח פרויקט חדש, נלקח בחשבון כל ניסיון הפיתוח של Tor בעבר, מה שמונע בעיות ארכיטקטוניות ידועות והופך את הפרויקט למודולרי ויעיל יותר.

הסיבה לשכתוב Tor ב-Rust הייתה הרצון להשיג רמה גבוהה יותר של אבטחת קוד על ידי שימוש בשפה בטוחה בזיכרון. לפי מפתחי Tor, לפחות מחצית מכל הפגיעויות המנוטרות על ידי הפרויקט יבוטלו ביישום Rust אם הקוד לא ישתמש בלוקים "לא בטוחים". Rust גם תאפשר להגיע למהירויות פיתוח מהירות יותר מאשר שימוש ב-C, בשל כושר הביטוי של השפה וערבויות קפדניות המאפשרות להימנע מבזבוז זמן על בדיקה כפולה וכתיבת קוד מיותר.

בהתבסס על תוצאות הפיתוח של הגרסה הראשונה, השימוש בשפת Rust הצדיק את עצמו. כך למשל, הבחינו שבכל שלב נעשו פחות שגיאות בקוד Rust מאשר בפיתוח מקביל ב-C – השגיאות שעלו במהלך תהליך הפיתוח היו קשורות בעיקר ללוגיקה וסמנטיקה. מהדר rustc תובעני מדי, שציינו על ידי חלק כחסרון, התברר למעשה כמבורך, שכן אם הקוד יתחבר ויעבור את הבדיקות, הסבירות לנכונותו עולה משמעותית.

העבודה על הגרסה החדשה אישרה גם עלייה במהירות הפיתוח, אשר נובעת לא רק מהעובדה שהפונקציונליות נוצרה מחדש על סמך תבנית קיימת, אלא גם מהסמנטיקה האקספרסיבית יותר של Rust, ספריות הפונקציות הנוחות והשימוש באבטחת הקוד של Rust. יכולות. אחד החסרונות הוא הגודל הגדול של המכלולים המתקבלים - מאחר שספריית Rust הסטנדרטית אינה מסופקת במערכות כברירת מחדל, היא חייבת להיכלל בחבילות המוצעות להורדה.

המהדורה 1.0 מתמקדת בעיקר בעבודה בסיסית בתפקיד הלקוח. בגרסה 1.1 מתוכנן ליישם תמיכה בהובלת פלאגין וגשרים כדי לעקוף חסימה. גרסה 1.2 צפויה לתמוך בשירותי בצל ותכונות קשורות, כגון פרוטוקול בקרת הגודש (RTT Congestion Control) והגנה מפני התקפות DDoS. השגת זוגיות עם לקוח C מתוכננת בסניף 2.0, שיציע גם bindings לשימוש ב-Arti בקוד בשפות תכנות שונות.

במהלך השנים הקרובות, העבודה תתמקד ביישום הפונקציונליות הדרושה להפעלת ממסרים ושרתי ספריות. כאשר קוד ה-Rust מגיע לרמה שיכולה להחליף לחלוטין את גרסת ה-C, המפתחים מתכוונים לתת לארטי את הסטטוס של היישום הראשי של Tor ולהפסיק לתחזק את יישום ה-C. גרסת C תופסק בהדרגה כדי לאפשר הגירה חלקה.

מקור: OpenNet.ru