BlockBeats informa que, a 5 de março, de acordo com fontes oficiais, a Aave Labs publicou um relatório completo de transparência do plano de segurança do Aave V4, incluindo métodos, processos e resultados, com o respaldo conjunto de várias instituições de segurança, como Trail of Bits, Blackthorn e Certora. Foram realizadas aproximadamente 345 dias de revisão de segurança por meio de auditorias manuais, validação formal, testes de invariantes, testes de fuzzing e competições de segurança públicas. Este plano é apoiado por um orçamento de segurança dedicado de 1,5 milhões de dólares aprovado pela DAO.
Aave Labs anunciou que continuará a seguir cinco compromissos centrais do plano de segurança do Aave V4: incorporar validação formal na fase inicial de desenvolvimento para garantir que o design da arquitetura seja orientado por métodos de segurança, e não apenas validado; adotar uma abordagem de segurança em camadas, incluindo revisão manual, validação formal, testes de invariantes, inspeções assistidas por IA, fuzzing e competições de segurança públicas, para cobrir mais vulnerabilidades potenciais; manter uma cobertura de segurança contínua, com o quadro de validação formal e o conjunto de testes de invariantes operando continuamente com as iterações do protocolo; estabelecer um programa de recompensas por vulnerabilidades de longo prazo, aproveitando a comunidade de segurança mais ampla para monitoramento contínuo; e otimizar a capacidade de varredura por IA, aprimorando continuamente a detecção inteligente de vulnerabilidades nas futuras versões, com base na experiência de testes existente.
Aviso: As informações nesta página podem ser provenientes de terceiros e não representam as opiniões ou pontos de vista da Gate. O conteúdo exibido nesta página é apenas para referência e não constitui aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou integridade das informações e não será responsável por quaisquer perdas decorrentes do uso dessas informações. Os investimentos em ativos virtuais apresentam altos riscos e estão sujeitos a uma volatilidade de preços significativa. Você pode perder todo o capital investido. Por favor, compreenda completamente os riscos envolvidos e tome decisões prudentes com base em sua própria situação financeira e tolerância ao risco. Para mais detalhes, consulte o
Aviso Legal.
Related Articles
Asentum lança testnet da camada 1 resistente a ataques quânticos em 1º de maio
A Asentum lançou sua testnet pública em 1º de maio, apresentando uma blockchain de Layer-1 construída com criptografia pós-quântica, contratos inteligentes baseados em JavaScript e um sistema de validadores projetado para uma participação mais ampla. A rede utiliza ML-DSA-65 (Dilithium3) para assinaturas digitais em todo o protocolo st
GateNews20m atrás
Silence Labs lança cofre à prova de quantum para proteger a custódia de criptoativos
A Silence Laboratories lançou um cofre de custódia com segurança quântica, projetado para proteger ativos digitais contra futuras ameaças criptográficas. O sistema combina assinaturas pós-quânticas com computação multipartidária para ajudar as instituições a fazerem a transição sem precisar reformular toda a infraestrutura existente.
Chave
Coinpedia1h atrás
Arbitrum DAO Vota para Liberar 30.766 ETH para a DeFi United Após Ataque do Kelp DAO
De acordo com a The Block, a Arbitrum DAO está votando para liberar aproximadamente 30,766 ETH congelados pelo Arbitrum Security Council para a iniciativa DeFi United, criada em resposta ao ataque à Kelp DAO no início deste mês. Na primeira hora de votação, 16,9 milhões de tokens ARB foram lançados a favor, com o vot
GateNews3h atrás
Arbitrum DAO inicia votação para liberar Ethereum congelado, com taxa de aprovação de 100% até 8 de maio
De acordo com a Foresight News, a Arbitrum DAO começou a votar para liberar os fundos de Ethereum congelados apreendidos durante o hack da Kelp DAO. A proposta estabelece um endereço de multisig assinado pela Aave Labs, KelpDAO, Certora e EtherFi para supervisionar os esforços de recuperação após a liberação dos fundos congelados.
A proposta
GateNews3h atrás
Hackers da Coreia do Norte roubam $600M em abril do Drift Protocol e atacam o Kelp DAO
De acordo com a TRM Labs, hackers ligados à Coreia do Norte roubaram aproximadamente US$ 600 milhões em criptomoedas em abril, em ataques ao Drift Protocol e ao Kelp DAO, respondendo por 76% das perdas totais do mês. O relatório estima que, desde 2017, hackers associados à Coreia do Norte tenham roubado mais de US$ 6 bilhões
GateNews4h atrás
O CEO da Ripple Reafirma o Compromisso com o XRP na Conferência de Vegas e Define Três Objetivos Estratégicos
Na conferência XRP Las Vegas, o CEO da Ripple, Brad Garlinghouse, abordou as preocupações da comunidade sobre o compromisso da empresa com o XRP, reafirmando que a Ripple continua sendo a maior detentora de XRP e está focada em tornar o XRP o ativo digital mais útil, líquido e confiável. Garlinghouse rechaçou dúvidas sobre
GateNews5h atrás
