В SmartDec мы анализируем приложения на языках высокого и низкого уровня. Разрабатываем программное обеспечение. Обеспечиваем безопасность умных контрактов.

Анализируем исходный и исполняемый код по требованиям заказчика, в том числе — по требованиям информационной безопасности. Восстанавливаем исходный код из низкоуровневого представления.

Анализ исходного и исполняемого кода: статический, динамический, гибридный, по требованиям информационной безопасности.

Восстановление исходного кода из низкоуровневого представления: из исполняемых файлов, байт-кода, бинарного кода, объектных файлов и других.

Анализ мобильных приложений: достаточно только ссылки на Google Play или AppStore

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

Мы провели аудиты более чем 200 проектов: от простейших аудитов ERC20 токенов до исследований сложных систем, крипто-кошельков и целых блокчейнов. Сумма активов, защищенных нашими аудитами превышает $1.0B.

В работе используем собственное ПО для анализа кода, смарт контрактов и токенов – SmartDec Scanner, SmartCheck и SmartSuite.

Начиная с 2018 года мы консультируем корпоративных клиентов в вопросах внедрения блокчейн-решений в бизнес-процессы организации: оцениваем целесообразность, потенциальные выгоды и недостатки.

У нас есть экспертиза в решениях 2-ого слоя (Plasma, State Channels, Side Chain services) и протоколах доказательства с нулевым разглашением (ZK Snarks, ZK Starks). Мы участвуем в разработке продуктов, которые используют такие технологии.

Разрабатываем сервисы для проведения онлайн контестов, обучения и набора кадров.

Проводим крупнейшие олимпиады для школьников старших классов и студентов.

На базе нашей платформы проводится заочный тур олимпиады "Высшая Проба".