Jutalmak és büntetések az Ethereum 2.0-n [0. szakasz]

blog 1NewsDevelopersEnterpriseBlockchain ExplainedEvents and ConferencesPressHírlevelek

Iratkozzon fel hírlevelünkre.

Email cím

Tiszteletben tartjuk a magánéletét

HomeBlogCodefi Aktiválás

Jutalmak és büntetések az Ethereum 2.0-n [0. szakasz]

James Beck 2020. március 2. Feladva 2020. március 2-án

Kép az iOS-ről

Bevezetés

A ConsenSys Codefi építi a kereskedelem és a pénzügyek blokklánc operációs rendszerét, hogy segítse a globális piacokat a „Finance 2.0” felé. Ennek az erőfeszítésnek kritikus része az olyan natív digitális eszközök létrehozásának és használatának lehetővé tétele, amelyek a maximálisan decentralizált hálózatokat ösztönzik arra, hogy megbízhatóan az új pénzügyi termékek és piacok gerincét képezzék. Az „Ethereum 2.0” engedélyezése és a tétbiztosításra való áttérés előttünk áll, és örömmel kezdjük megosztani tapasztalatainkat, szakértelmünket és még sok minden mást ezekről a témákról, ideértve a jelképes közgazdaságtant is.

Az Ethereum 1.0 iránti óriási igény néha olyan nemkívánatos felhasználói tapasztalatokat eredményezett, mint például a tranzakciók láncba vételének hosszas várakozása és az ingadozó tranzakciós díjak (gáz) ára. A hatalmas skálázhatóság – több ezer tranzakció másodpercenkénti feldolgozása, a jelenlegi körülbelül 15 tranzakció / másodperc helyett – már régóta része az Ethereum tervének.

Most vagyunk az Ethereum 2.0 bevezetésének első szakaszában – 0. fázisban. Miután a 2.0 összes fázisa teljes mértékben megvalósult, a tranzakciók volumene drámaian javulni fog. Az Ethereum kód két fő frissítése ezt lehetővé tenné: aprítás és tét igazolása. Ez a frissítés egy olyan hálózatot eredményez, amely átdolgozott közgazdaságtannal, konszenzussal és működési mechanizmussal rendelkezik, amelyet az alábbiakban részletesebben elmagyarázunk.

Motiváció

Az Ethereum 1.0 egy Munkahiteles blokklánc: A blokk elnyerése érdekében a bányászok egy rejtvényt oldanak meg a rendelkezésre álló hashrátussal arányos valószínűséggel, és fordítva arányosak a lánc nehézségével. Ha a bányásznak sikerül, 2 ETH jutalmat és tranzakciós díjakat kap. Ez minden. Az utolsó blokk nehézségének vizsgálatával megteheti becsülje meg a hálózati hasrátot, ez pedig tudatja Önnel, hogy milyen esélye van a következő blokk megszerzésére, lehetővé téve a kifizetések előrejelzését.

Az Ethereum 2.0 egy kicsit technikaibb ebben a részlegben.

Ha ide érkezett, és csak a boríték referencia hátoldalát szeretné megkapni, ugorjon a „Hasznos becslés a hálózati kibocsátásra” szakaszra.


E dokumentum célja, hogy áttekintést adjon az olvasónak az Ethereum 2.0 tétbiztosításának megvalósításáról, valamint jutalmazási és büntetési rendszeréről. Az ösztönzőket összefoglalásra bontjuk, gyors feltételezéssel felmérve, hogy mi lehet a részesedés megtérülése (ROI). A Codefi Staking-as-a-Service csapat által létrehozott szimuláció előzetesével véglegesítjük, hogy jobban megismerjük ezt a témát..

A becsületes validátor

Ha egy vagy több fizetést teljesít a betéti szerződés az Eth1 láncban telepítve, 32 ETH-val egyenlő vagy annál nagyobb összeggel halmozva, akkor az Eth2 Beacon lánc validátorának minősülhet.

Nincs korlátozás arra vonatkozóan, hogy mennyi ETH-t tehet fel a validátor tétjéhez. Van azonban egy felső határ – mégpedig a hatékony egyensúly, 32 ETH-ra állítva – mennyi az a tényleges összeg, amely számít a beacon-lánc interakcióinak. Más szóval, az egyenlege elérheti az 1000 ETH-t is, de a jutalmai és a büntetései a tényleges egyenlegének függvényei, felső határa 32 ETH.

Másrészt, ha az érvényesítőt büntetések érintik, és egyenlege 16 ETH alá vagy alá csökken, ez kiváltja az úgynevezett erőszakos (vagy önkéntelen) kilépés.

Az úgynevezett becsületes validátorok jól megtervezett ügyfeleket fog működtetni, betartva a Beacon lánc specifikációit, elkerülve a helytelen szavazásért járó büntetéseket. Vagy ami még rosszabb lehet, ha rontja a protokoll hibás viselkedését.

Fontos ezt megemlíteni a büntetés megkapása nem egyenlő azzal, hogy megvágják: Az előbbi csak a hitelesítő egyensúlyának csökkenését jelenti, például nem megfelelő szavazás (bizonyos paramétereken belül) vagy offline állapot miatt. Az érvényesítőt, akit elcsípett igazolással kaptak el, erőteljesen kivonják a Beacon láncból, egyenlegét minden korszakban megbüntetik abban az időszakban, amikor a kilépő sorban van..

A blokkverésről és az Ethereum 2.0 konszenzusáról

A Beacon lánc áramlása az úgynevezett időegységre épül rés. Mint egy szívdobbanás – 12 másodpercenként – az érvényesítőt választják a blokk javaslattevőjének. Amint a blokkot megverték és szaporították, a validátorok tanúsító bizottsága megszavazza, hogy ez a blokk a kanonikus lánc része legyen.

A Beacon láncban lévő bizottságok célja a validátorok kiosztása, hogy mindegyikük egyszer szavazhasson korszak (32 nyílásonként). A bizottságokon belüli ellenőrök pletykálkodnak egymással, lehetővé téve az igazolások összesítését.

Ha egy rés alatt nem javasolunk blokkot, akkor a-ként azonosítjuk kihagyott rés. Ebben a helyzetben további javaslatok vagy igazolások épülnek a korábbi résből elérhető utolsó blokkra.

A javaslattevő megválasztja, hogy melyik blokk alapján hajtja végre az új átmenetet az új kánonba fej a lánc. Ezt a választást az algoritmus végzi LMD GHOST villa választás: Az eljárás kiválasztja azt a villát, amely felett rekurzívan a legnagyobb súly van a kapott szavazatokban. Amikor a validátorok igazolják ezt a blokkot, valójában e villa választás mellett szavaznak.

Annak érdekében, hogy a blokklánc végleges legyen, vagyis annak biztosítása, hogy az állam nem fordítható meg, az őszinte validátorok kihasználják a Eth2 megvalósítás nak,-nek Casper a végleges modul (FFG), igazolásukban két további szavazatot adva: Az egyik a legújabb indokolt korszakra (forrás), és egyet a legújabb korszakhatárra (cél).

 

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

 

A minden korszak kezdete, az igazolásokat megszámolják. Ha létezik szupernagy többség (kétharmad), akkor a legfrissebb indokolt korszakos ellenőrzési pont előrelép az időben, és bizonyos szabályok szerint a véglegesítés vagy az előző korszakra, vagy az elődre vonatkozik..

Ha a rendszer számos korszakban nem érte el a véglegességet (a jelenlegi specifikáció szerint 4), akkor a jeladó lánc összes validátorát egy tétlenségi büntetés.

Sokat lehet itt kibontani! Ha további részletekre kíváncsi, a legjobb referenciák a Gasper (mint a GHOST + Casper) papír (Buterin és mtsai), a tényleges a lánc specifikációi a 0. fázisban (Ethereum Alapítvány), 0. fázis az emberek számára (Danny Ryan), és a jeladó lánc ethereum magyarázó, amelyet először el kell olvasnia (Joseph Chow).

Jutalmak és büntetések

Vagdalkozás

Lény levágott azt jelenti, hogy az érvényesítő kénytelen kilépni a jelzőlánc a jövőben, számos büntetést kap, amíg el nem távozik.

Háromféleképpen érheti el a validátor az elvágott állapotot:

  1. Azáltal, hogy a javaslattevő és két különböző jeladó blokkot írjon alá ugyanahhoz a réshez.

  2. Azáltal, hogy egy tanúsító és aláír egy igazolást, amely „körülvesz” egy másikat.

  3. Azáltal, hogy tanúsító és aláír két különböző igazolást, amelyek ugyanazzal a céllal rendelkeznek.

Mindezekben az esetekben el kell fogni az elkövetőt annak érdekében, hogy elinduljon a vágási folyamat. A visszaélést bejelentő hitelesítő létrehoz egy konkrét üzenetet, amely továbbítja a bűncselekményt, hogy a javaslattevő blokkba foglalja. Az előterjesztő és a bejelentő egyaránt jutalomra jogosult.

Ez nem teljesen nyilvánvaló a specifikációban, de a 0. fázisban csak a javaslattevő kapja meg a bejelentő jutalmát – vagyis, a javaslattevő megkapja az egész vágó jutalmat (Ennek 8/8-a).

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Feltételezések

Az elkövető elvágott érvényesítővé válik, és visszavonható korszakkészletet kap hozzá 36 nap (8 192 korszak) a jövőben.

Sőt, a bevágott érvényesítő fogad

  1. A minimális büntetés Jelenleg a javaslattevő egy blokkba foglalja a visszaélést bejelentő üzenetet

  2. Büntetés a minden korszak kezdete, a fej / FFG szavazatok elmaradásáért, amíg az érvényesítő el nem hagyja a kilépési sort

  3. A külön büntetés félúton alkalmazzák azt az időpontot, amikor a visszaélést bejelentő üzenet blokkba kerül, és az idő között, amikor a lefaragott elkövető visszaléphet.

Ez a speciális büntetés arányos azzal, hogy hány más érvényesítőt is lefaragtak az adott időszak alatt. Az alkalmazott maximális összeg olyan magas lehet, mint az egész elkövető tényleges egyenlege.

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Feltételezések

 

Képernyőfelvétel 2020-03-02, 19.44.04 PM.png

 

Korszakfeldolgozás

A minden korszak kezdete (32 nyílásonként, kivéve a GENESIS-t), több dolog történik, többek között

  1. A lánc igazolása és véglegesítése

  2. Jutalmak és büntetések kiosztása az igazolók számára

  3. Az ellenőrző nyilvántartás frissítése

  4. A különleges szabásbüntetés (lásd fent), és

  5. Néhány utolsó frissítés (a tényleges egyenlegek, visszaállítások stb. Kiszámítása)

A hitelesítőnek rendelkeznie kell a következővel: aktív státusza az előző korszakban, hogy jutalmakat és / vagy büntetéseket kapjon. Kilépésükig a bevágott validátorok belépnek ebbe a folyamatba is, ahol csak az FFG egyeztetési kategóriákban büntetik őket.

Ha egy validátor aktív volt az előző korszakban, de nem szavazott, megkapja megbüntetik amiért nem egyezik az FFG szavazata. A hitelesítőket nem vágják le offline állapotban.

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Feltételezések

 

Képernyőfelvétel 2020-03-02, 19.44.04 PM.png

 

  • Végleges késleltetés = Előző korszak – Véglegesített korszak

  • Igazoló egyenleg = A fel nem osztott tanúsító egyenleg összege

  • Állandó BASE_REWARD_FACTOR = 64

  • Állandó BASE_REWARDS_PER_EPOCH = 4

  • Állandó PROPOSER_REWARD_QUOTIENT = 8

  • Állandó MIN_EPOCHS_TO_INACTIVITY_PENALTY = 4

  • Állandó INACTIVITY_PENALTY_QUOTIENT = 2 ** 25

 

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

 

Hasznos becslés a hálózati kibocsátásról

Használjuk ki újonnan megszerzett ismereteinket a jutalmak és a büntetések borítékbecslésének elkészítéséhez egy önkényes korszakra. Egyszerűvé akarjuk tenni, és csak két paraméterrel kezdjük.

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Az előbbi magától értetődő, míg az utóbbi annak a valószínűségének tekinthető, hogy egy véletlenszerűen kiválasztott validátor részt vehet a jeladó láncban (be van kapcsolva a gépe), működő internetkapcsolattal vagy más tényezőkkel.

Ha azt feltételezzük, hogy összes a jeladó lánc validátorainak egyensúlya és tényleges egyensúlya egyaránt megegyezik 32 ETH, és a fenti online valószínűséget használjuk

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Most olyan körülmények között vagyunk, hogy kiszámítsuk a következő jutalmakat és büntetéseket minden validátor számára

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Kicsit meg kell dolgozni az utolsó két ösztönzőért: A blokk-tanúsítókat feltételezzük, hogy az online validátorok egy slotban, egyenletesen elosztva a korszakban; Az igazoló ösztönzésére meg fogjuk tenni konvergálja a geometriai sorokat amit a várható érték valószínűségi fájának meghatározása után kapunk, mivel ez a jutalom fordítottan arányos a rések különbségével, amelyet az igazolás tartalmaz.

Látjuk, hogy a pályázó ösztönzése nagy mennyiségben meghaladja a többi összeget. Emlékezzünk vissza arra, hogy minden jelzőhelynél egy jelzőt választunk a jeladó lánc összes érvényesítője közül, így kisebb az esélye annak, hogy a teljes tét növekedésével eggyel kisebb lesz. Más szóval, egy korszakon belül, N validátor közül csak 32 válik javaslattevővé.

Figyelje meg azt is, hogy nem fogunk semmilyen feltételezést vagy számítást végezni a megvágott validátorokról és azok bejelentőiről, sem az inaktivitás késleltetéséről.

Ha mi szaporodnak az online vagy offline validátorok megfelelő mennyiségével kapott egyedi értékek, amelyeket összeadunk, megkapjuk a megadott kezdeti feltételekből származó összeg becslését.

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Vagyis körül 1,25 ETH korszakonként (6,4 perc) 500 000 ETH teljes tétből és 95% -os online valószínűséget feltételezve.

Kísértő, hogy egy korszak során különböző téteken létrehozott ETH mennyiségét felmérjük és kiszámoljuk – 95% online valószínűséggel -.

Forrás: ConsenSys Codefi elemzés

Forrás: ConsenSys Codefi elemzés

Csomagolás

Csak akkor kellene folytatnunk és megsokszoroznunk ezt a kapott összeget korszakonként, hogy adjon egy évi becslés?

Mielőtt válaszolna Igen, vegyük figyelembe a következő tényezőket:

Egyensúly

Számos különböző módon lehet az egyensúlyt befolyásolni az ETH létrehozásában az egyes korszakokban. Például, ha egy validátor jutalmat kap a hatékony egyensúly felső határ (azaz 32 ETH), mindezek a túllépő alapok nem befolyásolják a következő korszak számításait. Továbbá, a hiszterézis a tényleges egyenlegekre alkalmazva, az ETH egy része „elveszett” minden egyes validátoron.

Fontolja meg azt is, hogy mi történik, amikor az érvényesítők kidobták a minimális összeg (16 ETH) be nem tartása miatt, amikor a validátorok vannak aktív mivel új betéteket fizetnek be az Eth1 betéti szerződésbe, vagy amikor az érdekeltek aktiválják önkéntes kijáratok.

Vagdalkozás

A pergetési műveletek jó ideig nem triviálisak lesznek a modellezéshez. Először is, az Eth2 kliens fejlesztőknek és a stakes szolgáltatásoknak meg kell tanulniuk, hogyan lehet elkerülni a körülményeket. Másrészt csak találgatni tudunk, hogy mekkora lesz az őszinte játékosok aránya a rendszerben; Vagy hogy bűncselekményeiket felfedezik-e, sugározzák-e és blokkba foglalják-e?.

Valószínűségek

Már kitértünk a becsületes játékosok arányának témájára, és a visszaélések közzétételének esélyére. Gondoljunk arra is, hogy miként mérhetjük és becsülhetjük meg, hogy egy csomópont online lesz, jól kapcsolódik és megfelelően működik. Hogy tanúsítványait összesítik és időben beillesztik, vagy a többség által látott nyílást látják.

A jeladó lánc a komplex adaptív rendszer. Még akkor is, ha tökéletesen megértjük az egyes részeket, nem garantált, hogy tökéletesen megértenénk az egészet.

A tantárgy elsajátítása módszertanok és eszközök kiválasztásával kezdődik a feladathoz. Által modellezés és szimuláció a validátor aspektusai és a láncon belüli interakciói – számos kezdeti feltétel, feltételezés és korlátozás mellett – képesnek kell lenniünk betekintést nyerni a cövekalapú megvalósítás bonyodalmaiba.

Köszönetnyilvánítás

Írta: Herman Junge, a ConsenSys Codefi staking-as-a-service platformjának építésze és műszaki vezetője.

Köszönjük Joseph Chow, Ben Edgington, Sylvain Laurent, Diederik Protolambda Loerakker, Tim Lowe, Danny Ryan, Alex Stokes és Kuhan Tharmananthar véleményét a kéziratról.

Szeretne többet megtudni a szolgáltatásról? Itt vegye fel a kapcsolatot a ConsenSys Codefivel.

Decentralizált hálózatok DeFiEthereum 2.0Industry InsightNewsletterHírlevélre feliratkozás a legfrissebb Ethereum-hírekről, vállalati megoldásokról, fejlesztői erőforrásokról és egyebekről.

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