Cannes, França, 30 de março de 2026, Chainwire
Construída ao longo de seis anos de colaboração, Certora e Aave incorporaram segurança diretamente na arquitetura da Aave V4, criando uma das estruturas de segurança mais fortes em DeFi.
Certora, principal fornecedora de ferramentas de verificação formal e auditorias de contratos inteligentes para protocolos Web3, revela detalhes da estrutura de segurança desenvolvida em colaboração com a Aave Labs para proteger a Aave V4, a próxima geração de um dos maiores protocolos de empréstimo em finanças descentralizadas.
“Os protocolos DeFi estão operando cada vez mais na escala e complexidade de infraestruturas financeiras”, disse Mooly Sagiv, fundador e cientista-chefe da Certora. “A segurança não pode mais depender de auditorias pontuais. Com a Aave V4, trabalhamos lado a lado com os engenheiros durante todo o desenvolvimento, verificando continuamente propriedades críticas do sistema para garantir que o protocolo se comporte exatamente como pretendido.”
Em vez de entrar no processo próximo ao final do desenvolvimento, a Certora juntou-se ao esforço da Aave V4 mais de um ano antes do lançamento. Trabalhando em estreita colaboração com os engenheiros da Aave, a equipe revisou a arquitetura do sistema, caminhos de governança e premissas econômicas ainda no início do processo de design, permitindo que considerações de segurança influenciassem a estrutura do protocolo desde o começo.
O trabalho se baseia em um relacionamento entre Certora e Aave que se estende por mais de seis anos e várias versões do protocolo. Ao longo do desenvolvimento da Aave V4, os pesquisadores da Certora trabalharam ao lado dos engenheiros da Aave para aplicar verificação formal contínua, testes adversariais e auditorias manuais, a fim de identificar problemas antecipadamente e fortalecer o sistema antes da implantação.
Durante todo o desenvolvimento, a Certora aplicou verificação formal, uma abordagem matemática usada para provar que o software satisfaz propriedades específicas de segurança. O trabalho incluiu:
- Verificação de garantias-chave do protocolo, incluindo conservação de ativos, regras de colateralização, correção de liquidações, segurança de permissões, segurança de upgrades e consistência entre mercados
- Revisão manual contínua por auditores seniores com expertise em protocolos de empréstimo, sistemas de oráculos, mecânicas de governança e padrões de exploração em DeFi
- Um concurso externo de segurança em grande escala envolvendo pesquisadores independentes, no qual nenhuma vulnerabilidade crítica ou de alto impacto foi identificada, fornecendo validação adicional da arquitetura de segurança do protocolo.
Ao longo dessa parceria de longo prazo, Certora e Aave protegeram múltiplas gerações do protocolo e bilhões de dólares em liquidez on-chain, incluindo:
- 169 contratos inteligentes revisados
- Mais de 51.000 linhas de código analisadas
- Mais de 800 regras de verificação formal criadas e testadas continuamente
- 28 vulnerabilidades significativas prevenidas antes da implantação.
À medida que as finanças descentralizadas continuam a amadurecer e atrair capital institucional, garantias de segurança mais fortes estão se tornando pré-requisito para adoção em larga escala. O trabalho da Certora com a Aave reflete uma mudança mais ampla em todo o setor em direção à engenharia de segurança contínua. Só em 2025, a Certora ajudou a secure US$ 196,5 bilhões em valor total bloqueado em protocolos DeFi e impediu que mais de 720 vulnerabilidades chegassem à produção.
Para mais informações, visite certora.com/blog/certora-x-aavev4 ou siga @Certora.
Sobre a Certora
Certora é a parceira de garantia de segurança em que as equipes mais avançadas de Web3 confiam. Fundada em 2018 por pioneiros em linguagens de programação e métodos formais, a Certora ajuda protocolos líderes como Lido, Aave, Uniswap e Compound a proteger bilhões em valor com confiança.
Contato
Gerente de PR
Aarya Shah
[email protected]