La discusión pública sobre slashing en redes proof-of-stake se ha estabilizado en una narrativa cómoda: se trata de un mecanismo punitivo para validadores deshonestos, la mayoría de los incidentes ocurre por error operativo, y la solución consiste en no duplicar claves.
La narrativa es parcialmente correcta y, al mismo tiempo, insuficiente. El problema no radica en la existencia del slashing ni en su severidad inicial. El problema radica en la penalización por correlación y en la forma en que la industria evalúa el riesgo operativo.
La posición que sostengo es directa: el slashing está bien diseñado como disuasivo económico, pero la penalización por correlación introduce un riesgo sistémico que el sector subestima, y la concentración de operadores agrava la exposición.
Fundamentos técnicos del slashing
El slashing es un mecanismo de penalización en cadenas proof-of-stake. Su función es castigar la equivocación, entendida como la firma de mensajes contradictorios que podrían facilitar un ataque de doble gasto o una reorganización no autorizada.
En Ethereum, las faltas slasheables se agrupan en dos categorías: Casper FFG y LMD GHOST. Incluyen la emisión de dos atestaciones con el mismo checkpoint objetivo, la emisión de atestaciones con votos que se rodean mutuamente, la propuesta de más de un bloque en la misma altura, y la atestación a cabezas distintas con idéntico origen y destino.
La lógica subyacente es correcta. Un validador con stake en riesgo tiene incentivos para actuar de forma consistente. La irracionalidad económica de atacar la red se sostiene en la magnitud de la pérdida potencial. Sin slashing, el costo de un ataque se reduce al valor del hardware y a la pérdida de recompensas futuras, un costo insuficiente para disuadir a un actor con recursos.
La distinción entre slashing y penalización por inactividad es relevante. La penalización por inactividad es menor, no expulsa al validador del conjunto activo y permite reanudar funciones. El slashing es severo, implica expulsión forzosa y activa un proceso de salida de 36 días. La diferencia de diseño refleja una diferencia de propósito: la inactividad se incentiva, la equivocación se castiga.
Hasta aquí, el consenso técnico es amplio. El desacuerdo comienza en el diseño de las penalizaciones.
Las tres penalizaciones y el problema de la correlación
Un validador slasheado en Ethereum enfrenta tres penalizaciones. La primera es una multa inicial equivalente a aproximadamente 1/32 del balance efectivo, con un máximo cercano a 1 ETH. La segunda es la pérdida continua por atestaciones omitidas durante el periodo de salida, que se extiende por 36 días. La tercera es la penalización por correlación, aplicada alrededor del día 18.
La penalización por correlación es el componente que merece escrutinio. Su fórmula escala con el porcentaje del stake total involucrado en faltas slasheables dentro de una ventana de 36 días. La penalización adicional equivale a aproximadamente tres veces ese porcentaje. Si el 5% del ETH en stake comete una falta slasheable en la ventana, cada validador afectado pierde un 15% adicional de su balance.
El diseño tiene una virtud teórica: penaliza la coordinación. Un ataque coordinado requiere que múltiples validadores actúen de forma sincronizada. La penalización por correlación encarece esa coordinación de forma superlineal. Un atacante que controle el 33% del stake enfrenta una pérdida que escala con el tamaño de la coalición.
La virtud teórica se convierte en vulnerabilidad práctica cuando la independencia de los validadores no se cumple.
La falacia de la independencia
La penalización por correlación asume que las faltas slasheables son independientes entre validadores. La suposición es razonable para un conjunto distribuido de operadores con infraestructura heterogénea. No es razonable para un conjunto dominado por operadores institucionales que comparten proveedores de infraestructura, clientes de consenso, clientes de ejecución, servicios de custodia y prácticas operativas.
La evidencia empírica respalda la preocupación. La mayoría de los eventos de slashing registrados en Ethereum se originaron en error operativo, no en malicia. El caso recurrente es la ejecución de claves de validador duplicadas en dos nodos simultáneos, con frecuencia durante una migración o una conmutación por error. La causa es humana. La consecuencia es económica.
El punto que la industria evita discutir es el siguiente: si un proveedor de servicios de staking con decenas de miles de validadores comete un error de configuración que afecta a una fracción de sus nodos, la penalización por correlación se activa como si se tratara de un ataque coordinado. La penalización superlineal castiga al operador por una falla de infraestructura, no por una conducta maliciosa.
La distinción importa. El slashing está diseñado para disuadir ataques. La penalización por correlación está diseñada para disuadir ataques coordinados. Aplicar ambas a fallas operativas correlacionadas introduce una externalidad negativa que el diseño original no contempló.
Existe un agravante. La penalización por correlación no distingue entre intención y negligencia. Un operador que ejecuta claves duplicadas por un error de configuración recibe el mismo tratamiento que un atacante que coordina validadores para revertir checkpoints. La equivalencia es problemática desde una perspectiva de incentivos. El operador negligente no busca atacar la red. El atacante sí. La penalización no diferencia.
Concentración de operadores
El argumento anterior depende de la concentración. En un conjunto de validadores con diversidad operativa, la correlación es baja y la penalización por correlación permanece cerca del mínimo. En un conjunto con concentración, la correlación es alta y la penalización por correlación se convierte en un riesgo sistémico.
La evidencia disponible apunta a concentración creciente. Los proveedores de staking líquido y los operadores institucionales controlan porciones significativas del stake en Ethereum. La tendencia no es exclusiva de Ethereum. Otras redes proof-of-stake con mecanismos de slashing muestran patrones similares.
La concentración tiene dos efectos. Primero, reduce la diversidad de infraestructura. Segundo, aumenta la probabilidad de fallas correlacionadas. La combinación eleva la exposición de cada validador individual a la penalización por correlación.
La industria reconoce la concentración como un problema de descentralización. La discusión se centra en la censura y en la captura de gobernanza. La discusión sobre slashing y riesgo operativo correlacionado recibe menos atención. La asimetría es reveladora. La censura es visible. La penalización por correlación es un riesgo latente que se materializa en eventos discretos y se olvida entre incidentes.
Qué debería cambiar
La posición que sostengo no es la eliminación de la penalización por correlación. El mecanismo cumple una función. La posición es que el sector debe reconocer el riesgo y ajustar prácticas.
Tres cambios son necesarios.
Primero, los operadores deben tratar la gestión de claves como un problema de seguridad de grado institucional, no como una tarea de configuración. La duplicación de claves no es un accidente inevitable. Es un fallo de control. Los procedimientos de rotación de claves, verificación de estado y auditoría de firmas deberían ser estándar, no opcionales.
Segundo, los proveedores de infraestructura deben ofrecer aislamiento entre entornos de validación. La conmutación por error no debería permitir que dos nodos firmen simultáneamente. Los sistemas de firma remota y los guardianes de slashing existen. Su adopción es desigual. La adopción desigual no es un problema de disponibilidad tecnológica. Es un problema de prioridades operativas.
Tercero, la investigación de mecanismos debería evaluar si la penalización por correlación requiere parámetros diferenciados para faltas maliciosas y faltas operativas. La diferenciación es técnicamente compleja. Requiere pruebas criptográficas de intención que no existen de forma generalizada. La complejidad no es una razón para ignorar el problema. Es una razón para investigar.
El slashing es un componente necesario de la seguridad económica en proof-of-stake. La penalización inicial y las pérdidas por atestación cumplen una función disuasiva. La penalización por correlación cumple una función adicional: encarecer la coordinación maliciosa.
