Криптовалюта Shentu (CTK) — это внутренний токен экосистемы Shentu Chain. Он используется для взаиморасчётов на платформе, как газ для операций смарт-контрактов, для ставок в сетевом консенсусе, для вознаграждений за участие в Security Oracle и для голосования сообщества при децентрализованном управлении. Shentu Chain — блокчейн с делегированным доказательством ставки, созданный на Cosmos SDK. Он служит основой, на которой блокчейн-инфраструктура и децентрализованные приложения могут строиться с уверенностью в безопасности.
Компания, первоначально называвшаяся CertiK, основана в 2018 году выпускником Колумбийского университета Ронгуи Гу и доктором философии, выпускником Йельского университета Чжон Шао. Оба профессора компьютерных наук с большим интересом к языкам программирования. Чтобы обеспечить пользователям безопасность на нескольких этапах, Shentu запустила основную сеть, которая сначала называлась CertiK Chain, но позже была переименована в Shentu Chain.
Цель Shentu — помочь блокчейн-проектам становиться безопаснее, следить за ними и обеспечивать безопасность их смарт-контрактов. Shentu Chain защищает на этапах до разработки, во время разработки и после неё. Благодаря встроенным функциям — Shentu Security Oracle, ShentuShield Reimbursement Pool и гипер-безопасному языку программирования DeepSEA — Shentu Chain обеспечивает безопасность разных блокчейн-продуктов от разработки до пост-развёртывания.
Особенности платформы Shentu
Shentu, ранее CertiK, — это сервис аудита смарт-контрактов и протоколов. Его особенность в том, что формальная верификация кода проходит автоматизированно, децентрализованно, по частям и на любом языке программирования с помощью глубокого обучения.
Рабочий процесс со стороны клиента выглядит так:
- Клиент отправляет смарт-контракт в Shentu для проверки.
- Если контракт простой, сервис сам проставляет маркировку кода. Если сложный, метки проставляет клиент вручную.
- Shentu делит контракт на части и распределяет между узлами сети для проверки по принципу Proof of Work.
- Результаты верификации передаются от узлов к валидаторам для подтверждения правильности.
- После подтверждения узлы и валидаторы награждаются токенами, а результаты аудита отправляются клиенту файлом-документом.
Продукт делится на шесть инструментов:
- Умная маркировка.
- Модульная проверка.
- Проверка результатов модульной проверки.
- Открытый протокол для добавления алгоритмов проверки.
- IDE-плагины для улучшения написания кода dApps.
- Услуги верификации с помощью экспертов.
Помимо этих инструментов, у проекта есть собственный блокчейн и язык программирования для смарт-контрактов. Проект сочетает модель с элементами машинного обучения, в частности глубокого обучения. Система автоматизирует процесс через машинное обучение и контекстуализирует всю историю своей работы для собственного обучения.
В будущем платформа сможет математически идентифицировать и автоматически разделять контракты на слои на основе их функциональности. Это даст высокую точность проверки и динамический, точный и автоматический анализ контрактов. Узлы, на которых выполняется ПО Shentu, гарантируют, что завершённые доказательства действительны.
Технические особенности проекта
Shentu — это инфраструктура, включающая язык программирования DeepSEA, ядро операционной системы ShentuOS и виртуальную машину ShentuVM. С помощью этих инструментов разработчики создают безопасные и прозрачные системы.
Кроме того, большое значение имеет Shentu Security Oracle — оракул, который оценивает безопасность децентрализованной сети по критериям, предоставленным операторами. В процессе оценивается надёжность исходного кода, а участники оценки получают вознаграждение в CTK.
Ядро ShentuOS ориентировано на безопасность, устойчивость к хакерским атакам и корректность выполнения функций. Для проверки правильности работы программ в ОС включены механизмы формальной проверки.
ShentuOS поддерживает параллелизм: можно одновременно работать с несколькими потоками на нескольких ядрах CPU. Архитектура расширяемая — её можно использовать для разных областей, а не только для блокчейна.
При написании кода разработчики также пишут спецификации, точно указывающие, что делает программа. Затем оценивается, насколько правильно код реализует эти спецификации. Система оценок пишется один раз, после чего работа выполняется с уже проверенными спецификациями без повторного обращения к коду.
Команда и разработчики проекта
Проект Shentu разрабатывается с 2016 года. Команда состоит из экспертов мирового уровня по формальной верификации — профессоров Колумбийского и Йельского университетов, а также старших разработчиков и исследователей Google, Facebook и Microsoft Research.
В быстрой и динамичной индустрии стартапов квалифицированные специалисты — неотъемлемый компонент успеха. Необходимость следовать новым веяниям и справляться с новыми проблемами требует от команды обширного опыта работы с распределённой технологией, технического образования и должной репутации.
Команда проекта состоит из 8 человек. Среди них:
- Zhong Shao — соучредитель, профессор информатики в Йельском университете, доктор компьютерных наук Принстонского университета. Главный исследователь проекта DeepSpec и основатель исследовательской команды FLINT, которая разрабатывает многоядерную защищённую от кибератак ОС — ShentuOS. Команда Flint имеет около 90 исследовательских статей, где Zhong Shao автор или соавтор. Также они разработали сертифицированный компилятор SML/NJ.
- Ronghui Gu — соучредитель, доцент информатики в Колумбийском университете, доктор компьютерных наук Йельского университета. Соавтор восьми исследований по теме сертифицированного и верифицированного кода.
- Muhan Zou — соучредитель, исполнительный вице-президент, директор по стратегии. Более двух лет работал веб-разработчиком SaaS-сервиса Oracle. Около трёх лет работал старшим разработчиком в рекламной компании FreeWheel.
- Vilhelm Sjoberg — главный исследователь, доктор компьютерных наук Университета Пенсильвании. Около четырёх лет работал научным сотрудником исследовательской группы FLINT. Соавтор 14 научных публикаций по темам верификации и языков программирования.
- Zhaozhong Ni — вице-президент по инжинирингу, доктор компьютерных наук Йельского университета. Автор и соавтор около 12 научных публикаций по теме верификации кода, включая модульную. Три года работал исследователем сертификации кода в Microsoft. Около трёх лет работал системным инженером 3PAR — оборудования хранения данных, приобретённого Hewlett-Packard.
- Daryl Hok — главный операционный директор. Около семи лет опыта развития и управления двумя технологическими компаниями среднего размера.
- Yvan Nasr — руководитель отдела развития бизнеса. MBA из Чикаго. Полгода работал старшим директором по партнёрствам в блокчейн-стартапе Hosho, который предоставляет аудиторские услуги смарт-контрактов и протоколов. Имеет десятилетний опыт консалтингового управления компаниями, среди которых Samsung, финтех Barclays и торговая сеть Kingfisher.
- Kai Yan — директор по бизнесу, доктор философии по экономике. Почти шесть лет работал экономистом в Международном Валютном Фонде и около двух лет стратегом в хедж-фонде Light Sky Macro.
Команда развивается и планирует нанять 20 инженеров-программистов и научных исследователей.
Курс криптовалюты Shentu (CTK)
На момент подготовки статьи Shentu занимает 303-е место в рейтинге CoinMarketCap. Рыночная капитализация — $29,2 млн, суточный объём торгов — $3,9 млн.
Хранить Shentu можно в официальном кошельке DeepWallet, доступном через веб-браузер. В отличие от ряда традиционных кошельков DeepWallet имеет расширенные функции: пользователи могут делегировать ставки при стейкинге и развёртывать собственные смарт-контракты.
Перспективы криптовалюты Shentu
Платформа Shentu весьма перспективна. Существующие методы проверки смарт-контрактов отнимают много времени и подвержены человеческому фактору, что может привести к катастрофическим ошибкам.
С Shentu процесс станет полностью автоматическим и качественным. Это обеспечит постоянное развитие экосистемы через внедрение инновационного, быстрого и эффективного способа анализа смарт-контрактов.
Конечно, у проекта есть крупные конкуренты, такие как Quantstamp и Open Zeppelin. Оба активно и давно работают и используют разные методологии. Однако они не обладают аналогичной широкой функциональностью и могут лишь подтвердить наличие в смарт-контракте определённого кода. Другими словами, эти проекты только подтверждают, что контракт содержит конкретный фрагмент. Вся ответственность за выводы о последствиях использования такого смарт-контракта ложится на человека. Из-за взаимосвязанности многих умных контрактов и сложности их анализа такой проверки недостаточно.
В Shentu используются методы маркировки для обнаружения потенциальных ошибок, а затем применяются стратегии для подтверждения ожидаемого поведения смарт-контракта. После маркировки платформа объединяет маркированные компоненты, а встроенный компилятор распознаёт язык маркировки и использует автоматические инструменты для проверки функциональности.
