Une autre astuce que j’ai regardée récemment est Vicuna Finance de mars de cette année. Ils ont perdu 700 000 $ à cause de la manipulation de l’oracle du jeton LP sur la chaîne Sonic. L’attaque a exploité une faille de prix fondamentale qui aurait pu être évitée avec une simple affirmation. Le prix des tokens LP a été fixé à l’aide d’une formule de somme de base (price_token1 * amount_token1 + price_token0 * amount_token0) au lieu d’un prix équitable qui tient compte de la formule de produit constant du pool. Séquence d’attaque : - Grand swap de token0 à token1 : prix de l’oracle du token LP artificiellement gonflé - Déposez des tokens LP surévalués en garantie - Empruntez un maximum d’actifs contre une valeur de garantie gonflée - Le swap inversé a dégonflé le prix du LP, laissant le protocole avec une mauvaise créance La manipulation des prix est un modèle que nous voyons encore et encore, et c’est un modèle contre lequel les affirmations protègent bien. Dans cet exemple, nous expérimentons un nouveau cheatcode qui permettra d’inspecter les appels dans la pile d’appels, ce qui est idéal pour détecter les manipulations de prix intra tx. Nous vérifions qu’un call « swap » ne peut pas entraîner un écart de prix de plus de 5 % par rapport à la ligne de base à tout moment pendant l’exécution du tx. Il s’agit d’un moyen simple, mais puissant, de se protéger contre, par exemple, les attaques de prêt flash.