Certora garante quase $200 bilhões em valor DeFi em 2025, prevenindo mais de 700 vulnerabilidades em protocolos líderes

Fonte: CryptoDaily Título Original: Certora garante quase $200 bilhões em valor DeFi em 2025, prevenindo mais de 700 vulnerabilidades em protocolos líderes Link Original: Novos dados destacam o crescimento rápido da Certora, a expansão do seu papel na segurança contínua e a liderança na verificação formal.

A Certora, um fornecedor líder de ferramentas de verificação formal e auditorias de contratos inteligentes para protocolos Web3, divulgou o seu Relatório de Revisão do Ano de 2025, revelando que a empresa ajudou a assegurar um valor total bloqueado (TVL) de $196,5 bilhões em todo o ecossistema DeFi e evitou que mais de 720 vulnerabilidades chegassem à produção. Segundo o relatório, 14 dos 20 principais protocolos DeFi por TVL trabalharam com a Certora em 2025, representando aproximadamente 70% da categoria, enquanto 7 dos 10 principais protocolos mantêm compromissos de segurança contínuos e de longo prazo com a empresa.

Perderam-se entre $2,1 e $2,4 bilhões em exploits de criptomoedas em 2025, marcando um aumento ano após ano à medida que a atividade DeFi se recuperou e as arquiteturas dos protocolos se tornaram mais complexas. O relatório da Certora destaca várias mudanças estruturais na forma como as principais equipes abordam a segurança, incluindo:

• Uma mudança de auditorias pontuais para relacionamentos de segurança contínuos
• Maior foco em invariantes a nível de protocolo, em vez de verificações a nível de função
• Expansão do escopo de auditoria para incluir configuração de implantação, governança e segurança operacional
• Reconhecimento crescente de que atualizações de blockchain e comportamento de validadores introduzem novos riscos de segurança

Em 2025, a Certora realizou aproximadamente 150 auditorias de segurança, identificando 80 questões críticas e 180 de alta severidade, com 99% de todas as descobertas resolvidas antes da implantação. Em 11 casos, a Certora aconselhou as equipes de protocolo a atrasar ou interromper lançamentos completamente após descobrir riscos severos que poderiam ter resultado em falhas sistêmicas ou perda de fundos.

“Estes números refletem o quanto a indústria mudou”, disse Seth Hallem, CEO da Certora. “A segurança hoje não se trata de detectar bugs óbvios na última hora. Trata-se de provar a correção em sistemas que gerenciam bilhões de dólares, evoluem continuamente e interagem entre cadeias. Nosso crescimento em 2025 espelha a mudança do ecossistema para uma segurança de longo prazo, a nível de infraestrutura.”

“Os protocolos mais maduros já não veem a segurança como uma auditoria pontual”, disse Mooly Sagiv, fundador e Cientista Chefe da Certora. “Eles escolhem um parceiro de segurança que compreende sua economia, sua arquitetura e como seu sistema se comporta ao longo do tempo. O que estamos vendo é uma mudança clara na indústria de ‘cobertura de auditoria’ para ‘garantias de correção’.”

Para atender a essa demanda, a Certora dobrou sua equipe de pesquisa de segurança em 2025, chegando a aproximadamente 40 pesquisadores, incluindo 25 PhDs, expandindo a expertise profunda em ambientes de execução como Ethereum, Solana, Sui, Aptos e infraestrutura de blockchain emergente.

O relatório destaca como a fronteira do risco se deslocou de vulnerabilidades superficiais para casos econômicos extremos, suposições entre cadeias, armadilhas específicas de linguagem e comportamento do protocolo sob condições variáveis da cadeia, incluindo atualizações de rede.

Em 2025, a Certora garantiu mais de ( bilhões em TVL por design, usando verificação formal para provar matematicamente invariantes críticos do protocolo, como solvência, taxas de juros monótonicas e condições de segurança do usuário.

Sobre a Certora

A Certora é a parceira de garantia de segurança confiável pelas equipes mais avançadas do Web3. Fundada em 2018 por pioneiros em linguagens de programação e métodos formais, a Certora ajuda protocolos líderes como Lido, Aave, certas plataformas DEX e Compound a proteger bilhões em valor com confiança.