Аудит - общее понятие. Аудит компании это одно а аудит смарт-контрактов совсем другое и на данный момент компаний зарекомендовавших себя не так много. Из существующих на рынке действительно хорошо себя проявляет проект - quantstamp. Это можно оценить, в том числе, и по уровню их партнерств.