Aave Labs publie le rapport d'audit de transparence complet du plan de sécurité d'Aave V4

AAVE6,82%

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

Pi Network : transformation majeure — déploiement de l’écosystème de 210 applications, 23 000 développeurs en place

L’écosystème de Pi Network accélère sa transition, avec plus de 210 applications actives et 23 000 développeurs qui participent activement à Pi Studio, couvrant de nombreux domaines tels que la négociation, l’interaction communautaire, l’éducation, les jeux, etc. La diversité de l’écosystème montre des indicateurs de développement sain, et l’engagement des développeurs favorise l’amélioration continue des applications. À l’avenir, l’augmentation de l’utilité du mainnet sera un défi central, notamment avec des questions à résoudre de toute urgence, telles que l’évolutivité, la sécurité et le taux d’adoption par les utilisateurs.

MarketWhisperIl y a 3h

Le fondateur de Bittensor accuse son ex-frère de trahison, la forte chute de TAO déclenche la liquidation de 9,1 millions

Le cofondateur de Bittensor, Jacob Steeves, accuse Simon Dare de Covenant AI d’avoir intentionnellement porté atteinte à l’accord, entraînant une forte baisse du jeton TAO. Steeves propose un mécanisme de dépôt sous séquestre, afin de faire respecter les engagements par du code on-chain, et d’empêcher les fondateurs de se retirer de manière surprise. Bien qu’une crise ait éclaté, l’architecture open source de Bittensor peut encore garantir la poursuite du fonctionnement de l’accord, et une réunion est imminente pour présenter le nouveau mécanisme.

MarketWhisperIl y a 3h

L’équipe Scroll a augmenté manuellement le paramètre de taux de frais ; les utilisateurs ont été surfacturés de plus de 50 000 dollars de frais sur une période de quatre jours

Le réseau de couche 2 Ethereum Scroll, en raison de l’augmentation manuelle du multiplicateur de prix du gaz, a entraîné un dépassement d’environ 50 000 $ sur les frais de quelque 139 000 transactions ; le coût réel s’est révélé bien supérieur aux prévisions. Cet incident a suscité des doutes de l’extérieur quant à sa stratégie de subvention, et le TVL de Scroll a aussi fortement chuté pour atteindre 24 millions de dollars.

GateNewsIl y a 4h

Le cadre « Vote du meilleur scénario garanti » a été approuvé à 75% par le DAO Aave, et les revenus d’application sont affectés au trésor de gouvernance.

Le DAO Aave a adopté le cadre « Aave Will Win », approuvant un financement de 25 millions de dollars pour Aave Labs, et a déterminé que tous les revenus issus des applications de marque seront intégralement versés au trésor du DAO. Il réforme la structure de gouvernance en remplaçant les procédures bureaucratiques par une approche axée sur les résultats. Il est prévu que les revenus des accords futurs atteindront 140 millions de dollars. Le financement pour chaque produit spécifique doit toutefois encore faire l’objet d’une proposition et être examiné individuellement.

MarketWhisperIl y a 4h

Mise à jour critique à venir sur les indicateurs de la chaîne BNB Chain avant le hard fork du 28 avril - U.Today

Le hard fork Osaka/Mendel sur BSC sera lancé le 28 avril, exigeant des opérateurs de nœuds qu’ils mettent à jour vers BSC v1.7.2. La mise à niveau améliore la construction des blocs, la gestion des transactions et introduit une limite de gaz pour renforcer la stabilité du réseau.

UTodayIl y a 4h

Le fondateur d’Aave publie la feuille de route stratégique AWW : centrée sur $AAVE , l’objectif est d’atteindre une taille de protocole de 1 000 milliards de dollars

Le fondateur d’Aave, Stani, a annoncé sur une plateforme sociale que Aave va se tourner vers un modèle centré sur le token $AAVE , et que tous les revenus retourneront au trésor du DAO. À l’avenir, une carte de paiement et une expérience de technologie financière seront lancées ; l’objectif est d’augmenter la taille de l’écosystème du protocole de 40 milliards de dollars à 1 000 milliards de dollars, en le positionnant comme un marché de base pour les actifs financiers traditionnels.

GateNewsIl y a 4h
Commentaire
0/400
Aucun commentaire