Криптовалюта Shentu (CTK) — Подробный обзор. Курс CTK

Shentu криптовалюта Certik Foundation

Криптовалюта Shentu (CTK) — Это внутренний токен экосистемы Shentu Chain, который используется как средство взаиморасчетов на платформе, в качестве газа для операций смарт-контрактов, ставок для сетевого консенсуса, вознаграждений за участие в сети Security Oracle, а также для голосования сообщества в ходе децентрализованного управления сетью. Shentu Chain — это блокчейн с делегированным доказательством ставки (DPoS), созданный с помощью 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 Coin

Рабочий процесс со стороны клиента выглядит так:

  1. Клиент отправляет смарт-контракт в Shentu для проверки.
  2. Если смарт-контракт простой, сервис самостоятельно проставляет маркировку кода. Если контракт сложный, метки проставляются клиентом в ручную.
  3. Shentu делит смарт-контракт на части и распределяет между узлами сети для проверки кода по принципу Proof of Work.
  4. Результаты верификации передаются от узлов к валидаторам для подтверждения правильности проверки.
  5. После подтверждения правильности, узлы и валидаторы награждаются токенами проекта, а результаты аудита отправляются клиенту файлом в виде документа.

Продукт делится на шесть инструментов:

  1. Умная маркировка.
  2. Модульная проверка.
  3. Проверка результатов модульной проверки.
  4. Открытый протокол для добавления алгоритмов проверки.
  5. IDE плагины для улучшения написания кода dApps.
  6. Услуги верификации при помощи экспертов.

Помимо этих инструментов, проект имеет собственный блокчейн и язык программирования для смарт-контрактов. Проект сочетает модель с элементами машинного обучения (глубокого обучения) для достижения описанных выше целей. Система автоматизирует процесс посредством машинного обучения и контекстуализирует всю историю своей работы для собственного обучения путем эволюции.

В будущем платформа сможет математически идентифицировать и автоматически разделять контракты на слои на основе их надлежащей функциональности. Этот метод позволит обеспечить высокую точность проверки и динамический, точный и автоматический анализ контрактов. Узлы, на которых выполняется ПО Shentu, гарантируют, что завершенные доказательства являются действительными.

Технические особенности Shentu

Shentu представляет собой инфраструктуру, включающую язык программирования DeepSEA, ядро операционной системы ShentuOS, виртуальную машину ShentuVM. При помощи этих инструментов разработчики могут создавать безопасные и прозрачные системы.

Certik DeFI Shentu Oracle

Кроме того, большое значение имеет Shentu Security Oracle — оракул, который оценивает безопасность децентрализованной сети исходя из критериев, предоставленных операторами; в процессе оценивается надежность исходного кода, а те, кто принимал участие в оценке, получают вознаграждение в CTK, собственном токене цепочки Shentu.

Ядро операционной системы ShentuOS ориентировано на безопасность, устойчивость к хакерским атакам и корректность выполнения функций. Для проверки правильности работы программ в ОС включены механизмы формальной проверки.

ShentuOS поддерживает параллелизм, то есть можно одновременно работать с несколькими потоками на нескольких ядрах CPU. Архитектура расширяемая — может использоваться для разных областей применения, а не только для блокчейна.

При написании кода ПО разработчики также пишут спецификации, точно указывающие, что делает программа. Затем происходит оценка того, насколько правильно код реализует эти спецификации. Система оценок пишется в каждом конкретном случае применяется только один раз, после чего вся работа может выполняться с использованием уже проверенных спецификаций без необходимости снова обращаться к коду.

Команда проекта Shentu

Проект Shentu разрабатывается с 2016 года. Команда Shentu состоит из экспертов мирового уровня по формальной верификации, которые являются профессорами Колумбийского и Йельского университетов, а также старшими разработчиками и исследователями Google, Facebook и Microsoft Research.

В быстрой, сложной и динамичной индустрии стартапов квалифицированные специалисты являются неотъемлемым компонентом успеха проекта. Частая потребность следовать новым веяниям и справляться с новыми проблемами требуют наличия у команды обширного опыта работы с распределенной технологией, технического и инженерного образования и должной репутации.

Shentu Team Certik Foundation

Команда проекта состоит из 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 млн. 

Купить CTK на бирже MEXC

Хранить криптовалюту Shentu можно на официальном кошельке DeepWallet, доступным через веб-браузер. В отличие от ряда традиционных кошельков DeepWallet имеет дополнительные расширенные функции, позволяющие пользователям делегировать ставки при стейкинге, а также развертывать собственные смарт-контракты.

Перспективы криптовалюты Shentu

Платформа Shentu весьма перспективна, так как существующие методы проверки и анализа смарт-контрактов отнимают много времени и подвержены риску человеческого фактора, что может привести к катастрофическим ошибкам.

Shentu перспективы

С Shentu этот процесс будет полностью автоматическим и надлежащего качества. Это обеспечит постоянное развитие экосистемы путем внедрения инновационного быстрого и эффективного способа качественного анализа смарт-контрактов.

Конечно, у проекта имеются и крупные конкуренты, такие как Quantstamp и Open Zeppelin. Оба активно и давно работают и используют разные методологии. Однако, они не обладают аналогичной широкой функциональностью и могут лишь подтвердить наличие в смарт-контракте определенного кода. Другими словами, эти проекты только подтверждают, что контракт содержит конкретный фрагмент. Вся ответственность о выводах по поводу последствий использования такого смарт-контракта в этом случае ложится на человека. Ввиду взаимосвязанности многих интеллектуальных контрактов друг с другом и очень сложному процессу их анализа такой проверки недостаточно.

В Shentu используются методы маркировки для обнаружения потенциальных ошибок, а затем применяются стратегии для подтверждения ожидаемого поведения рассматриваемого интеллектуального контракта. После маркировки платформа Shentu объединяет маркированные компоненты смарт-контракта, а встроенный компилятор распознает язык маркировки и использует автоматические инструменты для проверки функциональности.