Nagrody i kary w Ethereum 2.0 [faza 0]

blog 1AktualnościDevelopersEnterpriseBlockchain ExplainedWydarzenia i konferencjePrasaBiuletyny

Zapisz się do naszego newslettera.

Adres e-mail

Szanujemy twoją prywatność

HomeBlogCodefi Aktywuj

Nagrody i kary w Ethereum 2.0 [faza 0]

przez James Beck 2 marca 2020 Opublikowane w dniu 2 marca 2020

Obraz z iOS

Wprowadzenie

ConsenSys Codefi buduje blockchainowy system operacyjny dla handlu i finansów, aby pomóc globalnym rynkom przejść w kierunku „Finance 2.0”. Kluczową częścią tych wysiłków jest umożliwienie tworzenia i wykorzystywania rodzimych zasobów cyfrowych, które zachęcają maksymalnie zdecentralizowane sieci, aby niezawodnie służyły jako kręgosłup dla nowych produktów i rynków finansowych. Umożliwienie „Ethereum 2.0” i przejście na weryfikację stawki jest dla nas priorytetem i chętnie dzielimy się naszym doświadczeniem, wiedzą i wieloma innymi tematami na te tematy, w tym, tutaj, ekonomia tokenów.

Ogromny popyt na Ethereum 1.0 powodował czasami niepożądane doświadczenia użytkowników, takie jak długie oczekiwanie na uwzględnienie transakcji w łańcuchu i zmienne ceny opłat transakcyjnych (gazu). Ogromna skalowalność – możliwość przetwarzania tysięcy transakcji na sekundę zamiast obecnych 15 lub więcej transakcji na sekundę – od dawna była częścią planu dla Ethereum.

Jesteśmy teraz w pierwszej fazie – fazie 0 – premiery Ethereum 2.0. Gdy wszystkie fazy 2.0 zostaną w pełni wdrożone, liczba transakcji znacznie się poprawi. Umożliwiłyby to dwie główne aktualizacje w kodzie Ethereum: sharding i Proof-of-betting. Ta aktualizacja spowoduje powstanie sieci z przeprojektowaną ekonomią, konsensusem i mechanizmem działania, które wyjaśnimy bardziej szczegółowo poniżej.

Motywacja

Ethereum 1.0 to blockchain oparty na dowodzie pracy: aby wybić blok, górnicy rozwiązują zagadkę z prawdopodobieństwem proporcjonalnym do dostępnego hashratu i odwrotnie proporcjonalnym do trudności w łańcuchu. Jeśli górnik odniesie sukces, otrzyma nagrodę w wysokości 2 ETH plus opłaty transakcyjne. To wszystko. Badając stopień trudności ostatniego bloku, możesz oszacować hashrate sieci, co z kolei pozwoli Ci wiedzieć, jakie są Twoje szanse na zdobycie następnego bloku, umożliwiając przewidywanie wypłat.

Ethereum 2.0 jest nieco bardziej techniczny w tym dziale.

Jeśli przyjechałeś tutaj i chcesz mieć tylko odwrotną stronę numeru koperty, przejdź do sekcji „Przydatne oszacowanie emisji sieci”.


Celem tego dokumentu jest przedstawienie czytelnikowi przeglądu implementacji Ethereum 2.0, opartej na dowodzie stawki, a także jej systemu nagród i kar. Podzielimy te zachęty na podsumowanie, z szybką oceną tego, jaki może być zwrot z inwestycji dla stawki przy określonych założeniach. Kończymy zwiastunem symulacji, którą tworzy zespół Codefi Staking-as-a-Service, aby uzyskać bardziej szczegółowe zrozumienie tego tematu.

Uczciwy walidator

Jeśli dokonasz jednej lub kilku płatności na rzecz umowa depozytowa wdrożonych w łańcuchu Eth1, z kwotą równą lub większą niż 32 ETH, możesz kwalifikować się jako walidator łańcucha Eth2 Beacon.

Nie ma ograniczeń co do tego, ile ETH możesz dodać do stawki walidatora. Istnieje jednak górna granica – a mianowicie skuteczna równowaga, ustawiony na 32 ETH – od faktycznej kwoty, która liczy się dla jego interakcji w łańcuchu Beacon. Innymi słowy, Twoje saldo może wynosić nawet 1000 ETH, ale Twoje nagrody i kary są funkcją efektywnego salda ograniczonego do 32 ETH.

Z drugiej strony, jeśli na twój walidator mają wpływ kary, a jego saldo spadnie do lub poniżej 16 ETH, wyzwala to, co nazywa się mocne (lub mimowolne) wyjście.

Tak zwany uczciwi walidatorzy będą obsługiwać dobrze zaprojektowanych klientów, przestrzegając specyfikacji łańcucha Beacon, unikając kar za nieprawidłowe głosowanie. Albo co może być gorsze, cięcie za niewłaściwe zachowanie protokołu.

Warto o tym wspomnieć otrzymanie kary to nie to samo, co bycie ściętym: Pierwsza reprezentuje tylko spadek salda walidatora z powodu, na przykład, błędnego oddania głosu (w ramach pewnych parametrów) lub bycia offline. Walidator, który zostanie przyłapany na posiadaniu możliwego do przecięcia poświadczenia, jest siłą wycofywany z łańcucha Beacon, a jego równowaga jest karana w każdej epoce w okresie, gdy znajduje się w kolejce do opuszczenia.

W sprawie Block Minting i Consensus w Ethereum 2.0

Przepływ łańcucha Beacon jest oparty na jednostce czasu zwanej otwór. Jak bicie serca – co 12 sekund – walidator jest wybierany jako osoba proponująca blok. Gdy blok zostanie wybity i rozpropagowany, komisja atestująca składająca się z walidatorów głosuje za tym blokiem, aby stał się częścią łańcucha kanonicznego.

Celem komitetów w łańcuchu Beacon jest dystrybucja walidatorów, tak aby każdy z nich mógł głosować raz na epoka (co 32 sloty). Walidatorzy w komisjach plotkują między sobą, umożliwiając agregację atestów.

Jeśli podczas slotu nie ma zaproponowanego bloku, jest identyfikowany jako pominięty slot. W tej sytuacji dalsze propozycje lub atesty są budowane na ostatnim dostępnym bloku z poprzedniego gniazda.

Wnioskodawca wybiera, w którym bloku dokona przejścia stanu do nowego kanonicznego głowa łańcucha. Ten wybór jest dokonywany przez algorytm Wybór widelca LMD GHOST: Procedura wybiera widelec, nad którym rekurencyjnie występuje największa waga w otrzymanych głosach. Kiedy walidatory potwierdzają ten blok, w rzeczywistości głosują za tym wyborem widelca.

Aby zapewnić ostateczność blockchainowi, czyli pewność, że stan nie może zostać odwrócony, uczciwi walidatorzy wykorzystują Wdrożenie Eth2 z Casper the Finality Gadget (FFG), umieszczając w swoich poświadczeniach dwa dodatkowe głosy: jeden na ostatnią usprawiedliwioną epokę (źródło) i jedną dla granicy najnowszej epoki (cel).

 

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

 

Na początek każdej epoki, liczone są poświadczenia. Jeśli istnieje większa większość (dwie trzecie), ostatni uzasadniony punkt kontrolny epoki zostanie przesunięty do przodu w czasie i, zgodnie z określonymi zasadami, finalizacja zostanie osiągnięta albo dla poprzedniej epoki, albo dla jej poprzednika..

Jeśli system nie osiągnął ostateczności w kilku epokach (4 według aktualnej specyfikacji), wszystkie walidatory w łańcuchu sygnałów nawigacyjnych są trafione kara bezczynności.

Tutaj jest dużo do rozpakowania! Jeśli chcesz dowiedzieć się więcej o szczegółach, najlepsze referencje to Gasper (jak w GHOST + Casper) papier (Buterin i in.), Rzeczywisty specyfikacje łańcucha w fazie 0 (Fundacja Ethereum), Faza 0 dla ludzi (Danny Ryan) i wyjaśnienie ethereum łańcucha beacon, które musisz przeczytać najpierw (Joseph Chow).

Nagrody i kary

Cięcie

Istota cięte oznacza, że ​​walidator jest zmuszony wyjść łańcuch latarni w pewnym momencie w przyszłości, otrzymując szereg kar, dopóki nie opuści.

Istnieją trzy sposoby, w jakie walidator może uzyskać przecięty warunek:

  1. Będąc proposer i podpisz dwa różne bloki latarni dla tego samego gniazda.

  2. Będąc attester i podpisz zaświadczenie, które „otacza” inne.

  3. Będąc atestującym i podpisując dwa różne zaświadczenia mające ten sam cel.

We wszystkich tych przypadkach przestępca musi zostać złapany, aby rozpocząć proces cięcia. Walidator do sygnalizowania nieprawidłowości utworzy i rozpowszechni konkretną wiadomość zawierającą wykroczenie, aby wnioskodawca mógł umieścić ją w bloku. Nagroda będzie przysługiwała zarówno wnioskodawcy, jak i informatorowi.

Nie jest to całkowicie oczywiste w specyfikacji, ale w fazie 0 tylko wnioskodawca otrzymuje nagrodę informatora – to jest, wnioskodawca otrzymuje całą nagrodę za cięcie (8/8 z tego).

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Założenia

  • Stały MIN_SLASHING_PENALTY_QUOTIENT = 32

  • Stały WHISTLEBLOWER_REWARD_QUOTIENT = 512

  • Stały PROPOSER_REWARD_QUOTIENT = 8

Przestępca staje się ściętym walidatorem i zostaje przypisany do wycofania zestaw epok 36 dni (8192 epok) w przyszłości.

Ponadto przecięty walidator otrzymuje

  1. ZA minimalna kara w tej chwili wnioskodawca umieszcza w bloku komunikat informujący o nieprawidłowościach

  2. Kara na początek każdej epoki, za brakujące głosy head / FFG, dopóki walidator nie opuści kolejki wyjścia

  3. ZA kara specjalna stosuje się w połowie między momentem włączenia sygnalizatora do bloku a momentem, w którym ścięty przestępca może się wycofać.

Ta specjalna kara jest proporcjonalna do liczby innych walidatorów, które również zostały obcięte w tym okresie. Maksymalne zastosowane może być równe efektywnemu bilansowi całego przestępcy.

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Założenia

 

Zrzut ekranu 2020-03-02 o 7.47.04 PM.png

 

  • Stały MIN_SLASHING_PENALTY_QUOTIENT = 32

  • Stały BASE_REWARD_FACTOR = 64

  • Stały BASE_REWARDS_PER_EPOCH = 4

  • Stały EFFECTIVE_BALANCE_INCREMENT = 1

Przetwarzanie epoki

Na początek każdej epoki (co 32 gniazda, z wyjątkiem GENESIS), dzieje się kilka rzeczy, w tym

  1. Uzasadnienie i finalizacja łańcucha

  2. Przydzielanie nagród i kar poświadczającym

  3. Aktualizacja rejestru walidatora

  4. Specjalna kara za cięcie (patrz wyżej), oraz

  5. Niektóre aktualizacje końcowe (obliczanie sald efektywnych, resetowanie itp.)

Walidator musi mieć aktywny status w poprzedniej epoce, aby otrzymać nagrody i / lub kary. Aż do ich wyjścia, walidatory z przecięciem również wchodzą w ten proces, gdzie będą karane tylko w pasujących kategoriach FFG.

Jeśli walidator był aktywny w poprzedniej epoce, ale nie głosował, to dostanie karane za niedopasowanie głosów FFG. Walidatory nie są obcinane za bycie offline.

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Założenia

 

Zrzut ekranu 2020-03-02 o 7.47.04 PM.png

 

  • Opóźnienie ostateczności = poprzednia epoka – zakończona epoka

  • Saldo atestujące = suma salda atestującego bez ukośnych punktów

  • Stały BASE_REWARD_FACTOR = 64

  • Stały BASE_REWARDS_PER_EPOCH = 4

  • Stały PROPOSER_REWARD_QUOTIENT = 8

  • Stały MIN_EPOCHS_TO_INACTIVITY_PENALTY = 4

  • Stały INACTIVITY_PENALTY_QUOTIENT = 2 ** 25

 

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

 

Przydatne oszacowanie emisji sieci

Skorzystajmy z naszej nowo zdobytej wiedzy, aby przedstawić ostateczne oszacowanie nagród i kar przez jedną dowolną epokę. Chcemy to uprościć i zacząć od tylko dwóch parametrów.

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

To pierwsze jest oczywiste, podczas gdy drugie można postrzegać jako prawdopodobieństwo, że losowo wybrany walidator jest w stanie uczestniczyć w łańcuchu sygnałów nawigacyjnych (jego komputer hosta jest włączony), ma działające połączenie internetowe lub inne czynniki.

Jeśli przyjmiemy, że wszystko walidatory w łańcuchu sygnałów nawigacyjnych mają zarówno równowagę, jak i równowagę efektywną równą 32 ETH, i używamy powyższego prawdopodobieństwa online

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Teraz jesteśmy w stanie obliczyć następujące nagrody i kary dla każdego walidatora

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Trzeba trochę popracować nad dwoma ostatnimi zachętami: zakłada się, że atestatorzy blokowi są walidatorami online w slocie, równomiernie rozłożonymi w całej epoce; Dla zachęty atestującej będziemy zbiegają się w szereg geometryczny które otrzymujemy po zdefiniowaniu drzewa prawdopodobieństwa wartości oczekiwanej, ponieważ ta nagroda jest odwrotnie proporcjonalna do różnicy szczelin jest ona uwzględniana z atestu.

Widzimy, że zachęta wnioskodawcy w dużej mierze przewyższa inne kwoty. Przypomnij sobie, że jeden wnioskodawca spośród wszystkich walidatorów w łańcuchu sygnałów nawigacyjnych jest wybierany na każdym polu, co zmniejsza szanse na zmniejszenie się o jeden w miarę wzrostu całkowitej stawki. Innymi słowy, w epoce, tylko 32 z walidatorów N zostało wnioskodawcami.

Zwróć też uwagę, że nie podejmiemy żadnych założeń ani nie wyliczimy na temat wyciętych walidatorów i ich sygnalistów, ani opóźnienia braku aktywności.

Jeśli my zwielokrotniać poszczególne wartości uzyskane przez odpowiednią liczbę walidatorów online lub offline, a my je dodajemy, dochodzimy do oszacowania kwoty wygenerowanej z podanych warunków początkowych.

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

To znaczy dookoła 1,25 ETH na epokę (6,4 minuty) z łącznej stawki 500 000 ETH i przy założeniu 95% prawdopodobieństwa online.

To kuszące, aby przejść, obliczyć i sporządzić wykres – z 95% prawdopodobieństwem online – ilości ETH utworzonej w danej epoce przy różnych stawkach.

Źródło: ConsenSys Codefi Analysis

Źródło: ConsenSys Codefi Analysis

Podsumowanie

Czy powinniśmy teraz iść dalej i pomnożyć otrzymaną kwotę na epokę, dać roczny oszacowanie?

Przed odpowiedzią tak, rozważmy następujące czynniki:

Saldo

Istnieje wiele różnych sposobów, w jakie równowaga wpływa na tworzenie ETH w każdej epoce. Na przykład, jeśli walidator otrzyma nagrody oprócz skuteczna równowaga cap (czyli 32 ETH), wszystkie te przekroczone fundusze nie będą miały wpływu na obliczenia w następnej epoce. Również ze względu na histereza W przypadku sald efektywnych w rzeczywistości część ETH jest „tracona” na każdym walidatorze.

Zastanów się również, co się dzieje, gdy są walidatory wyrzucony z powodu niedotrzymania minimalnej kwoty (16 ETH), gdy są walidatory aktywowany ponieważ nowe depozyty zostaną wpłacone na podstawie umowy depozytowej Eth1 lub gdy uruchomią się stakery dobrowolne wyjścia.

Cięcie

Modelowanie operacji cięcia przez długi czas będzie nietrywialne. Na początek programiści klienta Eth2 i usługi obstawiania muszą nauczyć się, jak uniknąć obniżenia warunków. Z drugiej strony możemy tylko zgadywać, jaki będzie odsetek uczciwych graczy w systemie; Albo czy ich przestępstwa zostaną odkryte, nadane i włączone do bloków.

Prawdopodobieństwa

Poruszyliśmy już temat odsetka uczciwych graczy i szans na publikację dla demaskatora. Zastanówmy się również nad różnymi sposobami, w jakie możemy zmierzyć i oszacować, że węzeł będzie online, dobrze połączony i działający poprawnie. Że jego atesty zostaną zebrane i uwzględnione na czas, lub że większość z nich dostanie widok na slot.

Łańcuch latarni to złożony system adaptacyjny. Nawet jeśli osiągniemy doskonałe zrozumienie każdej z jego poszczególnych części, nie ma gwarancji, że uzyskamy doskonałe zrozumienie całości.

Znajomość dowolnego przedmiotu zaczyna się od wyboru metodologii i narzędzi do wykonania zadania. Przez modelowanie i symulacja aspekty walidatora i jego interakcje w łańcuchu – w ramach szeregu warunków początkowych, założeń i ograniczeń – powinniśmy być w stanie uzyskać wgląd w zawiłości tej implementacji Proof of Rate.

Podziękowanie

Napisane przez Hermana Junge, architekta i kierownika technicznego platformy Staking-as-a-Service firmy ConsenSys Codefi.

Dziękujemy Josephowi Chowowi, Benowi Edgingtonowi, Sylvain Laurentowi, Diederikowi Protolambda Loerakker, Timowi Lowe, Danny Ryanowi, Alexowi Stokesowi i Kuhan Tharmananthar za komentarze do rękopisu.

Chcesz dowiedzieć się więcej o obstawianiu jako usłudze? Skontaktuj się z ConsenSys Codefi tutaj.

Sieci zdecentralizowane DeFiEthereum 2.0 Informacje branżoweNewsletterZapisz się do naszego newslettera, aby otrzymywać najnowsze wiadomości o Ethereum, rozwiązania dla przedsiębiorstw, zasoby dla programistów i nie tylko.

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