CertiK
КомандаCertik (https://certik.org) – это формальная система проверки, позволяющая математически доказать, что смарт-контракты и блокчейны не содержат багов и являются устойчивыми к хакерству. Чтобы масштабировать проверку, CertiK разработал подход на основе слоев, чтобы разложить задачу более высого порядка, на много мелких задач.
1. Экономическая модель проекта:
- Валюта: ETH;
- Общее количество токенов: ТВА;
- Количество токенов на продажу: ТВА;
- Планируется собрать средств в ходе ICO: TBA;
- Условия продажи: ТВА.
- Цена одного токена: ТВА
- Распределение токенов: ТВА
2. Заморозка токенов: ТВА.
3. Разблокировка токенов: ТВА
4. Активность в соц сетях (на 14.06.2018):
Телега EN (https://t.me/certikorg) – на данный момент (14.06.2018) насчитывает 18952 человека;
Твиттер (https://twitter.com/certikorg) – 686 читателей, 9 твитов, которые связаны с проектом.
5. Инвесторы:
Есть подтвержденная информация, что в проект инвестировали:
Torque Capital: «This is the sort of project we get very excited about, and we look forward to working with CertiK.»
Binance Labs: «Binance Labs have been focusing more on research side since it is founded. And we only began to invest recently and have invested four projects so far: Mobilecoin, Oasis Labs, CertiK and Republic.»
Считаем, что данные организации не нуждаются в дополнительном описании. ТОП!
6. Партнеры:
По информации из Твиттера проекта (https://twitter.com/certikorg/status/1006956734647291911) проект запартнерился с Nebulas.io
7. Roadmap:
8. Токен: ERC-20 (CTK). CTK - это невозмещаемое функциональное полезное топливо, которое будет использоваться как единица обмена между участниками платформы CertiK, а также будет являться экономическим стимулом, который будет востребован, чтобы побудить участников вносить вклад и поддерживать экосистему на платформе CertiK.
9. Кто не может участвовать: TBA.
10. WhiteList/KYC – ТВА
11. Блокчейн: НЕТ, но в будущем планирут создать собственный.
12. Патенты: НЕТ.
13. MVP: Июнь 2018 – запуск Certik 1.0.
Похожие проекты:
Создатели проекта считают, что могут создать достойную конкуренцию такому проекту, как Quantstamp.
Кроме того, Certik может составить конкуренцию компании Open Zeppelin – доминирующей на рынке компании по предоставлению услуг по тестированию и проверке. По заявлениям, Certik сможет проводить проверку полностью в автоматическом режиме, в то время, как Open Zeppelin в большинстве прибегает к ручной проверке. Посмотрим…
GitHub () :
ГитХаб проекта содержит три форка чужих репозиториев без единого коммита.
ГитХаб проекта не порадовал, хотя есть предположение, что вся основная работа ведется в закрытых репозиториях ввиду тематики проекта.
WP (https://certik.org/whitepaper.html) :
Основные моменты работы Certik:
- Пользователь клиента Certik предоставляет смарт-контракт или любой другой системный код в Certik Network;
- CertiK преобразует «правильность» кода в аналогичную математическую проблему, разбивает эту проблему на сегменты и передает в сеть CertiK;
- Децентрализованные ноды Certik совместно решают математическую проблему в обмен на вознаграждение;
- Решения, найденные нодами резюмируются в блокчейне Certik и могут быть использованы в любое время для подтверждения самого доказательства;
- Эти решения формируются в сертификат и отправляются обратно к клиенту;
- Сертификат будет либо проверять, что код является безаварийным и устойчивым к хакерам, либо выявлять потенциальные риски и лазейки;
- Также, сертификат предоставляет примеры того, как могут быть использованы ошибки и недостатки.
Скрин верификации методов "in-place swap" и "account transfer" используя Certik.
В целом, ВП достаточно качественный. «Вода», конечно присутствует, но это не мешает понять суть работы данного проекта.
Команда:
Ronghui Gu - Co-Founder
https://www.linkedin.com/in/guronghui контактов 500+
Ronghui Gu является аспирантом-ассистентом профессора компьютерных наук Колумбийского университета. Он получил степень доктора философии в области компьютерных наук Йельского университета в 2016 году, где его диссертационная работа получила премию «Знание отличия» в Йеле и была номинирована на премию «ACM». Он получил бакалавра Университета Цинхуа в 2011 году. Профессор Гу является экспертом в области официальной проверки системного программного обеспечения. Он был главным разработчиком и разработчиком CertiKOS, первого в мире полностью проверенного параллельного ядра ОС. Его документ OSDI16 по CertiKOS был номинирован и отобран для публикации в разделе «Основные моменты исследований» CACM.
Имеет 11 званий и наград и 4 публикации.
Отлично владеет навыками программирования Phyton, Java, C++
Так же у него есть свой сайт: guronghui.com (переадресовывает на https://www.cs.columbia.edu/~rgu/), где можно увидеть все его достижения.
Zhong Shao - Co-Founder
https://www.linkedin.com/in/zhong-shao-545b754 контактов 500+
Чжун Шао - преподаватель на кафедре Томаса Л. Кемпнера и на кафедре информатики Йельского университета. Он получил степень доктора философии в области компьютерных наук в Принстонском университете в 1994 году. За свою раннюю карьеру он был ключевым разработчиком компилятора SML / NJ и главного архитектора своей сертифицирующей инфраструктуры FLINT. В последние годы Шао был ведущей фигурой, работающей над хорошо видимыми областями исследований в области кибербезопасности, языков программирования, операционных систем и сертифицированного программного обеспечения. Он и его группа FLINT в Йеле разработали первую в мире совместимую с хакерами параллельную операционную систему CertiKOS --- важную веху в построении кибер-физических систем, которые, по-видимому, свободны от уязвимостей программного обеспечения. Шао является автором или соавтором 90 статей в ведущих научных журналах и конференциях.
После обучения в Университете проходил интернатуру в компании Xerox.
http://www.cs.yale.edu/homes/shao/ - это личная страничка. Здесь можно найти информацию о его достижениях и контакты.
Vilhelm Sjöberg - научный сотрудник
https://www.linkedin.com/in/vilhelm-sj%C3%B6berg-9b667a94 единственный профиль в линке с таким именем и фамилией, но он пустой (9 контактов)
Поиск FB тоже ничего не дал.
Вильхель Шёберг является научным сотрудником в Йельском университете. Он получил степень доктора философии в области компьютерных наук из Пенсильванского университета в 2015 году. Он является экспертом в области проверки программного обеспечения, языков программирования и типов систем. Его тезисы сфокусированы на том, чтобы сделать типы систем более привлекательными для языков программирования общего назначения, сделав это необязательным. Чтобы доказать, что функции заканчиваются путем включения автоматической теоремы, доказываемой с помощью конгруэнц-закрытия. В настоящее время он заинтересован в поддержке языков для многоуровневых проверенных систем, таких как CertiKOS. Д-р Sjöberg является победителем 2016 года ACM SIGPLAN Дж. К. Рейнольдса.
Есть личная страница с некоторой информацией и со ссылками на 12 научных публикаций: http://www.cs.yale.edu/homes/vilhelm/
По информации на сайте, в команде только 3 человека, показаны только основные лица, все остальные разработчики, из-за специфики проекта, не освещены.
Те, кто освещены, конечно, ТОП!
Адвайзеры:
На сайте нет информации об адвайзерах проекта. Негативный момент, конечно, хотя, не исключено, что они появятся.
Выводы по проекту в целом:
В целом, проект очень высокого уровня. В инвесторах ТОП организации, предполагаем, что это не все. Роадмап не затянут – Certik 1.0 уже на выходе. ВП понравился, все достаточно грамотно описано. Те члены команды, о которых есть информация, тоже ТОП уровня.
Минусы: в партнерах всего одна компания (проект) – по нашему мнению, это маловато для такого проекта, хотя и не исключаем, что в ближайшем будущем партнерства добавятся. ГитХаб не порадовал, хотя, как уже говорилось выше, ввиду специфики проекта, репозитории с основной информацией (кодом) закрыты для публичного доступа. Отсутствие адвайзеров проекта.
Оценка: взвесив все вышеперечисленное, оценка проекта – MEDIUM с претензией на HIGH!