BlockBeats rapporte que, le 5 mars, selon des sources officielles, Aave Labs a publié un rapport complet de transparence sur le plan de sécurité d’Aave V4, incluant les méthodes, processus et résultats, avec le soutien conjoint d’organismes de sécurité tels que Trail of Bits, Blackthorn, Certora, et d’autres. À travers des audits manuels, des vérifications formelles, des tests d’invariance, des tests de fuzzing, ainsi que des compétitions de sécurité publiques, environ 345 jours d’évaluation de sécurité ont été réalisés. Ce plan est soutenu par un budget de sécurité dédié de 1,5 million de dollars approuvé par le DAO.
Aave Labs a annoncé qu’il continuerait à respecter cinq engagements fondamentaux issus du plan de sécurité d’Aave V4 : intégrer la vérification formelle dès la phase de développement initiale pour garantir que la conception de l’architecture soit guidée par des méthodes de sécurité plutôt que simplement vérifiée ; adopter une approche de sécurité en couches, comprenant des revues manuelles, la vérification formelle, des tests d’invariance, une vérification assistée par IA, des tests de fuzzing et des compétitions de sécurité publiques, afin de couvrir un plus grand nombre de vulnérabilités potentielles ; maintenir une couverture de sécurité continue, avec un cadre de vérification formelle et une suite de tests d’invariance qui évolueront avec le protocole ; établir un programme de primes pour vulnérabilités à long terme, en utilisant une communauté de sécurité plus large pour une surveillance continue ; et optimiser la capacité de détection par IA, en améliorant continuellement la détection intelligente pour les futures versions, basée sur l’expérience acquise lors des tests précédents.
Avertissement : Les informations contenues dans cette page peuvent provenir de tiers et ne représentent pas les points de vue ou les opinions de Gate. Le contenu de cette page est fourni à titre de référence uniquement et ne constitue pas un conseil financier, d'investissement ou juridique. Gate ne garantit pas l'exactitude ou l'exhaustivité des informations et n'est pas responsable des pertes résultant de l'utilisation de ces informations. Les investissements en actifs virtuels comportent des risques élevés et sont soumis à une forte volatilité des prix. Vous pouvez perdre la totalité du capital investi. Veuillez comprendre pleinement les risques pertinents et prendre des décisions prudentes en fonction de votre propre situation financière et de votre tolérance au risque. Pour plus de détails, veuillez consulter l'
avertissement.
Articles similaires
Bluefin lance une fonctionnalité de portefeuille pour un suivi unifié des crypto-actifs
Bluefin a introduit une nouvelle fonctionnalité « Portfolio » qui permet aux utilisateurs de suivre leurs positions financières à travers divers produits DeFi. Cet outil consolide la valeur nette, l’historique du PnL et la gestion des actifs dans une interface unique, transparente et améliorant l’efficacité ainsi que le contrôle pour les traders et les investisseurs.
BlockChainReporterIl y a 2h
Jack Dorsey annonce le redémarrage du robinet légendaire « Bitcoin Day » le 6 avril
Jack Dorsey a publié une annonce indiquant qu’il relancera l’activité « Bitcoin faucet » le 6 avril 2026, en rendant hommage aux développeurs de l’époque, et en ravivant l’esprit de la communauté. Cet événement s’inscrit dans le contexte d’un repli du marché du Bitcoin : les bitcoins détenus par la société Block, dirigée par Dorsey, restent toujours très rentables.
ChainNewsAbmediaIl y a 5h
La Fondation Ethereum mise encore 93 millions de dollars en ether, atteignant son objectif de 70 000 ETH
La Fondation Ethereum a mis en gage 93 millions de dollars en ether, atteignant près de 143 millions de dollars d’ETH mis en gage au total, répondant presque à son objectif de 70 000 ETH. Ce passage au jalonnement génère des rendements pour financer les opérations sans vendre d’actifs, bien que certains ETH restent non jalonnés.
CoinDeskIl y a 10h
