이더 리움 2.0에 대한 보상 및 페널티 [단계 0]

블로그 1뉴스 개발자 엔터프라이즈 블록 체인 설명 이벤트 및 컨퍼런스 보도 자료뉴스 레터

뉴스 레터 구독.

이메일 주소

우리는 귀하의 개인 정보를 존중합니다

홈 블로그 Codefi 활성화

이더 리움 2.0에 대한 보상 및 페널티 [단계 0]

by James Beck 3 월 2, 2020Posted on March 2, 2020

iOS의 이미지

소개

ConsenSys Codefi는 글로벌 시장이 “Finance 2.0″으로 이동할 수 있도록 상거래 및 금융 용 블록 체인 운영 체제를 구축하고 있습니다. 이러한 노력의 중요한 부분은 새로운 금융 상품 및 시장의 중추 역할을 할 수 있도록 최대한 분산 된 네트워크를 장려하는 기본 디지털 자산의 생성 및 사용을 가능하게하는 것입니다. ‘Ethereum 2.0’을 활성화하고 지분 증명으로의 전환은 우리의 최우선 과제이며, 토큰 경제학을 포함하여 이러한 주제에 대한 경험, 전문 지식 등을 공유하게되어 기쁩니다..

Ethereum 1.0에 대한 엄청난 수요로 인해 거래가 체인에 포함될 때까지 오랜 시간 대기하고 변동이 심한 거래 수수료 (가스) 가격과 같은 바람직하지 않은 사용자 경험이 발생하기도했습니다. 대규모 확장 성 (초당 15 개 정도의 트랜잭션이 아닌 초당 수천 건의 트랜잭션을 처리 할 수있는 능력)은 오랫동안 이더 리움 계획의 일부였습니다..

우리는 이제 이더 리움 2.0 출시의 첫 단계 인 0 단계에 있습니다. 2.0의 모든 단계가 완전히 구현되면 거래량이 크게 향상됩니다. 이더 리움 코드의 두 가지 주요 업그레이드는 샤딩과 지분 증명입니다. 이 업그레이드를 통해 경제성, 합의 및 운영 메커니즘이 재 설계된 네트워크가 생성됩니다. 이에 대해서는 아래에서 자세히 설명하겠습니다..

자극

Ethereum 1.0은 작업 증명 블록 체인입니다. 블록을 생성하기 위해 채굴자는 사용 가능한 해시 레이트에 비례하고 체인의 난이도에 반비례하는 확률로 퍼즐을 해결합니다. 광부가 성공하면 2 ETH에 거래 수수료를 더한 보상을받습니다. 그게 다야. 마지막 블록의 난이도를 검사하여 네트워크 해시 레이트 추정, 그러면 다음 블록을 획득 할 확률을 알려주고 지불금을 예측할 수 있습니다..

이더 리움 2.0은이 부서에서 좀 더 기술적입니다..

여기에 도착하여 봉투 참조의 뒷면을 원하시면 ‘네트워크 발행에 대한 유용한 추정치’섹션으로 건너 뛰십시오..

이 문서의 목적은 독자에게 Ethereum 2.0의 지분 증명 구현과 보상 및 벌금 시스템에 대한 개요를 제공하는 것입니다. 우리는 특정 가정이 주어 졌을 때 지분의 ROI가 무엇인지에 대한 빠른 평가와 함께 인센티브를 요약으로 나눌 것입니다. Codefi Staking-as-a-Service 팀이 구축중인 시뮬레이션의 티저로 마무리하여이 주제에 대해보다 세밀하게 이해합니다..

정직한 검증 자

에 한 번 또는 여러 번 지불하는 경우 예금 계약 Eth1 체인에 배포되어 32 ETH 이상의 금액이 발생하면 Eth2 Beacon 체인의 유효성 검사자가 될 수 있습니다..

검증 인의 지분에 추가 할 수있는 ETH의 양에는 제한이 없습니다. 그러나 상한선이 있습니다. 효과적인 균형, 32 ETH로 설정 – Beacon 체인 내에서 상호 작용을 계산하는 실제 금액은 얼마입니까? 즉, 잔액은 1000 ETH까지 높을 수 있지만 보상과 벌금은 32 ETH로 제한되는 유효 잔액의 함수입니다..

반면에 검증 인이 페널티의 영향을 받아 잔액이 16 ETH 이하로 떨어지면 강제 (또는 비자발적) 출구.

소위 정직한 검증 자 잘 설계된 클라이언트를 운영하고 비콘 체인 사양을 준수하여 잘못된 투표에 대한 처벌을 피할 것입니다. 또는 더 나쁜 것은 프로토콜 오작동으로 인해.

언급하는 것이 중요합니다. 벌금을받는 것은 베인 것과 같지 않다: 전자는 예를 들어 잘못된 투표 (특정 매개 변수 내) 또는 오프라인 상태로 인해 유효성 검사기의 잔액이 감소한 경우에만 나타납니다. slashable 증명을 발생시킨 검증 인은 Beacon 체인에서 강제로 철회되며, 출발 대기열에있는 기간 동안 각 Epoch에서 잔액이 불이익을받습니다..

Ethereum 2.0의 블록 채굴 및 합의에 대해

비콘 체인의 흐름은 슬롯. 하트 비트처럼-매 12 초마다-검증자가 블록 제안자로 선택됩니다. 블록이 발행되고 전파되면 검증 자 증명위원회가이 블록이 표준 체인의 일부가되도록 투표합니다..

Beacon 체인에있는위원회의 목적은 검증 인을 배포하여 각위원회가 당 한 번씩 투표 할 수 있도록하는 것입니다. 시대 (32 개 슬롯마다). 위원회 내의 검증 자들이 서로 소문을 나누고 증명을 집계 할 수 있습니다..

슬롯 중에 제안 된 블록이없는 경우 건너 뛴 슬롯. 이 경우 이전 슬롯에서 사용 가능한 마지막 블록에 추가 제안 또는 증명이 작성됩니다..

제안자는 새로운 표준으로 상태 전환을 수행 할 블록을 선택합니다. 머리 사슬의. 이 선택은 알고리즘에 의해 이루어집니다. LMD GHOST 포크 선택: 절차는받은 투표에서 반복적으로 가장 큰 가중치가있는 포크를 선택합니다. 검증 인이이 블록을 증명할 때 실제로 그들은이 포크 선택에 찬성 투표합니다..

블록 체인에 최종성을 제공하기 위해, 즉 상태를 되돌릴 수 없다는 확신을주기 위해 정직한 검증 자들은 Eth2 구현Casper the Finality Gadget (FFG), 증언에 두 개의 추가 투표를 제공합니다. 하나는 최근 정당화 된 에포크 (출처), 그리고 하나는 최신 epoch 경계 (표적).

 

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

 

에서 각 시대의 시작, 증명이 계산됩니다. 과반수 (2/3)가있는 경우 가장 최근에 정당화 된 에포크 체크 포인트가 제 시간에 앞으로 이동되고 특정 규칙에 따라 이전 에포크 또는 이전 에포크에 대해 최종 결정이 이루어집니다..

시스템이 여러 epoch (현재 사양에 따라 4 개)에서 최종성을 달성하지 못한 경우 비콘 체인의 모든 유효성 검사기가 비 활동 패널티.

여기에 풀어야 할 것이 많이 있습니다! 세부 사항에 대해 더 자세히 알아보고 싶다면 가장 좋은 참조는 Gasper (GHOST + Casper에서와 같이) 종이 (Buterin et al), 실제 단계 0의 체인 사양 (이더 리움 재단), 인간을위한 0 단계 (대니 라이언) 그리고 먼저 읽어야 할 비콘 체인 이더 리움 설명자 (조셉 차우).

보상 및 벌금

날카로운

존재 슬래시 검증 인이 강제 종료 비콘 체인이 떠날 때까지 많은 페널티를받습니다..

검증자가 슬래시 조건을 얻을 수있는 세 가지 방법이 있습니다.

  1. 됨으로써 제안자 동일한 슬롯에 대해 두 개의 다른 비콘 블록에 서명합니다..

  2. 됨으로써 증명 자 다른 것을 “포괄”하는 증명에 서명합니다..

  3. 증명자가되어 동일한 대상을 가진 두 개의 다른 증명에 서명.

이 모든 경우에, 슬래 싱 프로세스를 트리거하려면 범인을 잡아야합니다. 내부 고발 유효성 검사기는 제안자가 블록에 포함 할 수 있도록 위법 행위를 포함하는 특정 메시지를 생성하고 전파합니다. 제안자와 내부 고발자 모두 보상을받을 수 있습니다..

사양에서 완전히 명확하지는 않지만 Phase 0 제안자 만 내부 고발자 보상을받습니다. – 그건, 제안자는 전체 베기 보상을받습니다. (8/8).

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

가정

위반자는 슬래시 유효성 검사자가되고 철회 가능한 epoch 세트가 할당됩니다. 36 일 (8,192 epochs) 미래.

또한, 슬래시 된 유효성 검사기는

  1. 최소 벌금 현재 제안자는 내부 고발 메시지를 블록에 포함하고 있습니다.

  2. 에 벌금 모든 시대의 시작, 헤드 / FFG 투표 누락, 유효성 검사기가 종료 대기열을 떠날 때까지

  3. 특별 벌 내부 고발 메시지가 블록에 포함 된 시간과 베인 범죄자가 탈퇴 할 수있는 시간 사이에 적용됩니다..

이 특별 벌금은 해당 기간 동안 얼마나 많은 다른 검증 인이 제거되었는지에 비례합니다. 적용되는 최대 금액은 전체 위반자의 유효 잔액만큼 높을 수 있습니다..

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

가정

 

스크린 샷 2020-03-02 at 7.47.04 PM.png

 

신기원 처리

에서 각 시대의 시작 (GENESIS를 제외한 32 개 슬롯마다)

  1. 체인의 정당화 및 마무리

  2. 증명 자에게 보상 및 벌금 할당

  3. 유효성 검사기 레지스트리 업데이트

  4. 특수 베기 페널티 (위 참조)

  5. 일부 최종 업데이트 (유효 잔액 계산, 재설정 등)

검증 인은 유효한 보상 및 / 또는 페널티를 받기 위해 이전 시대의 상태. 종료 될 때까지 슬래시 된 검증 인도이 프로세스에 참여하며 FFG 일치 카테고리에서만 벌점을받습니다..

유효성 검사기가 이전 시대에 활성화 된 경우, 그러나 투표하지 않았다, 그것은 얻을 것이다 처벌 FFG 투표와 일치하지 않는 경우. 유효성 검사기는 오프라인 상태로 슬래시되지 않습니다..

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

가정

 

스크린 샷 2020-03-02 at 7.47.04 PM.png

 

  • Finality Delay = 이전 epoch – Finalized epoch

  • 증명 잔액 = 슬래시되지 않은 증명 자 잔액의 합계

  • 일정한 BASE_REWARD_FACTOR = 64

  • 일정한 BASE_REWARDS_PER_EPOCH = 4

  • 일정한 PROPOSER_REWARD_QUOTIENT = 8

  • 일정한 MIN_EPOCHS_TO_INACTIVITY_PENALTY = 4

  • 일정한 INACTIVITY_PENALTY_QUOTIENT = 2 ** 25

 

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

 

네트워크 발행에 대한 유용한 추정

새로 습득 한 지식을 활용하여 보상 및 페널티에 대한 추정치를 산출 해 보겠습니다. 임의의 시대에. 간단하게 만들고 두 개의 매개 변수로 시작합니다..

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

전자는 자명 한 반면, 후자는 무작위로 선택된 검증자가 비콘 체인 (호스트 머신이 켜져 있음)에 참여할 수 있거나 작동중인 인터넷 연결 또는 기타 요인을 가질 수있는 확률로 볼 수 있습니다..

우리가 가정하면 모두 비콘 체인의 유효성 검사자는 균형과 유효 균형이 모두 다음과 같습니다. 32 ETH, 위의 온라인 확률을 사용합니다.

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

이제 우리는 다음과 같은 보상과 벌점을 계산할 조건에 있습니다. 각 검증 자에 대해

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

마지막 두 가지 인센티브를 위해 약간의 작업이 필요합니다. 블록 증명자는 슬롯에있는 온라인 유효성 검사자로 간주되며 시대에 균등하게 분산됩니다. 증명 자 인센티브를 위해 우리는 기하학적 시리즈를 수렴 이 보상은 증명에 포함 된 슬롯의 차이에 반비례하기 때문에 예상 값의 확률 트리를 정의한 후 얻을 수 있습니다..

제안자 인센티브가 다른 금액을 훨씬 초과한다는 것을 알 수 있습니다. 비콘 체인의 모든 검증 자 중 한 명의 제안자가 각 슬롯에서 선택되어 총 지분이 증가함에 따라 하나가 될 확률이 줄어든다는 것을 상기하십시오. 즉, 한 시대 내에서, N 명의 검증 자 중 32 명만이 제안자가 됨.

또한 슬래시 된 유효성 검사기 및 내부 고발자에 대해 어떠한 가정이나 계산도하지 않을 것이며 비활성 지연도 발생하지 않습니다..

우리가 곱하다 온라인 또는 오프라인 유효성 검사기의 각 금액으로 얻은 개별 값을 추가하고 주어진 초기 조건에서 생성 된 금액의 추정치에 도달합니다..

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

즉, 주위 에포크 당 1.25 ETH (6.4 분) 총 지분 500,000 ETH에서 온라인 확률 95 % 가정.

95 %의 온라인 확률로 이동하고, 계산하고, 차트를 작성하고 싶은 유혹이 있습니다..

출처 : ConsenSys Codefi 분석

출처 : ConsenSys Codefi 분석

마무리

우리가 얻은이 양을 곱하면 시대 당, 주다 일년생 식물 견적?

대답하기 전에 , 다음 요소를 고려해 보겠습니다.

밸런스

균형이 각 시대에서 ETH 생성에 영향을 미치는 여러 가지 방법이 있습니다. 예를 들어 검증자가 효과적인 균형 한도 (즉, 32 ETH), 이러한 모든 초과 자금은 다음 시대의 계산에 영향을 미치지 않습니다. 또한 히스테리시스 유효 잔액에 적용하면 실제로 각 검증 인에서 ETH의 일부가 “분실”됩니다..

검증 인이 꺼냄 최소 금액 (16 ETH)을 유지하지 못하여 검증 인이 활성화 새로운 예금이 Eth1 예금 계약에 지불되거나 스테이 커가 트리거 할 때 자발적인 출구.

날카로운

슬래 싱 작업은 모델링에 사소한 시간이 아닙니다. 우선 Eth2 클라이언트 개발자와 스테이 킹 서비스는 조건이 삭감되는 것을 피하는 방법을 배워야합니다. 반면에 우리는 시스템에서 정직한 플레이어의 비율이 얼마인지 추측 할 수 있습니다. 또는 그들의 범죄가 발견, 방송되고 블록에 포함될 것인지 여부.

확률

우리는 이미 정직한 플레이어의 비율과 내부 고발자를위한 출판 가능성에 대해 다루었습니다. 또한 노드가 온라인 상태이고 잘 연결되어 있으며 제대로 작동 할 것임을 측정하고 추정 할 수있는 다양한 방법을 생각해 봅시다. 그 증명이 적시에 집계되고 포함되거나 대다수가보고있는 슬롯의보기를 얻을 수 있음.

비콘 체인은 복잡한 적응 시스템. 각 부분을 완벽하게 이해한다고해서 전체를 완벽하게 이해한다고 보장 할 수는 없습니다..

모든 주제에 대한 숙달은 작업을위한 방법론과 도구를 선택하는 것으로 시작됩니다. 으로 모델링 및 시뮬레이션 여러 초기 조건, 가정 및 제약 조건 하에서 검증 인과 체인 내 상호 작용의 측면에서 우리는이 지분 증명 구현의 복잡성에 대한 통찰력을 구축 할 수 있어야합니다..

감사의 말

ConsenSys Codefi의 Staking-as-a-Service 플랫폼의 설계자이자 기술 책임자 인 Herman Junge 작성.

원고에 대한 의견을 보내 주신 Joseph Chow, Ben Edgington, Sylvain Laurent, Diederik Protolambda Loerakker, Tim Lowe, Danny Ryan, Alex Stokes 및 Kuhan Tharmananthar에게 감사드립니다..

서비스로서의 스테이 킹에 대해 더 알고 싶으십니까? 여기에서 ConsenSys Codefi에 연락하십시오.

분산 형 네트워크 DeFiEthereum 2.0Industry Insight 뉴스 레터 최신 이더 리움 뉴스, 엔터프라이즈 솔루션, 개발자 리소스 등을 보려면 뉴스 레터를 구독하십시오.

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