Notícies Desenvolupadors Empresa Bloc de la cadena explicada Esdeveniments i conferències PremsaButlletins informatius
Subscriu-te al nostre butlletí.
Correu electrònic
Respectem la vostra privadesa
IniciBlogCodefi Activa
Recompenses i sancions a Ethereum 2.0 [Fase 0]
per James Beck, 2 de març de 2020 Publicat el 2 de març de 2020
Introducció
ConsenSys Codefi està construint el sistema operatiu blockchain per al comerç i les finances per ajudar els mercats mundials a avançar cap a “Finances 2.0”. Una part fonamental d’aquest esforç és permetre la creació i l’ús d’actius digitals de forma nativa que incentivin les xarxes descentralitzades al màxim per servir de forma fiable com a eixos vertebradors de nous productes i mercats financers. Habilitar “Ethereum 2.0” i la transició a la prova de participació és fonamental per a nosaltres, i estem encantats de començar a compartir la nostra experiència, experiència i molt més sobre aquests temes, incloent-hi, aquí, l’economia simbòlica.
L’enorme demanda d’Ethereum 1.0 de vegades ha donat lloc a experiències d’usuaris no desitjades, com ara llargues esperes perquè s’incloguin transaccions a la cadena i preus volàtils de les comissions de transacció (gas). L’escalabilitat massiva (la capacitat de processar milers de transaccions per segon en lloc de les 15 o més transaccions per segon actuals) fa temps que forma part del pla d’Ethereum.
Ara estem a la primera fase (fase 0) del llançament d’Ethereum 2.0. Un cop totes les fases de la versió 2.0 estiguin completament implementades, el volum de transaccions millorarà dràsticament. Dues importants actualitzacions del codi Ethereum ho farien possible: sharding i Prova de joc. Aquesta actualització donarà lloc a una xarxa amb economia redissenyada, consens i mecanisme d’operació, que explicarem amb més detall a continuació.
Motivació
Ethereum 1.0 és una cadena de blocs de prova de treball: per encunyar un bloc, els miners resolen un trencaclosques amb una probabilitat proporcional al hashrate que tenen disponible i inversament proporcional a la dificultat de la cadena. Si el miner té èxit, obtindrà una recompensa de 2 ETH més comissions de transacció. Això és tot. En examinar la dificultat de l’últim bloc, podeu fer-ho estima el hashrate de la xarxa, que al seu torn us permetrà saber quines són les vostres probabilitats per obtenir el següent bloc, cosa que us permetrà predir els vostres pagaments.
Ethereum 2.0 és una mica més tècnic en aquest departament.
Si heu arribat aquí i només voleu tenir una part posterior de la referència del sobre, aneu a la secció “Una estimació útil de l’emissió de la xarxa”.
L’objectiu d’aquest document és donar al lector una visió general de la implementació de la prova d’aposta d’Ethereum 2.0, així com del seu sistema de recompenses i sancions. Desglossarem els incentius en un resum, amb una avaluació ràpida del que podria ser el ROI d’una participació, tenint en compte certs supòsits. Finalitzem amb un teaser d’una simulació que està creant l’equip de Codefi Staking-as-a-Service per obtenir una comprensió més detallada d’aquest tema..
El Validador Honest
Si efectueu un o diversos pagaments a contracte de dipòsit desplegat a la cadena Eth1, acumulant un import igual o superior a 32 ETH, podeu optar a validar la cadena Eth2 Beacon.
No hi ha límits quant a ETH que podeu afegir a la participació d’un validador. Tanmateix, hi ha un límit superior: el equilibri efectiu, fixat a 32 ETH: segons quina quantitat real es compta per a les seves interaccions dins de la cadena Beacon. Dit d’una altra manera, el vostre saldo podria arribar als 1000 ETH, però les recompenses i les multes depenen del vostre saldo efectiu amb un límit de 32 ETH..
En canvi, si el vostre validador es veu afectat per sancions i el seu saldo baixa o és inferior a 16 ETH, activarà el que s’anomena sortida contundent (o involuntària).
L’anomenat validadors honestos executarà clients ben dissenyats, complint les especificacions de la cadena Beacon, evitant penalitzacions per votació incorrecta. O el que podria ser pitjor, reduir el comportament incorrecte del protocol.
És important esmentar-ho rebre una penalització no és el mateix que reduir-se: El primer representa només una disminució del saldo al validador a causa, per exemple, d’un vot de difusió errònia (dins de certs paràmetres) o de la seva connexió. Es retira de la cadena Beacon un validador que és atrapat incorrent en una atestació slashable, amb el seu saldo penalitzat en cada època durant el període que està a la cua de sortida.
Sobre l’encunyació de blocs i el consens a Ethereum 2.0
El flux de la cadena Beacon es basa en una unitat de temps anomenada ranura. Com un batec del cor (cada 12 segons), es tria un validador per ser el proposador de blocs. Un cop encunyat i propagat el bloc, un comitè de validadors valora que aquest bloc formi part de la cadena canònica..
L’objectiu dels comitès de la cadena Beacon és distribuir els validadors, de manera que cadascun pugui votar una vegada per cada època (cada 32 ranures). Els validadors dels comitès xafardegen entre si, cosa que permet l’agregació d’atestacions.
Si durant una ranura no hi ha cap bloc proposat, s’identifica com a ranura saltada. En aquesta situació, es construeixen altres propostes o certificacions a l’últim bloc disponible des d’una antiga ranura.
El proponent tria sobre quin bloc realitzarà la transició d’estat al nou canònic cap de la cadena. Aquesta elecció es fa mitjançant l’algorisme Elecció de forquilla LMD GHOST: El procediment selecciona la forquilla sobre la qual hi ha recursivament el major pes en vots rebuts. Quan els validadors testifiquen aquest bloc, de fet voten a favor d’aquesta opció de forquilla.
Per tal de proporcionar finalitat a la cadena de blocs, és a dir, la garantia que l’Estat no es pot revertir, els validadors honestos aprofiten Implementació Eth2 de Gadget Casper the Finality (FFG), proporcionant a les seves certificacions dos vots addicionals: Un per a la darrera època justificada (font), i un per al límit d’època més recent (objectiu).
Font: ConsenSys Codefi Analysis
Al començament de cada època, es comptabilitzen les certificacions. Si hi ha una supermajoritat (dos terços), l’últim punt de control d’època justificat s’avançarà a temps i, segons determinades regles, s’aconseguirà la finalització ja sigui per a l’època anterior o per al seu antecessor.
Si el sistema no ha aconseguit la finalitat en diverses èpoques (4 segons l’especificació actual), tots els validadors de la cadena de balises es col·loquen amb un pena d’inactivitat.
Aquí hi ha molt per desembalar! Si voleu aprofundir en els detalls, les millors referències són Paper Gasper (com a GHOST + Casper) (Buterin et al), l’actual especificacions de la cadena a la fase 0 (Fundació Ethereum), Fase 0 per a humans (Danny Ryan), i primer heu de llegir l’explicador de l’etereu de la cadena de balises (Joseph Chow).
Recompenses i sancions
Talla
Ésser tallat significa que el validador es veu obligat a sortir la cadena de balises en un moment del futur, rebent diverses sancions fins que marxi.
Hi ha tres maneres en què un validador pot obtenir la condició reduïda:
-
En ser un proponent i signeu dos blocs de balises diferents per a la mateixa ranura.
-
En ser un certificador i signar una atestació que “envolta” una altra.
-
En ser certificador i signar dues certificacions diferents que tinguin el mateix objectiu.
En tots aquests casos, cal agafar el delinqüent perquè es desencadeni el procés de reducció. El validador de denúncies crearà i propagarà un missatge específic que conté la infracció perquè un proponent l’inclogui en un bloc. Tant el proponent com el denunciant tindran dret a una recompensa.
No és totalment evident a l’especificació, però sí a la fase 0 només el proposador obté la recompensa de denunciant – això és, el proposador obté tota la recompensa reduïda (8/8 d’ella).
Font: ConsenSys Codefi Analysis
Supòsits
-
Constant MIN_SLASHING_PENALTY_QUOTIENT = 32
-
Constant WHISTLEBLOWER_REWARD_QUOTIENT = 512
-
Constant PROPOSER_REWARD_QUOTIENT = 8
L’infractor es converteix en un validador reduït i se li assigna un conjunt d’època retirable 36 dies (8.192 èpoques) en el futur.
A més, el validador reduït rep
-
A pena mínima de moment, el proponent inclou el missatge de denúncia en un bloc
-
Un penal al començament de cada època, per perdre els vots de capçalera / FFG, fins que el validador surti de la cua de sortida
-
A pena especial s’aplica a mig camí entre el moment en què el missatge de denúncia s’inclou en un bloc i el moment en què el delinqüent reduït pot retirar-se.
Aquesta penalització especial és proporcional a quants altres validadors també s’han reduït durant el període. El màxim aplicat pot ser tan elevat com el saldo efectiu de tot l’infractor.
Font: ConsenSys Codefi Analysis
Supòsits
-
Constant MIN_SLASHING_PENALTY_QUOTIENT = 32
-
Constant BASE_REWARD_FACTOR = 64
-
Constant BASE_REWARDS_PER_EPOCH = 4
-
Constant EFFECTIVE_BALANCE_INCREMENT = 1
Processament d’època
Al començament de cada època (cada 32 ranures, excepte GENESIS), passen diverses coses, incloses
-
Justificació i finalització de la cadena
-
Assignació de recompenses i sancions als certificats
-
Actualització del registre del validador
-
La penalització especial de tall (vegeu més amunt) i
-
Algunes actualitzacions finals (càlcul de saldos efectius, restabliments, etc.)
Un validador ha d’haver tingut el actiu estat de l’època anterior per rebre recompenses i / o sancions. Fins a la seva sortida, els validadors reduïts també entren en aquest procés, on només seran penalitzats a les categories de concordança FFG.
Si un validador ha estat actiu a l’època anterior, però no va votar, aconseguirà penalitzat per no coincidir amb els vots de la FFG. Els validadors no es redueixen per estar fora de línia.
Font: ConsenSys Codefi Analysis
Supòsits
-
Retard de finalitat = Època anterior – Època finalitzada
-
Saldo de verificació = Suma de saldo de verificador sense barres
-
Constant BASE_REWARD_FACTOR = 64
-
Constant BASE_REWARDS_PER_EPOCH = 4
-
Constant PROPOSER_REWARD_QUOTIENT = 8
-
Constant MIN_EPOCHS_TO_INACTIVITY_PENALTY = 4
-
Constant INACTIVITY_PENALTY_QUOTIENT = 2 ** 25
Font: ConsenSys Codefi Analysis
Una estimació útil de l’emissió de la xarxa
Utilitzem els coneixements adquirits recentment per produir una estimació posterior de les recompenses i les multes durant una època arbitrària. Volem fer-ho senzill i començar amb només dos paràmetres.
Font: ConsenSys Codefi Analysis
El primer s’explica per si mateix, mentre que el segon es pot veure com la probabilitat que un validador triat a l’atzar pugui participar a la cadena de balises (la màquina host està activada), que tingui una connexió a Internet que funcioni o altres factors..
Si fem la suposició que tot els validadors de la cadena de balises tenen un equilibri i un saldo efectius iguals 32 ETH, i fem servir la probabilitat en línia anterior
Font: ConsenSys Codefi Analysis
Ara estem en condicions de calcular les següents recompenses i sancions per a cada validador
Font: ConsenSys Codefi Analysis
Cal treballar una mica per als dos darrers incentius: es suposa que els certificats de bloc són els validadors en línia en una ranura, distribuïts uniformement per tota l’època; Per l’incentiu de l’atestat, ho farem convergeixen les sèries geomètriques que obtenim després de definir l’arbre de probabilitats del valor esperat, ja que aquesta recompensa és inversament proporcional a la diferència de ranures que s’inclou de l’atestació.
Veiem que l’incentiu del proponent supera en gran quantitat la resta d’imports. Recordeu que a cada ranura es tria un proponent entre tots els validadors de la cadena de balises, cosa que fa que les probabilitats de fer-se un siguin més petites a mesura que creixi la participació total. Dit d’una altra manera, dins d’una època, només 32 de N validadors es converteixen en proponents.
Tingueu en compte, també, que no farem cap supòsit ni càlcul sobre validadors reduïts i els seus denunciants, ni tampoc el retard d’inactivitat.
Si nosaltres multiplicar els valors individuals obtinguts per la quantitat respectiva de validadors en línia o fora de línia, i els afegim, arribem a una estimació de la quantitat generada a partir de les condicions inicials donades.
Font: ConsenSys Codefi Analysis
És a dir, al voltant 1,25 ETH per època (6,4 minuts) d’una participació total de 500.000 ETH i suposant una probabilitat en línia del 95%.
És temptador anar, calcular i representar, amb una probabilitat en línia del 95%, la quantitat d’ETH creada durant una època en diferents participacions.
Font: ConsenSys Codefi Analysis
Finalitzant
En aquest moment hauríem de seguir endavant i multiplicar aquesta quantitat que vam obtenir per època, donar un anuals estimació?
Abans de respondre sí, considerem els factors següents:
Equilibri
Hi ha moltes maneres diferents en què els saldos afecten la creació d’ETH en cada època. Per exemple, si un validador obté recompenses a sobre del fitxer equilibri efectiu cap (és a dir, 32 ETH), tots aquests fons superiors no influiran en els càlculs de la propera època. A més, a causa del histèresi aplicat als saldos efectius, de fet hi ha una part de l’ETH “perduda” a cada validador.
Penseu també en què passa quan són els validadors expulsat perquè no es manté l’import mínim (16 ETH), quan els validadors ho són activat ja que es pagaran nous dipòsits al contracte de dipòsit Eth1 o quan es desencadenin les apostes sortides voluntàries.
Talla
Les operacions de retallat seran durant una bona quantitat de temps no trivial per modelar. Per començar, els desenvolupadors de clients d’Eth2 i els serveis de participació han d’aprendre a evitar que es redueixin les condicions. D’altra banda, només podem endevinar quina serà la proporció de jugadors honestos del sistema; O si els seus delictes seran descoberts, difosos i inclosos en blocs.
Probabilitats
Ja vam tractar el tema de la proporció de jugadors honestos i les probabilitats de publicar per a un denunciant. Pensem també en les diferents maneres de mesurar i estimar que un node estarà en línia, ben connectat i funcionarà correctament. Que les seves certificacions s’agruparan i s’inclouran a temps, o obtenir la visió de la ranura que la majoria veuen.
La cadena de balises és un complex sistema adaptatiu. Fins i tot si aconseguim una comprensió perfecta de cadascuna de les seves parts individuals, no està garantit que obtinguem una comprensió perfecta del conjunt.
El domini de qualsevol tema comença escollint metodologies i eines per a la tasca. Per modelatge i simulació aspectes del validador i les seves interaccions dins de la cadena, sota diverses condicions inicials, suposicions i restriccions, hauríem de ser capaços de conèixer les complexitats d’aquesta implementació de prova d’aposta..
Agraïments
Escrit per Herman Junge, arquitecte i responsable tècnic de la plataforma Staking-as-a-Service de ConsenSys Codefi.
Agraïm a Joseph Chow, Ben Edgington, Sylvain Laurent, Diederik Protolambda Loerakker, Tim Lowe, Danny Ryan, Alex Stokes i Kuhan Tharmananthar els comentaris sobre el manuscrit.
Voleu obtenir més informació sobre l’aposta com a servei? Poseu-vos en contacte amb ConsenSys Codefi aquí.
Xarxes descentralitzades DeFiEthereum 2.0 Indústria Insight Butlletí Subscriviu-vos al nostre butlletí per obtenir les últimes notícies d’Ethereum, solucions empresarials, recursos per a desenvolupadors i molt més.