De que forma as vulnerabilidades dos smart contracts impactaram a segurança das criptomoedas em 2025?
Vulnerabilidades em smart contracts originaram perdas de 500 milhões $ em 2025
Em 2025, o universo das criptomoedas foi abalado por uma quebra de segurança significativa envolvendo smart contracts BAS, que resultou em perdas avultadas de 500 milhões $. Este incidente evidenciou a importância crítica de adotar medidas de segurança robustas nos smart contracts, num ecossistema blockchain em rápida transformação. O ataque explorou uma falha grave no controlo de acessos, permitindo que agentes maliciosos manipulassem a funcionalidade do contrato e desviassem fundos consideráveis.
A dimensão desta quebra torna-se evidente quando comparada com as perdas totais registadas no setor cripto:
| Ano | Perdas Totais | Incidente BAS |
|---|---|---|
| 2025 | 3,1 mil milhões $ | 500 milhões $ |
Este incidente representou cerca de 16 % do total de perdas reportadas no primeiro semestre de 2025, evidenciando a magnitude do impacto da vulnerabilidade. Para além dos prejuízos financeiros imediatos, a quebra abalou também a confiança dos investidores na segurança das plataformas de finanças descentralizadas (DeFi).
Em resposta a este e outros incidentes, o setor intensificou a aposta em auditorias e reforço dos mecanismos de segurança em smart contracts. A implementação de protocolos de teste mais rigorosos, o recurso crescente à verificação formal e a adoção de frameworks de segurança baseados em IA, como a ISO/IEC 42001 e o NIST AI RMF 1.0, tornaram-se prioritários. Estes passos visam fortalecer o ecossistema blockchain contra futuras explorações e restabelecer a confiança no dinâmico universo das finanças descentralizadas.
Grandes exchanges de criptomoedas sofreram 3 ataques mediáticos devido à custódia centralizada
Em 2024, o setor das criptomoedas enfrentou graves desafios de segurança, com três exchanges de grande dimensão a serem alvo de ataques mediáticos devido a problemas relacionados com a custódia centralizada. Estes incidentes expuseram vulnerabilidades inerentes às plataformas centralizadas e causaram perdas financeiras relevantes. O ataque mais notório teve lugar na DMM Bitcoin, uma exchange japonesa, onde hackers roubaram aproximadamente 305 milhões $ em criptomoedas. Outro ataque de relevo teve como alvo a WazirX, uma exchange indiana, resultando no roubo de cerca de 235 milhões $ em ativos digitais. Estes casos evidenciam o risco associado aos modelos de custódia centralizada no setor cripto.
| Exchange | Localização | Montante Roubado |
|---|---|---|
| DMM Bitcoin | Japão | 305 milhões $ |
| WazirX | Índia | 235 milhões $ |
A tendência manteve-se em 2025, com um evento ainda mais grave: um único ataque numa grande exchange levou ao roubo de cerca de 1,4–1,5 mil milhões $ em Ethereum. Este incidente é amplamente apontado como o maior roubo de criptomoedas de sempre e foi atribuído por autoridades e analistas a agentes norte-coreanos. Estes ataques evidenciam os desafios persistentes que as exchanges centralizadas enfrentam na proteção dos fundos dos utilizadores, bem como a necessidade de reforçar as medidas de segurança e considerar alternativas de custódia no setor das criptomoedas.
Mais de 70 % dos protocolos DeFi já utilizam verificação formal para evitar explorações
O setor das finanças descentralizadas (DeFi) registou uma evolução significativa nas práticas de segurança, com mais de 70 % dos protocolos a adotar a verificação formal para prevenir explorações. Esta metodologia revelou-se altamente eficaz na redução de vulnerabilidades e na deteção de bugs raros, mas de grande impacto, que muitas vezes escapam às abordagens de segurança tradicionais. A adoção generalizada da verificação formal representa um progresso decisivo no reforço da segurança global das plataformas DeFi.
Para ilustrar o impacto da verificação formal, veja-se a seguinte comparação:
| Métrica | Antes da Verificação Formal | Após Verificação Formal |
|---|---|---|
| Perdas por Exploração | Elevadas | Redução de 90 % |
| Deteção de Vulnerabilidades | Limitada | Abrangente |
| Prevenção de Bugs de Grande Impacto | Baixa | Significativamente Melhorada |
Esta melhoria significativa nos indicadores de segurança comprova o papel fundamental da verificação formal na proteção dos protocolos DeFi. Ao recorrer a provas matemáticas rigorosas para testar a correção do código, os developers conseguem detetar e corrigir vulnerabilidades antes que possam ser exploradas por agentes maliciosos.
A generalização da verificação formal no espaço DeFi demonstra o compromisso do setor com o reforço da segurança e o fortalecimento da confiança dos utilizadores. À medida que o setor se desenvolve e atrai mais utilizadores e capital, a necessidade de mecanismos de segurança robustos assume particular relevância. A verificação formal protege os ativos dos utilizadores e contribui para a sustentabilidade e expansão a longo prazo do ecossistema DeFi.
FAQ
O que é BAS crypto?
BAS é um BNB Attestation Service que valida atestações digitais on-chain e off-chain, proporcionando uma verificação de dados segura e flexível em Web3.
Qual é o nome da moeda de Melania Trump?
A moeda de Melania Trump chama-se $MELANIA. Foi lançada como uma meme coin associada à antiga Primeira-Dama dos Estados Unidos.
Qual é a moeda cripto de Elon Musk?
Elon Musk não possui uma moeda cripto própria. Está sobretudo associado à Dogecoin (DOGE), que frequentemente promoveu e apelidou de 'a cripto do povo'.
A Base vai lançar um token?
Sim, a Base está a considerar o lançamento de um token próprio. Os planos encontram-se numa fase inicial, estando as questões regulatórias a ser analisadas.