Обзор ICO Certik


Общая информация

Token Sale: TBA

Цена токена на ICO: TBA

Hardcap: TBA

Принцип: Сервис для верификации и аудита смарт-контрактов, а также создания стандартов в этой области

Конкуренты: Quantstamp (Cap $40 млн)

OpenZeppelin. Аудитили смарт-контракты для OmiseGo, Storj, Aragon, Civic, Augur

Runtime Verification. Предоставляют услуги по проверке смарт-контрактов, но пока находятся скорее на стадии разработки, чем на стадии готового продукта.

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

Certik же планирует создать систему автоматизированных стандартов аудита и верификации смарт-контрактов.

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

8 из 10 за конкурентоспособность


Метрики токенов

Эмиссия: 100 млн. токенов

Недостаточно информации для оценки за метрику токенов


Команда Certik 

Ronghui Gu, co-founder

· PhD в Yale University по специальности компьютерных наук

· Написал диссертацию, которая была номинирована на премию ACM (премия вручается за разработку программных систем, оказавших определяющее влияние на отрасль).

· Работал ассистентом профессора в Columbia University

Zhong Shao, co-founder

· Профессор информатики Йельского университета

· Доктор компьютерных наук в Prinston University

· Один из разработчиков компилятора SML / NJ

· Вместе с командой FLINT создали защищенную от кибератак ОС CertikOS

· Опубликовано 90 статей в авторстве или соавторстве с Zhong Shao

Vilhelm Sjoberg, co-founder

· Доктор наук университета Йеля

· Нет опыта работы

Также группа разработчиков проекта насчитывает около 20 человек.


Советники

Нет информации о советниках

Недостаточно информации для оценки за Команду и Советников


Use Case

Во-первых, в среднем по рынку стоимость аудита смарт-контрактов составляет в районе $100 000.

Во-вторых, проблематика некачественных смарт-контрактов является насущной темой в сфере блокчейна и криптовалют. Вспомнить хотя бы взлом смарт-контракта в The DAO (было украдено около $50 млн в Эфире).

Технология аудита смарт-контрактов от Certik уже успешно используется, есть также бета-версия протокола.

Как происходит взаимодействие с клиентами?

1) Клиент CertiK представляет смарт-контракт или любой другой системный исходный код для сети CertiK.

2) CertiK разбивает сложную задачу по проверке кода на более мелкие, каждая из которых может считаться отдельной математической задачей и быть узко направленной.

3) Узлы CertiK децентрализованно работают над решением проблемы за вознаграждение.

4) Решения отдельных задач обобщаются на блокчейне и потом используются для проверки общего доказательства.

5) Сеть CertiK компонует эти решения в единый сертификат для исходной задачи, который и получает клиент.

6) Сертификат будет или контролировать, чтобы код не содержал уязвимостей, или выявлять потенциальные угрозы и лазейки.

7) В последнем случае сертификат предоставит примеры того, как могут быть использованы ошибки или недостатки.

Все логично, особенно грамотным нам кажется решение с разбитием кода на отдельные фрагменты.

8 из 10 за Use Case


Технология

CertiK представляет новый алгоритм добычи под названием Proof-of-Proof (PoP), в котором трудности с добычей определяются задачей поиска доказательств. PoP облегчает процесс решения конкретных задач, способствуя распространению токенов CTK.Кроме того, PoP объединяет следующие пять основных элементов платформы через поток токенов CTK:

· Интеллектуальная маркировка

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

· Декомпозиция на основе слоев

Этот метод, как раз и позволяет разложить сложную задачу по проверке смарт-контракта на более мелкие и проверять каждую из них отдельно на своем уровне

· Подключаемый проверочный движок

Используется для подключения к платформе Certik различных автоматических алгоритмов решения для каждой из декомпозированных задач

· Автоматизация объектов проверки

Платформа Certik автоматически создает контрпримеры, которые можно легко и быстро проверить. Их можно воспринимать в качестве сертификатов для проверяемых программ.

· Сертифицированные библиотеки dApps

Участники платформы:

1) Клиенты. Делают заказы на проверку программ или систем.

2) Bounty hunters. Предоставляют свои вычислительные ресурсы для проверки смарт-контрактов. За это получают токены CTK.

3) Чек-центры. Фиксируют и проверяют транзакции. Bounty hunters могут получить свое вознаграждение только после подтверждения со стороны чек-центров.

4) Sages (мудрецы). Подключают свои протоколы для решения декомпозированных задач, за это получают награду в виде токенов STK.

5) Пользователи. Могут подписаться на все сертифицированные библиотеки CertiK Platform и плагины IDE для создания собственных DApps / систем с некоторыми CTK.

9 из 10 за Технологию


Токен CTK

Тип токена: utility.

Токены будут использоваться для пользования вышеперечисленными 5-ю элементами.


MVP Certik 

Есть бета-версия протокола, а также операционная система CertikOS.

8 из 10 за MVP


Roadmap Certik

Информации о дальнейших планах на конец 2018 и на 2019 год команда пока не опубликовала, как и информацию о 30 бизнес-партнерах.

5 из 10 за Роадмап


Хайп

Потенциал роста рынка: ВЫСОКИЙ

Хайп в соцсетях: СРЕДНИЙ

Twitter: 4 000

Telegram: 39 000 - чат

5 000 - новостной канал

В целом неплохо для проекта без объявления дат ICO, токен-метрик и объявления партнеров с адвайзорам.

7 из 10 за Хайп


Код и Github

https://gist.github.com/certikfoundation

Практически нет активности на Гитхабе

Недостаточно информации для оценки за код и Gihub


Инвесторы и партнеры

· XRP Capital скорее можно отнести к инвесторам.

· Nebulas - это децентрализованная платформа, для ценки степени эффективности разрабатываемых блокчейн-проектов. Капитализация по данным Coinmarketcap $153 млн.

· DFG - инвестиционно-консалтинговая компания из Сан-Франциско.

· Ink one - компания предоставляет блокчейн-решиния для глобальной культурной индустрии.

Стоит отдельно выделить Binance Labs, дочерний фонд Binance, а ткаже NGC.

А также стоит выделить отдельную статью от фонда Torque, посвященную проекту Certik:

https://medium.com/torque-capital-partners/why-we-love-certik-military-grade-unbreakable-blockchain-security-set-to-dominate-a-1-8-2ecbe618a863

8 из 10 за партнеров и инвесторов


Достоинства
  • 1. Проект попытается решить реальную проблему блокчейн-индустрии, поэтому будет иметь огромное количество потенциальных клиентов (все стартапы, использующие смарт-контракты)
  • 2. Хорошие партнеры и инвесторы
  • 3. Преимущество перед конкурентами в масштабируемости и автоматизации процессов проверки.
  • 4. Есть бета-версия продукта
Недостатки
  • 1. Нет метрик
  • 2. Роадмап расписан только до июня 2018 года, пункты по партнерам выполнены или нет - не понятно
  • 3. Мало информации о команде и советниках

РЕЙТИНГ Cryptoloyds: 71

Экспертный: 85,6

Flip: недостаточно информации

Hodl: good

Поделиться статьей в социальных сетях: