Audit de smart contracts par LLM : réduction de contexte via élagage de l’AST avec Slither
L’audit de projets Solidity massifs (plusieurs dizaines de milliers de lignes, comme les écosystèmes Uniswap V4, Aave V3 ou Compound) à l’aide de grands modèles de langage (LLM) se heurte à deux limites critiques :
Dépassement de la fenêtre de contexte – concaténer l’intégralité des fichiers .sol dépasse rapidement les plafonds de 128k ou 200k ...
Publié le 18 octobre à 14h18