Paaiškinta „Ethereum 2.0“ švyturių grandinė

1 dienoraštisNewsDevelopersEnterpriseBlockchain ExplainedEvents and ConferencesPressNaujienlaiškiai

Užsiprenumeruokite mūsų naujienlaiškį.

Elektroninio pašto adresas

Mes gerbiame jūsų privatumą

Pagrindinis dienoraštisBlokavimo grandinės plėtra

Paaiškinta „Ethereum 2.0“ švyturių grandinė

Viskas, ką reikia žinoti apie šukes, tvirtintojus, atestacijas, komitetus, kontrolinius punktus ir baigtinumą. pateikė ConsenSys2020 m. vasario 25 d. paskelbta 2020 m. vasario 25 d

švyturių grandinės herojus

Prisimeni džiaugsmą, kurį jautei, kai pradėjai sulaukti aha akimirkų apie „blockchains“? Ar trokštate panašaus „Švyturių“ grandinės supratimo? „Ethereum“ švyturių grandinė yra sistemos, kurioje dauguma turinio yra per daug techninis, nišinis ar nepakankamai gilus, širdis.

Čia įgysite džiugų supratimą apie „Beacon“ grandinės elementus ir mechaniką. Pavyzdžiai paaiškins pagrindinę informaciją tinkamu lygiu, kad galėtumėte mokėti ir sutaupyti laiko. Manome, kad turite tvirtą „Ethereum“ ar „Bitcoin“ pagrindą ir esate gerai susipažinę su akcijų paketo įrodymu. Panagrinėkime didesnį šukių, tvirtintojų, atestacijų, komitetų, kontrolinių punktų ir baigtinumo vaizdą.

Sharding: didelis paveikslėlis

Norint įvertinti „Beacon“ grandinę, įvadas į skaldymą padeda. Pagrindinė mastelio problema, su kuria šiuo metu susiduria „blockchain“, įskaitant „Ethereum“, yra: kiekvienas mazgas turi patikrinti ir įvykdyti kiekvieną operaciją.

Informatikos srityje yra du pagrindiniai mastelio keitimo būdai:

  1. Mastelis vertikaliai: iš esmės padarykite mazgus vis galingesniais.
  2. Mastelio keitimas horizontaliai: iš esmės pridėkite daugiau mazgų.

Norint decentralizuoti, blokų grandinės turi būti keičiamos horizontaliai. „Ethereum 2.0“, dar vadinamo „eth2“ arba „Serenity“, tikslas yra, kad mazgai veiktų vartotojo aparatine įranga. Sharding yra horizontalaus duomenų bazės skaidymo terminas.

Paprastai skaldos grandinėje yra mazgų, apdorojančių pogrupį, pogrupis. Virtualūs kalnakasiai, tikrintojai priskiriami skeveldroms ir apdoroja bei patvirtina tik tos skaldos (grandinės) operacijas.

„Ethereum“ skeveldros turi dinamišką mazgų pogrupį, apdorojantį jį po bloką.

Pagrindinis „blockchain“ skaldymo uždavinys yra šukių saugumas. Kadangi tikrintojai yra paskirstyti po skeveldras, kenkėjiški tikrintojai gali perimti vieną šukę.


Pagrindinė sprendimo dalis:

atsitiktinis tikrintojų maišymas, kai kiekviename skaldos bloke yra (pseudo) atsitiktinai parinktas tikrintojų komitetas, užtikrina, kad matematiškai neįtikėtina, jog užpuolikas, valdantis mažiau nei ⅓ visų patvirtintojų, gali užpulti vieną šukę

Apgaulės įrodymai, globos įrodymai ir duomenų prieinamumo patikrinimai taip pat yra svarbūs saugumo komponentai, tačiau jiems reikia savo paaiškintojų.

Dabartinis eth2 planas yra skirtas 64 skeveldros. Nors skeveldros yra atskiros nuo švyturių grandinės, aprašysime keletą pagrindinių visos sistemos elementų.

„Sharding“ atskleidė užuominas apie tai, ką „Ethereum Beacon“ grandinė daro ir ko jai reikia. Įgausime supratimą, kodėl klasikinėse blokų grandinėse yra papildomų komponentų. Besiformuojantis suskaidytų blokų grandinių laukas visada laukia įkvėptų skaitytojų naujovių.

„Ethereum 2.0“ fazės

Trumpai tariant, „Ethereum 2.0“ turi tris fazes:

  • 0 etapas – švyturių grandinė
  • 1 etapas – skeveldros
  • 2 etapas – vykdymas

Analogija su žmogaus kūnu:

  • 0 fazė – širdis
  • 1 fazė – galūnės
  • 2 fazė – smegenys

Analogija su orkestru, kurį sunku įveikti:

  • 0 fazė – laidininkas
  • 1 etapas – instrumentai
  • 2 etapas – muzikantai

Visi etapai yra neatsiejami nuo sistemos ir turi skirtingas charakteristikas. 0 etapas yra „Ethereum 2020“ dalis. 1 fazė paprastai yra negyvesnė ir statiškesnė nei kitos fazės. 2 etapas paprastai yra susijęs su veiksmu ir agentūra.

Lizdai ir epochos

„Beacon“ grandinė suteikia „Ethereum 2.0“ širdies ritmą. Tai suteikia sistemos harmonijos ir sutarimo tempą ir ritmą. Kiekvienas lizdas yra 12 sekundžių, o epocha – 32 lizdai: 6,4 minutės.

EpochaPirmieji 32 lizdai yra 0 epochoje. Genezės blokai yra 0 lizde.

Lizdas yra galimybė bloką pridėti prie „Beacon“ grandinės ir šukių. Galite įsivaizduoti, kad „Beacon“ grandinė ir šukių grandinės yra choreografuojamos užraktu. Kas 12 sekundžių, kai sistema veikia optimaliai, pridedamas vienas švyturio (grandinės) blokas ir 64 skaldos blokai. Tikrintojai turi būti apytiksliai sinchronizuojamas su laiku.

Lizdas yra panašus į blokavimo laiką, tačiau laiko tarpsniai gali būti tušti. Švyturių grandinės genezės blokai ir skeveldros yra 0 lizde. Skaldos prasidės būsimoje epochoje nei „Švyturių grandinės epocha 0“, tačiau turės savo epochą 0, į kurią įeis ir jų genezės blokai..

Įvadas į tikrintuvus, patvirtinimus ir švyturių grandinę

Nors darbo įrodymas (PoW) yra susijęs su kalnakasiais, „Ethereum 2.0“ tikrintojai yra „virtualių kalnakasių“ akcijų paketo įrodymai. Patvirtintojai aktyviai dalyvauja sutarime dėl „Ethereum 2.0“ protokolo. Jų paskatos aptariamos vėliau Švyturių grandinės patvirtinimo premijos ir baudos.

Blokas siūlytojas yra tikrintuvas, kuris pseudo atsitiktinai pasirinktas sukurti bloką.

Dažniausiai patvirtintojai yra atestatoriai kurie balsuoja dėl švyturių blokų ir skaldos blokų. Šie balsai įrašomi į „Švyturių grandinę“. Balsavimais nustatoma „Švyturių“ grandinės galva ir šukių galva.

praleistas pasiūlymasPraleistas pasiūlymas dėl 28-osios epochos lizdo.

Kiekvienoje epochoje tikrintojas pseudo atsitiktinai priskiriamas lizdui ir šukei. Patvirtintojas dalyvauja tos paskirtos šukės sutarime, kad galėtų balsuoti už tos skeveldros galvą. Patvirtintojas susieja šukės galvutę su švyturio bloku.

An atestacija yra tvirtintojo balsas, įvertintas patvirtintojo balansu. Patvirtinimus be blokų transliuoja patvirtintojai.

Patvirtintojai taip pat vienas kitą stebi ir yra apdovanojami už pranešimus apie kitus tikrintojus, kurie balsuoja prieštaringai arba siūlo kelis blokus.

Švyturių grandinės turinys visų pirma yra patvirtintojų adresų registras, kiekvieno tikrintojo būsena, atestacijos ir nuorodos į skeveldras. Tikrintuvus suaktyvina švyturių grandinė ir jie gali pereiti į būsenas, trumpai aprašytas vėliau Švyturių grandinės patvirtinimo priemonės įjungimas ir gyvavimo ciklas.

„Staking Validators“: semantika

Patvirtintojai yra virtualūs, juos suaktyvina suinteresuotosios šalys. „PoW“ vartotojai perka aparatūrą, kad taptų kalnakasiais. „Ethereum 2.0“ vartotojai surenka ETH norėdami suaktyvinti ir valdyti tikrintuvus.

Aiškiau susieti suinteresuotuosius subjektus su akcijų paketu, o tikrintojus – su pusiausvyra.  Kiekvieno tvirtintojo maksimalus balansas yra 32 ETH, tačiau suinteresuotieji gali susidėti visą savo ETH. Kiekvienam 32 dalyvaujančiam ETH aktyvuojamas vienas tikrintuvas.

Tikrintojus vykdo tikrintojo klientai, kurie naudoja švyturio (grandinės) mazgą. Švyturio mazgas turi galimybę stebėti ir skaityti švyturių grandinę. Tikrintuvo klientas gali įdiegti švyturio mazgo funkciją arba skambinti į švyturio mazgus. Vienas patvirtinimo klientas gali vykdyti vieną ar daugiau tikrintojų.

Kryžminės nuorodos: įsišaknijimo grandinės su švyturių grandine

Kryžminis ryšys yra švyturio bloko nuoroda į skaldos bloką. Kryžminis ryšys yra tai, kaip „Beacon“ grandinė seka šukių grandinės galvą. Kadangi yra 64 skeveldros, kiekviename švyturių bloke gali būti iki 64 kryžminių nuorodų. Švyturio blokas gali turėti tik vieną kryžminį ryšį, jei tame lizde nebuvo siūlomų blokų 63 skeveldroms. Planuojama, kad „Eth2“ ​​1 fazėje bus susietos šukių grandinės į „Beacon“ grandinę, kuri yra šukių šakės pasirinkimo, skeveldros grandinės baigtinumo ir kryžminės skardos komunikacijos pagrindas. Visos skaldos grandinės visada seka švyturių grandinę.

Komitetai: Įvadas

Komitetas yra tvirtintojų grupė. Saugumo sumetimais kiekviename lizde (švyturių grandinėje ir kiekvienoje skaldoje) yra komitetai, kuriuose yra bent 128 tikrintojai. Užpuolikas turi mažiau nei a vienas trilijone tikimybė kontroliuoti komitetą ⅔.

Atsitiktinumo švyturio, skleidžiančio atsitiktinius skaičius visuomenei, koncepcija suteikia savo vardą „Ethereum“ švyturių grandinei. „Švyturių grandinė“ vykdo sutarimą dėl pseudopatybinio proceso, vadinamo RANDAO.

suaktyvinti tikrintuvusKiekvienoje epochoje pseudo atsitiktinis procesas RANDAO parenka kiekvienos lizdo dalyvius ir sumaišo tikrintojus į komitetus.

Pasiūlymų teikėjus atrenka RANDAO, atsižvelgdama į validatoriaus balansą. Gali būti, kad tvirtintojas yra to paties lizdo siūlytojas ir komiteto narys, tačiau tai nėra norma. Tikimybė, kad tai įvyks, yra 1/32, todėl pamatysime maždaug kartą per epochą. Eskize pavaizduotas scenarijus, kuriame yra mažiau nei 8 192 patvirtintojų, kitaip viename lizde būtų bent du komitetai.

Šis „Švyturių grandinės“ aiškintojas daugiausia dėmesio skiria švyturių komitetams: patvirtintojams, kurie tarnauja „Švyturių grandinei“. (Švyturių) komitetui pseudo atsitiktinai paskiriama šukė, skirta susieti į švyturio bloką. Nėra atkaklių komitetų. Komitetas, atsakingas už suskaidytą fragmento susiejimą, keičiasi po bloką.

Skaldos komitetai, kurie kuria tik skaldos grandinės blokus, yra ateities tema. Daugelį šukių blokų gali pastatyti šukių grandinės tikrintojai, kurie nesusiję su „Beacon“ grandine. Tačiau tam, kad šukė galėtų bendrauti su kitomis skeveldromis, reikia, kad švyturių komitetas ją susietų su švyturio bloku.

Švyturių grandinės komitetai

Diagrama yra bendras įvykių vaizdavimas trijuose lizduose. 1 lizde bloką siūlo ir tada patvirtina du tikrintojai; vienas tvirtintojas A komitete buvo neprisijungęs. 1 lizdo patvirtinimai ir blokai skleidžia tinklą ir pasiekia daug tikrintojų. 2 lizde siūlomas blokas, o B komiteto tvirtintojas jo nemato, todėl jis patvirtina, kad „Beacon“ grandinės galvutė yra 1 lizdo blokas. Atkreipkite dėmesį, kad šis tikrintuvas skiriasi nuo neprisijungus veikiančio 1 laiko tarpsnio tikrintuvo.. „Beacon Chain“ galvos patvirtinimas vadinamas „LMD GHOST“ balsavimu. 3 lizde visi C komiteto tvirtintojai vykdo „LMD GHOST“ šakių pasirinkimo taisyklę ir nepriklausomai patvirtina tą pačią galvą.

Vienoje epochoje tvirtintojas gali būti tik viename komitete. Paprastai patvirtintojų yra daugiau nei 8 192: tai reiškia, kad kiekviename lizde yra daugiau nei vienas komitetas. Visi komitetai yra vienodo dydžio ir turi bent 128 patvirtintojus. Saugumo tikimybė sumažėja, kai yra mažiau nei 4096 patvirtintojai, nes komitetuose būtų mažiau nei 128 patvirtintojai.

Komitetai: Crux

Kiekvienoje epochoje tikrintojai yra tolygiai padalijami į laiko tarpsnius ir paskui skirstomi į tinkamo dydžio komitetus. Visi to laiko tarpsnio patvirtintojai patvirtina „Beacon“ grandinės galvutę. Kiekvienas to lizdo komitetas bando susieti tam tikrą šukę. Maišymo algoritmas padidina arba sumažina komitetų skaičių viename lizde, kad gautų bent 128 patvirtintojus viename komitete.

Tarkime, kad 16 384 patvirtintojai. 512 tikrintojų pseudo atsitiktinai priskiriami 1 lizdui, kiti 512 – 2 lizdui ir pan. Tada 512 1 laiko tarpsnio tikrintojai yra suskirstyti į keturis komitetus ir pseudoandomiškai paskirstomi šukėms. Tarkime, kad skeveldros 33, 55, 22, 11 yra skeveldros. Visi 512 tikrintojų atidavė 1 lizdo „LMD GHOST“ balsą. 128 tvirtintojai viename iš keturių komitetų bando susieti „Shard 33“. Kitame komitete 128 tikrintojai bando susieti „Shard 55“. 128 patvirtintojai kitame komitete bando susieti „Shard 22“..

2 lizdui procesas kartojasi. 512 2 laiko tarpsnio tikrintojai yra suskirstyti į keturis komitetus ir pseudo atsitiktinai priskirti šukėms. Tarkime, kad skeveldros 41, 20, 17, 15 yra skeveldros. Visi 512 2 laiko tarpsnio patvirtintojų patvirtina savo nuomonę apie „Beacon“ grandinės vadovą 2 lizde. Komitetai bando susieti 41, 20, 17, 15 dalis.

Procesas kartojasi dėl likusių epochos lizdų. Kiekvienas tikrintojas turi lizdą, kai jis gali kalbėti, patvirtinti ir susieti. Epochos pabaigoje visi 16 384 patvirtintojai turėjo galimybę patvirtinti ir susieti. Tačiau iki šiol tikrintojų balsai buvo skirti ne atskirai, o konkrečiai laiko tarpsniui. Tai tarsi balsavimas už savo vietos valdžią, o ne balsavimas platesniuose nacionaliniuose rinkimuose. Visi 16 384 tvirtintojai nebalsavo dėl to paties. Būsimose skiltyse apie kontrolinius taškus ir baigtinumą aprašomas konkrečios epochos balsas, kurį patvirtintojai atidavė, kai jiems yra galimybė pasisakyti. Paskirtame lizde visi 16 384 tikrintojai taip pat balsuoja už epochos kontrolinį punktą.

Švyturių grandinės kontroliniai punktai

Kontrolinis punktas yra blokas pirmame epochos lizde. Jei tokio bloko nėra, kontrolinis taškas yra ankstesnis prieš paskutinį bloką. Vienoje epochoje visada yra vienas kontrolinis blokas. Blokas gali būti kelių epochų kontrolinis taškas.

Švyturių grandinės kontroliniai punktaiTikrinimo taškai scenarijui, kai epochose yra 64 lizdai.

Pastaba 65 – 128 lizdai tušti. 2-osios epochos kontrolinis taškas būtų buvęs blokas 128-ajame lizde. Kadangi laiko tarpsnio nėra, 2-osios-epochos kontrolinis taškas yra ankstesnis 64-ojo lizdo blokas. 3-oji epocha yra panaši: 192-as lizdas yra tuščias, taigi ankstesnis 180-osios vietos blokas 3-osios epochos patikros punktas.

Epochų ribų blokai (EBB) yra terminas kai kuriose literatūrose (pavyzdžiui, Gasperio popierius, diagramos šaltinis), ir juos galima laikyti kontrolinių taškų sinonimais.

Rinkdamas LMD GHOST balsą, patvirtintojas taip pat balsuoja už kontrolinį tašką dabartinėje epochoje, vadinamą taikiniu. Šis balsavimas vadinamas „Casper“ FFG balsavimas, taip pat apima išankstinį kontrolės punktą, vadinamą šaltiniu. Schemoje 1 epochos validatorius balsavo už genezės bloko šaltinio ir 64 bloko tikslinį bloko kontrolinį tašką. 2-ojoje epochoje tas pats tikrintojas balsavo už tuos pačius kontrolinius taškus. LMD GHOST balsą už tą lizdą atidavė tik laiko tarpsniui priskirti tikrintojai. Tačiau visi patvirtintojai atidavė FFG balsus už kiekvieną epochos kontrolinį tašką.

Aukščiausioji dauguma

Balsavimas, kurį atlieka ⅔ viso aktyvių tikrintojų balanso, yra laikoma didžia dalimi. Pedagogiškai tarkime, kad yra trys aktyvūs tikrintojai: dviejuose yra 8 ETH likutis ir vienintelio patvirtintojo, kurio balansas yra 32 ETH. Balsavime dėl daugumos turi būti vienintelio tvirtintojo balsas: nors kiti du tvirtintojai gali balsuoti skirtingai nei vienintelis tvirtintojas, jie neturi pakankamai pusiausvyros, kad susidarytų dauguma..

Galutinumas

Pasibaigus epochai, jei jos kontrolinis punktas susilaukė daugumos, kontrolinis punktas pateisinamas.

Jei kontrolinis taškas B yra pateisinamas ir patikrinimo taškas artimiausioje epochoje tampa pateisinamas, tada B tampa baigtas. Paprastai kontrolinis punktas baigiamas dviem epochomis – 12,8 minutės.

Vidutiniškai vartotojo operacija būtų bloke epochos viduryje. Pusė epochos iki kito patikros taško, o tai rodo, kad operacijos bus baigtos 2,5 epochos: 16 minučių. Geriausia, jei daugiau nei ⅔ atestacijų bus įtraukta į 22-ąją epochos sritį. Taigi operacijos baigtinumas yra vidutiniškai 14 minučių (16 + 32 + 22 laiko tarpsniai). Bloko patvirtinimai atsiranda iš bloko patvirtinimų, jo pagrindimo, jo baigtinumo. Naudojimo atvejai gali nuspręsti, ar jiems reikia baigtinumo, ar pakanka ankstesnės saugos ribos.

Švyturių grandinės pagrindimas ir užbaigimasVieno patikros taško pateisinimo (64 vieta) ir ankstesnio patikrinimo taško užbaigimo (32 vieta) pavyzdys.

Kas nutiko švyturio grandinės galvutėje

Siūlomas epochos ribų blokas 96 lizde ir jame yra 2-osios epochos kontrolės punkto patvirtinimai. Antrosios epochos kontrolės punkto atestacijų skaičius dabar pasiekia didžiausią daugumą. Tai lemia 2-osios epochos kontrolės punkto pateisinimą, taigi ir anksčiau pagrįsto 1-osios-1-osios kontrolės punkto baigtinumą. 32 laiko tarpsnio baigtinumas iškart sukelia visų prieš tai esančių blokų baigtinumą. Baigiant tikrinimo tašką, nėra jokių apribojimų blokų, kuriuos galima baigti, skaičiui. Nors baigtinumas skaičiuojamas tik epochos ribose, kiekviename bloke kaupiami patvirtinimai, kaip aprašyta toliau pateiktuose alternatyviuose pasakojimuose „Kas galėjo nutikti nuo genezės iki galvos“.

Visos kryžminės nuorodos, esančios švyturių blokuose nuo 1 iki 32 lizdo, sukeltų šukių grandinių baigtinumą. Kitaip tariant, skaldos blokas yra baigtas, kai jis yra susietas su švyturio bloku, kuris yra baigtas. Kryžminio ryšio savaime nepakanka šukių blokui užbaigti, tačiau jis prisideda prie šukių grandinės šakės pasirinkimo.

Kas galėjo atsitikti nuo Pradžios iki galvos

Su ta pačia iliustracija pateikiama siužetinė linija, kurią būtų galima stebėti iš genezės. Visi siūlytojai nuo 1-osios iki 63-osios siūlo bloką ir jie pasirodo grandinėje. Kiekviename 1-osios epochos bloke jo patikros taškas (blokas 32-ajame lizde) kaupia 55% patvirtintojų patvirtinimus. Siūlomas blokas 64 lizde ir jame pateikiami 1-osios epochos patikros punkto patvirtinimai. Dabar 70% tikrintojų patvirtino 1-osios epochos kontrolinį punktą: tai yra jo pateisinimas. 2-osios epochos kontrolinis punktas (64-asis lizdas) kaupia atestacijas visoje 2-ojoje epochoje, tačiau nepasiekia didžiosios daugumos. Siūlomas blokas 96 lizde ir jame pateikiami 2-osios epochos patikros punkto patvirtinimai. Tai leidžia pasiekti didžiausią daugumą ir pagrįsti 2-osios epochos kontrolinį tašką. Pateisinus „Epoch 2“ kontrolinį tašką, bus baigtas „Epoch 1“ kontrolės punktas ir visi ankstesni blokai.

Čia yra dar vienas galimas scenarijus. Apsvarstykite tik iki 1-osios epochos. 1-osios epochos kontrolinis punktas galėjo gauti didžiausią daugumą prieš siūlant 2-osios epochos kontrolės punktą. Pavyzdžiui, kadangi siūlomi blokai 32-ajame ir 54-ajame lizduose, patvirtinimai, patvirtinantys kontrolinį tašką (32 vieta), jau galėjo pasiekti didžiausią daugumą. Šiuo atveju kontrolės punktas būtų buvęs pateisinamas iki 2-osios epochos. Tikrinamasis taškas gali būti pateisintas dabartine jo epocha, tačiau jo užbaigimui reikalinga bent epocha po jo.

Bloko pagrindimas kartais gali užbaigti bloką prieš dvi ar daugiau epochų. Gasperio dokumente aptariami šie atvejai. Jų tikimasi tik išimtiniais atvejais, kai didelis vėlavimas, tinklo skaidiniai ar stiprios atakos.

Galutinumas yra būtinas, kad „Ethereum“ blokų grandinės šukės ir šalys turėtų garantijas dėl sandorių. Galutinumas sumažina sudėtingumą naudojant kryžminę skaidymą. Jei nebūtų galutinio, kaskadiniai sandorių sugrąžinimai fragmentuose ir tarp jų būtų trikdantys ir galėtų panaikinti skaldymo naudą.

Atestacijos: žvilgsnis iš arčiau

Atestate yra ir LMD GHOST balsavimas, ir FFG balsavimas. Optimaliai, visi tvirtintojai pateikia vieną atestaciją kiekvienai epochai. Atestatas turi 32 lizdo galimybes įtraukti grandinę. Tai reiškia, kad patvirtintojas gali turėti dvi atestacijas, įtrauktas į grandinę vienoje epochoje. Patvirtintojai gauna didžiausią atlygį, kai jų atestatas yra įtrauktas į grandinę jų paskirtame lizde; vėliau įtraukimas yra sunykęs atlygis. Kad tikrintojai turėtų laiko pasiruošti, jie skiriami komitetams iš anksto viena epocha. Pasiūlymų teikėjai priskiriami laiko tarpsniams tik prasidėjus epochai. Nepaisant to, slapti lyderio rinkimai tyrimais siekiama sušvelninti siūlytojų išpuolius ar papirkimą.

Komitetai leidžia techniškai optimizuoti kiekvieno atestato parašų sujungimą į vieną bendrą parašą. Kai to paties komiteto tvirtintojai pateikia tuos pačius LMD GHOST ir FFG balsus, jų parašus galima sujungti.

Švyturių grandinės patvirtinimo premijos ir baudos

Nesigilindami aptarsime šešias temas, susijusias su patvirtinimo priemonėmis:

  1. atestatorius atlygis
  2. atestatoriaus nuobaudos
  3. tipinė neigiama rizika suinteresuotiesiems asmenims
  4. brūkštelėjimai ir informatorių atlygiai
  5. siūlytojas apdovanoja
  6. neveikimo bausmė

Patvirtintojai apdovanojami, kai jie pateikia patvirtinimus (LMD GHOST ir FFG balsai), su kuriais sutinka dauguma kitų tvirtintojų. Eth2 1 fazėje tikrintojai taip pat gaus atlygį už kryžmines nuorodas. Apdovanojimai sutvirtėja, kai blokai baigiami.

Kita vertus, tikrintojai baudžiami už tai, kad jie nepatvirtino arba jei jie patvirtina bloką, kuris nėra baigtas.

Prieš apibūdindami rečiau pasitaikančias nuobaudas ir atlygius, galbūt norėsite sužinoti savo neigiamą riziką tapti dalininku. Kaip suinteresuotas asmuo, kuriam rūpi, kiek ETH galite prarasti, tai yra veidrodis, kiek galite uždirbti. Jei tvirtintojas per metus gauna 10% atlygio, (sąžiningas) tvirtintojas praranda 10%, jei atliks blogiausią įmanomą darbą. Pvz., Patvirtintojas, kuris visada neprisijungęs arba visada balsuoja už blokus, kurie nėra baigti, bus nubaustas už sumą, už kurią tvirtintojas būtų apdovanotas už punktualių patvirtinimų atlikimą.

Nukrypimai yra baudos nuo daugiau nei 0,5 ETH iki viso validatoriaus akcijų. Už tai, kad padarėte a įžeidžiantis nusikaltimas patvirtintojas praranda bent 1/32 savo pusiausvyros ir yra išjungtas. Patvirtintojas baudžiamas taip, tarsi jis būtų neprisijungęs prie 8 192 epochų. Protokole taip pat numatyta papildoma nuobauda, ​​atsižvelgiant į tai, kiek kitų tuo pačiu metu buvo nukirsta. Pagrindinė papildomos baudos formulė yra: validator_balance * 3 * trupmena_validators_slashed. Poveikis yra tas, kad jei valid visų tikrintojų prasižengia, jie visi praranda visą pusiausvyrą. Patvirtintojas, pranešęs apie apipjaustytą pažeidimą, gauna informatoriaus atlygį.

Siūlomi blokai, kurie bus baigti, gaus nemažą atlygį. Patvirtintojai, nuolat dirbantys internete, dirbantys gerą darbą, kaupia ~ 1/8 jų bendro atlygio už blokų siūlymą. Kai įvyksta apkarpymas, pasiūlymo teikėjai taip pat gauna nedidelį atlygį už tai, kad įrodymus įtraukė į bloką. Eth2 0 fazėje visas informatoriaus atlygis iš tikrųjų skiriamas siūlytojui.

„Ethereum 2.0“ yra sistema, turinti daug mechanizmų, kai kuriuos iš jų galima labiau įvertinti pagal bendrą poveikį. Suprojektuoti atlygiai ir baudos baigiasi neveikimo bausmė. Iš esmės, jei nuo galutinio laikotarpio buvo daugiau nei keturios epochos, visiems patvirtintojams taikoma neaktyvumo bausmė, kuri padidėja kvadratiškai, kol bus baigtas kontrolinis punktas. Neveiklumo bausmė garantuoja tokio tipo rezultatus: jei 50% tikrintojų atsisakys neprisijungę, blokai bus pradėti baigti po 21 dienos.

Smarkūs nusikaltimai

Patvirtintojams yra trys pjaustymo sąlygos. Juos galima apibūdinti kaip dvigubą pasiūlymą, dvigubą FFG balsavimą ir FFG erdvinį balsavimą. LMD GHOST balsavimas nėra brūkšniuotas.

dvigubas pasiūlymas yra siūlytojas, siūlantis daugiau nei vieną bloką jiems priskirtam lizdui.

dvigubas balsavimas yra patvirtintojas, atidavęs 2 FFG balsus už tą patį tikslą, bet kitą šaltinį.

erdvinis balsas yra patvirtintojas, atliekantis FFG balsą, kuris supa arba yra apsuptas ankstesnio jų atlikto FFG balsavimo. Čia yra du pavyzdžiai, pagrįsti scenarijumi, kai tvirtintojas 5 epochoje surengė FFG balsavimą su 32 lizdo šaltiniu ir 128 lizdo taikiniu:

  • FFG balsavimas 6-ojoje epochoje su 64 lizdo šaltiniu ir 96-ojo lizdo taikiniu būtų FFG balsavimas, kuris buvo apsuptas jų 5-osios epochos balsas.
  • FFG balsavimas 6-ojoje epochoje su 0 lizdo šaltiniu ir 160-ojo lizdo taikiniu būtų apsupti jų FFG balsavimas 5-ojoje epochoje.

FFG balsavimas 6-ojoje epochoje, kurio tikslas yra 128 lizdas, būtų dvigubas balsavimas ir būtų brūkšniuojamas, nebent šaltinis būtų 32 lizdas. Identiški FFG balsai nėra brūkšniniai.

Du FFG balsai iš to paties šaltinio niekada nėra brūkšniuoti. Tai svarbu gyvybei. Pvz., Jei yra dvi šakės, kurių kiekvienoje yra maždaug 50% patvirtintojų likučių, protokolas turi skatinti (o ne bausti) tikrintojus keisti šakutes balsuodamas su tuo pačiu šaltiniu ir kitu taikiniu. Vietoj aklavietės tikrintojai galėjo saugiai persijungti tarp šakių, norėdami pasiekti a  didžiausia dauguma.

Nusistačiusiam tikrintojui reikia įtraukti prieštaraujančius balsus, kad būtų įrodyta, jog kitas tvirtintojas turėtų būti apkarpytas. Efektyvus konfliktinio balsavimo tarp didelės istorijos suradimas yra iššūkis algoritmams ir duomenų struktūroms. detektoriaus atkarpos atviras inžinerinis iššūkis ieško bendraautorių.

Patvirtintojas yra visiškai kontroliuojamas, kad nenukirstų: jis turi tik prisiminti, ką pasirašė. Sąžiningo tikrintojo negalima sumenkinti kitų patvirtintojų veiksmais. Kol tvirtintojas nepasirašo prieštaringo patvirtinimo ar pasiūlymo, patvirtintojo negalima kirsti.

Tikrintojo klientas gali naudoti kelis švyturių mazgus tokiems veiksniams kaip geresnis veikimo laikas, pasitikėjimas ir paslaugų atsisakymo apsauga. Šiose sąrankose arba kai naudojama atsarginės tikrinimo programos klientas, vartotojai turi būti atsargūs, kad tikrintuvas nepasirašytų prieštaringų pranešimų.

Švyturių grandinės patvirtinimo priemonės įjungimas ir gyvavimo ciklas

Kiekvienam tikrintojui reikia 32 ETH balanso, kad jis būtų suaktyvintas. Vartotojas, įnešęs 32 ETH į indėlių sutartį „Ethereum mainnet“, suaktyvins vieną tikrintuvą.

Švyturių grandinė pašalina (išjungia) visus patvirtintojus, kurių balansas siekia 16 ETH; suinteresuotosios šalys galės pašalinti likusią patvirtintojo balansą, bet ne eth2 0 etape.

Patvirtintojai taip pat gali išeiti savanoriškai, tarnaudami 2048 epochose, maždaug 9 dienas. Kai išeisite, vėluoja keturios epochos, kol suinteresuotieji gali atsiimti savo dalį. Per keturias epochas validatorių vis tiek galima sugauti ir nukirsti. Tada sąžiningo tikrintojo likutį galima atsiimti maždaug per 27 valandas. Bet jei tikrintojas nukenčia, dalyvis turi palaukti 8 192 epochas (maždaug 36 dienas), kol galės pasitraukti..  

Daugiau techninių detalių aprašyta Pastaba apie „Ethereum 2.0“ 0 fazės tikrintuvo gyvavimo ciklą įskaitant šią schemą:

Švyturių grandinės tikrinimo ciklas 1

Norint išvengti didelių tikrintuvo pakeitimų, nustatytų per trumpą laiką, yra mechanizmų, ribojančių, kiek tikrintojų gali būti aktyvuojama ar išeinama iš epochos. Pvz., Tai apsunkina greitą daugelio tikrintojų aktyvavimą, kad būtų galima atakuoti sistemą.

Švyturių grandinėje naudojama gilesnė efektyvių balansų koncepcija, kuri keičiasi rečiau nei tikrintojų likučiai ir leidžia atlikti techninius optimizavimus.

Apvyniojimas

Kiekvienoje epochoje tikrintojai yra tolygiai padalijami į laiko tarpsnius ir paskui skirstomi į tinkamo dydžio komitetus. Tikrintojai gali būti tik viename lizde ir viename komitete. Kartu:

  • visi epochos patvirtintojai bando užbaigti tą patį kontrolinį tašką: balsavimas dėl FFG
  • visi patvirtintojai, paskirti laiko tarpsniuose, bando balsuoti dėl tos pačios „Beacon“ grandinės galvos: balsas „LMD GHOST“
  • visi komitetui priskirti tikrintojai bando susieti tam tikrą šukę

Optimalus elgesys labiausiai apdovanoja tikrintojus.

Norint suaktyvinti švyturių grandinę, genezėje reikia mažiausiai 16 384 validatorių. Patvirtintojų skaičius gali sumažėti dėl brūkšnių ar savanoriškų išėjimų, arba suinteresuotieji gali aktyvuoti daugiau. Tikimasi, kad bus dar daugiau patvirtintojų, nes sistema pakils iki eth2 1 fazės ir vėliau. „Beacon“ grandinei reikia mažiausiai 262 144 patvirtintojų (įtraukta daugiau nei aštuoni milijonai ETH), kad būtų blokai, apimantys 64 kryžmines nuorodas.

Anksčiau pasaulyje niekada nebuvo keičiamos decentralizuotų sistemų ir programų platformos. Jei jus įkvepia nerti giliau, yra autoritetingų nuorodų „Ethereum 2.0“ specifikacijos.  Tai apima „Beacon Chain“ specifikaciją, nuorodas į kitus pagrindinius išteklius ir klausimus, susijusius su premijomis. Šiuo metu aktualiausias poreikis yra Bendradarbiavimas tinkle. Prisidėkite arba nukreipkite kitus iššūkius, ethresear.ch arba „Ethereum Magician“ forume ir tapkite istorijos kūrimo dalimi!

Užsiprenumeruokite „ConsenSys“ naujienlaiškį

Gaukite naujausias „Ethereum 2.0“ naujienas ir paaiškinimus tiesiai į savo pašto dėžutę. Prenumeruoti „Ethereum 2.0“ naujienlaiškis Prenumeruokite mūsų naujienlaiškį, kuriame rasite naujausias „Ethereum“ naujienas, įmonės sprendimus, kūrėjų išteklius ir dar daugiau. El. Pašto adresas Išskirtinis turinysKaip sukurti sėkmingą „Blockchain“ produktąInternetinis seminaras

Kaip sukurti sėkmingą „Blockchain“ produktą

Kaip nustatyti ir paleisti „Ethereum“ mazgąInternetinis seminaras

Kaip nustatyti ir paleisti „Ethereum“ mazgą

Kaip susikurti savo „Ethereum“ APIInternetinis seminaras

Kaip susikurti savo „Ethereum“ API

Kaip sukurti socialinį ženkląInternetinis seminaras

Kaip sukurti socialinį ženklą

Saugumo priemonių naudojimas kuriant išmanųjį kontraktąInternetinis seminaras

Saugumo priemonių naudojimas kuriant išmanųjį kontraktą

Finansų ateitis Skaitmeninis turtas ir „DeFi“Internetinis seminaras

Finansų ateitis: skaitmeninis turtas ir „DeFi“

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map