Mi scias mi scias. Estas multaj kriptaj projektoj, estas multaj konsentoj: surbaze de laboro kaj posedo, oro, oleo, bakitaj tortoj (estas unu, jes, jes). Kion pli ni bezonas de unu? Jen kion mi proponas diskuti leginte la tradukon de la "malpeza" teknika dokumentado de la projekto *Konstelacio (). Kompreneble, ĉi tio ne estas kompleta priskribo de la algoritmo, sed mi interesiĝas pri la opinio de la Habr-komunumo, ĉu estas loko por tia konsento "esti" aŭ ĉu ĝi estas nenecesa?
Ne estas multaj pliaj leteroj, do se vi volas nur skribi "ŭaŭ, kiom vi povas pri kripto," tiam bonvolu sindeteni. Se vi interesiĝas pri novaj evoluoj en la kampo de distribuitaj sistemoj kaj havas ion por dividi en la komentoj, tiam bonvolu raporti al kato.
PS Mi ne estas la aŭtoro de la teknologio, mi ne povas garantii pri la kompleta translokigo de la esenco, do mi ĝojos ricevi komentojn kun amendoj, se ekzistas.
Evoluo de sinkronaj ĝis nesinkronaj konsentoj
Nodoj estas elektitaj uzante determinisman procezon (la sama uzita en DHToj kiel ekzemple bittorrento) kiu dinamike adaptas la respondecojn de la nodoj por "faciligi" validumon aŭ, pli kompreneble, atingi interkonsenton. Ni elektas grupojn de 3 nodoj kaj kuras konsentajn rondojn paralele tiel ke unu nodo povas esti faciliganto en pluraj blokoj. Ĉi tio permesas al ni prilabori transakciojn nesinkrone, kio esence signifas, ke ni havas plurajn blokĉenojn formitajn samtempe. La procezo estas kiel aranea reto, formita de multaj fadenoj, kontraste al nodoj formantaj ununuran ĉenon dum tempo. Nesinkrona aŭ paralela pretigo estas la bazo de skalebla programado ĉar ĝi permesas la uzon de ĉiuj komputilaj rimedoj, plirapidigante ĝeneralan komputadon. Tiu ĉi reto estas nomita direktita acikla grafeo aŭ DAG en komputiko.
Kanala larĝo de lineara blokĉeno kontraŭ la multiplika efiko de DAG kie ni havas plurajn paralelajn blokĉenojn.
Geometria efektivigo de lineara blokĉeno kontraŭ DAG. Nigraj punktoj estas blokoj, blankaj punktoj estas nodoj
Ni uzas 3 nodojn en ĉiu interkonsentrondo ĉar ĝi donas al ni kelkajn interesajn matematikajn procezojn por rezonado pri la stato, formante "surfacan ebenon" trans la datumoj en la formo de ligitaj trianguloj. La protokolo tiam uzas la triangulojn por kunkudri optimuman surfacon kiu enhavas neniujn redundajn aŭ malkonsekvencajn datenojn kaj havas la plej malgrandajn eblajn triangulojn. Algoritme, tio estas analoga al "minimuma tranĉo" de grafeo, kaj matematike, ĝi estas analoga al derivaĵo aŭ optimumiga funkcio (de kiu la funkcio trovas la plej mallongan vojon kiun ĝi povas trairi laŭ la surfaco). Ĉi tiu plej mallonga vojo estas ekvivalenta al optimume konservado de datumoj (transakcioj) en DAG. Konfliktantaj triangulaj "kaheloj" tiel ke la surfaco de la evento estas glata kaj libera de konfliktoj.
Geometria efektivigo de konflikto-detekto/traktado. Konflikta bloko kreas plian surfacan kahelon. Ni forigas pliajn surfacajn kahelojn por konservi platan (=senkonfliktan) okazaĵsurfacon.
Interkonsento bazita sur reputacio
En optimuma malcentralizita p2p-reputacia sistemo, ĉiu nodo devus povi sendepende determini sian fidon en aliaj nodoj. Nia sistemo uzas specialan modelon, kiu inkluzivas transitivajn rilatojn, aŭ rilatojn, kiujn nodo havas kun aliaj nodoj, kiam oni asignas tutmondan poentaron. "Vi estas nur same bona kiel via kompanio." La fina rezulto estas "dekliniĝo" aŭ gradiento bazita sur transitiva fido aŭ reputacio tra ĉiuj nodoj en la $DAG aŭ regula kanalo. Ĉi tio povas esti konsiderata kiel peniko aŭ fromaĝrapilo, kiu forviŝas trans "surfaca ebeno" kaj elektas kiujn "triangulajn kahelojn" viŝi kaj kiujn lasi. Jen kiel konflikta logiko efektive forigas "triangulajn kahelojn".
DAG kun konflikta kahelo iras tra "kurba" spaco kiu estas gradiento, simila al fromaĝrapilo, kaj forigos aŭ "viŝos" la konfliktantan kahelon.
Parta/plena nodo-skalado
En retoteorio, tipe la optimuma asigno estas konata kiel "skal-libera", kiu povas esti priskribita kiel hierarkia aranĝo kie grandaj centraj nodoj administras multajn pli malgrandajn periferiajn nodojn. Ĉi tiu distribuo estas videbla en la naturo kaj, ĉefe, en la Interreto. Konstelacio uzas ĉi tiun arkitekturon por "skali eksteren", aŭ pliigi la trairon aŭ larĝon de nia Grafiko.
La efiko de hierarkia dispartigo. Ni povas aldoni pli da nodoj pliigante la larĝan bandon
Hylochain - Kanalbazita aplikaĵsubteno
Nia aliro al aplika subteno povas esti konsiderata kiel "malcentralizita inteligenta kontraktoplatformo". Anstataŭ centra reto prizorganta la tutan logikon kaj prilaboranta ĉiujn datumojn de la aplikaĵo, Constellation kunordigas la aplikaĵdatenojn kun "domkanaloj", kiuj povas esti opiniitaj kiel televidstacio dissendanta ĉiujn datumojn de la domsistemo. Ĉiu stabkanalo povas efektivigi sian propran konfirmlogikon por solvi la orakolproblemon per fin-al-fina aŭtentikigo de datenproduktantoj kaj transitiva konfirmo de kunmetitaj stabsistemoj. Ŝtataj kanalretoj disponigas paralelan subtenon por aplikoj, akcelante adopttempojn, kiuj estas limigitaj de tradicia sinkrona konsento en inteligenta kontraktoreto.
Du normaj kanaloj, kiuj estas "kongruaj" per la $DAG-reto. Ili povas interagi aŭ esti interpretitaj ĉar ili ambaŭ estas "integritaj" kun $DAG per deplojado de hibridaj $DAG + Kanalaj nodoj.
La kialo, ke ĝi nomiĝas Hylochain, estas ĉar nia aliro al aplika subteno uzis la funkcian programan modelon de Recursion Schemes por krei la MapReduce-interfacon. Aparte, la Hylomorphism- kaj Metamorphism-rikurkabaloj povas esti integritaj por krei kontroleblajn demandojn kaj flui ligojn super indiĝenaj kanaloj validigante algebrajn datumtipojn en la sama maniero kiel op-kodoj por inteligentaj kontraktoj estas kontrolitaj. La fina rezulto estas funkcia MapReduce-interfaco kiu estas konata al datumaj inĝenieroj kaj kongrua kun ekzistanta granda datuma teknologio.
Hylomorphic kaj Metamorphic estas normaj kanaloj por kontrasto. En la metamorfa ŝtato, datenoj de du regulaj kanaloj estas senditaj al bloko en la metakanalo. En Gilo, ni prenas la antaŭan staton de kanalo kaj uzas ĝin por pridemandi (demandi specifan demandon) du aliajn kanalojn, kaj poste konservas la serĉrezulton en bloko.
Tokenomics kaj ĝia ligo kun Hylochain
Post kiam indiĝena kanalo estas kreita, ĝi povas esti integrita en la $DAG-kanalon, sed uzante la ACI aŭ Application Chain Interface. Ĉi tiu interfaco estas simple JSON-objekto kun agordaj informoj kaj publika ŝlosilo asociita kun la kanalo mem. La kialo, ke ni asocias publikan ŝlosilon kun regula kanalo, estas krei kurtaĝan mekanismon por la regulaj kanalaj datumoj. Kiam la regula kanalo estas deplojita, programistoj agordas sin kiel pagoj de la $DAG-reto estas distribuitaj inter nodoj kaj funkciigistoj.
Fluo por aĉetado de aliro al informoj aŭ modifo de informoj. La peto estas sendita al $DAG, financoj estas senditaj al la kanalkonto, la rezulto estas sendita al la aĉetanto, kaj la transakcia kontrolo estas sendita al la $DAG-reto, kiu poste liberigas financojn al la regula kanalo.
fonto: www.habr.com