В SmartDec мы анализируем приложения на языках высокого и низкого уровня. Разрабатываем программное обеспечение. Обеспечиваем безопасность умных контрактов.
Анализ программного обеспечения
Анализируем исходный и исполняемый код по требованиям заказчика, в том числе — по требованиям информационной безопасности. Восстанавливаем исходный код из низкоуровневого представления.
Анализ исходного и исполняемого кода: статический, динамический, гибридный, по требованиям информационной безопасности.
Восстановление исходного кода из низкоуровневого представления: из исполняемых файлов, байт-кода, бинарного кода, объектных файлов и других.
Анализ мобильных приложений: достаточно только ссылки на Google Play или AppStore
Безопасность умных контрактов
подробнееАнализируем безопасность умных контрактов, децентрализованных приложений и приложений, которые с ними связаны. Уделяем особое внимание уязвимостям и ошибкам, возникающим при интеграции между умными контрактами и приложениями.
Мы провели аудиты более чем 200 проектов: от простейших аудитов ERC20 токенов до исследований сложных систем, крипто-кошельков и целых блокчейнов. Сумма активов, защищенных нашими аудитами превышает $1.0B.
В работе используем собственное ПО для анализа кода, смарт контрактов и токенов – SmartDec Scanner, SmartCheck и SmartSuite.
Технический консалтинг
Начиная с 2018 года мы консультируем корпоративных клиентов в вопросах внедрения блокчейн-решений в бизнес-процессы организации: оцениваем целесообразность, потенциальные выгоды и недостатки.
У нас есть экспертиза в решениях 2-ого слоя (Plasma, State Channels, Side Chain services) и протоколах доказательства с нулевым разглашением (ZK Snarks, ZK Starks). Мы участвуем в разработке продуктов, которые используют такие технологии.
SmartCheck
подробнееSmartCheck — один из первых анализаторов безопасности для умных контрактов, написанных на языках программирования Solidity и Vyper. Он автоматически проверяет код умных контрактов на уязвимости и плохие практики, выделяя их в коде с подробным объяснением проблемы. Мы используем SmartCheck в наших аудитах.
SmartSuite
подробнееSmartSuite — это децентрализованное приложение, которое проверяет задеплоенный токен на соответствие стандарту ERC20. Результаты проверки с доказательством записываются в блокчейн и доступны в веб-интерфейсе.
Системы онлайн образования
подробнееРазрабатываем сервисы для проведения онлайн контестов, обучения и набора кадров.
Проводим крупнейшие олимпиады для школьников старших классов и студентов.
На базе нашей платформы проводится заочный тур олимпиады "Высшая Проба".
Но это не всё, что может реализовать наша команда.
Если у вас есть другая задача, напишите нам.
Roadmap
Наша команда
Кандидат технических наук. Окончил МАИ по специальности инженер-системотехник, проходил обучение в аспирантуре в ЦНИИ "Монолит". Успешный предприниматель. Опыт работы в коммерции как руководителя и организатора бизнеса, в том числе бизнеса розничных продаж, более 20 лет
Кандидат физико-математических наук, выпускник МГУ им. М.В.Ломоносова, программист и экономист. Преподаватель в МГУ и ВШЭ. Специалист в области информационной безопасности и бинарного анализа
Основное направление деятельности – разработка правовых решений, которые способствуют развитию бизнеса. Большой опыт в широком спектре областей, включая коммерческое и корпоративное право, налоговое право, финансы и экономическое развитие. Является участником Российской Ассоциации криптоиндустрии и блокчейна.
Хочешь к нам?
