Segurança de Contratos Inteligentes em DeFi: Vulnerabilidades Comuns e Como Evitá-las

Antes de mergulharmos nas vulnerabilidades técnicas, é sempre prudente garantir que suas atividades de negociação fundamentais estejam em uma plataforma segura. Você pode verificar os preços e movimentos mais recentes de vários ativos na página Exbix Markets .

Parte 2: Vulnerabilidades e Explorações Comuns de Contratos Inteligentes

Vamos analisar as categorias mais comuns de vulnerabilidades que levaram a resultados significativos perdas em DeFi.

1. Ataques de Reentrada: O Roubo Clássico

O ataque de reentrada é a vulnerabilidade de contrato inteligente mais famosa, notoriamente demonstrada pelo hack do DAO em 2016, que resultou em uma perda de 3,6 milhões de ETH e um subsequente hard fork do Ethereum.

• O que é? Um ataque de reentrada ocorre quando um contrato malicioso faz uma chamada de volta ao contrato chamador antes que a execução da função inicial esteja completa. Isso pode permitir que o atacante retire fundos repetidamente antes que seu saldo seja atualizado.
• Como funciona:
  1. O Contrato A possui uma withdraw() função que envia ETH para um usuário e então atualiza o saldo interno do usuário.
  2. O Contrato B do Atacante chama withdraw().
  3. O Contrato A envia ETH para o Contrato B.
  4. O Contrato B possui uma fallback() função (que recebe o ETH) que imediatamente chama withdraw() no Contrato A novamente.
  5. O Contrato A ainda não atualizou o saldo do atacante, então vê que o Contrato B ainda tem direito a mais ETH e o envia novamente.
  6. Esse loop continua, drenando o Contrato A, até que o gás da transação acabe ou o contrato fique vazio.
• Exemplo Famoso: O hack da DAO (2016).
• Como Evitar:
  • Use o padrão Checks-Effects-Interactions: Esta é a regra de ouro. Sempre:
    1. Verifique todas as condições (por exemplo, require(balances[msg.sender] >= amount);).
    2. Atualize todas as variáveis de estado internas (efeitos) (por exemplo, balances[msg.sender] -= amount;).
    3. Em seguida, interaja com outros contratos ou EOAs (interações) (por exemplo, msg.sender.call{value: amount}("");).
  • Use Proteções contra Reentrância: OpenZeppelin fornece um modificador ReentrancyGuard que bloqueia uma função durante sua execução, impedindo chamadas recursivas.

2. Ataques de Manipulação de Oracle

Contratos inteligentes frequentemente precisam de dados do mundo real. Oráculos são serviços que fornecem esses dados. Manipular o feed de preços que um oráculo fornece é um dos principais vetores de ataque.

• O que é? Um atacante manipula o preço de um ativo em uma exchange descentralizada (DEX) com baixa liquidez para enganar o oráculo de um protocolo para relatar um preço incorreto.
• Como funciona:
  1. Um protocolo de empréstimo utiliza o preço à vista de um DEX como seu oráculo para determinar quanto pode ser emprestado contra colateral.
  2. Um atacante contrai um empréstimo relâmpago para drenar a liquidez de um par de negociação, por exemplo, ABC/ETH, tornando-o muito ilíquido.
  3. O atacante então negocia uma pequena quantidade de ABC para mover drasticamente seu preço contra ETH na pool agora ilíquida.
  4. O oráculo do protocolo lê esse preço manipulado.
  5. O atacante usa o ABC artificialmente inflacionado como colateral para pegar emprestado uma grande quantidade de outros ativos não manipulados do protocolo.
  6. O atacante paga o empréstimo relâmpago, e o preço do ABC
  se corrigem, mas o protocolo fica com garantias sem valor e uma enorme dívida ruim.
• Exemplos Famosos: Hack do Harvest Finance (US$ 34 milhões perdidos), incidente do DAI do Compound.
• Como Evitar:
  • Use Oráculos Descentralizados: Utilize redes de oráculos robustas como a Chainlink, que agregar dados de múltiplos nós e fontes independentes, tornando-os extremamente difíceis e caros de manipular.
  • Utilize Preços Médios Ponderados pelo Tempo (TWAPs): Usar uma média de preços ao longo de um período (por exemplo, 30 minutos) em vez do preço de mercado imediato torna a manipulação de curto prazo não lucrativa.
  • Use Múltiplas Fontes de Dados: Não confiar na liquidez de um único DEX para um feed de preço crítico.

3. Overflow e Underflow de Inteiros

Os computadores têm limites sobre o quão grande um número pode ser. Um uint256 (número inteiro sem sinal) em Solidity tem um valor máximo de 2^256 - 1.

• O que é?
  • Overflow: Quando uma operação (como adição) resulta em um número maior que o valor máximo, ele “volta” para um número muito pequeno.
  • Underflow: Quando uma operação (como subtração) resulta em um número abaixo de zero (para inteiros sem sinal, que não podem ser negativos), ele volta para um número muito grande. número.
• Como funciona:
  • Um saldo de 100 tokens. Um usuário gasta 101. O cálculo 100 - 101 resultaria em um underflow, resultando em um saldo de 2^256 - 1, efetivamente dando ao usuário um saldo quase infinito.
• Como Evitar Use Solidity 0.8.x ou posterior: O compilador verifica automaticamente por estouros/subfluxos e reverte transações onde eles ocorrem.
• Use SafeMath para compiladores mais antigos: A biblioteca SafeMath da OpenZeppelin fornece funções para operações aritméticas seguras antes da versão 0.8.