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 Fondation Avalanche lance un programme de subventions de recherche, jusqu’à 50 000 dollars par proposition le 1er mai
D’après PANews, la Avalanche Foundation a lancé un programme de subventions de recherche le 1er mai, offrant jusqu’à 50 000 dollars par proposition pour des études sur l’économie des tokens et les mécanismes de validateurs. L’initiative se concentre sur deux domaines clés : la tarification et la valorisation des actifs crypto, en examinant comment les actifs natifs en proof-of-stake a
GateNewsIl y a 48m
Tapp Exchange va cesser ses opérations ; les utilisateurs doivent retirer leurs actifs avant le 31 mai 2026
D’après une annonce officielle, Tapp Exchange cessera ses opérations, et les utilisateurs devront retirer leurs actifs d’ici le 31 mai 2026. Le protocole restera entièrement opérationnel jusqu’à cette date. Après le 31 mai, l’interface front-end sera mise hors ligne et les utilisateurs ne pourront retirer leurs fonds que par interaction
GateNewsIl y a 55m
WLFI chute de 14 % à 62 milliards lors du vote de déblocage, déclenche une controverse sur le marché
WLFI a chuté de 14 % après que la proposition a introduit 62 milliards de tokens dans le cadre de nouveaux calendriers d’acquisition.
Le contrecoup de la communauté s’est intensifié malgré une forte approbation de la gouvernance et des résultats de vote proches de l’unanimité.
Les investisseurs craignent un impact sur l’offre à long terme, entraînant une baisse marquée par rapport aux niveaux de prix récents.
World Liberty F
CryptoNewsLandIl y a 1h
Les mineurs de Bitcoin Riot comptabilisent 33 millions de dollars liés à leurs centres de données au T1, tandis que la société AMD signe un contrat pour doubler la puissance de calcul.
Riot publie les résultats du T1 2026 : les revenus des centres de données s’élèvent à 33,2 millions de dollars, principalement liés à des rénovations ponctuelles, avec une marge brute sur les baux à long terme toujours faible ; AMD fait passer le contrat au double, à 50 MW, devenant une ancre décisive dans sa transition vers l’exploitation de centres de données pour l’IA. Le coût d’extraction du Bitcoin atteint 96 283 dollars, pour une valeur de 75 964 dollars ; la perte trimestrielle est d’environ 500 millions de dollars, avec un EBITDA négatif de 311 millions. Par la suite, l’accent est mis sur une baisse de la part du fit-out, la finalisation d’AMD et le lancement des baux à long terme, ainsi que sur la diversification des clients.
ChainNewsAbmediaIl y a 1h
Polymarket termine la migration vers CLOBv2, et lance 50 millions de récompenses de liquidité le 1er mai
Selon Polymarket, le 1er mai la plateforme a finalisé les travaux de migration CLOBv2, notamment en corrigeant les problèmes de commandes fantômes, en terminant la restructuration du CLOB et en effectuant la migration de chaîne. Le protocole a également corrigé et retraité les remises des market makers. Environ 50 millions de récompenses de liquidité le jour de la migration
GateNewsIl y a 1h
TradeXYZ lance un marché de perpétuels pré-IPO le 1er mai
D’après PANews, TradeXYZ a lancé, le 1er mai, un marché de « Pre-IPO Perpetuals », offrant une négociation continue autour des introductions en bourse (IPO) anticipées d’entreprises en préparation. Le produit fournit une découverte des prix et des mécanismes de trading avant la cotation officielle, et ne constitue pas des actions, ni des allocations d’IPO
GateNewsIl y a 2h
