CertiK - обзор ICO

Всем привет, сегодня у нас на очереди достаточно интересный проект, который решает проблемы безопасности - CertiK.

Тикер: CTK;
Сфера проекта: verification;
Дата ICO: TBA;
Команда + адвайзеры: пока указано 3 члена команды, адвайзеров пока нет;
Платформа: ERC-20;

CertiK - что это? 

CertiK - проект, разрабатывающий платформу со структурой формальной верификации для создания надёжных смарт-контрактов и блокчейн экосистем. Фонд CertiK спроектировал модульные методы верификации, где сложные задачи доказательств будут раскладываться на более мелкие и решаться автоматически и децентрализованно. Блокчейн платформы CertiK будет служить в качестве сертификата, предоставляя (обеспечивая) end-to-end корректность и безопасность верифицированных смарт-контрактов, библиотек децентрализованных приложений и блокчейнов. Т.е данная платформа математически доказывает, что смарт-контракты, блокчейны, dApps и их библиотеки (вся блокчейн эко-система в целом) не содержат багов, уязвимостей и т.д.
Также, CertiK предоставляет так называемые Certified Kits (кстати, отсюда само название CertiK) и состоит из 6 компонентов:
1. Smart Labeling "Умная маркировка" - для утверждения (формирования) желаемых характеристик (в dApps или системах), совместимый с Solidity;
2. Layer-based decomposition - любая сложная задача доказательств раскладывается на более мелкую и проверяется на определённом уровне абстракции;
3. Pluggable proof engine - CertiK предоставляет открытый протокол с возможностью подключения продвинутых алгоритмов решения;
4. Machine-checkable proof objects - платформа создаёт автоматизированные объекты доказательств так, что эти доказательства могут быть проверены любым пользователем на собственном устройстве.
5. Certified DApp libraries - на платформе будут доступны сертифицированные библиотеки и плагины для создания dApps;
6. Customized certification services - здесь можно будет получить индивидуальные услуги по сертификации, если у вас высокие требования к надёжности. 

CertiK будет использовать новую майнинг-схему Proof-of-Proof (PoP), поскольку они считают, что традиционный PoW не несёт никакой реальной ценности, но требует больших вычислительных затрат. Тем временем вычислительные трудности PoP заключаются в поиске доказательств и решают конкретные задачи. Т.е ноды в сети CertiK решают и подтверждают доказательства при помощи майнинга используя приложение CertiK.
Работает это след.образом: изначально смарт-контракт маркируют (Labeling), после чего разделяют его на множество кусочков и слоёв, где каждый кусочек - это proof obligation. Затем proof obligation отправляется в сеть CertiK, после чего любой юзер (в ВП это Bounty Hunter) извлекает из сети это самое obligation и через приложение CertiK получает доказательство. Далее это доказательство отправляется снова в сеть CertiK, из сети извлекается проверяющим (в ВП это Checker), в приложении CertiK сертифицирует это доказательство и этот сертификат отправляется снова в сеть CertiK, после всей этой процедуры вы получаете сертифицированный смарт-контракт.

Какие проблемы решает данный проект?

В настоящее время очень остро стоит вопрос безопасности блокчейн-индустрии в целом, поскольку вся экосистема достаточно уязвима к атакам злоумышленников. Однако нынешние решения слишком дорогие, ограничены в верификации сложных систем (например, model checking), а также практически ни одно из решений не направлено полностью на блокчейн и dApps.
CertiK обеспечит необходимые условия и инструменты, чтобы разрешить эти проблемы. 

Инвесторы. 

Как всегда качественные проекты разбирают по кусочкам качественные фонды: FBG Capital, DHVC, Fenbushi Digital, NGC, Arrington XRP Capital, Lightspeed Venture Partners, Matrix Partners. Некоторые из этих фондов инвестировали в общеизвестные проекты: NKN, Fantom, Mainframe, AElf и др.
Также проект имеет партнёрства с QuarkChain, Binance Labs, KuCoin и др. 

Стадия проекта.

Имеется демо-версия сервиса по верификации. Также у них на сайте можно отправить запрос на верификацию вашего смарт-контракта. Полагаясь на вайтпэпер проект запустил бета-версию CertiK Platform в апреле этого года. 

Команда.

На сайте указаны 3 основателя проекта. По словам админов остальные члены команды будут на сайте позже, поскольку ключевой фокус стоит на технологиях и сообществе, т.е в планах добавлять остальных членов команды даже перед стадиями сейлов - нет. Однако, полагаясь на вайтпэпер, фонд CertiK планирует расшириться и принести в команду около 20 разработчиков ПО и учёных-исследователей.  

Ronghui Gu, Co-Founder.
Образование - Университет Цинхуа, бакалавр компьютерных технологий (информатика);  Йельский университет, доктор компьютерных технологий.
Опыт работы:
Научный сотрудник в Йельском Университете, 1.4 года.
Доцент в Колумбийском Университете, Нью-Йорк, 7 мес - наст.время.
Имеет множество наград и публикаций. 

Zhong Shao, Co-Founder.
Образование - Научно-технический университет Китая, бакалавр компьютерных технологий; Принстонский университет - доктор компьютерных технологий.
Опыт работы:
15 лет - по наст. время профессор компьютерных наук в Йельском Университете. В целом, весь основной опыт работы сосредоточен в университете. Ранее со своей командой создали первую устойчивую от хакеров параллельную операционную систему CertiKOS. Автор 90 статей в различных научных изданиях. 

Dr. Vilhelm Sjöberg, Research Scientist.
У данного члена команды пустой LinkedIn за исключением университета. Обучение проходил в университете Пенсильвании, получил докторскую степень в компьютерных технологиях. Имеет 12 публикаций. 

Также, хочу отметить, что все они из Flint Group. У них на сайте есть список людей, которые фактически могут быть членами команды в будущем.
http://flint.cs.yale.edu/flint/people/

Инвестиционные метрики.

Общее количество токенов: 100 миллионов;
Хардкап: TBA;
Цена токена: TBA;
Процент токенов на продажу: TBA;
Min/max сумма инвестирования: TBA;
Разлоки: TBA;
Аирдроп: не было и не планируют;
Токенов в циркуляции после разлоков: TBA;
Экономика токена: CTK является неотъемлемой частью экосистемы CertiK и является средством поощрения. СTK распределяются между теми, кто делится вычислительными ресурсами, передаёт proof obligations в сеть CertiK, записывает транзакции и проверяет предоставленные proof objects. Также для создания dApps с использованием библиотек и ИСР (интегрированная среда разработки) от CertiK необходимо иметь CTK. 

Медиа.

Telegram: 40к+ участников;
Twitter:  7.5к+;
Medium: 17 постов, первый датируется февралём месяцем.

Roadmap.

Роудмэп у них имеется только в ВП и тот всего расписан до 30 июня 2018 года. Т.е роудмэп коррелируется с тем, что я описал в "Стадия проекта".

Legal. 

Фонд зарегистрирован в Сингапуре, однако команда не базируется в одном месте, а распространена по всему миру.

Выводы. 

На данной стадии можно сказать, что у проекта есть все возможности реализации цели. Учитывается тот факт, что основатели проекта уже работали ранее с формальной верификацией с 2015 года и смогли масштабировать её. В 2016 году они разработали первое в мире параллельное (concurrent) ядро операционной системы. Пока не освещены все участники команды, что не есть хорошо, однако, в ВП утверждается, что они старшие инженеры ПО из Фейсбука, Гугла и FreeWheel.
Хайп на среднем уровне.
Ближайший конкурент Quantstamp не автоматизирован и требует человеческий ресурс. Также остаётся неясным, как Quantstamp сможет верифицировать такие сложны системы, как сам блокчейн. Однако максимальная его капитализация составляла почти 500млн$. На сегодняшний день она колеблется на уровне 30-40млн$. 

Наша оценка.

Сложно оценить проект в силу кондиции рынка, отсутствия остальных членов команды и токенометрик. Если будут удовлетворительные метрики, то, вероятно, может получится флип. Однако сейчас альты в просадке, что увеличивает риски. Тематика верификации, если судить по Quantstamp, может сыграть в иксы.
На данный момент: neutral

Ссылки.

Сайт: https://certik.org/
Telegram: https://t.me/certikorg
Medium: https://medium.com/certik

Дисклеймер: *данный обзор не является инвестиционным советом. 

Автор: mikhailmv
Мой Twitter: https://twitter.com/M_Makarov_V