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
A atualização dinâmica adiciona infraestruturas para carteiras embutidas para a TON, suportando as Telegram Mini Apps
A Dynamic integrou uma infra-estrutura de carteira incorporada na rede TON, permitindo que os programadores implementem carteiras TON diretamente em Telegram Mini Apps. Isto simplifica o processo de desenvolvimento, reduz os riscos de segurança e melhora a experiência do utilizador no ambiente Web3 do Telegram.
TapChiBitcoin46m atrás
A fragmentação do Ethereum L2 enfrenta uma solução com um novo plano EEZ
A Zona Económica do Ethereum (EEZ) tem como objetivo unificar as redes de camada 2, permitindo transações entre cadeias sem interrupções e abordando as preocupações existentes com a fragmentação. Suporta liquidez partilhada e execução síncrona de contratos inteligentes, simplificando as interações entre várias cadeias.
CryptoFrontNews50m atrás
A Core Foundation colabora com a Zcash no desenvolvimento de uma nova camada de expansão com um modelo Satoshi Plus
A Core Foundation colabora com a Zcash para desenvolver uma nova camada de expansão utilizando o modelo Satoshi Plus. Kieran Dennis, cofundador da Z, observou que este esforço visa integrar capacidades nativas de EVM na Zcash.
TapChiBitcoin53m atrás
A rede L2 da Ethereum, a rede de testes RISE, começa a executar o código da rede principal
Notícias da Gate News: Em 31 de março, a RISE, da rede L2 da Ethereum, publicou um tweet oficial a anunciar que o seu testnet já começou a executar o código da mainnet. Isto significa que o ambiente do testnet está a utilizar a mesma versão do código que será usada na futura mainnet para testes e validação.
GateNews2h atrás
A rede robótica geral Orbion concluiu a implantação na mainnet da BSC, iniciando a subscrição de moedas de 72 horas
A rede geral de robôs Orbion foi implantada com sucesso na mainnet BSC em 31 de março e entrou em operação, com o objetivo de permitir a gestão do ciclo de vida completo dos robôs gerais de utilizadores em todo o mundo. O token nativo da plataforma ORB já iniciou uma subscrição pública de 72 horas, servindo como credencial central para governação, pagamentos e circulação de valor.
GateNews2h atrás
A Pi Network Lança uma Grande Atualização para os Pioneiros e para a Segunda Migração
A equipa central do Pi Network, que tem sido alvo de críticas severas ultimamente, acabou de atualizar o número de utilizadores que concluíram a segunda migração dos seus saldos.
Tal como acontece com publicações semelhantes no X antes, no entanto, a comunidade foi rápida a captar a afirmação e a reagir com críticas ao
CryptoPotato2h atrás
