Certik

• Название: Certik(https://certik.org/)
• Токен: CTK
• Тип токена : Erc-20
• Блокчейн: Etherium
• Whitepaper
• Whitelist: TBA
• KYC: Yes, banned USA(только аккредитованные), Китай, Канада, Корея, Новая Зеландия
• Hard cap: ?

Обзор

Certik - платформа проверки для создания надежных смарт-контрактов, библиотек Dapps и реализации надежной блокчейн экосистемы

В основе Certik лежит разработка CertiKOS(первая супер-защищенная ОС поддерживающая многоядерные процессоры); разрабатывалась с 2010 года, имеет большое количество хвалебных отзывов в ученой среде; была номинирована CACM(ведущий ежемесячный журнал Ассоциации вычислительной техники)

Решаемые проблемы:

Не эффективность существующий методов повышения надежности и безопасности блокчейн экосистем:

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

Что предлагают:

• Smart labeling - фреймворк, поддерживающий языки программирования(например Solidity)
• Layered deep specification(многоуровневые спецификации) - разработка команды Certik, позволяющая разложить сложную задачу на более мелкие и проверять каждую на ее соответствующем уровне
• Pluggable proof engine -  открытый протокол, позволяющий подключать другие механизмы защиты
• Машинно-проверяемые объекты(сертификаты). Certik создает защищенные объекты(сертификаты), которые каждый может проверить на своей машине
• Сертифицированные библиотеки Dapps. Для их использования необходимы токены CTK
• Индивидуальные услуги сертификации. Может быть востребовано для DApps/систем (например, цифровых кошельков) с высокими требованиями к надежности

Roadmap

• декабрь 2017 - появление концепта
• апрель 2018 - beta version
• июнь 2018 - запуск Certik 1.0
• Q3 - public release

Команда

• Prof. Ronghui Gu (Co-Founder) - assistant professor компьютерных наук Колумбийского университета; доктор компьютерный наук Йельского университета; его работы были отмечены журналом CACM; был основным дизайнером и разработчиком CertiKOS
• Prof. Zhong Shao (Co-Founder) - глава кафедры компьютерных наук Йельского университета; профессор кафедры информатики; один из ключевых разработчиков компилятора SML/NJ; был основным разработчиком CertiKOS; автор или соавтор более 90 статей в ведущих научных журналах и конференциях.
• Dr. Vilhelm Sj¨oberg (Research Scientist) - научный сотрудник Йельского университета; эксперт в области проверки ПО, языков программирования и типов систем; обладатель премии за лучшую диссертацию в области языков программирования

Так же команда Certik заявляет что на данный момент над проектом работает около 20 инженеров-программистов и ученых-исследователей

Advisors

Не объявлены, зато Prof. Zhong Shao  сам является адвизором в другом проекте DCC, хотя на сайте не указан

Partnerships

• Из официально объявленных партнерство с Qtum, Torque Capital
• Из пока что слухов - партнерство с Neo и Huobi, ByteSizeCapital

Tokens(CTK)

Токен будет использоваться и начисляться:

• Клиентами - которые отправляют программы/системы, которые нуждаются в проверке 
• Bounty hunters - предоставляют свои вычислительные мощности. Только пользователи с определенным количеством CTK могут выполнять эту роль
• Chekers - держатели небольшого количества токенов, позволяющие выполнять небольшие проверки, такие как проверка результата хэша
• Sages - подключают свои механизмы защиты через открытый протокол Certik. Будут вознаграждаться в зависимости от результатов оценки своих механизмов. Наиболее выдающиеся будут изучаться и распространяться сообществом
• Пользователи - имеют возможность подписываться на все сертифицированные библиотеки CertiK Platform и плагины IDE для создания собственных DApps/систем

Так же в белой бумаге говорится о том что будет использоваться новый алгоритм майнинга Proof-of-Proof(PoP), вознаграждение будут получать те кто выделяет значительные компьютерные мощности для реализации proof engine, по сути держатели нод

Token metrics

• Всего 100 млн токенов

Конкуренты

• Quantstamp(капа 135 млн) - на сегодняшний день выполняет проверку смарт-контрактов в ручном режиме, запуск майннет не раньше августа 2018
• Solidified and Securify - более мелкие проекты, занимаются проверкой смарт-контрактов, при этом сами не являются проектами на блокчейн
• Zeppelin - лидер на рынке по оказанию услуг тестирования и проверки, их open source framework OpenZeppelin создан для разработки смарт-контрактов, своего токена нет

Social networks

• Telegram: более 6000 подписчиков. Airdrop-а не было, весь трафик органический, видна заинтересованность людей
• Linkedin: вся команда имеет живые профили, более 500 подписчиков у каждого
• Medium: ведут начиная с 13 февраля.Подписчиков пока очень мало(62)
• GitHub: разработок касаемо Certik нет, только разработки CeertiKOS
• Twitter: нет

+/- Проекта

Плюсы:

• Опытная, технически подкованная команда с готовым продуктом CertiKOS
• Есть бета версия, запуск Certik 1.0 июнь
• Востребованность продукта на рынке
• Есть здоровый интерес к проекту со стороны коммьюнити

Минусы:

• В команде нет специалиста по блокейну
• Есть ощущение, что необходимость токена слегка притянута, с учетом того, что реализация нод по словам админа будет еще очень не скоро, да и большинство конкурентов справляются без токена, а у того же Quantstamp есть PoC
• Партнерство с Qtum скорее минус, при условии что не будут подтверждены другие, более серьезные