Resumo Técnico: Côncavo é o Novo Linear

Declaração do Problema

Organizações Autônomas Descentralizadas (DAOs) dependem de governança baseada em tokens, onde o poder de voto é tipicamente proporcional ao saldo da carteira. Este modelo de "um-token-um-voto" cria uma plutocracia, concentrando o controle entre grandes detentores ("baleias") e deixando os protocolos vulneráveis a ataques de controle de tokens. Para combater isso, a comunidade propôs mecanismos anti-plutocráticos, mais notavelmente Votação Quadrática (QV) e outras regras de votação côncavas (por exemplo, regras de potência $w^\beta$, regras logarítmicas). Esses mecanismos atribuem poder de voto sublinear por token (por exemplo, $\sqrt{w}$ votos para $w$ tokens) para amortecer a influência dos grandes detentores.

No entanto, esses mecanismos foram projetados sob a suposição de uma única identidade estável por eleitor. Em blockchains sem permissão, essa suposição falha devido a ataques Sybil, onde um adversário cria múltiplas identidades falsas (carteiras) para dividir suas participações de tokens. O problema central abordado por este artigo é se qualquer regra de votação ao nível da carteira que derive poder exclusivamente do saldo pode resistir efetivamente a um atacante Sybil racional em uma chain sem permissão. Os autores investigam se as regras côncavas podem realmente prevenir a plutocracia ou se inadvertidamente criam uma nova forma de vulnerabilidade linear.

Metodologia

Os autores desenvolvem um modelo matemático unificado e com custos para analisar a governança de DAOs sob ataques Sybil.

1. Parâmetros do Modelo:

   • $a$: O orçamento total de tokens do atacante.
   • $f(w)$: A regra de votação ao nível da carteira (por exemplo, linear $w$, quadrática $\sqrt{w}$, potência $w^\beta$, logarítmica $\ln(w+1)$).
   • $C = (m, v, p, s)$: Um esquema de custos capturando fricções realistas de blockchain:
     • $m$: Saldo mínimo necessário para votar.
     • $v$: Custo de votação por carteira (gas).
     • $s$: Custo de divisão por carteira (gas para transferir tokens).
     • $p$: Custo fixo de configuração única (por exemplo, implantar um contrato de divisão).

2. Problema de Otimização:
   O atacante busca maximizar o poder de voto total $V^*(a)$ dividindo seu orçamento $a$ em $n$ carteiras com saldos $w_i$, sujeito às restrições de custo:
   $$\sum w_i + n(s+v) + p \leq a$$
   O objetivo é maximizar $\sum f(w_i)$.

3. Abordagem Analítica:

   • Limites Inferiores: Os autores provam primeiro que, para qualquer regra de votação não trivial (onde $f(m) > 0$), o atacante pode alcançar poder de voto que cresce pelo menos linearmente com $a$ ($\Omega(a)$).
   • Análise Assintótica: Para regras côncavas, eles derivam a estratégia de divisão ótima. Usando a desigualdade de Jensen, eles mostram que uma divisão uniforme de tokens entre as carteiras é ótima. Em seguida, otimizam o número de carteiras $n$ para encontrar o comportamento assintótico do poder de voto máximo.
   • Instanciação Empírica: O modelo é aplicado a dados do mundo real de cinco grandes DAOs (ENS, Compound, Uniswap, Arbitrum, ZKsync). Os autores recriam as dez propostas finalizadas mais recentes para cada uma, calculando o custo para um atacante capturar uma maioria de votos sob regras lineares, quadráticas, logarítmicas e de potência ($\beta=0.25$), usando preços de gas on-chain e valores de tokens reais.

Principais Contribuições

1. Modelo Unificado com Custos: Uma estrutura formal capturando a interação entre regras de votação e custos realistas de blockchain (divisão, votação, configuração e saldos mínimos).
2. Resultado de Impossibilidade Universal: Uma prova de que toda regra de votação baseada em carteira não trivial é plutocrática sob divisão Sybil irrestrita. Se uma carteira de qualquer tamanho gera poder de voto não nulo, o poder de voto ajustado do atacante cresce pelo menos linearmente ($V^*(a) = \Omega(a)$), independentemente da função côncava específica ou do esquema de custos lineares.
3. Inclinação Assintótica Apertada para Regras Côncavas: Os autores refinam o limite inferior para regras côncavas, provando que o poder de voto ótimo é assintoticamente linear nas participações de tokens. Eles derivam uma expressão de forma fechada para a constante de amplificação $\kappa$:
   $$\kappa = \sup_{x \geq m} \frac{f(x)}{x + v + s}$$
   Isso demonstra que a concavidade fornece apenas uma amortização de fator constante, não uma amortização sublinear.
4. Análise de Impacto Empírico: Evidência quantitativa mostrando que ataques Sybil são ordens de magnitude mais baratos do que votos honestos sob regras côncavas.
   • Sob Votação Quadrática, os fatores de amplificação Sybil variam de 1.172× a 4.039×.
   • Sob regras de potência mais íngremes ($\beta=0.25$), a amplificação excede 229.000×.
   • Estudo de Caso: Na Uniswap, um atacante pode capturar um voto de $300M por aproximadamente $75K em custos usando uma estratégia ótima para Sybil, enquanto um atacante de carteira única com o mesmo orçamento alcança apenas $\approx 1/259$ do poder de voto necessário.
5. Avaliação de Mitigação: Um levantamento de defesas candidatas (saldos mínimos, taxas aumentadas, Prova de Personalidade, governança bicameral). Os autores concluem que nenhuma fricção econômica por carteira pode eliminar a linearidade assintótica; apenas camadas baseadas em identidade (Prova de Personalidade) ou defesas composicionais podem mitigar efetivamente a ameaça.

Resultados

• Teórico: O artigo prova que "Côncavo é o Novo Linear". Enquanto regras côncavas reduzem o poder de voto de uma única carteira grande, um atacante racional pode dividir suas participações para recuperar poder de voto linear. O benefício "anti-plutocrático" é anulado pela capacidade de criar Síbios.
• Empírico: O custo para atacar grandes DAOs é drasticamente reduzido por regras côncavas.
  • Uniswap: Custo linear \approx \302,6M$; Custo quadrático \approx \74,9K$ (4.039× mais barato).
  • Compound: Custo linear \approx \11,6M$; Custo quadrático \approx \6,4K$ (1.820× mais barato).
  • O "fator de amplificação" (quanto mais barato o ataque se torna) aumenta significativamente à medida que a regra de votação se torna mais côncava (por exemplo, regras logarítmicas e de potência são muito mais vulneráveis do que a quadrática).
• Análise de Fricção: O aumento dos custos por carteira ($s, v$) ou dos saldos mínimos ($m$) reduz a inclinação $\kappa$ (tornando o ataque mais caro), mas não altera a linearidade assintótica. O ataque permanece lucrativo para orçamentos suficientemente grandes.

Significado e Alegações

O artigo afirma que nenhuma regra de votação ao nível da carteira pode ter sucesso em prevenir a plutocracia em uma blockchain sem permissão sem uma camada de identidade externa.

• Rejeição da Votação Côncava Autônoma: Os autores argumentam que propostas para implementar Votação Quadrática ou mecanismos similares como defesa primária de governança são fundamentalmente falhas em um ambiente sem permissão. A suposição de "identidade única" necessária para a optimalidade da QV é inaplicável sem verificação de identidade.
• Redefinição da Ameaça: O trabalho desloca o foco de "concentração de tokens" para "divisão de carteiras". Demonstra que o próprio mecanismo projetado para proteger pequenos detentores (votação côncava) cria um enorme incentivo econômico para atacantes dividirem seus tokens, tornando o sistema, em última análise, mais vulnerável ao controle por um adversário bem financiado do que um sistema linear simples.
• Conclusão Prescritiva: Os autores afirmam que a votação côncava nunca deve ser a primeira linha de defesa. Ela só pode ser implantada como componente de um mecanismo composto onde uma camada de resistência a Síbios baseada em identidade (por exemplo, Prova de Personalidade) limita o número de carteiras que um adversário pode controlar. Sem tal camada, o "campo de jogo nivelado" pretendido pelas regras côncavas é invertido, permitindo que atacantes dominem a governança por uma fração do custo exigido em um sistema linear.

O artigo conclui que a descentralização exige a segurança da camada de identidade primeiro; caso contrário, mecanismos destinados a empoderar pequenos detentores desestabilizam inadvertidamente o sistema para todos.