je viens de terminer mon premier audit de l'année ce vendredi dernier c'était un code bien écrit. et pourtant, même lorsque le développeur a fait un excellent travail, lorsqu'un protocole atteint un niveau de complexité suffisant, il y a généralement toutes sortes de domaines où l'on peut pointer des choses pour aider vous pouvez donc aborder des questions comme - comment les incitations dans un système influencent-elles les acteurs, et peuvent-elles motiver un comportement indésirable ? - l'abus de fonctionnalités sans autorisation peut-il obstruer de manière inattendue l'utilisation prévue ? - y a-t-il un risque de DoS en raison de l'absence de certaines limites ? et pour ce que ça vaut, mon utilisation de l'AI n'a pas conduit à la découverte de problèmes de ce type.