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
Co-Fundador da Monad Sugere Tectos Dinâmicos em Depósitos de Garantia para Mitigar Riscos de Hack
Keone Hon sugere que protocolos de empréstimo com reservas em pool implementem limites de taxa graduais para aumentos de ativos usados como garantia, a fim de mitigar riscos durante ataques. Ele argumenta que isso poderia ter evitado perdas significativas, como visto com depositantes de rsETH.
GateNews5m atrás
A SGB Lança Serviço de Cunhagem de USDC na Rede Solana
A SGB permite cunhagem e resgate instantâneos de USDC na Solana, melhorando pagamentos transfronteiriços com liquidação em tempo real.
O serviço é voltado para instituições, eliminando intermediários e oferecendo liquidez e gestão de tesouraria 24/7.
Os planos de expansão incluem mais stablecoins e acesso para o varejo, li
CryptoFrontNews1h atrás
Morpho pausa a ponte cross-chain MORPHO OFT no Arbitrum após eventos da Kelp DAO e da LayerZero
A Morpho Association suspendeu temporariamente a ponte cross-chain OFT para tokens MORPHO no Arbitrum devido a problemas recentes com a Kelp DAO e a LayerZero Bridge, aguardando a confirmação da causa do incidente com rsETH.
GateNews1h atrás
O deslistamento de janeiro do rsETH pelo Spark Protocol se mostra prudente enquanto a Aave enfrenta uma crise de liquidez do ETH
A estratégia do Spark Protocol de deslistar ativos com baixa utilização e apertar as garantias enfrentou uma reação inicial negativa, mas se mostrou sábia durante a turbulência do mercado. Ao mesmo tempo em que mantém limites mais altos de taxa de juros, o SparkLend assegura liquidez, ao contrário da Aave, que agora enfrenta riscos significativos.
GateNews4h atrás
Kamino Pausa Interações com Ativos Relacionados à LayerZero, Fecha Funções de Depósito e Empréstimo
A Kamino suspendeu temporariamente as interações com tokens relacionados à LayerZero como medida de precaução, ao mesmo tempo em que permite saques e pagamentos de dívidas. Eles enfatizam que essa medida é para gestão de risco e que os fundos dos usuários estão seguros.
GateNews5h atrás
Membro do Núcleo da Aave Marc Zeller Propõe Encerrar o Projeto ACI Frontier, Planeja Deixar o Papel de Validador
Marc Zeller, da Aave, anunciou sua proposta para encerrar o projeto Aave-Chan Initiative Frontier. Ele vai deixar suas funções como validador, devolver o ETH para proteger depositantes de wETH e abrir mão de uma possível renda para minimizar o impacto nos usuários. Zeller influenciou significativamente os mecanismos de incentivo da Aave e planeja sair da Aave em julho.
GateNews6h atrás
