logo
Smart Contract

CertiK

Certik - платформа формальной верификации смарт-контрактов и блокчейн экосистем

Рейтинг: 3,4

Официальные источники
Юрисдикция: N/A
Веб-ресурсы:   Вебсайт
Социальные сети:
Отслеживание кода продукта: https://gist.github.com/certikfoundation
Детали Описание Риски Полный анализ по сферам Команда

Подробный обзор

Стадия разработки продукта
Готовый продукт. Процедуру формальной верификации от Certik прошли контракты IoTeX, Contents Protocol, NKN и др. экосистемы, контракты и dApps. Прямо сейчас можно запросить аудит прямо на сайте платформы. Дорожная карта не представлена на 2019 год. Официальный запуск платформы версии 1.0 должен был состояться в июне 2018го. Полный запуск с использованием токена - конкретной даты не анонсировано. Стоит отметить, что в данный момент происходит редактура документации проекта.
Roadmap
Январь, 2018
Альфа-версия техник верификации
Февраль, 2018
Старт private-sale
Апрель, 2018
Бета-версия
Июнь, 2018
Certik 1.0
Описание токена
Дата ICO
01.06.2019 - 01.06.2019
Цена токена
N/A
Платформа
Binance Launchpad (слухи)
Блокчейн
Дата распределения токенов
N/A
Алгоритм консенсуса
Proof-of-Proof
Escrow
N/A
Валюты ICO
USD , ETH
Bounty camping
N/A
Размещение на бирже
N/A
Функции токена
Токен в системе служит платой за проведения аудита, доступ к верифицированным библиотекам разработки dApps, наградой за проведения процедуры формальной верификации узлам сети.
Риски
РЫНОК
  • Множество конкурентов. Хотя процедуры формальной верификации на данный момент у конкурентов находятся только в стадии ранней разработки.

  • Токен в сети является промежуточной единицей. Потенциальным клиентам необходимо приобретать токен на сторонней площадке для оплаты услуг, что крайне неудобно, учитывая сильную волатильность рынка.

ПРОДУКТ
  • С расширением кодовой базы, количества языков программирования и роста технологии, в целом не ясно, как продукт будет справляться с возросшими нагрузками. Сможет ли команда проекта охватывать и другие языки программирования смарт-контрактов и пр.

  • Не ясна стадия разработки и готовность продукта

БИЗНЕС МОДЕЛЬ
  • Отсутствует четкое описание бизнес модели в документации
ФИНАНСЫ
  • информация о размере привлекаемых инвестиций и метриках токена официально отсутствует

КОМАНДА
  • Закрытость информации по всей команде проекта
Полный анализ по сферам
Рынок

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

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

Сам рынок аудита пользуется огромным спросом, его важность для всей экосистемы, в целом, сложно переоценить, учитывая растущее вместе с количеством смарт-контрактов (на начало 18го года в экосистемах было задеплоино около 1млн смарт-контрактов, в то время как в 2017 0.12 млн) количество взломов и угроз, которые возникают при разработке смарт-контрактов и блокчейн экосистем. Взломы TheDAO, хак Parity и др. взломы рынок переживает крайне тяжело.

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

У проекта имеется широкий список партнеров - Bitmain, Binance, DHVC, FBG, ICON, NEO, ONTology, Qtum, Arrington и многие другие. Это подтверждает восстребованность продукта и широкую поддержку разных игроков криптовалютного бизнеса и криптовалютной инфраструктуры.

Продукт

Certik представляет собой платформу для проведения формального аудита смарт-контрактов и блокчейн экосистем. Формальный аудит, в отличие от мануального, позволяет в автоматическом режиме формировать математические доказательства корректности работы смарт-контрактов не только на синтаксическом, но и на семантическом уровне.

С помощью технологии layer deep specifiaction контракт разбивается на модули, таким образом, задача формирования комплексного математического доказательства разбивается на более мелкие. Далее в игру вступает специально разработанный командой фреймворк, под название smart labeling. Используя его специфический язык proof engine расставляет соответствующие метки по выделенным на предыдущем этапе модулям и отправляет модули узлам сети для проведения аудита модулей и вычисления математических доказательств корректности. Т.е., узлы сети, в отличие от PoW, вычисляют доказательства, поэтому механизм “майнинга” в сети носит название Proof-of-Proof. За проведения аудита узлы получают вознаграждение в токенах. В случае успешного аудита, формируется соответствующее доказательство с меткой “верифицировано”, в противном случае формируется доказательство с описанием проблемы, а таке предлагаются примеры, как эту проблему решать.

Бизнес-модель

Все пользователи сети делятся на роли.

Customers: клиенты сети могут запрашивать аудит проектов, контрактов и пр., оплачивая услуги платформы в токенах CTK. Взамен они получают верифицированные и доказано работающие продукты.

Bounty Hunters - деляться вычислительными ресурсами для формирования доказательств и трансляции их по сети для валидации. Взамен получают токены CTK.

Checkers - проверяют доказательства на валидность за хантерами. Хантеры смогут получить свое вознаграждение только после проверки доказательств Чекерами, за что Чекеры также получают вознаграждение в токенах CTK.

Sages - представители вычислительных ресурсов для сети. Баунти хантеры могут использовать их ресурсы, а не собственные, для формирования доказательств. За что Sages также получают награду в токенах CTK.

Users - платят в CTK за доступ к базе верифицированных библиотек. С их помощью разработчики смогут создавать безопасные dApps.

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

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

Финансовые показатели

В открытом доступе метрик проекта нет. Однако есть информация, передаваемая по слухам. Во-первых, ходят слухе о запуске токенсейла на платформе Binance Launchpad (все предыдущие сейлы оказались крайне результативными для инвесторов: BitTorrent, Fetch AI).

Во-вторых имеются, по слухам, следующие метрики проекта: 
Seed; 0.06/0.07 USD (с участием в раунде Binance) (ETH $1050-1350)
Private Sale Round 1:  0.50/0.666/0.77 USD (ETH $850+)
Private Sale Round 2: 1.0/1.66-89 USD (ETH $550-800)
Round 3: ожидается цена $3.0

Таким образом, если слухи правдивы, то инвесторам всех раундов предоставлены огромные скидки, а сейл на платформе Binance будет с высокой вероятностью в их пользу.

В долгосроке слабая роль токена делает инвестицию рискованной, однако краткосрочная спекуляция, тем более с успешной историей сейлов на Binance Launchpad, скорее всего, является наиболее оптимальной стратегией для инвесторов публичного раунда.

Команда

Показаны только три члена команды. Каждый член команды обладает мощным бэкграундом для работы над таким проектом, как CertiK. Остальные разработчики скрыты.

Prof. Ronghui Gu (Co-Founder) - Основной разработчик CertiKOS. Доктор философии в области компьютерных наук Йельского университета. Доцент кафедры компьютерных наук Колумбийского университета. Закончил бакалавриат университета Циньхуа. Эксперт в области официальной проверки системного программного обеспечения. (Доп информацияhttps://www.cs.columbia.edu/~rgu/ )

Prof. Zhong Shao (Co-Founder) - Доктор в области информационных технологий в университете Принстона. Один из ключевых создателей кроссплатформенного оптимизирующего компилятора SML/NJ и одним из главных создателей его инфраструктуры сертификации FLINT. Заведующий кафедрой факультета компьютерных наук в Йельском университете. Является автором или соавтором 90 научных статей. Специализируется на изучении кибербезопасности, языков программирования, операционных систем и сертифицированного программного обеспечения. Совместно с группой создателей FLINT также разрабатывал CertiKOS.

Dr. Vilhelm Sjöberg (Research Scientist) - Лауреат докторской диссертации Джона К. Рейнольдса. Научный сотрудник Йельского университета. Кандидат наук в сфере информационных технологий, Пенсильванский Университет. Автор докторской диссертации, которая стала лауреатом премии ACM SIGPLAN John C. Reynolds. Его специализация - проверка программного обеспечения, языков программирования и систем типов данных.

МЫ В СОЦСЕТЯХ
© ICO Scoring – платформа оценки ICO проектов, поддерживаемая инвесторамии финансовыми экспертами. Все права защищены 2018