P(z) = \sum_{k=0}^{\infty} \frac{\lambda^k e^{-\lambda}}{k!} \left( \frac{q}{p} \right)^k
onde: * $$q$$ = hashrate do atacante * $$p$$ = hashrate honesto * $$\lambda = z \cdot \frac{q}{p}$$ Para $$q < 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:\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 $$2^{256}$$ para $$2^{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 profundaP = \left( \frac{q}{p} \right)^z
Se $$q = 0.1$$ e $$z = 6$$:P = (0.1)^6 = 10^{-6}
*** ### 9.2. Custo energético do ataqueCosto = H_{red} \cdot E \cdot t
Onde: * $$H\_{red}$$ hashrate * $$E$$ custo por hash * $$t$$ 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**. *** --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter: ``` GET https://www.notbank.com/learn/academy/pt-br/bitcoin/seguranca.md?ask=