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

Виды криптовалют

CertiK Chain — это блокчейн с делегированным доказательством ставки (DPoS), созданный с помощью Cosmos SDK. Он призван служить основой, на которой инфраструктура блокчейна и децентрализованные приложения могут быть построены с уверенностью в безопасности.

Благодаря встроенным в блокчейн функциям, включая Security Oracle, CertiKShield Reimbursement Pool и гипербезопасный язык программирования (DeepSEA), CertiK Chain создан для обеспечения безопасности различных типов блокчейн-продуктов от разработки до пост-развертывания.

Особенности платформы CertiK

CertiK — это сервис аудита смарт-контрактов и протоколов. Его особенность заключается в том, что формальная верификация кода проходит автоматизировано, децентрализовано, по частям и на любом языке программирования при помощи глубокого обучения.

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

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

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

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

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

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

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

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

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

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

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

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

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

Команда проекта состоит из 8 человек. Среди них:

  • Zhong Shao — соучредитель, профессор информатики в Йельском университете, доктор компьютерных наук Университета Принстон, главный исследователь проекта DeepSpec и основатель исследовательской команды FLINT, которые разрабатывают многоядерную защищенную от кибератак ОС — CertikOS. Команда 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.

Курс криптовалюты CertiK (CTK)

На момент написания статьи, криптовалюта CertiK находится на 303 строчке в рейтинге CoinMarketCap. Рыночная капитализация составляет $29,2 млн., а ежедневный объем торгов равен $3,9 млн. 

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

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

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

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

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

Источник

Оцените статью
Добавить комментарий