COTI'nin Alqoritmi Simulyasiya Açıklaması

COTI icma üzvlərimizin çoxu DAG simulyasiyasını necə yaratdığımızı soruşaraq yazdılar. Bizim CTO, doktor Nir Haloani, simulyasiyanın tam təfərrüatlarını və aşağıda necə meydana gəldiyini izah edir.

Giriş

Bu simulyasiyanın məqsədi Trustchain alqoritminin necə işlədiyini təqdim etməkdir. Alqoritmin fəaliyyətini bir çox cəhətdən nümayiş etdirir, lakin şəbəkənin yayılması, saxlanması və kriptoqrafiya xüsusiyyətlərini istisna edir. Simulyasiyadakı DAG əvvəlcədən hesablanmış əməliyyatlardan ibarətdir və böyüməsini müxtəlif parametrlərə və Güvən Hesablama bölgüsünə uyğun olaraq görə bilərik.

COTI Veb Simulyasiyası nədir?

Simulyasiyalarımız 2D və 3D formatda təqdim olunur. Simulyasiyanın özü DAG qurmaq üçün istifadə olunan açıq mənbə modulu olan 3D qüvvəyə yönəldilmiş qrafikə əsaslanır. Məlumatlar, offline olaraq yaradılan və təsadüfi olaraq plaginə yenidən bənzəyən real məlumatlar vasitəsilə modulla sinxronlaşdırılır. Fikir konsensus və qoşma alqoritmlərinin necə işlədiyini təqlid etməkdir.

2D simulyasiyasında Klasterdəki bütün əməliyyatlar bir-birinə bir panjə yaratmaq üçün bir-birinə bağlanmış dairələr şəklində təqdim olunur. Əməliyyatlar Trust Score vs time bir ox üzərində qurulur. Yeni əməliyyatlar bir faizlə əlavə olunur. Bu parametrin dəyişdirilməsi, buna görə simulyasiyada əməliyyatların baş vermə sürətini dəyişdirir. 2D simulyasiyasının nümunəsi aşağıdakı şəkildə göstərilmişdir. Bu vəziyyətdə = 10.

Yuxarıdakı rəqəmdə göstərildiyi kimi, əməliyyatlar təsdiq statusundan asılı olaraq rəngini dəyişir. Əməliyyatlar Klasterə ilk əlavə olunduqda narıncı olurlar. Bir əməliyyat təsdiqləndikdə mavi rəngə dəyişir. Nəhayət, əməliyyat təsdiq etimad həddinə çatanda qara olur. Simulyasiya davam edərkən, şəbəkənin müxtəlif hissələrində baş verən yoxlama və təsdiqləmə hadisələrinə uyğun rəng dəyişikliyi dalğası olacaq. Aşağı etibarlı istifadəçilərdən edilən əməliyyatlar, bir etibar həddinə çatmaq üçün daha uzun sürdüyünə görə, daha az etibarlı əməliyyat təsdiqləmələri və daha yüksək etibarlı əməliyyat təsdiqləmələri ilə təsdiq rəng keçidlərinin daha az olacağını gözləyirik. Aşağıdakı şəkildəki kimi, əməliyyatları böyütmək onların Güvən Hesablarını (TS) göstərir. Gedən əməliyyatlar üzərində gizlənmə Trustchain-i qırmızı rəngdə (təsdiqlənmiş əməliyyatlar üçün) vurğulayır.

2D simulyasiyasından fərqli olaraq, 3D simulyasiyasındakı əməliyyatlar sabit bir 2D şəbəkəsinə bağlanmır, lakin sərbəst şəkildə yayılmaq üçün sərbəstdir. Bir əməliyyat digərini təsdiqlədikdə, əməliyyatları birlikdə saxlayan bir əlaqə yaradır; əks təqdirdə bağlanmayan əməliyyatlar bir-birini təkzib edir və bərabər məsafəyə qoyulana qədər hərəkət edir.

2D simulyasiyasında olduğu kimi, əməliyyatlar da təsdiqləmə vəziyyətindən asılı olaraq rəngləri dəyişdirir, 2D simulyasiyası ilə eyni rəng sxeminə əməl edir. Təsdiqləmə vəziyyətinə görə rəngli etiketlənmiş əməliyyatlarla yanaşı, Etibar Hesabına görə əməliyyatlar da vurğulanır. Aşağıdakı şəkildə göstərildiyi kimi, bir əməliyyatı tıklayarak onu qırmızı rəngdə təsdiqləyən Trustchain qeyd ediləcəkdir.

Bunu necə yaratdıq?

Notation

Mənbə: Bir mənbə Klasterə əlavə edilmiş və başqa bir əməliyyatı təsdiqləyən, lakin hələ təsdiqlənməmiş bir əməliyyatdır. Doğrulama bir əməliyyatın etibarlı olduğunu (yəni düzgün imzalanmış) yoxlanmağı əhatə edir. Əlavə: Bir istifadəçi əməliyyatını Klasterdəki digər əməliyyatlarla əlaqələndirəndə. Doğrulanan əməliyyat: Ən azı bir başqa bir əməliyyat ilə əlaqəli bir əməliyyat. Təsdiqlənən əməliyyat: Şəbəkə ləyaqətini qazanmaq üçün kifayət qədər məcmu etimad əldə edən bir əməliyyat. DAG: Əməliyyatlar əvvəlki əməliyyatlara yönəldilmiş bir asiklik qrafik (DAG) yaradan bir yönlü ötürmə şəklində bağlanır.

Simulyasiyanın əsası

Simulyasiyanın əsas nöqtəsi, şəbəkədəki yeni bir əməliyyatın doğrulamak üçün bir mənbəni necə seçdiyini müəyyənləşdirən Mənbə Seçimi Alqoritmindən ibarətdir. Əhəmiyyətli mülahizələr yeni əməliyyat Güvən Hesabları və nə qədər müddətdir təsdiqlənməsini gözləyirlər.

Əvvəlcə nə olursa olsun, yeni əməliyyat, qonşuluq daxilində Güvən Hesabı olan Klasterdəki bütün mənbələrin siyahısını alır. Qonşuluq ölçüsü, yeni əməliyyat və doğrulama prosesində qoşula biləcəyi mənbələr arasında Güvən Hesabındakı icazə verilən fərqi (100-lik bir hissə kimi) ifadə edən parametrlə müəyyən edilir. İcazə verilən mənbələrin bu məhəlləsindən yeni əməliyyat təsdiqləmək üçün iki mənbəyi seçir. Onlar mənbələrin gözlədiyi vaxtın miqdarı ilə ölçülürlər ki, daha çox gözləyən mənbələrin doğrulanma ehtimalı daha yüksək olsun.

Yeni əməliyyat iki mənbəni təsdiqlədikdən sonra Klasterə qoşulur və özü bir mənbəyə çevrilir. Yeni bir əməliyyatın mənbələrin doğrulanması və tələb olunan iş sübutunu yerinə yetirməsi üçün lazım olan vaxt Δt parametri ilə idarə olunur.

Bunlar Klasterə qoşulan hər hansı yeni, yeni bir əməliyyat üçün DAG simulyasiyasının daxili işləridir. Əslində saniyədə əvvəllər müzakirə olunan dəqiq proseduru izləyən çox sayda yeni əməliyyatlar var. Simulyasiyada saniyədə yeni əməliyyatların sayı parametrlə idarə olunur.

Təbii ki, bəzi məqamları nəzərə almaq lazımdır, çünki şəbəkə müəyyən bir anda başlamalıdır. İlkin əməliyyatlar (yəni genezis əməliyyatları) ilk COTI-lər digər valyutalara mübadilə edildikdə şəbəkənin ilk mərhələlərini təmsil edir. DAG bu genezis əməliyyatlarından böyüməlidir, buna görə mənbələrdən daha çox yeni əməliyyatlar varsa, yeni bir əməliyyat iki yox, bir əməliyyatı təsdiq edərək Klasterə qoşula bilər. Bu, Klasterin təhlükəsizliyə zərər vermədən böyüməsinə imkan verir. Riyazi analizi asanlaşdırmaq üçün simulyasiya Güvən Hesablarının təsadüfi paylandığını və şəbəkənin zərərli tərəflərin hücumuna məruz qalmadığını düşünür.

Qoşma alqoritminin əsasını qoyan riyaziyyat

Transaction qoşma axını cədvəli

Aşağıdakı, Klasterə əlavə edilməli olan yeni əməliyyatlar üçün əlavə alqoritmini əks etdirən cədvəl.

Nəticə

“COTI-nin istifadə etdiyi riyazi çərçivə yalnız nəzəri cəhətdən sağlam deyil, simulyasiya yolu ilə ciddi sınaqdan keçirilmişdir. İşin sübutu və əməliyyatın gəliş sürəti prosesi ilə bağlı fərziyyələr Klaster (yönləndirilmiş asiklik qrafik) və zaman dəyişikliyi nəzərə alınmaqla məqbul idi. Keçirilən simulyasiya log miqyasında göstərdi ki, Etibar Hesabında artım nəzərə alınmaqla əməliyyat təsdiqləmə gecikməsi vaxt keçdikcə azalır. Bu əlamətdar bir irəliləyiş, etibarlı bir alqoritmin əməliyyat dərəcəsini əhəmiyyətli dərəcədə az risklə artıra biləcəyi fərziyyəsini gücləndirir. " -Obakeng Moepya, PhD, Maşın öyrənmə fırıldaqçılıq aşkarlama mütəxəssisi

"Təqdim olunan simulyasiyadan istifadə edən bir sıra empirik araşdırmalar alqoritm seçimi və real dünya klasterinin fəaliyyətinin optimallaşdırılması ilə bağlı fərziyyələrimizi inandırır. Simulyasiyanın riyazi çərçivəsi, daxili və xarici parametrlərin COTI-nin Klasterinin performans və ötürmə xüsusiyyətlərinə təsirini açıq şəkildə göstərir. Bu ümumilığı itirmədən çoxluqun genişlənə biləcəyinə dair dəlili təmin edir. " Nir Haloani, Tətbiqi Riyaziyyat üzrə fəlsəfə doktoru