Всем привет!

В SmartDec мы специализируемся на Смарт-контракты аудит безопасности. Наши выводы имеют более чем 15-летний опыт работы в области анализа безопасности и провести PhDs в этих областях. Мы работаем в сотрудничестве с университетской группой, специализирующейся на смарт-контрактам и разработали SmartCheck - собственный статический анализатор кода для языка Твердость.

Мы можем проверять смарт контрактов в сочетании с внешним и внутренним. Кроме того, мы проанализируем логику приложения для бэкдоров и неточностей в объявленном поведение.

Мы участвовали в ряде Смарт контракты аудит безопасности, как частный, так и государственными, и сотрудничал с несколькими [Подозрительной ссылкой удалено] кающими в области безопасности.

Вы можете найти дополнительную информацию и примеры отчетов на нашем сайте: http://smartcontracts.smartdec.net/  

Свяжитесь со мной по электронной почте: alexander@smartdec.net
или телеграмма: @msbenighted