Aave implementa V3 no Aptos e lança desafio de CTF de US$ 100 mil após revisão de segurança liderada pela Cantina

Financiamento descentralizado (DeFi) protocolo de empréstimo Aave implantou sua versão V3 na Camada 1 Aptos blockchain e lançou um evento Capture The Flag (CTF) com US$ 100,000 em recompensas para os participantes. 

A implantação do Aave V3 no Aptos representa uma adaptação complexa de um líder DeFi plataforma para um ambiente de blockchain baseado em Move. Construída inteiramente com a linguagem de programação Move, esta implementação foi projetada para alinhar a arquitetura do protocolo Aave com os recursos de segurança e requisitos estruturais exclusivos da linguagem. 

Uma empresa de segurança, a Cantina, realizou uma revisão completa da base de código, com foco em elementos-chave, como mecanismos de empréstimo, estruturas de incentivo e integrações com Oracle. 

A colaboração evoluiu para um teste adversário ao vivo para avaliar a resiliência do protocolo. A Aave e a Cantina iniciaram um desafio de CTF de US$ 100,000 na mainnet, no qual quatro contratos, cada um contendo US$ 25,000 em liquidez ativa, são expostos a tentativas de exploração controlada. Pesquisadores de segurança que identificarem vulnerabilidades legítimas com sucesso podem manter os ativos recuperados, com o objetivo de validar a segurança do protocolo em condições realistas.

Implantação do Aave V3 no Aptos passa por revisão de segurança pela Cantina com integração de mudanças e testes conduzidos pela comunidade

Aave V3 representa a versão mais recente do protocolo de empréstimo descentralizado Aave, projetado para permitir o empréstimo de ativos digitais. Esta atualização inclui avanços como recursos aprimorados de gerenciamento de risco, maior eficiência de capital e suporte para operação em múltiplas redes blockchain. 

A implantação do protocolo na blockchain Aptos marca sua expansão inicial para além das plataformas compatíveis com Máquina Virtual Ethereum (EVM). Essa integração aproveita a alta taxa de transferência de transações, as baixas taxas e os benefícios de segurança oferecidos pela linguagem de programação Move. A implementação começou com uma fase testnet com o objetivo de avaliar a segurança, estabilidade e desempenho do protocolo no ambiente Aptos.

Move introduz uma distinção clara entre lógica e estado, representando ativos digitais como recursos, prevenindo efetivamente problemas comuns como reentrada e duplicação. Seu design de linguagem e tempo de execução impõem restrições de tipo, controle de acesso e validação de transações. A adaptação do Aave V3 ao blockchain Aptos envolveu uma reformulação abrangente de componentes fundamentais. 

Os módulos principais relacionados a empréstimos, recompensas, integração com Oracle e controle de acesso foram reestruturados usando o modelo orientado a recursos do Move. Cada módulo foi desenvolvido como um pacote independente com recursos bem desenvolvidos.defiPropriedade e limites definidos, com interfaces especificadas estaticamente. O gerenciamento de funções e as interações com o oráculo aderiram a pontos de entrada fixos e registro obrigatório, enquanto mecanismos de rastreamento de emissões e cálculo de juros foram projetados para garantir um comportamento consistente. 

A Cantina realizou uma revisão de segurança detalhada com foco em pacotes periféricos e suas interações com a mecânica de pools, estruturas de incentivos e funções do Oracle. Foi dada atenção especial à distribuição de recompensas para usuários, configurações de estratégias e normalização de identificadores de ativos. Atualizações no gerenciamento de recompensas garantiram transições de estado confiáveis, e a lógica do Oracle foi padronizada para fornecimento e dimensionamento uniformes de dados. Os procedimentos de implantação foram avaliados quanto à previsibilidade e repetibilidade. O processo de revisão da Cantina foi estruturado em torno da implementação modular baseada em Move da Aave, designando especialistas para domínios específicos, incluindo empréstimos, incentivos e frameworks do Oracle. 

Esse processo revelou diversos problemas, incluindo um de alta gravidade. Além das auditorias formais de segurança, a Aave e a Cantina organizaram duas competições públicas abrangendo as bases de código EVM e Move, atraindo mais de 700 participantes. Esse amplo envolvimento da comunidade permitiu uma análise ampla e gerou insights valiosos de um grupo diversificado de pesquisadores de segurança.