Unë e di unë e di. Ka shumë projekte kripto, ka shumë konsensus: bazuar në punën dhe pronësinë, ari, vaji, byrekët e pjekur (ka një, po, po). Çfarë na duhet më shumë nga një? Kjo është ajo që unë propozoj të diskutoj pasi të lexoj përkthimin e dokumentacionit teknik "të lehtë" të projektit *Constellation (). Sigurisht, ky nuk është një përshkrim i plotë i algoritmit, por më intereson mendimi i komunitetit Habr, a ka vend që një konsensus i tillë të "të jetë" apo është i panevojshëm?
Nuk ka më shumë letra, kështu që nëse doni të shkruani "wow, sa më shumë që të mundeni për kripto", atëherë ju lutemi përmbahuni. Nëse jeni të interesuar për zhvillime të reja në fushën e sistemeve të shpërndara dhe keni diçka për të ndarë në komente, atëherë ju lutemi referojuni cat.
PS Unë nuk jam autori i teknologjisë, nuk mund të garantoj për transferimin e plotë të thelbit, kështu që do të jem i lumtur të marr komente me ndryshime, nëse ka.
Evolucioni nga konsensuset sinkron në asinkron
Nyjet zgjidhen duke përdorur një proces përcaktues (i njëjti që përdoret në DHT si bittorrent) i cili rregullon në mënyrë dinamike përgjegjësitë e nyjeve për të "lehtësuar" vërtetimin ose, më e kuptueshme, për të arritur konsensus. Ne zgjedhim grupe me 3 nyje dhe drejtojmë raunde konsensusi paralelisht në mënyrë që një nyje të mund të jetë një lehtësues në blloqe të shumta. Kjo na lejon të përpunojmë transaksionet në mënyrë asinkrone, që në thelb do të thotë se ne kemi shumë zinxhirë blloku që formohen në të njëjtën kohë. Procesi është si rrjeta e merimangës, e formuar nga shumë fije, në krahasim me nyjet që formojnë një zinxhir të vetëm me kalimin e kohës. Përpunimi asinkron ose paralel është baza e programimit të shkallëzuar sepse lejon përdorimin e të gjitha burimeve kompjuterike, duke përshpejtuar llogaritjen e përgjithshme. Ky rrjet quhet grafik aciklik i drejtuar ose DAG në shkencat kompjuterike.
Gjerësia e kanalit të një blockchain linear kundrejt efektit shumëzues të një DAG ku kemi zinxhirë të shumëfishtë paralelë.
Zbatimi gjeometrik i blockchain linear kundër DAG. Pikat e zeza janë blloqe, pikat e bardha janë nyje
Ne përdorim 3 nyje në çdo raund konsensusi sepse na jep disa procese matematikore interesante për arsyetimin rreth gjendjes, duke formuar një "rrafsh sipërfaqësor" në të dhënat në formën e trekëndëshave të lidhur. Protokolli më pas përdor trekëndëshat për të bashkuar një sipërfaqe optimale që nuk përmban të dhëna të tepërta ose jokonsistente dhe ka trekëndëshat më të vegjël të mundshëm. Algoritmikisht, kjo është analoge me një "prerje minimale" të një grafiku, dhe matematikisht, është analoge me një funksion derivat ose optimizimi (nga i cili funksioni gjen rrugën më të shkurtër që mund të përshkojë përgjatë sipërfaqes). Kjo rrugë më e shkurtër është ekuivalente me ruajtjen optimale të të dhënave (transaksioneve) në një DAG. "Pllaka" trekëndore konfliktuale në mënyrë që sipërfaqja e ngjarjes të jetë e lëmuar dhe pa konflikte.
Zbatimi gjeometrik i zbulimit/trajtimit të konfliktit. Një bllok konfliktual krijon një pllakë sipërfaqe shtesë. Ne heqim pllakat shtesë të sipërfaqes për të mbajtur një sipërfaqe të sheshtë (= pa konflikt) ngjarjesh.
Konsensus i bazuar në reputacion
Në një sistem optimal të reputacionit të decentralizuar p2p, çdo nyje duhet të jetë në gjendje të përcaktojë në mënyrë të pavarur besimin e saj në nyjet e tjera. Sistemi ynë përdor një model të veçantë që përfshin marrëdhënie kalimtare, ose marrëdhënie që një nyje ka me nyjet e tjera, kur cakton një rezultat global. "Ju jeni po aq të mirë sa kompania juaj." Rezultati përfundimtar është një "skew" ose gradient i bazuar në besimin ose reputacionin kalimtar në të gjitha nyjet në $DAG ose kanalin e rregullt. Kjo mund të konsiderohet si një furçë ose rende djathi që fshin në një "rrafsh sipërfaqësor" dhe zgjedh cilat "pllaka trekëndore" të fshihen dhe cilat të lihen. Kjo është mënyra se si logjika e konfliktit heq në të vërtetë "pllakat trekëndore".
Një DAG me një pllakë konfliktuale që kalon nëpër një hapësirë "të lakuar" që është një gradient, i ngjashëm me një rende djathi, dhe do të heqë ose "fshijë" pllakën konfliktuale.
Shkallëzimi i pjesshëm/i plotë i nyjeve
Në teorinë e rrjetit, zakonisht shpërndarja optimale njihet si "pa shkallë", e cila mund të përshkruhet si një rregullim hierarkik me nyje të mëdha qendrore që menaxhojnë shumë nyje periferike më të vogla. Kjo shpërndarje është e dukshme në natyrë dhe mbi të gjitha në internet. Konstelacioni e përdor këtë arkitekturë për të "shkallëzuar" ose për të rritur xhiron ose gjerësinë e Grafikut tonë.
Efekti i ndarjes hierarkike. Mund të shtojmë më shumë nyje duke rritur gjerësinë e brezit
Hylochain - Mbështetje e aplikacionit të bazuar në kanal
Qasja jonë ndaj mbështetjes së aplikacionit mund të konsiderohet si një "platformë e decentralizuar e kontratës inteligjente". Në vend të një rrjeti qendror që drejton të gjithë logjikën dhe përpunon të gjitha të dhënat nga aplikacioni, Constellation koordinon të dhënat e aplikacionit me "kanalet e shtëpisë", të cilat mund të mendohen si një stacion televiziv që transmeton të gjitha të dhënat nga sistemi i shtëpisë. Çdo kanal i stafit mund të zbatojë logjikën e vet të verifikimit për të zgjidhur problemin e orakullit përmes vërtetimit nga fundi në fund të prodhuesve të të dhënave dhe verifikimit kalimtar të sistemeve të përbërë të stafit. Rrjetet e kanaleve shtetërore ofrojnë mbështetje paralele për aplikacionet, duke përshpejtuar kohët e miratimit që janë të kufizuara nga konsensusi tradicional sinkron në një rrjet kontratash inteligjente.
Dy kanale standarde që janë "të pajtueshme" nëpërmjet rrjetit $DAG. Ato mund të ndërveprojnë ose të interpretohen pasi të dyja janë "të integruara" me $DAG duke vendosur nyje hibride $DAG + Channel.
Arsyeja pse quhet Hylochain është sepse qasja jonë ndaj mbështetjes së aplikacionit përdori modelin e programimit funksional të Recursion Schemes për të krijuar ndërfaqen MapReduce. Në veçanti, skemat e rekursionit Hylomorphism dhe Metamorphism mund të integrohen për të krijuar pyetje të verifikueshme dhe lidhje transmetimi mbi kanalet vendase duke vërtetuar llojet e të dhënave algjebrike në të njëjtën mënyrë që verifikohen kodet op për kontratat inteligjente. Rezultati përfundimtar është një ndërfaqe funksionale MapReduce që është e njohur për inxhinierët e të dhënave dhe e pajtueshme me teknologjinë ekzistuese të të dhënave të mëdha.
Hylomorphic dhe Metamorphic janë kanale standarde për kontrast. Në gjendjen metamorfike, të dhënat nga dy kanale të rregullta dërgohen në një bllok në metakanal. Në Gilo, ne marrim gjendjen e mëparshme të një kanali dhe e përdorim atë për të kërkuar (bërë një pyetje specifike) dy kanale të tjera dhe më pas ruajmë rezultatin e pyetjes në një bllok.
Tokenomics dhe lidhja e saj me Hylochain
Pasi të krijohet një kanal vendas, ai mund të integrohet në kanalin $DAG, por duke përdorur ACI ose ndërfaqen e zinxhirit të aplikacionit. Kjo ndërfaqe është thjesht një objekt JSON me informacion konfigurimi dhe një çelës publik të lidhur me vetë kanalin. Arsyeja pse lidhim një çelës publik me një kanal të rregullt është krijimi i një mekanizmi brokerimi për të dhënat e kanalit të rregullt. Kur vendoset kanali i rregullt, zhvilluesit konfigurojnë vetë se si shpërndahen pagesat nga rrjeti $DAG ndërmjet nyjeve dhe operatorëve.
Rrjedha për blerjen e aksesit në informacion ose modifikimin e informacionit. Kërkesa dërgohet në $DAG, fondet dërgohen në llogarinë e kanalit, rezultati i dërgohet blerësit dhe shuma e kontrollit të transaksionit dërgohet në rrjetin $DAG, i cili më pas lëshon fondet në kanalin e rregullt.
Burimi: www.habr.com