Награди и наказания за Ethereum 2.0 [Фаза 0]

блог 1NewsDevelopersEnterpriseBlockchain ExplainedEvent and ConferencesPressБюлетини

Абонирайте се за нашия бюлетин.

Имейл адрес

Ние уважаваме вашата поверителност

HomeBlogCodefi Активиране

Награди и наказания за Ethereum 2.0 [Фаза 0]

от Джеймс Бек 2 март 2020 г. Публикувано на 2 март 2020 г.

Изображение от iOS

Въведение

ConsenSys Codefi изгражда блокчейн операционната система за търговия и финанси, за да помогне на световните пазари да преминат към „Finance 2.0“. Критична част от това усилие е да се даде възможност за създаване и използване на собствени цифрови активи, които стимулират максимално децентрализираните мрежи, за да служат надеждно като опора за нови финансови продукти и пазари. Активирането на „Ethereum 2.0“ и преходът към доказателство за залог е за нас първо място и ние сме щастливи да започнем да споделяме нашия опит, опит и много повече по тези теми, включително тук, символичната икономика.

Огромното търсене на Ethereum 1.0 понякога води до нежелани потребителски преживявания като продължителни чакания за включване на транзакциите във веригата и променливи цени на таксите за транзакции (газ). Мащабната мащабируемост – способността да се обработват хиляди транзакции в секунда, а не текущите 15-тина и повече транзакции в секунда – отдавна е част от плана за Ethereum.

Сега сме в първата фаза – фаза 0 – от стартирането на Ethereum 2.0. След като всички фази от 2.0 бъдат напълно приложени, обемът на транзакциите ще се подобри драстично. Две големи подобрения в кода на Ethereum биха направили това възможно: шардинг и Proof-of-stake. Това надграждане ще доведе до мрежа с преработена икономика, консенсус и механизъм на действие, което ще обясним по-подробно по-долу.

Мотивация

Ethereum 1.0 е блокчейн с доказателство за работа: За да сече блок, майньорите решават пъзел с вероятност, пропорционална на хешрейта, с който разполагат, и обратно пропорционална на трудността във веригата. Ако миньорът успее, той получава награда от 2 ETH плюс такси за транзакции. Това е всичко. Като изследвате трудността на последния блок, можете изчислете хешрейта на мрежата, което от своя страна ще ви уведоми какви са вашите шансове за получаване на следващия блок, което ви позволява да предскажете изплащанията си.

Ethereum 2.0 е малко по-техничен в този отдел.

Ако сте пристигнали тук и просто искате да имате задната част на справка за плика, моля, прескочете до раздела „Полезна оценка на издаването на мрежата“.


Целта на този документ е да даде на читателя преглед на прилагането на Ethereum 2.0 на Proof-of-share, както и на неговата система от награди и наказания. Ще разделим стимулите на обобщение, с бърза оценка на това каква може да бъде възвръщаемостта на инвестицията на даден дял, при определени предположения. Завършваме с тийзър на симулация, който изгражда екипът на Codefi Staking-as-a-Service, за да получим по-фино разбиране на тази тема.

Честният валидатор

Ако извършите едно или няколко плащания към договор за депозит разположени във веригата Eth1, натрупвайки се до сума, равна или по-голяма от 32 ETH, можете да се класирате за валидатор на веригата Eth2 Beacon.

Няма ограничения за това колко ETH можете да добавите към залога на валидатора. Има обаче горна граница – а именно ефективен баланс, зададен на 32 ETH – върху това какво е действителното количество, което се брои за взаимодействията му във веригата Beacon. С други думи, балансът ви може да достигне до 1000 ETH, но вашите награди и наказания са функция на вашия ефективен баланс, ограничен до 32 ETH.

От друга страна, ако вашият валидатор е засегнат от наказания и балансът му падне до или под 16 ETH, той задейства това, което се нарича насилствен (или неволен) изход.

Така нареченият честни валидатори ще работи с добре проектирани клиенти, спазвайки спецификациите на веригата Beacon, избягвайки наказания за неправилно гласуване. Или, което може да е по-лошо, нарязване за неправилно поведение на протокола.

Важно е да се спомене това получаването на наказание не е същото като нарязването: Първият представлява само намаляване на баланса на валидатора поради, например, грешен глас (в рамките на определени параметри) или офлайн. Валидатор, който е хванат, за да получи атестация, която може да се намали, се изтегля принудително от веригата Beacon, като балансът му се наказва през всяка епоха през периода, в който е на опашката за напускане.

За блоковото коване и консенсус в Ethereum 2.0

Потокът на веригата Beacon е изграден върху единица време, наречена слот. Подобно на сърдечен ритъм – на всеки 12 секунди – валидатор се избира да бъде предлагащият блок. След като блокът е изсечен и разпространен, атестираща комисия от валидатори гласува този блок да бъде част от каноничната верига.

Целта на комитетите от веригата Beacon е да разпространяват валидаторите, така че всеки да може да гласува веднъж на всеки епоха (на всеки 32 слота). Валидаторите в комисиите клюкарстват помежду си, позволявайки събирането на атестации.

Ако по време на слот не е предложен блок, той се идентифицира като a пропуснат слот. В тази ситуация допълнителни предложения или атестации се изграждат върху последния блок, наличен от бивш слот.

Предложителят избира кой блок ще извърши прехода на състоянието към новия каноничен глава на веригата. Тези избори се извършват по алгоритъма Избор на вилица LMD GHOST: Процедурата избира разклонението, над което има рекурсивно най-голямото тегло при получените гласове. Когато валидаторите потвърждават този блок, те всъщност гласуват в полза на този избор на вилица.

За да се осигури окончателност на блокчейна, тоест увереността, че държавата не може да бъде обърната, честните валидатори използват Прилагане на Eth2 на Каспър приспособлението за окончателност (FFG), като предоставят в своите атестации два допълнителни гласа: Един за последната оправдана епоха (източник) и един за най-новата граница на епохата (цел).

 

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

 

В началото на всяка епоха, атестациите се броят. Ако съществува свръхмажоритарност (две трети), последният обоснован контролен пункт за епохата ще бъде преместен напред във времето и при определени правила ще бъде постигнато финализиране или за предходната епоха, или за предшественика.

Ако системата не е постигнала окончателност през няколко епохи (4 според текущата спецификация), всички валидатори във веригата на маяка се удрят с наказание за бездействие.

Тук има какво да разопаковате! Ако искате да проучите допълнително подробностите, най-добрите препоръки са Гаспер (както в GHOST + Casper) хартия (Buterin et al), действителната спецификации на веригата във фаза 0 (Фондация Ethereum), Фаза 0 за хората (Дани Райън) и обяснителят на веригата за маяци ethereum, който трябва да прочетете първо (Джоузеф Чоу).

Награди и наказания

Нарязване

Битие нарязан означава, че валидаторът е принуден да излезе веригата за маяци в даден момент, получавайки редица наказания, докато напусне.

Има три начина, по които валидаторът може да получи нарязаното условие:

  1. Като си предложител и подпишете два различни маякови блока за един и същ слот.

  2. Като си свидетел и подпишете атестация, която „заобикаля“ друга.

  3. Като сте свидетел и подпишете две различни атестации с една и съща цел.

Във всички тези случаи нарушителят трябва да бъде заловен, за да може да се задейства процесът на нарязване. Удостоверителят за подаване на сигнали за нередности ще създаде и разпространи конкретно съобщение, съдържащо нарушението, за да може вносителят да го включи в блок. И вносителят, и подателят на сигнала ще имат право на награда.

Това не е напълно очевидно в спецификацията, но във фаза 0 само вносителят получава награда за подател на сигнал – това е, предлагащият получава цялата рязаща награда (8/8 от него).

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Предположения

Нарушителят става нарязан валидатор и му се задава изтегляем набор от епохи 36 дни (8 192 епохи) в бъдещето.

Нещо повече, наклоненият валидатор получава

  1. A минимално наказание в момента предложителят включва съобщението за подаване на сигнали за нередности в блок

  2. Наказание при началото на всяка епоха, за липсващи гласове / FFG гласове, докато валидаторът не напусне изходната опашка

  3. A специално наказание се прилага по средата между времето, когато съобщението за подаване на сигнал е включено в блок, и времето, когато нарязаният нарушител може да се оттегли.

Тази специална санкция е пропорционална на това колко други валидатори също са нарязани за периода. Максимално приложеният максимум може да бъде толкова висок, колкото е ефективният баланс на целия нарушител.

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Предположения

 

Снимка на екрана 2020-03-02 в 19.47.04 PM.png

 

Обработка на епоха

В началото на всяка епоха (на всеки 32 слота, с изключение на GENESIS), се случват няколко неща, включително

  1. Обосновка и финализиране на веригата

  2. Назначаване на награди и наказания на атестиращи

  3. Актуализация на регистъра на валидатора

  4. Специалното наказание за рязане (вж. По-горе) и

  5. Някои окончателни актуализации (изчисляване на ефективни баланси, нулиране и т.н.)

Валидаторът трябва да има активен статус от предишната епоха за получаване на награди и / или наказания. До излизането им в този процес влизат и наклонени валидатори, където те ще бъдат наказани само в категориите за съвпадение на FFG.

Ако валидатор е бил активен през предходната епоха, но не гласува, ще получи наказани за несъответствие на гласовете на FFG. Валидаторите не се нарязват за офлайн.

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Предположения

 

Снимка на екрана 2020-03-02 в 19.47.04 PM.png

 

  • Забавяне на окончателността = Предишна епоха – Финализирана епоха

  • Атестиращ баланс = Сума от нечерен баланс на атестера

  • Постоянно BASE_REWARD_FACTOR = 64

  • Постоянно BASE_REWARDS_PER_EPOCH = 4

  • Постоянно PROPOSER_REWARD_QUOTIENT = 8

  • Постоянно MIN_EPOCHS_TO_INACTIVITY_PENALTY = 4

  • Постоянно INACTIVITY_PENALTY_QUOTIENT = 2 ** 25

 

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

 

Полезна оценка на издаването на мрежа

Нека се възползваме от новопридобитите ни знания, за да изготвим обратна страна на плика за оценка на наградите и наказанията за една произволна епоха. Искаме да го направим просто и да започнем само с два параметъра.

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Първият е обясним сам по себе си, докато вторият може да се разглежда като вероятността произволно избран валидатор да може да участва във веригата на маяка (неговата хост машина е включена), да има работеща интернет връзка или други фактори.

Ако направим предположението, че всичко валидаторите във веригата за маяци имат както баланса, така и ефективния баланс 32 ETH, и използваме онлайн вероятността по-горе, имаме

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Сега сме в състояние да изчислим следните награди и наказания за всеки валидатор

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Необходимо е да се работи малко за последните два стимула: Приема се, че блоковите атестатори са онлайн валидаторите в слот, равномерно разпределени през епохата; За стимула на атестатора ще го направим сближават геометричните редове което получаваме след дефиниране на дървото на вероятностите за очакваната стойност, тъй като тази награда е обратно пропорционална на разликата в слотовете, тя е включена от атестацията.

Виждаме, че стимулиращият кандидат надвишава в голяма степен останалите суми. Спомнете си, че един предложител сред всички валидатори във веригата за маяци е избран на всеки слот, което прави шансовете да стане един по-малък, докато общият залог расте. С други думи, в рамките на една епоха, само 32 от N валидатори стават кандидати.

Забележете също така, че няма да правим никакви предположения или изчисления относно нарязани валидатори и техните сигналисти, нито забавяне на бездействието.

Ако ние умножете индивидуалните стойности, получени от съответното количество онлайн или офлайн валидатори, и ние ги добавяме, стигаме до оценка на генерираната сума от дадените първоначални условия.

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Тоест наоколо 1,25 ETH за епоха (6,4 минути) от общ залог от 500 000 ETH и приемайки онлайн вероятност от 95%.

Изкушаващо е да се направи, изчисли и направи диаграма – при 95% онлайн вероятност – количеството ETH, създадено по време на една епоха при различни залози.

Източник: Анализ на ConfiSys Codefi

Източник: Анализ на ConfiSys Codefi

Обобщавайки

Трябва ли просто тогава да умножим тази сума, която получихме на епоха, да се даде годишен оценка?

Преди да отговорите да, нека разгледаме следните фактори:

Баланс

Има много различни начини, по които балансите влияят върху създаването на ETH във всяка епоха. Например, ако валидаторът получи награди в горната част на ефективен баланс ограничение (това е 32 ETH), всички тези надвишаващи средства няма да повлияят на изчисленията през следващата епоха. Също така, поради хистерезис приложен към ефективни салда, всъщност има част от ETH „загубени“ за всеки валидатор.

Помислете също какво се случва, когато валидаторите са изхвърлен поради неспазване на минималната сума (16 ETH), когато валидаторите са активиран тъй като новите депозити ще бъдат изплащани по договора за депозит Eth1 или когато стакерите стартират доброволни изходи.

Нарязване

Операциите за нарязване ще бъдат в продължение на доста време нетривиални за моделиране. Като начало, разработчиците на Eth2 клиенти и услугите за залагане трябва да се научат как да избегнат условията за намаляване. От друга страна, можем само да гадаем какъв ще бъде делът на честните играчи в системата; Или дали техните нарушения ще бъдат разкрити, излъчени и включени в блокове.

Вероятности

Вече засегнахме темата за дела на честните играчи и шансовете да публикуваме за подател на сигнал. Нека помислим и за различните начини, по които можем да измерим и изчислим, че възел ще бъде онлайн, добре свързан и работи правилно. Че неговите атестации ще бъдат обобщени и включени навреме, или получаване на изглед на слота, който мнозинството вижда.

Веригата на маяка е a сложна адаптивна система. Дори да постигнем перфектно разбиране на всяка от отделните му части, не е гарантирано, че ще придобием перфектно разбиране за цялото.

Овладяването по който и да е предмет започва, като се избират методологии и инструменти за задачата. От моделиране и симулиране аспекти на валидатора и неговите взаимодействия в рамките на веригата – при редица първоначални условия, предположения и ограничения – би трябвало да можем да изградим представа за тънкостите на това изпълнение на доказателство за залог.

Благодарности

Написано от Херман Юнге, архитект и технически ръководител на платформата за залагане като услуга на ConsenSys Codefi.

Благодарим на Джоузеф Чоу, Бен Еджингтън, Силвен Лоран, Дидерик Протоламбда Лоракер, Тим Лоу, Дани Райън, Алекс Стоукс и Кухан Тарманантар за коментарите по ръкописа.

Искате ли да научите повече за залагането като услуга? Свържете се с ConsenSys Codefi тук.

Децентрализирани мрежи DeFiEthereum 2.0Industry InsightNewsletter Абонирайте се за нашия бюлетин за най-новите новини за Ethereum, корпоративни решения, ресурси за разработчици и други.

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