Men bilaman bilaman. Kriptoloyihalar juda ko'p, konsensuslar juda ko'p: mehnat va mulkka asoslangan, oltin, yog ', pishirilgan piroglar (bir bor, ha, ha). Bizga yana nima kerak? Men * Constellation loyihasining "engil" texnik hujjatlarining tarjimasini o'qib chiqqandan keyin muhokama qilishni taklif qilaman.). Albatta, bu algoritmning to'liq tavsifi emas, lekin meni Xabr jamoasining fikri qiziqtiradi, bunday konsensusning "bo'lishi" uchun joy bormi yoki kerak emasmi?
Yana ko'p harflar yo'q, shuning uchun agar siz shunchaki "voy, kripto haqida iloji boricha ko'proq" deb yozmoqchi bo'lsangiz, iltimos, tiyiling. Agar siz taqsimlangan tizimlar sohasidagi yangi ishlanmalarga qiziqsangiz va sharhlarda baham ko'rish uchun biror narsangiz bo'lsa, iltimos, mushukka murojaat qiling.
PS Men texnologiya muallifi emasman, mohiyatning to'liq uzatilishiga kafolat bera olmayman, shuning uchun agar mavjud bo'lsa, tuzatishlar bilan sharhlarni olishdan xursand bo'laman.
Sinxrondan asinxron konsensusga evolyutsiya
Tugunlar deterministik jarayon (bittorrent kabi DHT-larda qo'llaniladigan) yordamida tanlanadi, bu esa tekshirishni "osonlashtirish" yoki tushunarliroq qilib aytganda, konsensusga erishish uchun tugunlarning mas'uliyatini dinamik ravishda sozlaydi. Biz 3 tugunli guruhlarni tanlaymiz va bir tugun bir nechta bloklarda yordamchi bo'lishi uchun parallel ravishda konsensus davrlarini o'tkazamiz. Bu bizga tranzaktsiyalarni asinxron tarzda qayta ishlashga imkon beradi, ya'ni bizda bir vaqtning o'zida bir nechta blokcheynlar hosil bo'ladi. Jarayon vaqt o'tishi bilan bitta zanjir hosil qiladigan tugunlardan farqli o'laroq, ko'plab iplardan hosil bo'lgan o'rgimchak to'riga o'xshaydi. Asinxron yoki parallel ishlov berish kengaytiriladigan dasturlashning asosi hisoblanadi, chunki u barcha kompyuter resurslaridan foydalanishga imkon beradi, umumiy hisoblashni tezlashtiradi. Ushbu tarmoq kompyuter fanida yo'naltirilgan asiklik grafik yoki DAG deb ataladi.
Chiziqli blokcheynning kanal kengligi DAG ning multiplikativ effektiga nisbatan bizda bir nechta parallel blokcheynlar mavjud.
DAGga qarshi chiziqli blokcheynning geometrik amalga oshirilishi. Qora nuqtalar bloklar, oq nuqtalar tugunlardir
Biz har bir konsensus raundida 3 ta tugundan foydalanamiz, chunki u bizga holat haqida fikr yuritish uchun qiziqarli matematik jarayonlarni beradi va ulangan uchburchaklar ko'rinishidagi ma'lumotlar bo'ylab "sirt tekisligi" ni hosil qiladi. Keyin protokol ortiqcha yoki nomuvofiq ma'lumotlarni o'z ichiga olmaydi va mumkin bo'lgan eng kichik uchburchaklarga ega bo'lgan optimal sirtni birlashtirish uchun uchburchaklardan foydalanadi. Algoritmik jihatdan bu grafikning “minimal kesimi”ga, matematik jihatdan esa lotin yoki optimallashtirish funksiyasiga o‘xshash (funksiya undan sirt bo‘ylab o‘tishi mumkin bo‘lgan eng qisqa yo‘lni topadi). Bu eng qisqa yo'l DAGda ma'lumotlarni (tranzaktsiyalarni) optimal saqlashga teng. Hodisa yuzasi silliq va to'qnashuvlarsiz bo'lishi uchun ziddiyatli uchburchak "plitkalar".
Mojarolarni aniqlash/ko'rib chiqishning geometrik amalga oshirilishi. Qarama-qarshi blok qo'shimcha sirt plitasini yaratadi. Biz tekis (= ziddiyatsiz) hodisa yuzasini saqlab qolish uchun qo'shimcha sirt plitalarini olib tashlaymiz.
Obro'ga asoslangan konsensus
Optimal markazlashtirilmagan p2p obro'si tizimida har bir tugun boshqa tugunlarga bo'lgan ishonchini mustaqil ravishda aniqlashi kerak. Bizning tizimimiz global ballni belgilashda o'tish munosabatlarini yoki tugunning boshqa tugunlar bilan aloqalarini o'z ichiga olgan maxsus modeldan foydalanadi. "Siz faqat kompaniyangiz kabi yaxshisiz." Yakuniy natija - $DAG yoki oddiy kanaldagi barcha tugunlar bo'ylab o'tish davri ishonch yoki obro'ga asoslangan "qiyshiq" yoki gradient. Buni "sirt tekisligi" bo'ylab o'chiradigan va qaysi "uchburchak plitkalar" ni o'chirishni va qaysi birini qoldirishni tanlaydigan cho'tka yoki pishloq qirg'ichlari deb hisoblash mumkin. Qarama-qarshilik mantig'i aslida "uchburchak plitalar" ni qanday olib tashlaydi.
Qarama-qarshi plitkali DAG pishloq qirg'ichiga o'xshash gradient bo'lgan "egri" bo'shliqdan o'tadi va ziddiyatli kafelni olib tashlaydi yoki "o'chirib tashlaydi".
Qisman/to'liq tugunni masshtablash
Tarmoq nazariyasida, odatda, optimal taqsimlash "masshtabsiz" deb nomlanadi, uni ko'plab kichikroq periferik tugunlarni boshqaradigan yirik markaziy tugunlar bilan ierarxik tartib sifatida ta'riflash mumkin. Ushbu taqsimot tabiatda va birinchi navbatda Internetda ko'rinadi. Constellation ushbu arxitekturadan "miqyosni kengaytirish" yoki Grafikimizning o'tkazuvchanligini yoki kengligini oshirish uchun foydalanadi.
Ierarxik bo'linishning ta'siri. O'tkazish qobiliyatini oshirish orqali ko'proq tugunlarni qo'shishimiz mumkin
Hylochain - Kanalga asoslangan ilovalarni qo'llab-quvvatlash
Ilovalarni qo'llab-quvvatlashga bo'lgan yondashuvimizni "markazlashtirilmagan aqlli kontrakt platformasi" deb hisoblash mumkin. Barcha mantiqni boshqaradigan va dasturdagi barcha ma'lumotlarni qayta ishlaydigan markaziy tarmoq o'rniga, Constellation dastur ma'lumotlarini "uy kanallari" bilan muvofiqlashtiradi, bu uy tizimidagi barcha ma'lumotlarni translyatsiya qiluvchi televizion stantsiya sifatida ko'rib chiqilishi mumkin. Har bir xodimlar kanali ma'lumotlar ishlab chiqaruvchilarining autentifikatsiyasi va kompozit xodimlar tizimlarining o'tish davrini tekshirish orqali oracle muammosini hal qilish uchun o'z tekshirish mantiqini amalga oshirishi mumkin. Davlat kanali tarmoqlari ilovalarni parallel qo'llab-quvvatlashni ta'minlaydi, aqlli kontrakt tarmog'ida an'anaviy sinxron konsensus bilan cheklangan qabul qilish vaqtlarini tezlashtiradi.
$DAG tarmog'i orqali "mos" bo'lgan ikkita standart kanal. Ular gibrid $DAG + Kanal tugunlarini o'rnatish orqali $DAG bilan "integratsiyalashgan"ligi sababli o'zaro ta'sir qilishi yoki talqin qilinishi mumkin.
Uning Hylochain deb nomlanishining sababi shundaki, bizning ilovalarni qo‘llab-quvvatlashga bo‘lgan yondashuvimiz MapReduce interfeysini yaratish uchun Rekursion sxemalar funktsional dasturlash modelidan foydalangan. Xususan, Gilomorfizm va Metamorfizm rekursiya sxemalari, xuddi aqlli kontraktlar uchun op kodlari tekshirilgandek algebraik maʼlumotlar turlarini tasdiqlash orqali mahalliy kanallar orqali tekshiriladigan soʻrovlar va oqim ulanishlarini yaratish uchun birlashtirilishi mumkin. Yakuniy natija - ma'lumotlar muhandislariga tanish bo'lgan va mavjud katta ma'lumotlar texnologiyasiga mos keladigan funktsional MapReduce interfeysi.
Hylomorphic va Metamorphic kontrast uchun standart kanallardir. Metamorfik holatda ikkita oddiy kanaldan ma'lumotlar metakanaldagi blokga yuboriladi. Gilo'da biz kanalning oldingi holatini olamiz va undan ikkita boshqa kanalni so'rash (aniq savol berish) uchun foydalanamiz, so'ngra so'rov natijasini blokda saqlaymiz.
Tokenomika va uning Hylochain bilan aloqasi
Mahalliy kanal yaratilgandan so'ng, uni $DAG kanaliga integratsiya qilish mumkin, lekin ACI yoki dastur zanjiri interfeysi yordamida. Bu interfeys oddiygina konfiguratsiya ma'lumotlariga va kanalning o'zi bilan bog'langan ochiq kalitga ega bo'lgan JSON ob'ektidir. Ochiq kalitni oddiy kanal bilan bog'lashimiz sababi oddiy kanal ma'lumotlari uchun vositachilik mexanizmini yaratishdir. Oddiy kanal o'rnatilganda, ishlab chiquvchilar $DAG tarmog'idan to'lovlar tugunlar va operatorlar o'rtasida qanday taqsimlanishini o'zlari sozlashadi.
Axborotga kirish yoki ma'lumotni o'zgartirishni sotib olish oqimi. So'rov $DAG ga yuboriladi, mablag'lar kanal hisobiga yuboriladi, natija xaridorga yuboriladi va tranzaksiya nazorat summasi $DAG tarmog'iga yuboriladi, so'ngra pul mablag'larini oddiy kanalga chiqaradi.
Manba: www.habr.com