Abdi terang abdi terang. Aya seueur proyék crypto, aya seueur konsensus: dumasar kana tanaga gawé sareng kapamilikan, emas, minyak, pai dipanggang (aya hiji, enya, enya). Naon deui anu urang peryogikeun ti hiji? Ieu anu kuring usulkeun pikeun dibahas saatos maca tarjamahan dokuméntasi téknis "ringan" tina *proyék Constellation (). Tangtosna, ieu sanés pedaran lengkep ngeunaan algoritma, tapi kuring resep kana pendapat masarakat Habr, naha aya tempat pikeun konsensus sapertos kitu "janten" atanapi henteu perlu?
Henteu aya seueur deui hurup, janten upami anjeun ngan ukur hoyong nyerat "wow, saloba anjeun tiasa ngeunaan crypto," teras punten nolak. Upami anjeun kabetot dina pamekaran anyar dina widang sistem anu disebarkeun sareng gaduh anu tiasa dibagikeun dina koméntar, mangga tingal ucing.
PS Abdi sanés panulis téknologi, kuring henteu tiasa ngajamin transfer lengkep hakekat, janten kuring bakal bungah nampi koméntar kalayan amandemen, upami aya.
Évolusi tina konsensus sinkron ka asynchronous
Node dipilih nganggo prosés deterministik (sarua anu dianggo dina DHT sapertos bittorrent) anu sacara dinamis nyaluyukeun tanggung jawab titik pikeun "ngagampangkeun" validasi atanapi, langkung kaharti, pikeun ngahontal konsensus. Urang milih grup 3 titik tur ngajalankeun rounds konsensus dina paralel ambéh hiji titik bisa jadi fasilitator dina sababaraha blok. Hal ieu ngamungkinkeun urang pikeun ngolah transaksi asynchronously, nu dasarna ngandung harti yén urang boga sababaraha blockchains kabentuk dina waktos anu sareng. Prosésna sapertos ramat lancah, dibentuk ku seueur benang, sabalikna tina titik-titik anu ngabentuk ranté tunggal dina waktosna. Asynchronous atanapi paralel processing mangrupakeun dasar program scalable sabab ngamungkinkeun pamakéan sakabéh sumber daya komputer, nyepetkeun komputasi sakabéh. Jaringan ieu disebut grafik asiklik terarah atanapi DAG dina élmu komputer.
Lebar saluran tina blockchain linier versus pangaruh multiplicative tina DAG dimana urang gaduh sababaraha blockchain paralel.
palaksanaan geometric linear blockchain ngalawan DAG. Titik hideung mangrupikeun blok, titik bodas mangrupikeun titik
Urang make 3 titik dina unggal babak konsensus sabab méré urang sababaraha prosés matematik metot pikeun alesan ngeunaan kaayaan, ngabentuk "pesawat permukaan" sakuliah data dina bentuk triangles disambungkeun. Protokolna teras nganggo segitiga pikeun ngahijikeun permukaan optimal anu henteu ngandung data anu kaleuleuwihan atanapi teu konsisten sareng gaduh segitiga pangleutikna. Sacara algoritmik, ieu analog sareng "potongan minimum" tina grafik, sareng sacara matematis, éta analog sareng fungsi turunan atanapi optimasi (ti mana fungsi éta mendakan jalur anu paling pondok anu tiasa dilalui sapanjang permukaan). Jalur anu paling pondok ieu sami sareng nyimpen data (transaksi) sacara optimal dina DAG. Konflik triangular "ubin" ambéh beungeut acara lemes jeung bébas tina konflik.
palaksanaan geometric deteksi / penanganan konflik. Blok anu bertentangan nyiptakeun ubin permukaan tambahan. Urang miceun Kotak permukaan tambahan pikeun ngajaga datar (= konflik-bebas) permukaan acara.
Konsensus dumasar kana reputasi
Dina sistem reputasi p2p desentralisasi optimal, unggal titik kedah tiasa sacara mandiri nangtukeun kapercayaanna dina titik-titik sanés. Sistem kami nganggo modél khusus anu kalebet hubungan transitif, atanapi hubungan anu aya dina titik sareng titik sanés, nalika masihan skor global. "Anjeun ngan ukur saé sapertos perusahaan anjeun." Hasil ahir nyaéta "skew" atanapi gradién dumasar kana kapercayaan transitif atanapi reputasi di sadaya titik dina $DAG atanapi saluran biasa. Ieu bisa dianggap salaku grater sikat atawa kéju anu mupus sakuliah "pesawat permukaan" tur pilih mana "ubin segitiga" mupus jeung nu ninggalkeun. Ieu kumaha logika konflik sabenerna ngaleungitkeun "ubin segitiga".
A DAG kalawan kotak conflicting ngaliwatan "melengkung" spasi nu gradién a, sarupa jeung grater kéju, sarta bade nyabut atawa "mupus" kotak conflicting.
Skala titik parsial / pinuh
Dina téori jaringan, ilaharna alokasi optimal katelah "skala-gratis," nu bisa digambarkeun salaku susunan hirarki kalawan titik sentral badag ngatur loba titik periferal leutik. Sebaran ieu katingali di alam sareng, di luhur sadayana, dina Internét. Constellation nganggo arsitéktur ieu pikeun "skala kaluar," atanapi ningkatkeun throughput atanapi lebar Grafik urang.
Pangaruh partisi hirarki. Urang tiasa nambihan langkung seueur titik ku cara ningkatkeun rubakpita
Hylochain - rojongan aplikasi dumasar Channel
Pendekatan kami pikeun dukungan aplikasi tiasa dianggap salaku "platform kontrak pinter desentralisasi." Gantina jaringan sentral ngajalankeun sagala logika jeung ngolah sagala data tina aplikasi, koordinat data aplikasi kalawan "saluran imah," nu bisa dianggap salaku stasiun televisi nyiarkeun sakabéh data tina sistem imah. Unggal saluran staf bisa nerapkeun logika verifikasi sorangan pikeun ngajawab masalah Oracle ngaliwatan auténtikasi tungtung-to-tungtung produser data sarta verifikasi transitif sistem staf komposit. Jaringan saluran kaayaan nyayogikeun dukungan paralel pikeun aplikasi, nyepetkeun waktos nyoko anu diwatesan ku konsensus sinkron tradisional dina jaringan kontrak pinter.
Dua saluran standar anu "cocog" via jaringan $DAG. Éta tiasa berinteraksi atanapi diinterpretasi sabab duanana "terintegrasi" sareng $DAG ku nyebarkeun hibrid $DAG + Saluran titik.
Alesanna disebut Hylochain sabab pendekatan kami pikeun ngadukung aplikasi ngagunakeun modél program fungsional Recursion Schemes pikeun nyiptakeun antarmuka MapReduce. Khususna, skéma rekursi Hylomorphism sareng Metamorphism tiasa diintegrasikeun pikeun nyiptakeun patarosan anu tiasa diverifikasi sareng ngalirkeun sambungan kana saluran asli ku validasi jinis data aljabar dina cara anu sami sareng kode op pikeun kontrak pinter diverifikasi. Hasil ahir nyaéta panganteur MapReduce fungsional anu wawuh ka insinyur data sareng cocog sareng téknologi data gedé anu aya.
Hylomorphic sareng Metamorphic mangrupikeun saluran standar pikeun kontras. Dina kaayaan métamorf, data tina dua saluran biasa dikirim ka blok dina métachannel. Dina Gilo, urang nyandak kaayaan saméméhna tina hiji channel sarta ngagunakeun éta pikeun query (nanyakeun patarosan husus) dua saluran sejen, lajeng nyimpen hasil query dina blok.
Tokenomics sareng hubunganana sareng Hylochain
Sakali saluran asli dijieun, éta bisa terpadu kana saluran $DAG, tapi ngagunakeun ACI atanapi Application Chain Interface. Antarbeungeut ieu ngan saukur objék JSON kalayan inpormasi konfigurasi sareng konci umum anu aya hubunganana sareng saluran éta. Alesan kami ngahubungkeun konci umum sareng saluran biasa nyaéta nyiptakeun mékanisme brokerage pikeun data saluran biasa. Nalika saluran biasa disebarkeun, pamekar ngonpigurasikeun diri kumaha pamayaran tina jaringan $ DAG disebarkeun antara titik sareng operator.
Aliran pikeun mésér aksés kana inpormasi atanapi modifikasi inpormasi. Paménta dikirim ka $DAG, dana dikirim ka akun saluran, hasilna dikirim ka pembeli, sareng checksum transaksi dikirim ka jaringan $DAG, anu teras ngaluarkeun dana ka saluran biasa.
sumber: www.habr.com