Le prix du code source pré-audit le plus propre que j'ai jamais vu (jusqu'à présent) revient à : Aave v4. Malgré une grande complexité, il n'y a presque aucun "problème simple" que l'on s'attendrait à trouver dans un code source de cette taille. Je soupçonne que cela est le résultat d'une conception soignée, d'une application cohérente des meilleures pratiques (par exemple, arrondi explicite, conversions vérifiées) et d'une suite de tests détaillée qui utilise le fuzzing et les invariants.

Il n'y a rien de tel que de faire une sieste dans une chambre hyperbare pour se sentir comme une nouvelle personne.

PSA : un « Blockchain Security Engineer » (@0xNickLFranklin) bien connu s’est avéré être un opérateur de la RPDC... Je remarque que quelques-uns de mes propres abonnés/mutuelles le suivent. Ne vous sentez pas mal, il a trompé tout le monde, mais ne faites confiance à rien de ce qu’il vous envoie (au minimum).