Аудит смарт-контракта

Добрый день, сообщество!
Возник вопрос по аудиту. У меня есть рабочий проект, с рабочим смарт-контрактом (СК).
Но прежде чем запустить проект в массы решил провести аудит, чтобы максимально обезопасить пользователей проекта.
Поделитесь информацией:
Какие основные критерии должны присутствовать при стандартном аудите любого СК?
Какие специфические критерии при схеме работы СК: получение ETH на СК - получение токенов на СК - подтверждение получения ETH и токенов - отправка ETH на адрес проекта и распределение токенов инвесторам на их адреса, согласно сумме инвестиций?
Какие компании по аудиту посоветуете?
Какие подводные камни?
Средняя рыночная цена такой услуги?