Tiedän tiedän. Kryptoprojekteja on paljon, konsensuksia on paljon: perustuen työhön ja omistukseen, kultaan, öljyyn, leivottuihin piirakoihin (yksi on, kyllä, kyllä). Mitä muuta tarvitsemme yhdeltä? Tästä ehdotan keskustelua luettuani *Constellation-projektin "kevyen" teknisen dokumentaation (). Tämä ei tietenkään ole täydellinen kuvaus algoritmista, mutta olen kiinnostunut Habr-yhteisön mielipiteestä, onko tällaiselle konsensukselle paikka "olla" vai onko se tarpeetonta?
Kirjeitä ei ole paljon enempää, joten jos haluat vain kirjoittaa "vau, niin paljon kuin pystyt kryptosta", pidättäydy. Jos olet kiinnostunut hajautettujen järjestelmien alan uusista kehityksestä ja sinulla on jotain kerrottavaa kommenteissa, tutustu cat.
PS En ole tekniikan kirjoittaja, en voi taata olemuksen täydellistä siirtoa, joten otan mielelläni vastaan kommentteja mahdollisten muutosten kera.
Evoluutio synkronisista asynkronisiin konsensuksiin
Solmut valitaan käyttämällä determinististä prosessia (samaa, jota käytetään DHT:issa, kuten bittorrentissa), joka säätää dynaamisesti solmujen vastuita validoinnin "helpottamiseksi" tai, mikä on ymmärrettävämmin, konsensuksen saavuttamiseksi. Valitsemme 3 solmun ryhmät ja suoritamme konsensuskierroksia rinnakkain, jotta yksi solmu voi toimia fasilitaattorina useissa lohkoissa. Tämä antaa meille mahdollisuuden käsitellä tapahtumia asynkronisesti, mikä tarkoittaa käytännössä sitä, että meillä on useita lohkoketjuja muodostumassa samanaikaisesti. Prosessi on kuin hämähäkinverkko, jonka muodostavat monet säikeet, toisin kuin solmut, jotka muodostavat yhden ketjun ajan myötä. Asynkroninen tai rinnakkaiskäsittely on skaalautuvan ohjelmoinnin perusta, koska se mahdollistaa kaikkien tietokoneen resurssien käytön ja nopeuttaa kokonaislaskentaa. Tietojenkäsittelytieteessä tätä verkkoa kutsutaan suunnatuksi asykliseksi graafiksi tai DAG:ksi.
Lineaarisen lohkoketjun kanavan leveys verrattuna DAG:n multiplikatiiviseen vaikutukseen, jossa meillä on useita rinnakkaisia lohkoketjuja.
Lineaarisen lohkoketjun geometrinen toteutus DAG:ta vastaan. Mustat pisteet ovat lohkoja, valkoiset pisteet ovat solmuja
Käytämme jokaisessa konsensuskierroksessa 3 solmua, koska se antaa meille mielenkiintoisia matemaattisia prosesseja tilan päättelyyn, muodostaen "pintatason" datan poikki yhdistettyjen kolmioiden muodossa. Protokolla käyttää sitten kolmioita ompelemaan yhteen optimaalisen pinnan, joka ei sisällä redundantteja tai epäjohdonmukaisia tietoja ja jossa on pienimmät mahdolliset kolmiot. Algoritmisesti tämä on analoginen graafin "minimileikkauksen" kanssa, ja matemaattisesti se on analoginen derivaatan tai optimointifunktion kanssa (josta funktio löytää lyhimmän reitin, jonka se voi kulkea pintaa pitkin). Tämä lyhin polku vastaa tietojen (tapahtumien) optimaalista tallentamista DAG:hen. Ristiriitaiset kolmiomaiset "laatat" niin, että tapahtuman pinta on sileä ja konfliktiton.
Konfliktin havaitsemisen/käsittelyn geometrinen toteutus. Ristiriitainen lohko luo ylimääräisen pintalaatan. Poistamme ylimääräiset pintalaatat säilyttääksemme tasaisen (= konfliktittoman) tapahtumapinnan.
Konsensus perustuu maineeseen
Optimaalisessa hajautetussa p2p-mainejärjestelmässä jokaisen solmun tulisi pystyä itsenäisesti määrittämään luottamuksensa muihin solmuihin. Järjestelmämme käyttää erityistä mallia, joka sisältää transitiivisia suhteita tai suhteita, jotka solmulla on muihin solmuihin määritettäessä globaalia pistemäärää. "Olet vain niin hyvä kuin seurasi." Lopputulos on "vino" tai gradientti, joka perustuu transitiiviseen luottamukseen tai maineeseen kaikissa $DAG- tai tavallisen kanavan solmuissa. Tätä voidaan ajatella siveltimenä tai juustoraastimena, joka pyyhkii "pintatasolla" ja valitsee, mitkä "kolmiolaatat" pyyhitään ja mitkä jätetään. Näin konfliktilogiikka itse asiassa poistaa "kolmiolaatat".
DAG, jonka ristiriitainen laatta kulkee "kaarevan" tilan läpi, joka on kaltevuus, kuten juustoraastin, ja aikoo poistaa tai "pyyhkiä" ristiriitaisen laatan.
Osittainen/täysi solmun skaalaus
Verkkoteoriassa optimaalinen allokaatio tunnetaan tyypillisesti "skaalattomana", jota voidaan kuvata hierarkkiseksi järjestelyksi, jossa suuret keskussolmut hallitsevat monia pienempiä oheissolmuja. Tämä jakelu näkyy luonnossa ja ennen kaikkea Internetissä. Constellation käyttää tätä arkkitehtuuria "skaalaamaan" tai lisäämään kuvaajamme suorituskykyä tai leveyttä.
Hierarkkisen osioinnin vaikutus. Voimme lisätä lisää solmuja lisäämällä kaistanleveyttä
Hylochain - Kanavapohjainen sovellustuki
Lähestymistapaamme sovellustukeen voidaan pitää "hajautettuna älykkäiden sopimusten alustana". Sen sijaan, että keskusverkko pyörittäisi kaikkea logiikkaa ja käsitteleisi kaikki sovelluksen tiedot, Constellation koordinoi sovellustiedot "talokanavien" kanssa, joita voidaan ajatella televisioasemana, joka lähettää kaiken datan talojärjestelmästä. Jokainen henkilöstökanava voi toteuttaa oman varmennuslogiikkansa ratkaistakseen oraakkeli-ongelman tietojen tuottajien päästä päähän -todennuksen ja yhdistelmähenkilöstöjärjestelmien transitiivisen todentamisen avulla. Valtion kanavaverkot tarjoavat rinnakkaista tukea sovelluksille ja nopeuttavat käyttöönottoaikoja, joita rajoittaa perinteinen synkroninen konsensus älykkäässä sopimusverkossa.
Kaksi vakiokanavaa, jotka ovat "yhteensopivia" $DAG-verkon kautta. Ne voivat olla vuorovaikutuksessa tai niitä voidaan tulkita, koska ne ovat molemmat "integroituja" $DAG:n kanssa ottamalla käyttöön hybridi $DAG + kanavasolmuja.
Syy, miksi sitä kutsutaan Hylochainiksi, johtuu siitä, että lähestymistapamme sovellustukeen käytti Recursion Schemes -toiminnallista ohjelmointimallia MapReduce-käyttöliittymän luomiseen. Erityisesti Hylomorphism- ja Metamorphism-rekursiomallit voidaan integroida luomaan todennettavia kyselyitä ja suoratoistoyhteyksiä natiivikanavien kautta validoimalla algebralliset tietotyypit samalla tavalla kuin älykkäiden sopimusten operaatiokoodit tarkistetaan. Lopputuloksena on toimiva MapReduce-käyttöliittymä, joka on tietosuunnittelijoille tuttu ja yhteensopiva olemassa olevan big data -teknologian kanssa.
Hylomorphic ja Metamorphic ovat vakiokanavia kontrastille. Metamorfisessa tilassa data kahdelta tavalliselta kanavalta lähetetään metakanavan lohkoon. Gilossa otamme kanavan edellisen tilan ja käytämme sitä kyselyyn (esitä tietty kysymys) kahdelta muulta kanavalta ja tallennamme sitten kyselyn tuloksen lohkoon.
Tokenomiikka ja sen yhteys Hylochainiin
Kun alkuperäinen kanava on luotu, se voidaan integroida $DAG-kanavaan, mutta käyttämällä ACI- tai Application Chain Interface -liitäntää. Tämä käyttöliittymä on yksinkertaisesti JSON-objekti, jossa on konfigurointitiedot ja julkinen avain, joka liittyy itse kanavaan. Syy, miksi liitämme julkisen avaimen tavalliseen kanavaan, on luoda välitysmekanismi tavalliselle kanavadatalle. Kun tavallinen kanava otetaan käyttöön, kehittäjät määrittävät itse, kuinka $DAG-verkon maksut jaetaan solmujen ja operaattoreiden välillä.
Tietojen käyttöoikeuden tai tietojen muuttamisen ostovirta. Pyyntö lähetetään $DAG:lle, varat lähetetään kanavan tilille, tulos lähetetään ostajalle ja tapahtuman tarkistussumma lähetetään $DAG-verkkoon, joka vapauttaa varat tavalliselle kanavalle.
Lähde: will.com