Resumen Técnico: La Concavidad es el Nuevo Lineal

Declaración del Problema

Las Organizaciones Autónomas Descentralizadas (DAO) dependen de la gobernanza basada en tokens, donde el poder de voto es típicamente proporcional al saldo de la billetera. Este modelo de "un token, un voto" crea una plutocracia, concentrando el control entre los grandes tenedores ("ballenas") y dejando a los protocolos vulnerables a ataques de control de tokens. Para contrarrestar esto, la comunidad ha propuesto mecanismos anti-plutocráticos, más notablemente la Votación Cuadrática (QV) y otras reglas de votación cóncavas (por ejemplo, reglas de potencia $w^\beta$, reglas logarítmicas). Estos mecanismos asignan un poder de voto sublineal por token (por ejemplo, $\sqrt{w}$ votos por $w$ tokens) para amortiguar la influencia de los grandes tenedores.

Sin embargo, estos mecanismos fueron diseñados bajo el supuesto de una única identidad estable por votante. En blockchains sin permiso, este supuesto falla debido a los ataques Sybil, donde un adversario crea múltiples identidades falsas (billeteras) para dividir sus tenencias de tokens. El problema central abordado por este artículo es si cualquier regla de votación a nivel de billetera que derive su poder únicamente del saldo puede resistir efectivamente a un atacante Sybil racional en una cadena sin permiso. Los autores investigan si las reglas cóncavas pueden realmente prevenir la plutocracia o si inadvertidamente crean una nueva forma de vulnerabilidad lineal.

Metodología

Los autores desarrollan un modelo matemático unificado y costoso para analizar la gobernanza de las DAO bajo ataques Sybil.

1. Parámetros del Modelo:

   • $a$: El presupuesto total de tokens del atacante.
   • $f(w)$: La regla de votación a nivel de billetera (por ejemplo, lineal $w$, cuadrática $\sqrt{w}$, potencia $w^\beta$, logarítmica $\ln(w+1)$).
   • $C = (m, v, p, s)$: Un esquema de costos que captura fricciones realistas de la blockchain:
     • $m$: Saldo mínimo requerido para votar.
     • $v$: Costo de votación por billetera (gas).
     • $s$: Costo de división por billetera (gas para transferir tokens).
     • $p$: Costo fijo de configuración única (por ejemplo, desplegar un contrato divisor).

2. Problema de Optimización:
   El atacante busca maximizar el poder de voto total $V^*(a)$ dividiendo su presupuesto $a$ en $n$ billeteras con saldos $w_i$, sujeto a las restricciones de costos:
   $$\sum w_i + n(s+v) + p \leq a$$
   El objetivo es maximizar $\sum f(w_i)$.

3. Enfoque Analítico:

   • Límites Inferiores: Los autores primero demuestran que para cualquier regla de votación no trivial (donde $f(m) > 0$), el atacante puede lograr un poder de voto que crece al menos linealmente con $a$ ($\Omega(a)$).
   • Análisis Asintótico: Para las reglas cóncavas, derivan la estrategia de división óptima. Usando la desigualdad de Jensen, muestran que una división uniforme de tokens entre las billeteras es óptima. Luego optimizan el número de billeteras $n$ para encontrar el comportamiento asintótico del poder de voto máximo.
   • Instanciación Empírica: El modelo se aplica a datos del mundo real de cinco DAOs principales (ENS, Compound, Uniswap, Arbitrum, ZKsync). Los autores reproducen las diez propuestas finalizadas más recientes para cada una, calculando el costo para que un atacante capture una mayoría de votos bajo reglas lineales, cuadráticas, logarítmicas y de potencia ($\beta=0.25$), utilizando precios de gas reales en la cadena y valores de tokens.

Contribuciones Clave

1. Modelo Unificado y Costoso: Un marco formal que captura la interacción entre las reglas de votación y los costos realistas de la blockchain (división, votación, configuración y saldos mínimos).
2. Resultado de Imposibilidad Universal: Una prueba de que toda regla de votación basada en billeteras no trivial es plutocrática bajo la división Sybil ilimitada. Si una billetera de cualquier tamaño genera poder de voto no nulo, el poder de voto ajustado del atacante crece al menos linealmente ($V^*(a) = \Omega(a)$), independientemente de la función cóncava específica o del esquema de costos lineal.
3. Pendiente Asintótica Ajustada para Reglas Cóncavas: Los autores refinan el límite inferior para las reglas cóncavas, demostrando que el poder de voto óptimo es asintóticamente lineal en las tenencias de tokens. Derivan una expresión de forma cerrada para la constante de amplificación $\kappa$:
   $$\kappa = \sup_{x \geq m} \frac{f(x)}{x + v + s}$$
   Esto demuestra que la concavidad solo proporciona una amortiguación de un factor constante, no una amortiguación sublineal.
4. Análisis de Impacto Empírico: Evidencia cuantitativa que muestra que los ataques Sybil son órdenes de magnitud más baratos que la votación honesta bajo reglas cóncavas.
   • Bajo la Votación Cuadrática, los factores de amplificación Sybil oscilan entre 1,172× y 4,039×.
   • Bajo reglas de potencia más pronunciadas ($\beta=0.25$), la amplificación supera los 229,000×.
   • Estudio de Caso: En Uniswap, un atacante puede capturar un voto de $300M por aproximadamente $75K en costos usando una estrategia óptima para Sybil, mientras que un atacante de una sola billetera con el mismo presupuesto logra solo $\approx 1/259$ del poder de voto necesario.
5. Evaluación de Mitigación: Un sondeo de defensas candidatas (saldos mínimos, tarifas aumentadas, Prueba de Humanidad, gobernanza bicameral). Los autores concluyen que ninguna fricción económica por billetera puede eliminar la linealidad asintótica; solo las capas basadas en identidad (Prueba de Humanidad) o defensas composicionales pueden mitigar efectivamente la amenaza.

Resultados

• Teórico: El artículo demuestra que "La Concavidad es el Nuevo Lineal". Mientras que las reglas cóncavas reducen el poder de voto de una sola billetera grande, un atacante racional puede dividir sus tenencias para recuperar un poder de voto lineal. El beneficio "anti-plutocrático" se anula por la capacidad de crear Sybils.
• Empírico: El costo para atacar a las DAOs principales se reduce drásticamente por las reglas cóncavas.
  • Uniswap: Costo lineal \approx \302.6M$; Costo cuadrático \approx \74.9K$ (4,039 veces más barato).
  • Compound: Costo lineal \approx \11.6M$; Costo cuadrático \approx \6.4K$ (1,820 veces más barato).
  • El "factor de amplificación" (cuánto más barato se vuelve el ataque) aumenta significativamente a medida que la regla de votación se vuelve más cóncava (por ejemplo, las reglas logarítmicas y de potencia son mucho más vulnerables que la cuadrática).
• Análisis de Fricción: Aumentar los costos por billetera ($s, v$) o los saldos mínimos ($m$) reduce la pendiente $\kappa$ (haciendo el ataque más costoso) pero no cambia la linealidad asintótica. El ataque sigue siendo rentable para presupuestos suficientemente grandes.

Significado y Afirmaciones

El artículo afirma que ninguna regla de votación a nivel de billetera puede tener éxito en prevenir la plutocracia en una blockchain sin permiso sin una capa de identidad externa.

• Rechazo de la Votación Cóncava Independiente: Los autores argumentan que las propuestas para implementar la Votación Cuadrática o mecanismos similares como la defensa principal de gobernanza son fundamentalmente defectuosas en un entorno sin permiso. El supuesto de "identidad única" requerido para la optimalidad de la QV es inaplicable sin verificación de identidad.
• Redefinición de la Amenaza: El trabajo desplaza el enfoque de la "concentración de tokens" a la "división de billeteras". Demuestra que el mismo mecanismo diseñado para proteger a los pequeños tenedores (votación cóncava) crea un incentivo económico masivo para que los atacantes dividan sus tokens, haciendo finalmente al sistema más vulnerable al control por parte de un adversario bien financiado que un sistema lineal simple.
• Conclusión Prescriptiva: Los autores afirman que la votación cóncava nunca debe ser la primera línea de defensa. Solo puede desplegarse como un componente de un mecanismo compuesto donde una capa de resistencia a Sybil basada en identidad (por ejemplo, Prueba de Humanidad) limite el número de billeteras que un adversario puede controlar. Sin tal capa, el "campo de juego nivelado" pretendido por las reglas cóncavas se invierte, permitiendo a los atacantes dominar la gobernanza a una fracción del costo requerido en un sistema lineal.

El artículo concluye que la descentralización requiere asegurar primero la capa de identidad; de lo contrario, los mecanismos destinados a empoderar a los pequeños tenedores desestabilizan inadvertidamente el sistema para todos.