DeFi AMM Security Checklist

Sélectionné par Skill Harbor : une checklist de sécurité plus des patterns durcis pour les contrats AMM Solidity, les pools de liquidité et les flux de swap. Il parcourt les modes d'échec classiques avec du code vulnérable contre sûr : la réentrance corrigée par l'ordre checks-effects-interactions plus ReentrancyGuard et SafeERC20 au lieu de gardes maison ; les attaques par don ou inflation corrigées en suivant un _totalAssets interne et en mesurant les tokens réellement reçus au lieu de faire confiance à balanceOf(address(this)) ; la manipulation d'oracle corrigée en lisant un TWAP plutôt que des prix spot manipulables par flash loan ; l'absence de protection contre le slippage corrigée en exigeant amountOutMin et deadline fournis par l'appelant sur chaque swap ; les maths de réserve sujettes au dépassement corrigées avec FullMath.mulDiv ; et les fonctions admin verrouillées derrière Ownable2Step avec une pause d'urgence réellement testée. Une checklist finale en fait une passe de revue, avec slither, echidna et le fuzzing forge comme outillage recommandé. Par @affaan-m, listé ici avec crédit à son créateur. Tiré du dépôt affaan-m/ECC (MIT). Bémols honnêtes : une checklist n'est pas un audit professionnel, faites-en un avant le mainnet ; ne collez jamais de clés privées, phrases de récupération ni identifiants de signature mainnet dans un chat en l'utilisant ; demandez avant de lancer de longs jobs de fuzzing qui consomment des ressources locales ou payantes significatives. Skill Harbor ne vérifie jamais le code, examinez-le vous-même avant usage.