Aave : Stable Vaults a passé la vérification formelle de Certora
Selon Foresight News, Aave a déclaré sur Twitter que la société de vérification formelle de smart contracts Certora a terminé la vérification des Stable Vaults, couvrant les contrats StableVault, Funds Handler, Asset Registry, Allocator ainsi que le token IOU. La vérification a confirmé que leur implémentation en Solidity respecte les règles formelles de Certora. Stable Vaults constitue une solution intégrée pour le rendement des stablecoins à taux fixe, pouvant être incorporée dans tout produit financier ; le rapport d’audit correspondant a déjà été publié.
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
Selon une enquête de la Federal Reserve de New York : la hausse des prix des services atteint son rythme le plus rapide depuis 2022, tandis que l'indice d'activité commerciale tombe à son plus bas niveau depuis mars.
La Réserve fédérale de New York a publié vendredi une enquête révélant qu'en octobre, la hausse des prix de vente dans le secteur des services a atteint son rythme le plus rapide depuis 2022. Les coûts des intrants restent fortement à la hausse, tandis que les conditions d'approvisionnement continuent de se détériorer. Le pessimisme des entreprises quant aux perspectives économiques s'est intensifié de manière significative, l'indice global de l'activité commerciale ayant chuté de 12 points par rapport au mois précédent pour atteindre -20,7, soit le niveau le plus faible depuis mars.
Prix des cryptos
Plus
