Web3.com Ventures Orijinal Araşdırma Analizi
0xFishylosopher
Giriş
Aptos'un son mainnet lansmanı və Binance və digər əsas mərkəzləşdirilmiş mübadilə yerlərində token lansmanı ilə, bu uzun müddətdir gözlənilən layihəni araşdıran bir analiz yazmaq üçün daha yaxşı bir zaman yoxdur. Meta'nın Libra kriptovalyutasını yaratmağa cəhdlərinin yetim uşağı olan Aptos, Libra'nın növbəti bir milyon istifadəçini kriptovalyutaya daxil edəcək blokçeyn olma idealını daşıyır.
Aptos'un əsas diqqəti, miqyaslana bilən, təhlükəsiz və etibarlı bir blokçeyn təqdim etməkdir [1]. Bunu etmək üçün, Aptos yeni bir ağıllı müqavilə dili olan Move-a güvənir, görünür ki, bu, indiki “qızıl standart” olan Ethereum'un Solidity-dən “daha təhlükəsiz” bir dildir. Təbii ki, Aptos “miqyaslana bilən, təhlükəsiz və etibarlı” olaraq özünü təqdim edən ilk L1 blokçeyn deyil. Digər zənclər, xüsusilə Solana, keçmişdə bu slogandan istifadə etməyə çalışmışdır, qarışıq uğurla [2]. Bu esse də, Move dilinin əsas xüsusiyyətlərindən başlamağa, Aptos'un texniki əsaslarını digər oxşar layihələrin kontekstində analiz etməyə və bu yeni zəncin potensialı və məhdudiyyətləri haqqında tənqidi bir qiymətləndirmə təqdim etməyə çalışacağam.
Move Dili
Aptos-u Move Dilinin analizini etmədən analiz edə bilməzsiniz. Həqiqətən, bu, Aptos-un potensialının əksəriyyətinin gəldiyi yerdir. Move, Meta-nın Libra Komandası (indi Diem adlanır) tərəfindən, digər ağıllı müqavilə dillərinə nisbətən paradiqmatik cəhətdən fərqli bir ağıllı müqavilə proqramlaşdırma modeli təqdim etmək üçün hazırlanmışdır; əməliyyat əsaslı yanaşma qəbul etmək əvəzinə, Move, ağıllı müqavilə modellərini müəyyənləşdirmək üçün resurs əsaslı yanaşma qəbul edir [3].
Bəs bunun hamısı nə deməkdir? Bitcoin-dən başlayaraq, tanınan blokçaynların böyük əksəriyyəti “əməliyyat-öncə” yanaşmasını qəbul etmişdir, burada bir blokçaynın blokundakı hər bir giriş bir əməliyyatdır (məsələn, Alice ilə Bob arasında). Bir əməliyyat nisbi bir obyektdir; əməliyyat üçün, Alice və Bob ünvanlarının mövcud olması lazımdır. Alice-in əməliyyat-öncə yanaşmasında bir valyutanı “ikili xərcləməməsi” üçün, bütün digər əməliyyatlarla heç bir konflikt olmadığını yoxlamaq lazımdır ki, bu da əməliyyatları yavaşlatan bir əziyyətdir.
Digər tərəfdən, Move-un “resurs-əsaslı” yanaşması dramatik dərəcədə fərqlidir. A-dan B-yə əməliyyat xətləri qeydə almaq əvəzinə, Move, obyektin (və ya resursun) dəyişməsini qeydə alır və yalnız atributları müvafiq olaraq yeniləyir. Əhəmiyyətli olan, resurslar atomik varlıqlardır — bir resurs X-in mövcud olması digər resursların mövcudluğundan asılı deyil, əməliyyatların olduğu halda, bir əməliyyat T, iki əvvələ aid agentin, A və B-nin mövcudluğundan asılıdır. Beləliklə, resurs-əsaslı yanaşma, paralel icra üçün optimallaşdırılmış daha atomik, müstəqil bir struktura imkan tanıyır.
Move-da “Resurslar” əsasən müəyyən atributlara sahib obyektlərdir. Texniki terminlə, onlar strukturlar (yəni, konteyner məlumat strukturu) kimi tətbiq edilir [4]. Bu nöqtədə, Ethereum proqramlaşdırma fondu olan insanlar bir sual qaldıra bilərlər: Solidity-də də strukturlar, eləcə də digər məlumat strukturları var. Move-dakı strukturları xüsusi edən nədir? Düşünürəm ki, ən önəmli fərq budur ki, Solidity-də strukturlar dilin nisbətən periferik hissəsinə malikdir (əsasən aydınlıq üçün istifadə olunur), Move-da isə strukturlar hər şeyin əsasını təşkil edir. Bundan əlavə, Move-un strukturları “nüsxə”, “atmaq”, “saxlamaq” və “açar” kimi müxtəlif “bacarıqlara” malikdir ki, bu da bir obyektin nüsxə edilə biləcəyini, saxlanıla biləcəyini, silinə biləcəyini müəyyən edir [5]. Bu cür struktur notası Solidity-dən, əslində, ən çox yayılmış proqramlaşdırma dillərindən (məsələn, C/C++) tamamilə fərqlidir. Lakin, bu fərqli “bacarıqlar” dərin intuitivdir. Bəzi şeyləri “nüsxə” edə bilərsiniz, məsələn, bir valyuta və ya token. Bəzi şeyləri “atmaq” və ya atmaq mümkündür. Digər şeylər, unik bir rəqəmsal aktiv kimi, nüsxə edilə bilmir. İndi Move-da “resurs” anlayışının aşağıdakı rəsmi tərifini nəzərdən keçirin:
“Biz tez-tez nüsxə edilə bilməyən və atıla bilməyən struktur dəyərlərini resurslar adlandırırıq.” — Strukturlar və Resurslar, Move Dili Sənədi [4]
Beləliklə, “resurslar” əslində sizin üçün həmişə orada olacaq unik “strukturlar”dır. Nə qədər romantik.
Move-un “struktur”un tam yenidən tərifi, bir məlumat strukturunu istifadə edərək, tokenləri, NFT-ləri, ağıllı müqavilələri və digər rəqəmsal aktivləri təmiz, modulyar bir yanaşma ilə qısa şəkildə müəyyən etməyə imkan tanıyır [6]. Bu, Ethereum-un EVM-i ilə müqayisə edilə biləcək bir şeydir; EVM-də inkişaf edən hər kəs, Solidity-də strukturlar (və nested strukturlar) ilə məşğul olmağın nə qədər sinir bozucu olduğunu bilir.
Əhəmiyyətli olaraq, Move-un resurs əsaslı yanaşması onun təhlükəsizlik təminatlarını dəstəkləyir. Move-un ağ sənədində qeyd olunduğu kimi, bir çox proqramda aktivlərin dolayısı ilə təmsili var, bu da qıtlıq və giriş nəzarətinin ölçülməsinin mümkün olmadığını göstərir. Məsələn, Ether-in qıtlığı hardcodeddir və EVM tərəfindən qorunur, digər ERC-20 tokenləri isə “bu qorunmaları miras almayıb, nüsxə, yenidən istifadə və ya aktivlərin itirilməsi üçün səhvlər təqdim etməməyə diqqət yetirməlidirlər” [4]. Klasik yenidən daxil olma hücumu düşünün. Bu, uzun müddət EVM layihələrini əziyyət çəkdirmiş və tez-tez onlara milyonlarla dollar itirməyə səbəb olmuşdur [7]. Move-un resurs-əsaslı yanaşması sayəsində, yenidən daxil olma hücumu Move-da mümkün deyil. Beləliklə, Move kodlaşdırma üçün giriş maneəsi, EVM-dən çox daha əlçatan olduğu düşünülür — kütləvi qəbul üçün vacib bir amil.
Aptos — Texniki Prinsiplər
Aptos-un ən böyük nailiyyətlərindən biri, sadəcə Move-u bir dil olaraq bazara çıxarmaqdır. ****Həqiqətən, Aptos-un dizaynının çoxu Meta tərəfindən inkişaf etdirilən Diem (Libra) blokçaynından birbaşa götürülmüşdür. Xatırlayın ki, Aptos, genişlənmə və təhlükəsizlikə vurğu edən bir zəncirdir. Bunu əldə etmək üçün iki əsas texniki tətbiq var. Birincisi, konsensus qatındadır, yəni AptosBFT konsensus mexanizmi. İkincisi, icra qatındadır, yəni Block-STM icra mühərriki. Gəlin bunları sırayla araşdıraq.
Əvvəlcə, AptosBFT Byzantin Qüsurlarına Davamlı konsensus mexanizmi olub, bu, əsasən, şəbəkədəki düyünlərin 1/3-dən çoxu pis niyyətli olmadıqda təhlükəsizliyi təmin etməyə davam edə biləcəyi deməkdir [8]. Bu, standart bir praktikadır: Bitcoin-in İş Sübutu, Ethereum-un Stake Sübutu və s. hamısı Byzantin Qüsurlarına Davamlıdır. Bəs AptosBFT öz konsensus mexanizmini necə həyata keçirir? Digər Stake Sübutu zəncirlərində olduğu kimi, Aptos “staked” validator düyünlərinə güvənir. O, HotStuff konsensus alqoritminin bir variantını tətbiq edir, bu, düyünlər arasında daha əvvəlki modellərə (məsələn, pBFT) nisbətən daha təmiz bir ünsiyyət protokolu təqdim edən müasir bir PoS alqoritmidir. AptosBFT HotStuff-un üzərində bir neçə optimallaşdırma təqdim edir, ən diqqətçəsi “açar dövrü mexanizmi” (təhlükəsizliyi artırmaq üçün) və yüklənmənin azaldılmasıdır (ölçülənməni artırmaq üçün); lakin HotStuff-un PoS dizaynında əsas struktural dəyişikliklər yoxdur [10].
Digər tərəfdən, Block-STM paralel icra mühərriki daha orijinal bir dizayndır və layihənin əsas texniki irəliləyişi hesab oluna bilər [11]. Resursların atomik olduğunu xatırlayın — müəyyən bir resurs X-in dəyişməsi digər resurslardan asılı deyil. Əməliyyatları bloklara (lego parçaları kimi) qruplaşdıraraq, resurs əməliyyatlarının icrasında böyük bir paralelizm istifadə edə bilərik, Ethereum-a nisbətən 20x hesablamada sürət artımı əldə edərək [11].
Bəs bu, Solana və digər paralel icra mühərrikləri ilə necə müqayisə olunur? Solana-nın əsas yeniliyi, paralel icralara icazə vermək üçün bütün ağıllı müqavilə asılılıqlarını sərt kodlaşdırmaq idi. Bütün asılılıqlar əvvəlcədən məlum olduqda, Solana icra mühərriki lazım olan asılılıqları icra vaxtından əvvəl kilidləyə bilir. Digər tərəfdən, Aptos asılılıqları uçuşda idarə edir, ilk olaraq bütün əməliyyatları “optimistcə” icra edir, və uğursuzluq halında, uğursuz olan spesifik əməliyyatları yenidən icra edir [12].
Yuxarıdakını izah etmək üçün sadə bir analoji istifadə edək. Ethereum, bütün avtomobillərin bir-birinin arxasında bir düz xəttlə getməli olduğu bir tək zolaqlı yoldur, Solana və Aptos isə dörd zolaqlı ekspres yollardır. Bu, əlbəttə ki, işləri sürətləndirir. Amma sual budur, avtomobillər ekspres yolda necə hərəkət edir? Solana-nın vəziyyətində, hər avtomobilə xüsusi bir zolaq təyin edilir və həmişə o zolaqda sürəcək. Bu, ən yaxşı halda çox sürətli və səmərəlidir, lakin təyinat prosesi səhv gedərsə, çox pis bir ən pis hal ilə üzləşirsiniz. Digər tərəfdən, Aptos-un vəziyyətində, avtomobillərə əvvəlcə bəzi zolaqlar təyin edilir, amma bu işləməzsə, avtomobillər qəzalara mane olmaq üçün digər zolaqlara yönəldilir. Buna görə də, Aptos ən yaxşı halda Solana qədər sürətli olmaya bilər, amma Solana-dan daha etibarlıdır və daha yaxşı bir pis hal senaryosuna malikdir [13].
Qiymətləndirmə — Potensial və Məhdudiyyətlər
Aptos, hazırda əsas Move əsaslı L1 zənciridir ki, əsas şəbəkəsini işə salmışdır. Beləliklə, Aptos-un əsas şəbəkəsinin buraxılışı inanılmaz dərəcədə simvolik bir hadisədir; Aptos-un cəlb etdiyi pul və media diqqəti, onun daxili texniki yeniliyi ilə mütənasib deyil.
Yuxarıda qeyd edildiyi kimi, Aptos-un etdiyi əsas texniki yenilik Block-STM paralel icra mühərrikidir. Digər texniki aspektlərin əksəriyyəti, konsensus mexanizmi və Move dilinin istifadəsi də daxil olmaqla, Meta-dan miras alınan əhəmiyyətli dərəcədə inkişaf etdirilmiş irsi məhsullardır [14]. Block-STM paralel icra mühərriki ilə bağlı, Aptos-un istifadəçi təcrübəsi ilə Solana-dakı istifadəçi təcrübəsi arasında keyfiyyət fərqi yaradıb-yaratmayacağı aydın deyil; əgər istifadəçi təcrübəsi eynidirsə, istifadəçi bunun texniki səviyyədə necə həyata keçirildiyini düşünməyəcək.
Hər hansı bir infrastruktur layihəsi kimi, Aptos-un uzunmüddətli uğuru, hansılarının bunun üzərində qurulacağına bağlıdır. Hazırda onun ekosistemindəki layihələr, məsələn, Liquidswap DEX, Topaz NFT bazarı və Aptos Names domen xidməti, hər blockchain ekosistemində zəruri məhsullar olsalar da, Aptos-un dizaynına kifayət qədər unikallıq təqdim etmir [15]. Bu layihələr, kiçik bir kənddəki ərzaq mağazası, məktəb və xəstəxana kimidir. Kəndin fəaliyyətində zəruri olsa da, onlar hər hansı digər kənddə tapılmayan unikal bir xarakter vermirlər.
Zamana geri baxdıqda, Solana-nın uğurunun bir hissəsi, əslində Solana-nın paralelizminin üstünlüyündən istifadə edə bilən StepN kimi layihələrə bağlı ola bilər. Bu GameFi və SocialFi layihələri, adətən, nisbətən izolyasiya edilmiş böyük paralel məlumatları əhatə edir. Beləliklə, bu tətbiqlər, Aptos və Solana kimi paralel icra mühərriklərinə unikal şəkildə uyğun gəlir, eyni zamanda böyük bir istehlak bazası və yüksək əməliyyat həcmi gətirir. Həqiqətən, bir vaxtlar StepN tək başına Solana-nın ödəniş edən istifadəçilərinin təxminən ~20%-ni təşkil edirdi [16].
Buna görə də, Aptos-in bir infrastruktur layihəsi kimi uğur qazanması üçün Aptos-un paralel icra mühərrikindən böyük dərəcədə istifadə edə bilən unikal bir layihələr toplusu olmalıdır, bu layihələr Ethereum və ya hətta Solana-da həyata keçirilə bilməzdi. Aptos-un novel Block-STM dizaynı ilə, bunlar, istifadəçilərin kiçik qruplarda (qrup söhbətləri kimi) qarşılıqlı əlaqə qurduğu yeni bir SocialFi layihəsi formasında meydana çıxa bilər. Çünki bu qruplar, həm dinamik, həm də bir-birindən bir qədər müstəqil olduqda, Aptos-un paralel icra mühərrikinə Solana-nın və ya Ethereum-un paralel icra mühərriklərindən daha uyğun gəlir. Amma əlbəttə, bu sadəcə bir abstrakt spekulyasiyadır.
Yenə də, Aptos-un əsas şəbəkəsinin buraxılışı kripto dünyasında inanılmaz dərəcədə vacib və simvolik bir hadisədir. Bu, Meta mühəndislərinin Ethereum-un genişlənmə sıxlığını həll etmək üçün keyfiyyətcə fərqli bir paradiqmanı həyata keçirmək üçün illər ərzində apardığı səylərin nəticəsidir. Move-un unikal dil xüsusiyyətləri, DApps-nin Move-da, Solidity və ya digər ağıllı müqavilə dillərində həyata keçirilməsinə nisbətən daha yaxşı olacağını bildirir. Amma bu layihələr mütləq Aptos ekosistemində həyata keçiriləcəkmi? Heç kim bilmir. Aptos, Move-u istehsala gətirmək və adını Move dili ilə bağlamaq imkanı olan ilk müştəri üstünlüyündən faydalana bilər. Amma eyni zamanda, MySpace-ın ilk müştəri olmaq taleyinə düşə bilər.
Ən azı bir şey aydındır: Aptos bazarın Move ilə ilk eksperimentidir, amma bu, mütləq sonuncu olmayacaqdır [17].
🐦 @0xfishylosopher
📅 22 Oktyabr 2022
İzahat: Bu tədqiqat yalnız məlumat məqsədilədir. Bu, hər hansı bir investisiya məsləhəti və ya hər hansı bir investisiya almaq və ya satmaq üçün tövsiyə deyil və hər hansı bir investisiya qərarı vermək üçün istifadə olunmamalıdır.
İstinadlar
[1] Aptos Labs-ın əsas səhifəsinə baxın: https://aptoslabs.com/
[2] Solana-ya giriş: https://www.forbes.com/advisor/investing/cryptocurrency/what-is-solana/
[3] Move Dilinin Ağ Sənədi: https://diem-developers-components.netlify.app/papers/diem-move-a-language-with-programmable-resources/2020-05-26.pdf
[4] Strukturlar və Resurslar üçün Move Developer Sənədi: https://github.com/move-language/move/blob/main/language/documentation/book/src/structs-and-resources.md
[5] Struktur Bacarıqları haqqında ətraflı: https://move-language.github.io/move/abilities.html
[6] Move Dilinin Dərsliyi: https://101blockchains.com/move-programming-language-tutorial/
[7] https://blog.chain.link/reentrancy-attacks-and-the-dao-hack/
[8] Byzantin Qüsurlarına Davamlılıq haqqında ətraflı: https://decrypt.co/resources/byzantine-fault-tolerance-what-is-it-explained
[9] HotStuff Konsensus Modeli: https://hackernoon.com/hotstuff-the-consensus-protocol-behind-safestake-and-facebooks-librabft
[10] AptosBFT Konsensusu: https://blog.pontem.network/aptosbft-all-you-need-to-know-about-the-bft-consensus-in-aptos-ff4cf22c7a80
[11] Block-STM texniki sənədi: https://arxiv.org/abs/2203.06871
[12] Aptos vs Solana İcra Mühərriki Müqayisəsi: https://www.gofyeo.com/post/aptos-vs-solana-a-technical-comparison-part-1
[13] Aptos-un ən pis hal analizi O(n²), Solana isə O(n⁴) olaraq analiz edilir. Ətraflı: https://antiape.substack.com/p/cf40447d-d674-4454-9e09-f003517de6de?s=r
[14] Aptos Ağ Sənədinə baxın: https://aptos.dev/assets/files/Aptos-Whitepaper-47099b4b907b432f81fc0effd34f3b6a.pdf
[15] Aptos Ekosistemi: https://coinmarketcap.com/alexandria/article/what-is-aptos-the-ultimate-guide-to-the-aptos-ecosystem
[16] Messari Kripto-nun Twitter-dən: https://twitter.com/MessariCrypto/status/1567880625218019333
[17] Sui, digər Move əsaslı dil: https://sui.io/