L-ewwel rilaxx stabbli ta 'Arti, l-implimentazzjoni uffiċjali ta' Tor f'Rut

L-iżviluppaturi tan-netwerk Tor anonimu ħolqu l-ewwel rilaxx stabbli (1.0.0) tal-proġett Arti, li jiżviluppa klijent Tor miktub f'Rut. Ir-rilaxx 1.0 huwa mmarkat bħala adattat għall-użu minn utenti ġenerali u jipprovdi l-istess livell ta 'privatezza, użabilità, u stabbiltà bħall-implimentazzjoni C prinċipali. L-API offruta għall-użu tal-funzjonalità Arti f'applikazzjonijiet oħra ġiet stabbilizzata wkoll. Il-kodiċi huwa mqassam taħt il-liċenzji Apache 2.0 u MIT.

B'differenza mill-implimentazzjoni C, li l-ewwel kienet iddisinjata bħala prokura SOCKS u mbagħad imfassla għal ħtiġijiet oħra, Arti hija żviluppata inizjalment fil-forma ta 'librerija inkorporata modulari li tista' tintuża minn diversi applikazzjonijiet. Barra minn hekk, meta jiġi żviluppat proġett ġdid, tiġi kkunsidrata l-esperjenza kollha tal-iżvilupp Tor tal-passat, li tevita problemi arkitettoniċi magħrufa u tagħmel il-proġett aktar modulari u effiċjenti.

Ir-raġuni għall-kitba mill-ġdid Tor f'Sadid kienet ix-xewqa li jinkiseb livell ogħla ta 'sigurtà tal-kodiċi bl-użu ta' lingwa mingħajr periklu għall-memorja. Skont l-iżviluppaturi Tor, mill-inqas nofs il-vulnerabbiltajiet kollha mmonitorjati mill-proġett se jiġu eliminati f'implimentazzjoni Rust jekk il-kodiċi ma jużax blokki "mhux sikuri". Is-sadid se jagħmilha possibbli wkoll li jinkisbu veloċitajiet ta 'żvilupp aktar mgħaġġla milli tuża C, minħabba l-espressività tal-lingwa u garanziji stretti li jippermettu li tevita li taħli ħin fuq verifika doppja u kitba ta' kodiċi bla bżonn.

Ibbażat fuq ir-riżultati tal-iżvilupp tal-ewwel verżjoni, l-użu tal-lingwa Rust iġġustifika ruħu. Pereżempju, ġie nnotat li f'kull stadju, saru inqas żbalji fil-kodiċi Rust milli fl-iżvilupp komparabbli f'C - l-iżbalji li ħarġu matul il-proċess ta 'żvilupp kienu prinċipalment relatati mal-loġika u s-semantika. Il-kompilatur rustc eżiġenti eċċessivament, innutat minn xi wħud bħala żvantaġġ, fil-fatt irriżulta li kien barka, peress li jekk il-kodiċi jikkompila u jgħaddi mit-testijiet, il-probabbiltà tal-korrettezza tiegħu tiżdied b'mod sinifikanti.

Il-ħidma fuq il-varjant il-ġdid ikkonferma wkoll żieda fil-veloċità tal-iżvilupp, li hija dovuta mhux biss għall-fatt li l-funzjonalità ġiet ikkreata mill-ġdid ibbażata fuq mudell eżistenti, iżda wkoll għas-semantika aktar espressiva ta’ Rust, il-libreriji tal-funzjonijiet konvenjenti, u l-użu tas-sigurtà tal-kodiċi ta’ Rust kapaċitajiet. Wieħed mill-iżvantaġġi huwa d-daqs kbir tal-assemblaġġi li jirriżultaw - peress li l-librerija standard Rust mhix fornuta fuq sistemi b'mod awtomatiku, għandha tkun inkluża fil-pakketti offruti għat-tniżżil.

Ir-rilaxx 1.0 jiffoka prinċipalment fuq xogħol bażiku fir-rwol tal-klijent. Fil-verżjoni 1.1 huwa ppjanat li jiġi implimentat appoġġ għat-trasport plug-in u l-pontijiet biex jaqbżu l-imblukkar. Il-verżjoni 1.2 hija mistennija li tappoġġja s-servizzi tal-basla u karatteristiċi relatati, bħall-protokoll ta 'kontroll tal-konġestjoni (RTT Konġestjoni tal-Kontroll) u protezzjoni kontra attakki DDoS. Il-kisba ta' parità mal-klijent C hija ppjanata għall-fergħa 2.0, li se toffri wkoll rbit għall-użu ta' Arti fil-kodiċi f'diversi lingwi ta' programmar.

Matul il-ftit snin li ġejjin, ix-xogħol se jiffoka fuq l-implimentazzjoni tal-funzjonalità meħtieġa biex jitmexxew relays u servers tad-direttorju. Meta l-kodiċi Rust jilħaq livell li jista 'jissostitwixxi kompletament il-verżjoni C, l-iżviluppaturi beħsiebhom jagħtu Arti l-istatus tal-implimentazzjoni ewlenija ta' Tor u jieqfu jżommu l-implimentazzjoni C. Il-verżjoni C se titneħħa gradwalment biex tippermetti migrazzjoni bla xkiel.

Sors: opennet.ru

Żid kumment