La "finalización" se define criptoeconómicamente; el grado de finalidad que tiene un bloque se puede cuantificar esencialmente por "¿cuánto ETH perderán otros validadores si este bloque resulta no ser parte de la cadena principal?" Un bloque completamente "finalizado" es aquel en el que >2/3 de los validadores de Casper perderán la totalidad de sus depósitos si el bloque termina fuera de la cadena principal (estime esto en ~2-20 millones de ETH dependiendo de cuántas personas apuesten) .
Además de la finalidad económica, es decir, la seguridad económica de un invariante, también existe la finalidad subjetiva: la falta de voluntad del cliente para cambiar de opinión.
Una vez que un cliente ve un umbral de finalidad de los depósitos de seguridad detrás de algún invariante, puede decidir no aceptar nunca ningún reclamo en contrario. No hay ningún gasto en el que pueda incurrir un adversario para revertir el estado de un cliente detrás de su último estado finalizado. Por otro lado, con un gasto suficiente, un adversario puede crear dos bloques que alcancen el umbral de finalidad económica.
escriba los números de tolerancia a fallas. 1/3 es la tolerancia a fallas más alta posible para los protocolos de consenso asíncronos que favorecen la consistencia. Este número no se aplica a Casper porque favorece la disponibilidad. Además, no participar para evitar la finalidad es costoso, algo que nunca se captura en el análisis BFT tradicional. Me siento bastante cómodo con un umbral de finalidad del 80-90%.
Aleatorioazul
Vitalik Buterín
Aleatorioazul
A. Federico Dudley