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
La plateforme d’infrastructure de portefeuille de confidentialité Privy prend en charge les échanges de transactions de portefeuille
Actualité de Gate News, le 7 avril, la plateforme d’infrastructure de portefeuilles de confidentialité Privy a publié un tweet indiquant qu’elle prend désormais en charge la fonctionnalité d’échange de portefeuille, cette fonctionnalité étant soutenue sur le plan technique par l’API Uniswap.
GateNewsIl y a 1h
Velora (anciennement Paraswap) publie une nouvelle proposition de gouvernance, ferme la trésorerie du DAO et met fin au programme de staking
Velora (anciennement Paraswap) publie une nouvelle proposition de gouvernance, avec principalement des ajustements visant à se concentrer sur des décisions structurelles liées au token VLR, à mettre fin au programme de staking, à fermer le trésor du DAO et à payer les services d’infrastructure, ainsi qu’à arrêter le routage des frais. À l’avenir, la gouvernance se concentrera sur les décisions relatives au token VLR, et les opérations du protocole seront soutenues par l’équipe de développement.
GateNewsIl y a 2h
Une nouvelle proposition de norme Ethereum ERC-8211 est publiée, permettant aux agents d’IA d’exécuter des transactions DeFi complexes
Biconomy a proposé un nouveau standard pour l’ Ethereum, le ERC-8211, qui introduit un mécanisme de « smart batching » permettant aux agents IA d’exécuter dynamiquement plusieurs étapes d’opérations DeFi au sein d’une seule transaction, afin de traiter efficacement les problèmes de volatilité des prix et de variations de frais, conformément à la stratégie de la Fondation Ethereum visant à améliorer l’expérience utilisateur.
GateNewsIl y a 2h
Le réseau principal de la blockchain publique Rayls sera mis en ligne le 30 avril
Nouvelles du Gate, le 7 avril, le projet de blockchain publique Rayls a annoncé que son réseau principal sera lancé le 30 avril à 23:00. Dans le même temps, le plan de mise en jeu de Rayls et la stablecoin native USDr seront également lancés. USDr est une stablecoin native de Rayls, adossée au dollar américain, utilisée pour payer les frais de transaction du réseau.
GateNewsIl y a 3h
Les gains cumulés du jalonnement Ethereum de SharpLink atteignent 16,947 ETH
Nouvelles Gate News : le 7 avril, la société SharpLink de la trésorerie d’Ethereum a indiqué sur la plateforme X que, depuis le lancement de sa stratégie de trésorerie ETH, les revenus de récompense cumulés issus du staking d’Ethereum pour la société s’élèvent à 16,947 ETH. En outre, les revenus de staking d’Ethereum obtenus par SharpLink la semaine dernière s’élèvent à 511 ETH.
GateNewsIl y a 3h
PDG de Tether : l’équipe est en train de développer un moteur de recherche décentralisé hypersearch
Actualités Gate News, le 7 avril, le PDG de Tether, Paolo Ardoino, a déclaré que l’équipe développe un moteur de recherche décentralisé nommé hypersearch. Le produit s’appuie sur une architecture de table de hachage distribuée (DHT, une technologie de stockage de données décentralisée).
GateNewsIl y a 3h
