Cannes, França, 30 de março de 2026, Chainwire
Construída ao longo de seis anos de colaboração, Certora e Aave integraram a segurança diretamente na arquitetura do Aave V4, criando uma das estruturas de segurança mais robustas 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 o Aave V4, a próxima geração de um dos maiores protocolos de empréstimo em finanças descentralizadas.
“Os protocolos de DeFi estão operando cada vez mais na escala e complexidade de infraestrutura financeira”, disse Mooly Sagiv, fundador e cientista-chefe da Certora. “A segurança não pode mais depender de auditorias pontuais. Com o 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 perto do fim do desenvolvimento, a Certora se juntou ao esforço do Aave V4 mais de um ano antes do lançamento. Trabalhando em estreita colaboração com os engenheiros da Aave, a equipa revisou a arquitetura do sistema, os caminhos de governança e as 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 início.
O trabalho se baseia em uma relação entre Certora e Aave que já dura mais de seis anos e abrange várias versões do protocolo. Ao longo do desenvolvimento do 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 para identificar problemas precocemente 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 grande concurso externo de segurança 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 continuamente testadas
- 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 um 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 evitou 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 equipas mais avançadas em 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.
Contacto
PR Manager
Aarya Shah
[email protected]