E di, e di. Ka shumĂ« projekte kripto, ka njĂ« mori konsensusi: nĂ« bazĂ« tĂ« punĂ«s dhe pronĂ«sisĂ«, arit, naftĂ«s, dhe pĂ«rcjellĂ«sve tĂ« pjekur (ka dhe nga ky, po, po). ĂfarĂ« na duhet mĂ« shumĂ« nga njĂ«? KĂ«tĂ« po e propozoj tĂ« diskutojmĂ« pas leximit tĂ« pĂ«rkthimit tĂ« dokumentacionit teknik "tĂ« lehtĂ«suar" tĂ« projektit *Konstelacion* (). Sigurisht, kjo nuk Ă«shtĂ« njĂ« pĂ«rshkrim i plotĂ« i algoritmit, por mĂ« intereson opinioni i komunitetit tĂ« HabrĂ«s, a ka vend pĂ«r njĂ« konsensus tĂ« tillĂ« apo ai Ă«shtĂ« pa vlerĂ«?
Më tej nuk ka shumë shkronja, prandaj, nëse thjesht dëshironi të shkruani "uf, sa shumë për kriptën", ju lutem, 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ë komentet, ju lutem, vazhdoni te kat.
P.S. Unë nuk jam autori i teknologjisë, nuk mund të garantoj për përcjelljen e plotë të thelbit, prandaj do të isha i lumtur për komentet me korrigjime, nëse ka.
Evolucioni nga konsensuset sinkron në ato asinkron
Nyjet zgjidhen duke përdorur një proces të përcaktuar (aty i njëjti që përdoret në DHT, për shembull, bittorrent), i cili rregullon dinamikisht detyrat e nyjeve për "lehtësimin" e validimit ose, që është më e qartë, për të arritur konsensusin. Ne zgjedhim grupe prej 3 nyjesh dhe kryejmë raunde konsensusi paralelet, në mënyrë që një nyje të mund të jetë lehtësues në disa blloqe. Kjo na lejon të përpunojmë transaksionet në mënyrë asinkrone, që, në thelb, do të thotë se ne po formojmë disa bllokçene në të njëjtën kohë. Procesi është si një rrjet, i formuar nga shumë fije, ndryshe nga nyjet që formojnë një zinxhir me kalimin e kohës. Përpunimi asinkron ose paralel është themeli i programimit të shkallëzueshëm, pasi lejon shfrytëzimin e të gjitha burimeve të kompjuterit, duke përshpejtuar llogaritjen e përgjithshme. Ky rrjet quhet grafa orientuar aciklike ose DAG në shkencat kompjuterike.
Gjerësi e kanalit të bllokçenit linear përballë efektit multiplikativ DAG, ku kemi disa bllokçene paralele.
Zbatimi gjeometrik i bllokçenit linear përballë DAG. Pikat e zeza janë blloqet, pikat e bardha janë nyjet.
Ne pĂ«rdorim 3 nyje nĂ« çdo raund konsensusi, sepse kjo na jep disa procese interesante matematikore pĂ«r tĂ« qenĂ« nĂ« gjendje tĂ« shqyrtojmĂ« gjendjen, duke formuar "sipĂ«rfaqen" pĂ«rmes tĂ« dhĂ«nave nĂ« formĂ«n e trekĂ«ndĂ«shve me lidhje. MĂ« pas, protokolli pĂ«rdor trekĂ«ndĂ«shĂ«t pĂ«r tĂ« "qepur" sipĂ«rfaqen optimale, e cila nuk pĂ«rmban tĂ« dhĂ«na tĂ« tepĂ«rta ose kontradiktore dhe ka trekĂ«ndĂ«shĂ«t mĂ« minimalĂ« tĂ« mundshĂ«m. Algoritmikisht â Ă«shtĂ« ekuivalente me "prerjen minimale" tĂ« grafit, dhe matematikisht â njĂ« derivat apo funksion optimizimi (nga tĂ« cilat funksioni gjen rrugĂ«n mĂ« tĂ« shkurtĂ«r qĂ« mund tĂ« kalojĂ« pĂ«rmes sipĂ«rfaqes). Kjo rrugĂ« mĂ« e shkurtĂ«r Ă«shtĂ« ekuivalente me ruajtjen optimale tĂ« tĂ« dhĂ«nave (transaksioneve) nĂ« grupin e disponueshmĂ«risĂ« sĂ« bazave tĂ« tĂ« dhĂ«nave. Pjatat dhe trekĂ«ndĂ«shĂ«t nĂ« konflikt, nĂ« mĂ«nyrĂ« qĂ« sipĂ«rfaqja e ngjarjes tĂ« jetĂ« e rrafshĂ«t dhe pa konflikte.
Shfaqja gjeometrike e zbulimit / procesimit të konflikteve. Blloku në konflikt krijon një pjatë shtesë të sipërfaqes. Ne hiqnim pjatën shtesë të sipërfaqes për të mbajtur një sipërfaqe të sheshtë (= pa konflikte) ngjarjesh.
Konsensusi i bazuar në reputacion
Në një sistem optimal decentralizuar p2p të reputacionit, çdo nyje duhet të ketë aftësinë për të përcaktuar vetë besueshmërinë e saj ndaj nyjeve të tjera. Sistemi ynë përdor një model të veçantë, i cili përmban marrëdhënie tranzitive ose marrëdhënie që nyja ka me nyjet e tjera, kur cakton një vlerësim global. "Jeni aq të mirë sa është kompania juaj". Rezultati përfundimtar është "distorcioni" ose gradienti, i bazuar në besim tranzitiv ose reputacion në të gjitha nyjet në $DAG ose kanalin e zakonshëm. Kjo mund të shihet si një grirës ose gërshet për djathin, i cili fshin përmbajtjen e "sipërfaqes" dhe zgjedh se cilat "pjatat trekëndëshe" të fshihen dhe cilat të mbahen. Kështu logjika e konfliktit në të vërtetë heq "pjatat trekëndëshe".
DAG me pjatë në konflikt, që kalon përmes një hapësire "të keqformuar", e cila është një gradient i ngjashëm me grirësin e djathit, dhe është duke u mbledhur për të hequr ose "fshirë" pjatën në konflikt.
Pjesore / shkallëzim të plotë të nyjes
Në teoritë e rrjeteve, shpesh shpërndarja optimale quhet "pa shkallëzim", e cila mund të përshkruhet si një vendosje hierarkike me qendra të mëdha që kontrollojnë shumë nyje periferike më të vogla. Kjo shpërndarje është e pranishme në natyrë dhe, mbi të gjitha, në internet. Constellation përdor këtë arkitekturë për "shkallëzim", ose rritjen e kapacitetit ose gjerësisë së Grafit tonë.
Efecti i ndarjes hierarkike. Ne mund të shtojmë më shumë nyje duke rritur gjerësinë e kapacitetit.
Hylochain â MbĂ«shtetje pĂ«r aplikacione qĂ« bazohen nĂ« kanale.
Qasja jonĂ« ndaj mbĂ«shtetjes sĂ« aplikacioneve mund tĂ« shihet si "njĂ« platformĂ« tĂ« decentralizuar tĂ« kontratave tĂ« mençura". NĂ« vend qĂ« njĂ« rrjet qendror tĂ« kryejĂ« tĂ« gjithĂ« logjikĂ«n dhe tĂ« pĂ«rpunojĂ« tĂ« gjitha tĂ« dhĂ«nat nga aplikacioni, Constellation koordinon tĂ« dhĂ«nat e aplikacionit me "kanalet standarde", tĂ« cilat mund tĂ« shihen si njĂ« stacion televiziv qĂ« transmeton tĂ« gjithĂ« tĂ« dhĂ«nat nga sistemi standard. Ădo kanal standard mund tĂ« zbatojĂ« logjikĂ«n e vet verifikimi, duke lejuar zgjidhjen e problemit tĂ« orakujve pĂ«rmes verifikimit tĂ« pĂ«rbashkĂ«t tĂ« prodhuesve tĂ« tĂ« dhĂ«nave dhe verifikimit transitive tĂ« sistemeve standarde pĂ«rbĂ«rĂ«se. Rrjetet e kanaleve standarde ofrojnĂ« mbĂ«shtetje paralele pĂ«r aplikacione, duke pĂ«rshpejtuar kohĂ«n e marrjes sĂ« vendimeve, e cila nĂ« rrjet me kontrata tĂ« mençura Ă«shtĂ« e kufizuar nga konsensusi tradicional sinkron.
Dy kanale standarde që janë "kompatibile" përmes rrjetit $DAG. Ato mund të bashkëveprojnë ose interpretohen, pasi të dyja janë "të integruar" me $DAG përmes implementimit të nyjeve hibride $DAG + Kanal.
Arsye pse quhet HyloChain Ă«shtĂ« se nĂ« qasjen tonĂ« pĂ«r mbĂ«shtetje tĂ« aplikacioneve Ă«shtĂ« pĂ«rdorur modeli funksional i programimit Schemes Recursion pĂ«r krijimin e ndĂ«rfaqes MapReduce. NĂ« veçanti, skemat e rekursisĂ« Hylomorphism dhe Metamorphism mund tĂ« integrohen pĂ«r tĂ« krijuar kĂ«rkesa tĂ« verifikueshme dhe lidhje streaming pĂ«rmes kanaleve standarde duke verifikuar llojet algebrike tĂ« tĂ« dhĂ«nave ashtu si kontrollohen kodet op pĂ«r kontratat e mençura. Rezultati pĂ«rfundimtar Ă«shtĂ« njĂ« ndĂ«rfaqe funksionale MapReduce qĂ« Ă«shtĂ« e njohur pĂ«r ĐžĐœĐ¶Đ”ĐœĐ”ŃĂ«t e tĂ« dhĂ«nave dhe Ă«shtĂ« e pĂ«rshtatshme me teknologjinĂ« ekzistuese tĂ« tĂ« dhĂ«nave tĂ« mĂ«dha.
Hylomorphic dhe Metamorphic kanale standarde për kontrast. Në gjendjen metamorfike, të dhënat nga dy kanale standarde dërgohen në një bllok në metakanal. Në Gilo, ne marrim gjendjen e mëparshme të kanalit dhe e përdorim atë për të kërkuar (për të bërë një pyetje specifike) dy kanale të tjera dhe pastaj ruajmë rezultatin e kërkesës në bllok.
Tokenomika dhe lidhja e saj me HyloChain
Kur kanali standard krijohet, ai mund të integrohet në kanalin $DAG, por duke përdorur ndërfaqen ACI ose Application Chain Interface. Kjo ndërfaqe është thjesht një objekt JSON me informacionin e konfigurimit dhe çelësin publik të lidhur me kanalin vetë. Arsyeja pse ne lidhim çelësin publik me kanalin standard është krijimi i një mekanizmi ndërmjetësues për të dhënat e kanalit standard. Kur kanali standard është vendosur, zhvilluesit e përshtatin si pagesat nga rrjeti $DAG shpërndahen midis nyjave dhe operatorëve.
Fluksi për blerjen e aksesit në informacion apo modifikimin e informacionit. Kërkesa dërgohet në $DAG, fondet dërgohen në llogarinë e kanalit, rezultati dërgohet blerësit, dhe kontrolli i shumës së transaksionit dërgohet në rrjetin $DAG, i cili më pas çliron fondet për kanalin standard.
Burimi: habr.com
