Badakit badakit. Kripto-proiektu asko daude, adostasun asko daude: eskulanean eta jabetzan oinarrituta, urrea, olioa, pastelak (badago bat, bai, bai). Zer gehiago behar dugu batetik? Horixe da *Constellation proiektuaren dokumentazio tekniko βarinaβren itzulpena irakurri ondoren eztabaidatzea proposatzen dudana (). Jakina, hau ez da algoritmoaren deskribapen osoa, baina Habr komunitatearen iritzia interesatzen zait, ba al dago adostasun hori "izan" izateko edo alferrikakoa da?
Ez dago letra askoz gehiago, beraz, "aupa, ahal duzun neurrian kriptoari buruz" idatzi nahi baduzu, mesedez, ez ezazu. Banatutako sistemen alorreko garapen berrietan interesatzen bazaizu eta iruzkinetan partekatzeko zerbait baduzu, mesedez jo cat.
PS Ni ez naiz teknologiaren egilea, ezin dut esentziaren transferentzia osoa bermatu, beraz, poz-pozik jasoko ditut emendakinekin iruzkinak, halakorik balego.
Adostasun sinkronoetatik asinkronorako bilakaera
Nodoak prozesu deterministiko baten bidez hautatzen dira (bittorrent bezalako DHTetan erabiltzen den berbera), nodoen erantzukizunak dinamikoki doitzen dituena balioztatzea "erraztu" edo, ulergarriagoa dena, adostasuna lortzeko. 3 nodoko taldeak hautatzen ditugu eta adostasun txandak egiten ditugu paraleloan, nodo bat hainbat bloketan dinamizatzailea izan dadin. Horrek transakzioak modu asinkronoan prozesatzeko aukera ematen digu, eta horrek esan nahi du, funtsean, aldi berean hainbat bloke-kate sortzen ditugula. Prozesua armiarma-sare bat bezalakoa da, hari askok osatua, denboran kate bakarra osatzen duten nodoen aldean. Prozesamendu asinkronoa edo paraleloa da programazio eskalagarriaren oinarria, baliabide informatiko guztiak erabiltzeko aukera ematen duelako, informatika orokorra bizkortuz. Sare honi grafiko azikliko zuzendua edo DAG deitzen zaio informatikan.
Blockchain lineal baten kanal zabalera DAG baten efektu biderkatzailea non bloke paralelo ugari ditugun.
Blockchain linealaren ezarpen geometrikoa DAGren aurka. Puntu beltzak blokeak dira, puntu zuriak nodoak
Adostasun txanda bakoitzean 3 nodo erabiltzen ditugu, egoerari buruz arrazoitzeko prozesu matematiko interesgarri batzuk ematen dizkigulako, datuetan zehar "gainazaleko planoa" osatuz triangelu konektatuen moduan. Ondoren, protokoloak triangeluak erabiltzen ditu datu erredundanterik edo inkoherenterik ez duen eta ahalik eta triangelu txikienak dituen gainazal optimo bat josteko. Algoritmikoki, grafiko baten "gutxieneko ebaketa" baten antzekoa da, eta matematikoki, deribatu edo optimizazio funtzio baten antzekoa da (hortik funtzioak gainazalean zehar egin dezakeen biderik laburrena aurkitzen du). Bide laburren hau datuak (transakzioak) DAG batean modu egokian gordetzearen baliokidea da. "Fitxa" triangeluarrak gatazkatsuak, gertaeraren azalera leuna eta gatazkarik gabekoa izan dadin.
Gatazkak detektatzeko/kudeatzeko ezarpen geometrikoa. Bloke gatazkatsu batek gainazaleko fitxa gehigarri bat sortzen du. Gainazaleko fitxa gehigarriak kentzen ditugu gertaeren gainazal laua (= gatazkarik gabekoa) mantentzeko.
Ospean oinarritutako adostasuna
Deszentralizatutako p2p ospe sistema optimo batean, nodo bakoitzak beste nodoekiko duen konfiantza modu independentean zehazteko gai izan beharko luke. Gure sistemak erlazio iragankorrak barne hartzen dituen eredu berezi bat erabiltzen du, edo nodo batek beste nodo batzuekin dituen erlazioak, puntuazio global bat esleitzerakoan. "Zure konpainia bezain ona zara." Azken emaitza $DAG edo kanal arrunteko nodo guztietan konfiantza edo ospe iragankorrean oinarritutako "oker" edo gradiente bat da. Hau "gainazaleko planoan" zehar ezabatzen duen eta zein "triangelu-lauza" ezabatu eta zein utzi hautatzen duen eskuila edo gazta-arraspa gisa har daiteke. Horrela gatazkaren logikak benetan kentzen ditu "lauza triangeluarrak".
Fitxa gatazkatsu bat gradiente bat den espazio "kurbatu" batetik igarotzen den DAG bat, gazta-arrailaren antzekoa, eta gatazkaren fitxa kendu edo "ezabatu" egingo du.
Nodoen eskalatze partziala/osoa
Sare-teorian, normalean, esleipen optimoa "eskalarik gabeko" izenez ezagutzen da, eta nodo zentral handiak nodo periferiko txikiago asko kudeatzen dituzten antolamendu hierarkiko gisa deskriba daiteke. Banaketa hori naturan eta, batez ere, Interneten ikusten da. Constellation-ek arkitektura hau "eskalatzeko" erabiltzen du, edo gure grafikoaren errendimendua edo zabalera handitzeko.
Banaketa hierarkikoaren eragina. Nodo gehiago gehitu ditzakegu banda zabalera handituz
Hylochain - Kanalean oinarritutako aplikazioen euskarria
Aplikazioen laguntzarako gure ikuspegia "kontratu adimendun plataforma deszentralizatua" gisa har daiteke. Logika guztia exekutatzen duen sare zentral batek eta aplikazioko datu guztiak prozesatu beharrean, Constellation-ek aplikazioaren datuak "etxeko kanalekin" koordinatzen ditu, hau da, etxe-sistemako datu guztiak igortzen dituen telebista gisa pentsa daiteke. Langile-kanal bakoitzak bere egiaztapen-logika inplementatu dezake orakulu-arazoa konpontzeko datu-ekoizleen amaierako autentifikazioaren eta langile-sistemen konposatuen egiaztapen iragankorraren bidez. Estatuko kanal-sareek aplikazioetarako laguntza paraleloa eskaintzen dute, kontratu adimentsuko sare batean adostasun sinkroniko tradizionalak mugatzen dituen adopzio-denborak azkartuz.
$DAG sarearen bidez "bateragarriak" diren bi kanal estandar. Elkarreragin edo interpretatu daitezke biak $DAG-ekin "integratuta" dauden heinean, $DAG + Channel nodo hibridoak zabalduz.
Hylochain deitzen zaion arrazoia aplikazioen laguntzarako gure ikuspegiak Recursion Schemes programazio eredu funtzionala erabili zuelako da MapReduce interfazea sortzeko. Bereziki, hilomorfismoa eta metamorfismoa errekurtsio-eskemak integra daitezke jatorrizko kanaletan kontsulta egiaztagarriak eta korronte-konexioak sortzeko, datu aljebraiko motak balioztatuz kontratu adimendunen op-kodeak egiaztatzen diren modu berean. Azken emaitza MapReduce interfaze funtzional bat da, datu-ingeniarientzat ezaguna eta lehendik dagoen big data teknologiarekin bateragarria.
Hilomorfikoak eta Metamorfikoak kontrasterako kanal estandarrak dira. Egoera metamorfikoan, bi kanal erregularren datuak metakanalaren bloke batera bidaltzen dira. Gilo-n, kanal baten aurreko egoera hartzen dugu eta beste bi kanal kontsultatzeko (galdera zehatz bat egiteko) erabiltzen dugu, eta gero kontsultaren emaitza bloke batean gordetzen dugu.
Tokenomics eta Hylochain-ekin duen lotura
Jatorrizko kanal bat sortu ondoren, $DAG kanalean integra daiteke, baina ACI edo Application Chain Interface erabiliz. Interfaze hau JSON objektu bat besterik ez da, konfigurazio informazioa eta kanalari berari lotutako gako publikoa dituena. Gako publiko bat kanal arrunt batekin lotzen dugun arrazoia kanal arrunteko datuen bitartekaritza mekanismo bat sortzea da. Ohiko kanala zabaltzen denean, garatzaileek beraiek konfiguratzen dute $DAG sareko ordainketak nodoen eta operadoreen artean nola banatzen diren.
Informaziorako sarbidea erosteko edo informazioa aldatzeko fluxua. Eskaera $DAG-ra bidaltzen da, funtsak kanaleko kontura bidaltzen dira, emaitza erosleari bidaltzen zaio eta transakzio-kontrola $DAG sarera bidaltzen da, eta horrek kanal arruntera askatzen ditu.
Iturria: www.habr.com