Glosario cripto

Casper FFG (Gasper)

Definición

Casper FFG es el mecanismo de finalidad de la prueba de participación de Ethereum; junto a la regla LMD-GHOST forma Gasper, que finaliza bloques.

Casper the Friendly Finality Gadget (FFG) trabaja con checkpoints, el primer bloque de cada época. Los validadores votan un enlace entre un checkpoint de origen y otro de destino. Cuando validadores con dos tercios del ETH en staking respaldan ese enlace, el destino queda justificado, y cuando a un checkpoint justificado le sigue un hijo también justificado, pasa a estar finalizado. En condiciones normales tarda unas dos épocas, unos 13 minutos.

Ethereum combina FFG con LMD-GHOST, una regla de elección de bifurcación que escoge la cabeza de la cadena a partir de los votos más recientes; el conjunto se llama Gasper. LMD-GHOST mantiene la producción de bloques en cada slot y FFG añade la garantía económica de que revertir un bloque finalizado exigiría penalizar con slashing al menos un tercio del stake. Exchanges y puentes suelen esperar a la finalidad antes de abonar depósitos grandes.

La finalidad no es inmediata: si más de un tercio de los validadores se desconecta, la cadena sigue creando bloques pero deja de finalizar hasta que la fuga por inactividad recupera una mayoría de dos tercios. La investigación sobre finalidad en un solo slot busca acortar la espera, pero forma parte de la hoja de ruta, no de la red actual.

Ejemplo

Un puente entre Ethereum y otra cadena espera a que Casper FFG finalice el bloque con el depósito del usuario, unos 13 minutos, antes de liberar los fondos en destino.

Términos relacionados

Últimos artículos sobre Casper FFG