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.
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a
Isenção de responsabilidade.
Related Articles
Jack Dorsey antecipa o «Bitcoin Day» — a lendária torneira de água, conhecida como faucet, vai ser retomada a 6 de abril
Jack Dorsey publica um aviso de que a 6 de abril de 2026 vai reiniciar a actividade da “Bitcoin tap” em homenagem aos primeiros programadores, reavivando o espírito da comunidade. O pano de fundo desta iniciativa é a correcção do mercado de Bitcoin, e os Bitcoins detidos pela Block, empresa liderada por Dorsey, continuam a gerar bons lucros.
ChainNewsAbmedia12m atrás
A Ethereum Foundation faz mais um stake de 93 milhões de dólares em ether, atingindo o seu objetivo de 70.000 ETH
A Ethereum Foundation aplicou em staking $93 milhões em ether, atingindo quase $143 milhões no total de ETH em staking, ficando a quase cumprir a sua meta de 70.000 ETH. Esta mudança para o staking gera rendimento para financiar as operações sem vender ativos, embora ainda exista algum ETH que permanece fora de staking.
CoinDesk5h atrás
Plataforma ecológica Hyperliquid baseada na tecnologia Base lança a funcionalidade Launchpool
Notícias do Gate News, 4 de abril, a plataforma de transações de criptomoedas e de consumo da comunidade Hyperliquid, a Based, anunciou recentemente o lançamento da funcionalidade Launchpool. Os detentores do token Based podem obter pontos ao apostar os seus tokens e, assim, participar nas atividades de Launchpool. Segundo informações, o primeiro projeto a ser listado no Launchpool da plataforma é o Pull Fun.
GateNews6h atrás
O engenheiro da Ripple explica o ritmo da actualização do XRPL, com o foco a passar para correcções de erros e fiabilidade - U.Today
O engenheiro da RippleX, Mayukha Vadari, abordou as preocupações dos programadores à medida que o XRP Ledger passa por melhorias significativas. As principais áreas de foco incluem telemetria, nomenclatura, segurança de tipos, refatorização, registo (logging) e documentação para melhorar a estabilidade e a correção de bugs, tornando a plataforma mais robusta e acessível aos programadores.
UToday6h atrás
