CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

Resumen Técnico de CoBRA: Un Protocolo de Confirmación Universal Estratégicamente Seguro para Blockchains de Prueba de Participación Basadas en Quórum

1. Planteamiento del Problema

Los protocolos tradicionales de Replicación de Máquina de Estados (SMR), como PBFT y HotStuff, operan bajo un modelo de Tolerancia a Fallos Bizantinos (BFT) que asume que al menos $2/3$ de los validadores son honestos. Sin embargo, en las blockchains de Prueba de Participación (PoS), los validadores son agentes maximizadores de beneficios en lugar de ser puramente altruistas o arbitrariamente maliciosos. Esto crea un modelo de amenaza híbrido que comprende validadores honestos, bizantinos (arbitrariamente maliciosos) y racionales (estratégicos, motivados por el beneficio).

El artículo identifica una brecha crítica: los protocolos existentes no logran proporcionar garantías de seguridad cuando los validadores racionales y bizantinos coluden. Específicamente:

• En redes de parsial sincronía, si la fracción combinada de validadores bizantinos y racionales supera $1/3$, ningún protocolo SMR basado en quórum puede garantizar la seguridad. Los validadores racionales pueden coludir con actores bizantinos para crear bloques conflictivos (equivocación) y realizar doble gasto sin ser disuadidos por el slashing, ya que el beneficio potencial supera la participación (stake) en riesgo.
• En redes síncronas, incluso con un límite de retraso conocido, la seguridad es inalcanzable si la coalición supera los $2/3$ del conjunto de validadores.
• Los protocolos "contables" existentes pueden detectar el mal comportamiento, pero no logran proporcionar restitución económica a los clientes que aceptaron transacciones conflictivas, lo que a menudo requiere la participación del cliente o la acuñación de nuevas monedas para reembolsar las pérdidas.

2. Metodología y Diseño del Protocolo

Los autores proponen CoBRA (Correct over Byzantine-Rational Adversary), una transformación genérica para protocolos PoS basados en quórum. El diseño se basa en un modelo de amenaza híbrido donde los validadores son estáticos y los clientes son "silenciosos" (no monitorean activamente la ejecución del protocolo, sino que consultan a los validadores para obtener la confirmación).

Mecanismos Clave:

• Finalización Limitada por Participación (El Gadget de Finalidad):
  Para evitar que los validadores racionales encuentren rentable realizar un fork, CoBRA impone un límite superior al volumen de transacciones finalizadas dentro de cualquier ventana de tiempo $\Delta^*$.

  • Los validadores finalizan bloques solo si el valor total de las transacciones en el conjunto finalizado no excede $C = D$ (donde $D$ es la participación de un solo validador).
  • Esto asegura que, incluso si un validador racional colude para realizar un doble gasto, su ganancia máxima está limitada en $D$. Dado que corren el riesgo de perder toda su participación $D$ mediante slashing si son detectados, el ataque se vuelve improductivo.
  • Regla de la Cadena Más Fuerte: Si una supermayoría de participantes (específicamente $> f + 1/2$) respalda de forma demostrable una cadena, el protocolo permite la confirmación instantánea de un volumen de transacciones infinito, eludiendo el límite de volumen.

• Recompensas Compatibles con Incentivos:
  Para prevenir la censura (ataques de liveness), las recompensas se distribuyen solo en ventanas donde al menos $n-f$ validadores distintos participan. Esto asegura que los validadores racionales tengan el incentivo de incluir votos y propuestas en lugar de censurarlos, ya que la exclusión reduce el fondo total de recompensas.

• Recuperación y Restitución Económica:
  Cuando el número de validadores bizantinos excede el umbral estándar de $1/3$ pero permanece por debajo de $2/3$, CoBRA entra en un régimen de seguridad económica recuperable.

  • Detección de Conflictos: Al detectar equivocación (certificados de finalidad conflictivos), los validadores detienen la finalización.
  • Acuerdo de Conjunto: Los validadores ejecutan un protocolo de acuerdo de conjunto para acordar un conjunto común de bloques para ejecutar, incluyendo todos los bloques conflictivos que fueron aceptados por los clientes.
  • Reembolso: El sistema revierte a un estado previo al fork y re-ejecuta todas las transacciones conflictivas en un orden determinista. Las pérdidas incurridas por los clientes debido al doble gasto son reembolsadas utilizando la participación confiscada de los validadores que demostrablemente se comportaron mal. Crucialmente, esto ocurre sin acuñar nuevas monedas y sin la participación del cliente en el proceso de recuperación.

3. Contribuciones Clave y Resultados de Imposibilidad

Resultados de Imposibilidad:
El artículo establece límites fundamentales para SMR basado en quórum bajo un modelo híbrido con clientes silenciosos:

1. Sincronía Parcial: Ningún protocolo SMR basado en quórum puede ser $(n, k, f)$-resiliente (donde $k$ es racional, $f$ es bizantino) si $f + k \geq n/3$. Esto generaliza el clásico umbral bizantino de $1/3$ para incluir desviaciones motivadas económicamente.
2. Sincronía: Incluso con un límite síncrono conocido, el SMR es imposible si $f + k \geq 2n/3$.
3. Latencia de Finalidad: Sin límites en los fondos líquidos o en las recompensas de participación, ningún protocolo puede garantizar la finalidad dentro de una ventana $\Delta^*$ si el tamaño del adversario excede estos umbrales, ya que los validadores racionales pueden realizar un doble gasto de montos que exceden su participación.

Contribuciones del Protocolo:

• Transformación CoBRA: Un método genérico para convertir cualquier SMR basado en quórum $(n, f)$-resiliente en un protocolo $(n, k, f^*)$-resiliente.
• Tres Regímenes Operativos:
  1. Régimen Estándar: Mantiene la seguridad contra hasta $1/3$ de validadores bizantinos en sincronía parcial.
  2. Régimen de Resiliencia Racional: Garantiza seguridad y liveness cuando existen hasta $1/3$ de validadores racionales adicionales (un total de $< 2/3$), siempre que se conozca un límite síncrono $\Delta^*$.
  3. Régimen Recuperable: Garantiza la plena restitución al cliente y la recuperación del estado cuando los validadores bizantinos exceden $1/3$ pero son menores a $2/3$.
• Cumplimiento de Coalición: El protocolo asegura que ningún validador racional tenga incentivos para desviarse, incluso al coludir con actores bizantinos, al hacer que las estrategias de cumplimiento del protocolo dominen débilmente a las estrategias de desviación.

4. Resultados y Validación Empírica

Los autores validan la viabilidad de CoBRA mediante un análisis empírico de las redes Cosmos y Ethereum:

• Tasas de Participación: El análisis de un millón de bloques consecutivos de Cosmos muestra que más del 99% de los bloques excedieron el umbral de participación de $5/6$ requerido para la regla de la "cadena más fuerte".
• Implicación: En estos escenarios del mundo real, CoBRA permitiría la confirmación instantánea de transacciones para la gran mayoría de los bloques, mientras que la regla de la participación limitada gestionaría los periodos raros de baja participación (que duran hasta ~15 minutos en los datos observados) sin comprometer la seguridad.
• Seguridad Económica: El estudio demuestra que la participación mínima confiscable de los validadores activos (aprox. $470,000 en el caso de Cosmos) es suficiente para cubrir el volumen de transacciones de las ventanas de baja participación (aprox. $180,000), asegurando que la plena restitución al cliente es teóricamente posible.

5. Significado y Reivindicaciones

El artículo afirma ser la primera transformación genérica para SMR basado en quórum que:

1. Proporciona una resiliencia racional óptima cuando las partes bizantinas son menores a $1/3$.
2. Ofrece protección económica para los clientes cuando se excede el umbral bizantino (hasta $2/3$), específicamente garantizando la plena restitución de las pérdidas sin acuñar nuevas monedas.
3. Cierra la brecha entre los límites teóricos de consenso y la seguridad práctica de PoS al abordar el comportamiento estratégico de los validadores racionales, un factor que a menudo se ignora en los análisis tradicionales de BFT.

Los autores posicionan a CoBRA como una solución que permite a las blockchains PoS mantener la seguridad y la liveness incluso cuando la suposición de la "supermayoría honesta" es violada por la colusión estratégica, siempre que la fuerza adversaria total no exceda los $2/3$ de la participación.