Bu yazıda sizə DAG (Directed Acyclic Graph) və onun paylanmış kitab kitablarında tətbiqi haqqında məlumat verəcəyəm və onu blokçeynlə müqayisə edəcəyik.
DAG kriptovalyuta dünyasında yeni bir şey deyil. Blockchain miqyası problemlərinin həlli kimi bunu eşitmiş ola bilərsiniz. Ancaq bu gün biz miqyaslılıq haqqında deyil, kriptovalyutaları hər şeydən fərqləndirən şeylər haqqında danışacağıq: mərkəzsizləşdirmə, vasitəçilərin olmaması və senzura müqaviməti.
Mən sizə DAG-nin əslində senzuraya daha davamlı olduğunu və kitab kitabçasına daxil olmaq üçün heç bir vasitəçi olmadığını göstərəcəyəm.
Bizə tanış olan blokçeynlərdə istifadəçilərin dəftərin özünə birbaşa çıxışı yoxdur. Mühasibat kitabçasına bir əməliyyat əlavə etmək istədiyiniz zaman, bunu etmək üçün blok istehsalçısından (a.k.a. “mədənçi”) “xahiş etməlisiniz”. Növbəti bloka hansı əməliyyatın əlavə ediləcəyinə, hansının isə əlavə edilməyəcəyinə qərar verən mədənçilərdir. Məhz mədənçilər bloklara eksklüziv çıxışa malikdir və kimin əməliyyatının mühasibat kitabına daxil ediləcəyinə qərar vermək hüququna malikdir.
Mədənçilər sizinlə paylanmış kitab arasında dayanan vasitəçilərdir.
Praktikada adətən az sayda miner hovuzları şəbəkənin hesablama gücünün yarısından çoxunu kollektiv şəkildə idarə edir. Bitcoin üçün bunlar dörd hovuz, Ethereum üçün ikidir. Əgər onlar razılığa gəlsələr, istədikləri əməliyyatları bloklaya bilərlər.
Son bir neçə il ərzində blok istehsalçılarının seçilməsi prinsiplərində fərqlənən bir çox blokçeyn variantları təklif edilmişdir. Ancaq blok istehsalçılarının özləri heç yerə getmirlər, hələ də "maneə üzərində dayanırlar": hər bir əməliyyat blok istehsalçısından keçməlidir və o bunu qəbul etmirsə, deməli, əməliyyat əslində mövcud deyil.
Bu blockchain ilə qaçılmaz bir problemdir. Və bunu həll etmək istəyiriksə, dizaynı kökündən dəyişdirməli və bloklardan və blok istehsalçılarından tamamilə xilas olmalıyıq. Və bloklar zəncirini qurmaq əvəzinə, hər bir əməliyyatda bir neçə əvvəlkilərin hashləri daxil olmaqla, əməliyyatları özləri birləşdirəcəyik. Nəticədə riyaziyyatda yönləndirilmiş asiklik qrafik kimi tanınan strukturu - DAG alırıq.
İndi hər kəsin reyestrə vasitəçi olmadan birbaşa çıxışı var. Mühasibat kitabçasına əməliyyat əlavə etmək istədiyiniz zaman onu sadəcə əlavə edirsiniz. Siz bir neçə ana əməliyyat seçirsiniz, məlumatlarınızı əlavə edirsiniz, əməliyyatınızı imzalayır və şəbəkədəki həmyaşıdlarınıza göndərirsiniz. Hazır. Bunu etməyə sizə mane olacaq heç kim yoxdur, ona görə də əməliyyatınız artıq kitabdadır.
Bu, vasitəçilər olmadan mühasibat kitabçasına əməliyyatlar əlavə etmək üçün ən qeyri-mərkəzləşdirilmiş, senzuraya davamlı bir yoldur. Çünki hər kəs heç kimdən icazə almadan öz əməliyyatlarını sadəcə olaraq reyestrə əlavə edir.
DAG-ları reyestrlərin təkamülünün üçüncü mərhələsi hesab etmək olar. Əvvəlcə mərkəzləşdirilmiş reyestrlər var idi ki, orada bir tərəf onlara daxil olmağa nəzarət edirdi. Sonra blokçeynlər gəldi, onların artıq mühasibat kitabçasında əməliyyatları qeyd edən bir neçə nəzarətçi var idi. Və nəhayət, DAG-da ümumiyyətlə heç bir nəzarətçi yoxdur; istifadəçilər əməliyyatlarını birbaşa əlavə edirlər.
İndi bu azadlığa sahib olduğumuz üçün bu, xaosa səbəb olmamalıdır. Bizim reyestrin vəziyyəti ilə bağlı razılaşmamız olmalıdır. Və bu razılaşma və ya konsensus adətən iki şeydə razılaşma deməkdir:
- Nə oldu?
- Bu hansı ardıcıllıqla baş verdi?
Birinci suala asanlıqla cavab verə bilərik: düzgün yaradılmış əməliyyat mühasibat kitabına əlavə edildikdən sonra baş verdi. Və dövr. Bu barədə məlumat müxtəlif vaxtlarda bütün iştirakçılara çata bilər, lakin nəticədə bütün qovşaqlar bu əməliyyatı alacaq və bunun baş verdiyini biləcəklər.
Əgər bu blokçeyn olsaydı, nə olacağına mədənçilər qərar verərdi. Mədənçinin bloka daxil etmək qərarına gələn hər şey baş verir. Onun bloka daxil etmədiyi hər şey baş vermir.
Blokçeynlərdə madenciler ikinci konsensus problemini də həll edirlər: sifariş. Onlar blok daxilində əməliyyatları istədikləri kimi sifariş etməyə icazə verilir.
DAG-da əməliyyatların sırasını necə müəyyənləşdirmək olar?
Qrafikimiz yönləndirildiyi üçün artıq müəyyən sifarişimiz var. Hər bir əməliyyat bir və ya bir neçə əvvəlki, əsas olanlara aiddir. Valideynlər də öz növbəsində valideynlərinə müraciət edirlər və s. Valideynlər açıq şəkildə uşaq əməliyyatlarından əvvəl görünür. Əgər əməliyyatlardan hər hansı birinə valideyn-övlad keçidləri vasitəsilə nail olmaq olarsa, biz həmin əməliyyatlar zəncirindəki əməliyyatlar arasındakı sıranı dəqiq bilirik.
Lakin əməliyyatlar arasındakı ardıcıllığı həmişə yalnız qrafikin formasından müəyyən etmək olmaz. Məsələn, iki əməliyyat qrafikin paralel qollarında olduqda.
Belə hallarda qeyri-müəyyənliyi aradan qaldırmaq üçün biz sifariş təminatçıları deyilənlərə etibar edirik. Biz də onlara “şahid” deyirik. Bunlar adi istifadəçilərdir, onların vəzifəsi müntəzəm olaraq şəbəkəyə əməliyyatlar göndərməkdir, yəni. belə ki, onların əvvəlki əməliyyatlarının hər birinə valideyn-uşaq əlaqələri boyunca keçidlər vasitəsilə çatmaq olar. Sifariş təminatçıları etibarlı istifadəçilərdir və bütün şəbəkə bu qaydanı pozmamaq üçün onlara güvənir. Üçün rasional olaraq onlara etibar etsəniz, biz tələb edirik ki, hər bir sifariş təminatçısı məlum (anonim olmayan) şəxs və ya təşkilat olsun və o, reputasiya və ya etibara əsaslanan biznes kimi qaydaları pozarsa itirəcək bir şeyə malik olsun.
Sifariş təminatçıları istifadəçilər tərəfindən seçilir və hər bir istifadəçi şəbəkəyə göndərdiyi hər əməliyyatda etibarlı provayderlərinin siyahısını ehtiva edir. Bu siyahı 12 provayderdən ibarətdir. Bu, bir şəxs üçün onların hər birinin şəxsiyyətini və reputasiyasını yoxlamaq üçün kifayət qədər kiçik bir rəqəmdir və sifariş təminatçılarının azlığı ilə qaçılmaz problemlər halında şəbəkənin fəaliyyətini davam etdirməsini təmin etmək üçün kifayətdir.
Provayderlərin bu siyahısı istifadəçidən istifadəçiyə dəyişir, lakin qonşu əməliyyatların siyahıları bir provayderə qədər fərqlənə bilər.
İndi sifariş təminatçılarımız olduğuna görə biz onların əməliyyatlarını DAG-da təcrid edə və onların yaratdığı sifariş ətrafında bütün digər əməliyyatları sifariş edə bilərik. Belə bir alqoritm yaratmaq mümkündür (bax. texniki təfərrüatlar üçün).
Lakin bütün şəbəkənin sırasını dərhal müəyyən etmək mümkün deyil; bizə sifariş təminatçılarının keçmiş əməliyyatların yekun qaydasını yoxlamaq üçün kifayət qədər sayda əməliyyat göndərmələri üçün vaxt lazımdır.
Və sifariş yalnız DAG-da provayderlərin əməliyyatlarının mövqeləri ilə müəyyən edildiyi üçün şəbəkədəki bütün qovşaqlar gec-tez bütün əməliyyatları alacaq və əməliyyatların ardıcıllığı ilə bağlı eyni nəticəyə gələcəklər.
Beləliklə, baş vermiş hesab etdiyimiz şeylə bağlı razılığa gəldik: DAG-da başa çatan hər hansı bir əməliyyat baş verdi. Hadisələrin ardıcıllığı haqqında da razılığımız var: bu, ya əməliyyatların əlaqələrindən aydın olur, ya da sifariş təminatçıları tərəfindən göndərilən əməliyyatların ardıcıllığından irəli gəlir. Beləliklə, konsensusumuz var.
Obyte-də konsensusun bu versiyası var. Obyte kitabçasına giriş tamamilə mərkəzləşdirilməmiş olsa da, əməliyyatların qaydası ilə bağlı konsensus hələ də mərkəzləşdirilmişdir, çünki 10 provayderdən 12-u yaradıcı (Anton Çuryumov) tərəfindən idarə olunur və onlardan yalnız ikisi müstəqildir. Kitabın sifarişini mərkəzləşdirməyə kömək etmək üçün müstəqil sifariş təminatçılarından biri olmaq istəyən namizədləri axtarırıq.
Bu yaxınlarda Sifariş təminatçısı qovşağını - Nikosiya Universitetini quraşdırmaq və saxlamaq istəyən üçüncü müstəqil namizəd ortaya çıxdı.
İndi biz ikiqat xərclərə necə nəzarət edə bilərik?
Qaydalara görə, iki əməliyyatın eyni sikkənin xərclənməsi aşkar edilərsə, bütün əməliyyatların yekun ardıcıllığında birinci olan əməliyyat qalib gəlir. İkincisi konsensus alqoritmi ilə etibarsızdır.
Eyni sikkəni xərcləyən iki əməliyyat arasında nizam yaratmaq mümkündürsə (valideyn-uşaq əlaqələri vasitəsilə), onda bütün qovşaqlar ikiqat xərcləmə cəhdini dərhal rədd edir.
Sifariş iki belə əməliyyat arasındakı ana münasibətdən görünmədiyi təqdirdə, hər ikisi mühasibat kitabçasına qəbul edilir və biz sifariş təminatçılarından istifadə edərək onlar arasında konsensus və nizamın qurulmasını gözləməliyik. Sonra əvvəlki əməliyyat qalib gələcək, ikincisi isə etibarsız olacaq.
İkinci əməliyyat etibarsız olsa da, hələ də reyestrdə qalır, çünki onun artıq ona istinad edən, heç nəyi pozmayan və gələcəkdə bu əməliyyatın etibarsız olacağını bilməyən sonrakı əməliyyatları var. Əks təqdirdə, şəbəkənin əsas prinsipini pozacaq yaxşı sonrakı əməliyyatların əsasını çıxarmalı olacağıq - hər hansı düzgün əməliyyat mühasibat kitabçasına qəbul edilir.
Bu, bütün sistemin senzura cəhdlərinə davamlı olmasına imkan verən çox vacib bir qaydadır.
Təsəvvür edək ki, bütün sifariş təminatçıları konkret bir əməliyyatı “senzura” etmək cəhdi ilə əlbir olurlar. Onlar buna məhəl qoymur və heç vaxt onu öz əməliyyatları üçün “valideyn” kimi seçə bilməzlər, lakin bu kifayət deyil, əməliyyat hələ də dolayı yolla şəbəkədə sövdələşməyə qoşulmayan hər hansı istifadəçi tərəfindən verilmiş bəzi digər əməliyyatın valideyni kimi daxil edilə bilər. Vaxt keçdikcə belə bir əməliyyat adi istifadəçilərdən qartopu kimi böyüyən daha çox uşaq, nəvə və nəvə alacaq və bütün razılaşdırılmış sifariş təminatçıları da bu əməliyyatlara məhəl qoymamalı olacaqlar. Nəhayət, onlar bütün şəbəkəni senzura etməli olacaqlar ki, bu da təxribata bərabərdir.
Bu şəkildə, DAG, sifariş təminatçıları arasında sövdələşmə olsa belə, senzuraya davamlı olaraq qalır və bununla da madenciler əməliyyatların heç birini daxil etməmək qərarına gəlsələr, heç bir şey edə bilməyəcəyimiz senzuraya davamlı blokçeyni üstələyir. Və bu, DAG-ın əsas mülkiyyətindən irəli gəlir: reyestrdə iştirak tamamilə müstəqildir və vasitəçilərsizdir və əməliyyatlar geri dönməzdir.
Mənbə: www.habr.com