Deep Tide TechFlow notícias, 05 de março, Aave Labs anunciou recentemente que o protocolo Aave V4 concluiu uma revisão de segurança completa de aproximadamente 345 dias, com um investimento total de 1,5 milhões de dólares. O projeto adotou uma estratégia de “segurança em primeiro lugar”, implementando controles de segurança em várias camadas desde a fase de design da arquitetura. A revisão de segurança incluiu auditorias manuais, validação formal, testes de invariantes, testes de fuzzing e uma competição de segurança pública de seis semanas, que atraiu mais de 900 participantes submetendo mais de 950 relatórios.
Os resultados da auditoria mostraram que todas as principais instituições de auditoria (incluindo ChainSecurity, Trail of Bits e Blackthorn) não identificaram vulnerabilidades de alta gravidade. O Aave V4 utiliza um novo design de módulo central e ramificado, tornando o código mais compacto do que o V3 e aumentando a eficiência da auditoria. Aave Labs afirmou que continuará a manter a estrutura de validação formal, o conjunto de testes de invariantes e planeja estabelecer um programa contínuo de recompensas por vulnerabilidades, garantindo a segurança a longo prazo do protocolo.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
Aave V4 conclui auditoria de segurança completa, com 345 dias de revisão de segurança sem vulnerabilidades importantes
Deep Tide TechFlow notícias, 05 de março, Aave Labs anunciou recentemente que o protocolo Aave V4 concluiu uma revisão de segurança completa de aproximadamente 345 dias, com um investimento total de 1,5 milhões de dólares. O projeto adotou uma estratégia de “segurança em primeiro lugar”, implementando controles de segurança em várias camadas desde a fase de design da arquitetura. A revisão de segurança incluiu auditorias manuais, validação formal, testes de invariantes, testes de fuzzing e uma competição de segurança pública de seis semanas, que atraiu mais de 900 participantes submetendo mais de 950 relatórios.
Os resultados da auditoria mostraram que todas as principais instituições de auditoria (incluindo ChainSecurity, Trail of Bits e Blackthorn) não identificaram vulnerabilidades de alta gravidade. O Aave V4 utiliza um novo design de módulo central e ramificado, tornando o código mais compacto do que o V3 e aumentando a eficiência da auditoria. Aave Labs afirmou que continuará a manter a estrutura de validação formal, o conjunto de testes de invariantes e planeja estabelecer um programa contínuo de recompensas por vulnerabilidades, garantindo a segurança a longo prazo do protocolo.