Сертик предлагает два типа аудита - автоматический, бесплатный, и "человеческий" платный.
Автоматический не все уязвимости может найти.
Да и наличие вручную проведенного аудита не говорит о том, что разработчики исправят "недочёты" (в данном случае бэкдор, а точнее возможность выпустить достаточное количество токенов для совершения рагпула).