Aave Spends $1.5M on 345-Day Audit to Strengthen V4 Security

TheNewsCryptoPublié le 2026-03-06Dernière mise à jour le 2026-03-06

Résumé

Aave Labs has invested $1.5 million in an extensive 345-day audit program for its upcoming V4 upgrade, making it one of the most comprehensive security reviews in DeFi. The audit involved multiple security firms, including ChainSecurity, Trail of Bits, Blackthorn, and Certora, as well as a public contest hosted on Sherlock. Over 900 researchers participated and submitted more than 950 findings. No critical or high-severity vulnerabilities were discovered, reinforcing confidence in Aave’s hub-and-spoke architecture. The new security framework integrates formal verification, layered manual and automated testing, continuous monitoring, bug bounties, and AI tools to detect unusual attack paths from the earliest development phase.

The team at Aave Labs has reportedly spent around $1.5 million on a huge audit program, marking one of the most thorough security reviews in DeFi so far. The review process lasted around 345 days and comprised various security companies and a large public audit contest.

The period of moving quickly and breaking things is dissolving slowly. In the current scenario of the market, resilience and security are the real competitive edge. The team is majorly backed by Aava DAO in terms of funding, and it brought in prominent security companies such as ChainSecurity, Trail of Bits, Blackthorn, and Certora.

Rather than one audit pass, the code was tested from various angles. Combining all, the protocol went through around a complete year of testing by internal teams, external auditors, and independent researchers.

The biggest phases comprised a six-week public security contest on Sherlock between December 2025 and January 2026. Over 900 researchers were a part of the contest and submitted more than 950 findings.

Strengthening The Trust

Regardless of that big review, any critical or high-severity vulnerabilities weren’t found. This makes the confidence in Aave’s hub-and-spoke architecture more robust, which was initially made to suppress the complete attack surface of the protocol.

Aave Labs is not going after the old build-first, audit-later approach and is having V4 security teams working with the developers from the initial day. The framework covers the five core ideas, including formal verification to mathematically test the code, layered reviews amalgamating manual audits and automated testing, constant checks on every code update, continuing bug bounties and AI tools scanning for unusual attack paths.

The AI element stands out, and automated systems can catch edge cases that human auditors might miss. Verification company Certora helped describe strict rules known as ‘invariants’ that the code must always follow before it even attains manual review.

Highlighted Crypto News Today:

TRON Founder Justin Sun and the SEC Reach a Settlement Deal

TagsAAVEAave Labscrypto security

Cryptos en tendance

Questions liées

QHow much did Aave Labs spend on the audit program for V4 and how long did it take?

AAave Labs spent approximately $1.5 million on the audit program, which lasted around 345 days.

QWhich security companies were involved in the audit of Aave V4?

AThe audit involved prominent security companies including ChainSecurity, Trail of Bits, Blackthorn, and Certora.

QWhat was the scale of the public security contest held on Sherlock for Aave V4?

AThe public security contest on Sherlock lasted six weeks, involved over 900 researchers, and resulted in more than 950 findings being submitted.

QWere any critical or high-severity vulnerabilities found during the extensive audit process?

ANo, no critical or high-severity vulnerabilities were found during the audit process.

QWhat is one innovative method used in Aave's new security framework to catch potential issues?

AOne innovative method is the use of AI tools to scan for unusual attack paths and catch edge cases that human auditors might miss.

Lectures associées

Dialogue avec Ray Dalio : Nous sommes actuellement dans une bulle de l'IA, 1% de mon portefeuille est en Bitcoin

Ray Dalio, fondateur de Bridgewater Associates, met en garde contre la bulle actuelle de l'IA, présentant des signes classiques similaires aux précédents krachs financiers. Il explique qu'une combinaison de spéculation excessive, d'endettement et de changements de taux d'intérêt pourrait provoquer son éclatement, entraînant une récession économique. Dalio décrit également un « grand cycle » mondial d'environ 80 ans, caractérisé par des inégalités croissantes, des déficits publics élevés et des tensions géopolitiques. Nous serions actuellement dans une phase de déclin de ce cycle, avec un ordre mondial en transition. Pour protéger leur patrimoine, il conseille aux investisseurs de diversifier leurs actifs (actions, obligations, or, immobilier) plutôt que de détenir uniquement des liquidités. Il mentionne détenir environ 1% de Bitcoin, mais préfère l'or physique pour sa stabilité. Concernant l'IA, Dalio souligne qu'elle remplacera progressivement le travail intellectuel humain, creusant les inégalités. L'avenir appartiendra à ceux qui sauront allier intelligence humaine et collaboration avec l'IA. Enfin, il évoque un monde de plus en plus régionalisé, avec un affaiblissement de la puissance américaine, visible dans des conflits comme celui avec l'Iran, et la montée en puissance d'autres pôles, notamment la Chine.

marsbitIl y a 2 h

Dialogue avec Ray Dalio : Nous sommes actuellement dans une bulle de l'IA, 1% de mon portefeuille est en Bitcoin

marsbitIl y a 2 h

7,2 billions de KRW en une journée, les achats nets des investisseurs étrangers atteignent un record historique ce vendredi ! Wall Street : Les vents contraires sur les flux de capitaux sud-coréens se sont dissipés

Les marchés boursiers sud-coréens montrent des signes tangibles d'amélioration des flux de capitaux. Le 31 juillet, les investisseurs étrangers ont réalisé un achat net record de 7 200 milliards de wons sur une seule journée dans le KOSPI, marquant un renversement de la tendance de sorties massives observée ces derniers mois. En juillet, leurs ventes nettes mensuelles se sont fortement réduites à 9 800 milliards de wons, contre 48 400 et 44 500 milliards en juin et mai respectivement. Parallèlement, les institutions domestiques comme les fonds de pension ont inversé leur tendance, passant à un achat net de 1 000 milliards de wons en juillet. La Commission des services financiers a également resserré l'accès aux ETF à effet de levier sur actions individuelles pour les investisseurs de détail, réduisant ainsi la volatilité du marché. Citigroup Research maintient son objectif pour le KOSPI à 10 000 points, estimant que les vents contraires liés aux flux de capitaux s'atténuent. Des facteurs tels que les fondamentaux solides du secteur des puces mémoire, les faibles valorisations du marché, une économie robuste et un environnement politique favorable devraient soutenir le marché. La possibilité d'interventions des autorités pour stabiliser le marché offre également un filet de sécurité.

marsbitIl y a 2 h

7,2 billions de KRW en une journée, les achats nets des investisseurs étrangers atteignent un record historique ce vendredi ! Wall Street : Les vents contraires sur les flux de capitaux sud-coréens se sont dissipés

marsbitIl y a 2 h

Choc ! La prochaine IA d'OpenAI résout 10 problèmes du calibre de la Médaille Fields

**OpenAI provoque un séisme mathématique avec son nouveau modèle Astra** OpenAI a dévoilé des avancées mathématiques majeures réalisées par son modèle interne Astra, présenté par Sam Altman. L'IA aurait résolu ou fait progresser dix problèmes complexes dans des domaines variés comme la géométrie haute dimension, la théorie des groupes et la complexité quantique. Le résultat le plus marquant est la construction du premier groupe "non sofic" infini et finiment présenté, réfutant une conjecture de Mikhail Gromov vieille de 27 ans. Cette seule découverte est qualifiée de niveau "Prix Fields". Astra a également amélioré une borne fondamentale sur le problème de l'empilement des sphères en haute dimension, stagnant depuis 1978, et a réfuté la conjecture de rigidité d'Alain Connes en construisant une infinité de groupes non isomorphes partageant la même algèbre de von Neumann. Ces résultats, compilés dans un document de 249 pages, sont accompagnés de preuves formelles vérifiées par l'assistant Lean 4. OpenAI précise que le coût total de génération de ces démonstrations aurait été inférieur à 2000 dollars. La communauté mathématique réagit avec stupeur, certains experts y voyant un tournant historique où l'IA démontre une intuition et une capacité de raisonnement pouvant surpasser les meilleurs mathématiciens humains.

marsbitIl y a 4 h

Choc ! La prochaine IA d'OpenAI résout 10 problèmes du calibre de la Médaille Fields

marsbitIl y a 4 h

Grâce aux lancers de dés, les clés Bitcoin sont stockées hors ligne, mais tout le monde ne s'y mettra pas

Le titre « Les clés Bitcoin protégées par des dés, mais la méthode reste marginale » introduit un article sur la génération manuelle de graines de portefeuille Bitcoin à l'aide de dés. L'article explique le concept d'entropie, illustré par Claude Shannon, où un dé à six faces génère environ 2,585 bits d'incertitude. Il aborde le scandale récent de Coldcard, où une vulnérabilité du générateur de nombres aléatoires matériel a compromis des fonds. Les utilisateurs ayant généré leur phrase de récupération avec des dés (environ 99 lancers pour une haute sécurité) n'étaient pas affectés pour leur seed principal. Cependant, l'analyse du chercheur Kevin Loaec montre que d'autres fonctions du portefeuille (clés de copie, portefeuilles papier, mots de passe, etc.) utilisaient ce générateur défectueux et restaient vulnérables. L'article souligne les défis pratiques de la méthode des dés : elle est longue, sujette aux erreurs de saisie, et peu adaptée aux nouveaux utilisateurs qui pourraient mal l'exécuter. Il conclut que si cette méthode manuelle est robuste pour les experts, l'objectif à long terme est d'avoir un matériel et des logiciels générant une entropie fiable de manière simple et sécurisée. Il conseille aux propriétaires de Coldcard de vérifier leur firmware et les fonctions utilisées, et rappelle l'intérêt des solutions multi-signatures avec différents fabricants pour limiter les risques.

cryptonews.ruIl y a 7 h

Grâce aux lancers de dés, les clés Bitcoin sont stockées hors ligne, mais tout le monde ne s'y mettra pas

cryptonews.ruIl y a 7 h

Trading

Spot

Articles tendance

Comment acheter AAVE

Bienvenue sur HTX.com ! Nous vous permettons d'acheter Aave Protocol (AAVE) de manière simple et pratique. Suivez notre guide étape par étape pour commencer votre parcours crypto.Étape 1 : Création de votre compte HTXUtilisez votre adresse e-mail ou votre numéro de téléphone pour ouvrir un compte sur HTX gratuitement. L'inscription se fait en toute simplicité et débloque toutes les fonctionnalités.Créer mon compteÉtape 2 : Choix du mode de paiement (rubrique Acheter des cryptosCarte de crédit/débit : utilisez votre carte Visa ou Mastercard pour acheter instantanément Aave Protocol (AAVE).Solde :utilisez les fonds du solde de votre compte HTX pour trader en toute simplicité.Prestataire tiers :pour accroître la commodité d'utilisation, nous avons ajouté des modes de paiement populaires tels que Google Pay et Apple Pay.P2P :tradez directement avec d'autres utilisateurs sur HTX.OTC (de gré à gré) : nous offrons des services personnalisés et des taux de change compétitifs aux traders.Étape 3 : stockage de vos Aave Protocol (AAVE)Après avoir acheté vos Aave Protocol (AAVE), stockez-les sur votre compte HTX. Vous pouvez également les envoyer ailleurs via un transfert sur la blockchain ou les utiliser pour trader d'autres cryptos.Étape 4 : tradez des Aave Protocol (AAVE)Tradez facilement Aave Protocol (AAVE) sur le marché Spot de HTX. Il vous suffit d'accéder à votre compte, de sélectionner la paire de trading, d'exécuter vos trades et de les suivre en temps réel. Nous offrons une expérience conviviale aux débutants comme aux traders chevronnés.

504 vues totalesPublié le 2024.12.11Mis à jour le 2026.06.02

Comment acheter AAVE

Discussions

Bienvenue dans la Communauté HTX. Ici, vous pouvez vous tenir informé(e) des derniers développements de la plateforme et accéder à des analyses de marché professionnelles. Les opinions des utilisateurs sur le prix de AAVE (AAVE) sont présentées ci-dessous.

活动图片