ارزیابی و اثبات الگوریتم مسیریابی شبکه گمنامی تُر

تُر یکی از محبوب‌ ترین شبکه‌های فراهم‌ کننده گمنامی و حفظ حریم خصوصی در سطح اینترنت است که با استفاده از سیستم‌های داوطلبانه در سرتاسر جهان کار می‌کند. کارکرد تُر با تاخیر کم، آن را برای اموری هم چون گردش در وب مناسب می‌سازد. نحوه‌ی انتخاب مسیر در شبکه‌ی تُر از عوامل تاثیرگذار در کارایی و امنیت این شبکه است. الگوریتم انتخاب مسیر در شبکه‌ی تُر نسبت به طراحی اولیه آن، تا­کنون دست‌خوش تغییرات زیادی شده است. این تغییرات به دلایلی چون افزایش کارایی، قابلیت اطمینان و توازن بار صورت گرفته‌اند و یا حتی برخی اوقات در پاسخ به حملات معرفی‌شده، مجبور به تغییر الگوریتم انتخاب مسیر شده‌اند. مقالات زیادی تا­کنون به بررسی شیوه‌ی انتخاب رله‌ها در تشکیل مدار پرداخته‌اند ولی هیچ‌کدام باوجود منبع باز بودن کد تُر، الگوریتم مسیریابی و نحوه وزن‌دهی رله‌ها را مورد تجزیه ‌و تحلیل قرار نداده‌اند و روابط مورد استفاده در این الگوریتم را از لحاظ منطقی و ریاضی اثبات نکرده‌اند. در این مقاله سعی شده است بعد از تجزیه‌ و تحلیل کامل الگوریتم مسیریابی تُر، برای اولین بار به اثبات دقیق منطقی و ریاضی روابط مورد استفاده در این الگوریتم پرداخته شود.

evaluation and proof of routing algorithm in tor anonymity network

tor is one of the most popular networks providing anonymity and privacy on the internet that works using volunteer systems from around the world. low latency operation makes it suitable for things like web browsing. the way to select a path in tor network is one of the influential factors in the efficiency and security of this network. the path selection algorithm in the tor network has undergone many changes over its original design. these changes have been made for reasons such as increased efficiency, reliability, and load balancing, sometimes even in response to introduced attacks, they have to change the path selection algorithm. so far, many papers have looked at how to choose relays in the creation of circuits, but none of them, despite the open-source of the tor code, did not analyze the routing algorithm and the weighting method of the relays. and they have not proved logically and mathematically the relations used in this algorithm. in this paper, we attempt after fully analyzing the tor routing algorithm, for the first time, the exact logical and mathematical proofs of the relationships used in this algorithm are discussed. in this paper, we tried to investigate the anonymous network routing algorithm as the largest current anonymous network in the world.