Ведаю-ведаю. Крыптапраектаў цемра, ёсць куча кансэнсусаў: на аснове працы і валодання, золата, нафты, выпечаных піражкоў (ёсць і такі, так-так). Што нам яшчэ ад аднаго? Гэта і прапаную абмеркаваць пасля прачытання перакладу «аблегчанай» тэхнічнай дакументацыі праекту *Сузор'е (). Вядома, гэта не поўнае апісанне алгарытму, але мне цікава меркаванне кам'юніці хабра, ці мае месца "быць" такому кансэнсусу ці ён дарма не патрэбен?
Далей літар не шмат, таму, калі вам проста хочацца напісаць "фу, колькі можна пра крыпце", то, калі ласка, устрымайцеся. Калі вам цікавыя новыя распрацоўкі ў сферы размеркаваных сістэм і ёсць чым падзяліцца ў каментарах, то прашу пад кат.
PS Я не аўтар тэхналогіі, за поўную перадачу сутнасці ручацца не магу, таму буду рады каментарам з папраўкамі, калі такія будуць.
Эвалюцыя ад сінхронных кансэнсусаў да асінхронных
Вузлы выбіраюцца з выкарыстаннем дэтэрмінаванага працэсу (таго ж, які выкарыстоўваецца ў DHT, напрыклад, bittorrent), які дынамічна рэгулюе абавязкі вузлоў для "палягчэння" валідацыі або, што больш зразумела, для дасягнення кансэнсусу. Мы выбіраем групы з 3 вузлоў і выконваем раўнды кансенсусу раўналежна, каб адзін вузел мог быць фасілітатарам у некалькіх блоках. Гэта дазваляе нам апрацоўваць транзакцыі асінхронна, што, у сутнасці, азначае, што ў нас адначасова фармуецца некалькі блокчейнов. Працэс падобны да павуціння, адукаванай мноствам нітак, у адрозненне ад вузлоў, якія фарміруюць адзін ланцужок з цягам часу. Асінхронная ці раўналежная апрацоўка з'яўляюцца асновай якое маштабуецца праграмавання, паколькі яно дазваляе выкарыстаць усе рэсурсы кампутара, паскараючы агульныя вылічэнні. Гэта сетка называецца арыентаваным ацыклічным графам або DAG у кампутарных навуках.
Шырыня канала лінейнага блокчейна супраць мультыплікатыўнага эфекту DAG, дзе ў нас ёсць некалькі паралельных блокчейнов.
Геаметрычная рэалізацыя лінейнага блокчейна супраць DAG. Чорныя кропкі - гэта блокі, белыя кропкі - гэта вузлы.
Мы выкарыстоўваем 3 вузла ў кожным раундзе кансэнсусу, таму што гэта дае нам некаторыя цікавыя матэматычныя працэсы для развагі аб стане, фармуючы «плоскасць паверхні» папярок дадзеных у форме трыкутнікаў са сувязямі. Затым пратакол выкарыстоўвае трыкутнікі для «сшывання» аптымальнай паверхні, якая не ўтрымоўвае залішніх ці супярэчлівых дадзеных і мае мінімальна магчымыя трыкутнікі. Алгарытмічна – гэта аналагічна «мінімальнаму разрэзу» графа, а матэматычна – вытворнай або функцыі аптымізацыі (з якіх функцыя знаходзіць найкароткі шлях, які яна можа перасекчы па паверхні). Гэты найкароткі шлях эквівалентны аптымальнаму захоўванню дадзеных (транзакцый) у групе забеспячэння даступнасці баз дадзеных. Канфліктуючыя трохкутныя "пліткі", каб паверхня падзеі была роўнай і без ад канфліктаў.
Геаметрычная рэалізацыя выяўлення / апрацоўкі канфліктаў. Канфліктуючы блок стварае дадатковую плітку паверхні. Мы выдаляем плітку дадатковай паверхні, каб падтрымліваць плоскай (= бесканфліктную) паверхню падзей.
Кансэнсус, заснаваны на рэпутацыі
У аптымальнай дэцэнтралізаванай p2p сістэме рэпутацыі кожны вузел павінен мець магчымасць самастойна вызначаць свой давер да іншых вузлоў. Наша сістэма выкарыстоўвае спецыяльную мадэль, якая ўключае транзітыўныя адносіны або адносіны, якія вузел мае з іншымі вузламі, пры прызначэнні глабальнай адзнакі. "Вы гэтак жа добрыя, як і ваша кампанія". Канчатковым вынікам з'яўляецца "скажэнне" або градыент, заснаваны на транзітыўным даверы або рэпутацыі ва ўсіх вузлах у $DAG або штатным канале. Гэта можна разглядаць як пэндзаль ці тарку для сыра, якая сцірае па-над "плоскасцю паверхні" і выбірае, якія "трохкутныя пліткі" сцерці, а якія пакінуць. Вось як логіка канфлікту на самой справе выдаляе "трохкутныя пліткі".
DAG з канфліктуючай пліткай, якая праходзіць праз "скрыўленую" прастору, якая з'яўляецца градыентам, падобным на тарку для сыра, і збіраецца выдаліць або "сцерці" канфліктуючую плітку.
Частковае/поўнае маштабаванне вузла
У тэорыі сетак, як правіла, аптымальнае размеркаванне вядома як "без маштабавання", якое можа быць апісана як іерархічнае размяшчэнне з вялікімі цэнтральнымі вузламі, якія кіруюць шматлікімі драбнейшымі перыферыйнымі вузламі. Гэтае размеркаванне бачна ў прыродзе і, перш за ўсё, у Інтэрнэце. Constellation выкарыстоўвае гэтую архітэктуру для "маштабавання", або павелічэння прапускной здольнасці або шырыні нашага Графа.
Эфект іерархічнага разбіцця. Мы можам дадаць больш вузлоў, павялічыўшы шырыню прапускной здольнасці
Hylochain - Падтрымка прыкладанняў на аснове каналаў
Наш падыход да падтрымкі прыкладанняў можна разглядаць як "дэцэнтралізаваную платформу разумных кантрактаў". Замест цэнтральнай сеткі, якая выконвае ўсю логіку і апрацоўвае ўсе дадзеныя ад прыкладання, Constellation каардынуе дадзеныя прыкладанні са "штатнымі каналамі", якія можна разглядаць як тэлевізійную станцыю, якая транслюе ўсе дадзеныя са штатнай сістэмы. Кожны штатны канал можа рэалізоўваць сваю ўласную логіку праверкі, якая дазваляе вырашыць праблему аракулаў шляхам скразной праверкі сапраўднасці вытворцаў даных і транзітыўнай праверкі састаўных штатных сістэм. Сеткі штатных каналаў забяспечваюць раўналежную падтрымку прыкладанняў, паскараючы час прыняцця, якое ў сетцы з разумнымі кантрактамі абмежавана традыцыйным сінхронным кансэнсусам.
Два штатныя каналы, якія "сумяшчальныя" праз сетку $DAG. Яны могуць узаемадзейнічаць ці інтэрпрэтавацца, паколькі абодва яны "інтэграваныя" з $DAG шляхам разгортвання гібрыдных вузлоў $DAG + Канал.
Чыннік, па якой ён завецца Hylochain, складаецца ў тым, што ў нашым падыходзе да падтрымкі прыкладанняў выкарыстоўвалася функцыянальная мадэль праграмавання Recursion Schemes для стварэння інтэрфейсу MapReduce. У прыватнасці, схемы рэкурсіі Hylomorphism (Гіламарфічная) і Metamorphism (Метамарфічная) могуць быць інтэграваныя для стварэння правяраных запытаў і струменевых злучэнняў па штатных каналах шляхам праверкі алгебраічных тыпаў дадзеных гэтак жа, як правяраюцца op-коды для разумных кантрактаў. Канчатковым вынікам з'яўляецца функцыянальны інтэрфейс MapReduce, які знаёмы інжынерам дадзеных і сумяшчальны з існуючай тэхналогіяй вялікіх дадзеных.
Hylomorphic і Metamorphic штатныя каналы для кантрасту. У метамарфічным стане дадзеныя з двух штатных каналаў адпраўляюцца ў блок у метаканале. У Гіло мы бярэм папярэдні стан канала і выкарыстоўваем яго, каб запытаць (задаць канкрэтнае пытанне) два іншых канала, а затым захаваць вынік запыту ў блоку.
Такеноміка і яе сувязь з Hylochain
Калі штатны канал створаны, ён можа быць інтэграваны ў канал $DAG, але з выкарыстаннем інтэрфейсу ACI ці Application Chain Interface. Гэты інтэрфейс уяўляе сабой проста аб'ект JSON з інфармацыяй аб канфігурацыі і адкрытым ключом, звязаным з самім каналам. Чыннік, па якой мы злучаем адчынены ключ са штатным каналам, складаецца ў стварэнні брокерскага механізму для дадзеных штатнага канала. Калі штатны канал разгорнуты, распрацоўнікі наладжваюць самі, як плацяжы з сеткі $DAG размяркоўваюцца паміж вузламі і аператарамі.
Паток для пакупкі доступу да інфармацыі або мадыфікацыі інфармацыі. Запыт накіроўваецца ў $DAG, сродкі адпраўляюцца на рахунак канала, вынік адпраўляецца пакупніку, а кантрольная сума транзакцыі адпраўляецца ў сетку $DAG, якая затым разблакуе сродкі для штатнага канала.
Крыніца: habr.com