Ctrlk
For the complete documentation index, see llms.txt. This page is also available as Markdown.

Segurança

Segurança do sistema, ataques e teoria dos jogos

“Bitcoin é um castelo de segurança construído com camadas de incentivos econômicos.” — Atribuído a Dan Held

1. Introdução

Bitcoin é o sistema de computação mais seguro do planeta em termos de resistência a ataques digitais, econômicos e políticos. Alcança sua segurança por meio de:

  • Criptografia forte

  • Prova de Trabalho,

  • Topologia P2P resistente

  • Regras de consenso

  • Incentivos econômicos

  • Teoria dos jogos não cooperativa

  • Custos físicos de ataque

Este capítulo analisa:

  • Vetores de ataque teóricos e reais

  • Defesa por meio de PoW e nós

  • Limites de segurança

  • Ataques econômicos e sociais

  • Dinâmica de consenso

  • Matemática da segurança probabilística

  • Cenários adversários

2. Modelo de segurança do Bitcoin

Bitcoin segue um modelo de segurança probabilístico, não determinístico. Não garante certeza absoluta, mas sim certeza crescente com o tempo.

2.1. Segurança probabilística do consenso

A probabilidade de que um atacante reorganize (z) blocos diminui exponencialmente:

P(z)=∑k=0∞λke−λk!(qp)kP(z) = \sum_{k=0}^{\infty} \frac{\lambda^k e^{-\lambda}}{k!} \left( \frac{q}{p} \right)^k

onde:

  • qq = hashrate do atacante

  • pp = hashrate honesto

  • λ=z⋅qp\lambda = z \cdot \frac{q}{p}

Para q<0.5q < 0.5, a probabilidade torna-se insignificante após 6 confirmações.

2.2. Segurança em múltiplas camadas

O Bitcoin tem 5 camadas de segurança:

  1. Criptográfica → assinaturas, hashes

  2. Econômica → incentivos, recompensas

  3. Energética → PoW

  4. Rede P2P → topologia antisséptica

  5. Social / de consenso → nós independentes

3. Ataques clássicos ao blockchain

3.1. Ataque de 51%

O atacante obtém >50% do hashrate.

Pode:

  • reorganizar N blocos

  • reverter pagamentos próprios

  • censurar transações temporariamente

Não pode:

  • forjar bitcoins

  • roubar fundos alheios

  • quebrar ECDSA

  • mudar regras

Custo estimado do ataque:

Costo≈Hashrate global×Precio electricidad×Tiempo\text{Costo} \approx \text{Hashrate global} \times \text{Precio electricidad} \times \text{Tiempo}

Conclusão: economicamente suicida.

3.2. Ataques de gasto duplo

Tipo A: Ataque de corrida Tipo B: Ataque Finney Tipo C: Vetor 76 Tipo D: Reorg profunda (requer PoW massivo)

O Bitcoin mitiga por meio de:

  • confirmações sucessivas

  • PoW acumulado

  • nós honestos

  • propagação rápida

3.3. Ataques de eclipse (isolamento de nós)

Objetivo: isolar um nó e controlar todas as informações que recebe.

Mitigação:

  • conexões redundantes

  • diversidade geográfica

  • endereçamento aleatório

  • regras anti-sybil

  • melhorias do protocolo P2P (BIP155)

3.4. Ataques de censura

Mineradores podem tentar excluir transações:

Mas:

  • pools são substituíveis

  • mineradores individuais mudam de pool

  • competição de mercado

  • incentivos econômicos (taxas)

  • relay de nós

Resultado: censura em larga escala → impraticável.

4. Ataques econômicos

4.1. Selfish mining (Eyal & Sirer, 2013)

Teoria: um minerador oculta blocos para amplificar sua recompensa.

Requer >33% do hashrate para ser rentável.

Mitigado por:

  • propagação de blocos mais rápida

  • penalização natural

  • topologia de rede melhorada

  • contra estratégias honestas

4.2. Espionagem / pool-hopping

Mineradores pulam entre pools conforme a probabilidade de recompensa.

Efeito: reduz a eficiência de pools mal projetados. O sistema global não é afetado.

4.3. Ataque econômico estatal

Um Estado poderia tentar:

  • subsidiar eletricidade

  • comprar hardware massivo

  • censurar blocos internacionalmente

Problemas:

  • custo astronômico

  • hardware especializado difícil de fabricar

  • ataques detectáveis

  • coordenação política difícil

  • nós podem rejeitar blocos inválidos

5. Ataques de rede e camada P2P

5.1. Ataques Sybil

Criar milhares de nós falsos para influenciar a rede.

Mitigações:

  • PoW limita identidades úteis

  • topologia aleatória

  • nós completos verificam tudo

  • não há votação → múltiplas identidades não conferem poder

5.2. Ataques DDoS

Tentativa de saturar nós:

  • limitação de taxa

  • desconexão automática

  • mempool protegido

  • TTL dinâmico

Bitcoin Core incorpora defesas por design.

6. Ataques criptográficos

6.1. Quebra do SHA-256

Atualmente: impraticável.

Mesmo com computação quântica:

  • Grover reduz a complexidade de 22562^{256} para 21282^{128}

  • ainda impossível quebrar em tempos razoáveis

6.2. Quebra do ECDSA

Ameaça quântica teórica (algoritmo de Shor).

Mitigação natural:

  • chaves públicas não reveladas até o gasto

  • possível transição futura para assinaturas pós-quânticas

  • soft-fork para novos esquemas

O Bitcoin está preparado para ser atualizado se necessário.

7. Segurança do consenso

Bitcoin não é democrático. As regras não são votadas. Os nós verificam regras imutáveis.

7.1. Quem decide as regras?

  1. Os usuários executam nós completos

  2. Os nós aceitam ou rejeitam blocos

  3. Mineradores não podem impor regras inválidas

  4. Os desenvolvedores não controlam os nós

  5. As exchanges também não controlam as regras

É um sistema de consenso emergente, não imposto.

7.2. Hard forks vs soft forks

  • Soft fork → mudanças restritivas, compatíveis

  • Hard fork → muda regras, cria nova cadeia

O Bitcoin favorece soft forks (BIP9, BIP8, Speedy Trial).

8. Teoria dos jogos aplicada

Bitcoin implementa um jogo de incentivos:

Jogador
Objetivo
Estratégia

Mineradores

Maximizar receita

Minerar honestamente

Nós

Segurança

Rejeitar blocos inválidos

Usuários

Propriedade

Escolher nós honestos

Operadores de pool

Comissões

Coordenar trabalho

Atacantes

Lucro

Atacar → custo proibitivo

Equilíbrio de Nash:

Minerar honestamente é a estratégia dominante.

9. Modelos matemáticos de segurança

9.1. Probabilidade de reorg profunda

P=(qp)zP = \left( \frac{q}{p} \right)^z

Se q=0.1q = 0.1 e z=6z = 6:

P=(0.1)6=10−6P = (0.1)^6 = 10^{-6}

9.2. Custo energético do ataque

Costo=Hred⋅E⋅tCosto = H_{red} \cdot E \cdot t

Onde:

  • HredH_{red} hashrate

  • EE custo por hash

  • tt tempo

O custo supera em muito os possíveis benefícios.

10. Ataques sociais e políticos

Os mais perigosos:

  • propaganda anti-Bitcoin

  • pressão regulatória

  • tentativas de proibição

  • intimidação de mineradores

  • bloqueio de exchanges

Mas o Bitcoin resiste:

  • nós privados → impossíveis de desligar

  • mineradores móveis → realocação global

  • liquidez fora das exchanges

  • descentralização extrema

11. Segurança emergente do ecossistema

11.1. Nós completos

Os nós fazem cumprir:

  • tamanho de bloco

  • assinaturas válidas

  • scripts corretos

  • regras de consenso

  • PoW acumulado

  • cadeia mais pesada

  • timestamps válidos

Os mineradores não mandam; os nós verificam.

11.2. Mempool: defesa contra transações inválidas

O mempool descarta:

  • gasto duplo

  • transações sem taxas

  • transações fora de faixa

  • dados malformados

12. Conclusão do capítulo

A segurança do Bitcoin é a combinação de:

  • criptografia inquebrável,

  • alianças de incentivos econômicos,

  • custos físicos de ataque,

  • consenso distribuído,

  • nós verificadores independentes,

  • teoria dos jogos adversarial,

  • imutabilidade emergente.

O Bitcoin não é seguro por “sorte”: é seguro porque projeta os incentivos para que atacar seja mais caro do que defender.

A segurança do Bitcoin não se baseia em confiar em ninguém. Baseia-se no fato de que, mesmo que alguém quisesse atacar, não poderia arcar com isso.

AnteriorMineraçãoPróximoRedes P2P

Atualizado

Isto foi útil?