Certik
Cripton16- Название: 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 скорее минус, при условии что не будут подтверждены другие, более серьезные