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
HypurrFi semble avoir été victime d’un détournement de domaine ; les responsables du projet demandent aux utilisateurs de suspendre l’utilisation du site officiel.
Le protocole de prêt DeFi HypurrFi publie un avertissement de sécurité, affirmant que son domaine de site web a été compromis, et invite les utilisateurs à ne pas utiliser ce domaine et à suspendre toute interaction. L’équipe confirme que les fonds des utilisateurs sont en sécurité et enquête sur l’incident de piratage du domaine.
GateNewsIl y a 4h
Le portefeuille de l’écosystème Cosmos Leap Wallet annonce l’arrêt de ses opérations le 28 mai
Le portefeuille non custodial Leap Wallet de l’écosystème Cosmos annonce qu’il cessera ses activités le 28 mai, et que cela concerne plusieurs services et fonctionnalités. Les utilisateurs doivent re-préciser leur délégation en ATOM dès que possible afin d’éviter une interruption des revenus. Malgré la fermeture, l’équipe reste convaincue de l’évolution du secteur de la cryptographie.
GateNewsIl y a 4h
La Fondation Ethereum approche presque de l’objectif de 70 000 ETH mis en jeu
La Fondation Ethereum a récemment mis en jeu plus de 45 000 ETH, s’approchant de son objectif de 70 000. Cette stratégie vise à générer des fonds pour le développement et à répondre aux préoccupations de la communauté concernant la gestion du trésor. Des inquiétudes concernant la centralisation et les hard forks sont également mentionnées.
CointelegraphIl y a 4h
Square active à l’avance et de manière complète la fonctionnalité de paiement en Bitcoin
Square annonce l’activation complète des options de paiement en bitcoins pour les commerçants américains, et en fait une fonctionnalité par défaut. Grâce au règlement en temps réel via le réseau Lightning, les commerçants peuvent bénéficier d’une offre de 0 commission jusqu’en 2027. Malgré cela, elle reste soumise à des restrictions des réglementations locales et à la vérification de l’éligibilité des commerçants.
ChainNewsAbmediaIl y a 5h
Bitcoin gratuit ? Dorsey remet en service le robinet à BTC - U.Today
Jack Dorsey laisse entendre la possibilité de relancer le célèbre robinet Bitcoin d’antan, un site qui offrait autrefois gratuitement du BTC aux utilisateurs pour découvrir la cryptomonnaie. Cette initiative rappelle les débuts populaires de Bitcoin, même si les détails restent limités jusqu’au lancement.
UTodayIl y a 6h
Le prix de Cardano évolue près du seuil de 0,245 $ alors que l’élan du marché faiblit
Le prix de Cardano se stabilise autour du niveau de support de 0,245 $ dans un contexte de consolidation du marché et de dynamique en baisse. L’incapacité à franchir la résistance à 0,268 $ suscite des inquiétudes quant à la solidité à la hausse. Parallèlement, le développement de la nouvelle version du nœud 10.7.0 est en phase de test, promettant des améliorations pour l’écosystème.
CryptoNewsLandIl y a 6h
