CertiK logo

CertiK

Verification

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

Дата TBA

Сумма сбора средств TBA

Рейтинг

silver+

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

Аудит смарт-контрактов выполняется методом ручной проверки кода. Команда CertiK все автоматизировала.

Есть даже статья, в которой команда рассказывает, как обнаружили ошибку в смарт-контракте ICON.

Проблема проверки кода на самом деле одна из самых острых для всего блокчейн-сообщества.

На данный момент все ошибки блокчейнов выявляются вручную, чем и объясняется популярность такого сервиса как GitHub. То есть, если проект опубликовал свой код на GitHub, то у сообщества есть возможность его проверить.

В этом методе анализа два недостатка. Первый - человеческий фактор. Второй недостаток заключается в проверке кода смарт-контрактов кошельков. Все знают историю проекта The DAO с хищением 50 млн. долл. в ETH. Вследствие этой истории появился Ethereum Classic.

Команда CertiK нашла решение как минимизировать стоимость таких проверок и масштабировать процессы при помощи блокчейн-сообщества. То есть разрешить людям делать проверку на своих локальных машинах и поощрять всех за участие в этой процедуре.

Платформа CertiK математически доказывает, что блокчейны не содержат ошибок.

Команда CertiK разработала специальные модульные техники верификации для решения проблемы автоматически в децентрализованном стиле.

Проверяемые объекты могут быть созданы и закодированы в транзакциях платформы CertiK, а затем будут проверены другими участниками.

Таким образом, блокчейн-платформа CertiK предназначена для работы в качестве сертификатов для обеспечения сквозной корректности и безопасности проверяемых смарт-контрактов, библиотек децентрализованных приложений (dApp) и реализации самого блокчейна.

Платформа CertiK может даже предлагать обратную связь в реальном времени, чтобы помочь разработчикам исправить обнаруженные ошибки.

Достижение консенсуса предполагается по новому алгоритму Proof-of-Proof (PoP).

Токен CTK, который несет функции взаиморасчетов в системе. В том числе, как вознаграждение для майнеров, обеспечивающих функционирование платформы. На время ICO токен будет функционировать на платформе Ethereum (ERC-20). При запуске основной сети, токены будут на своем блокчейне.

Всего токенов - 100 млн. CTK.

По crowd sale подробностей пока нет.

Private sale стартовал 5 февраля 2018 года.

Команда

Ronghui Gu - сооснователь. Эксперт в области официальной проверки системного программного обеспечения. Является главным разработчиком CertiKOS

Zhong Shao - сооснователь. Видная фигура в области кибербезопасности, языков программирования, операционных систем и сертифицированного программного обеспечения. Совместно с группой FLINT также разрабатывал CertiKOS.

Vilhelm Sjöberg - научный сотрудник. Эксперт в области проверки программного обеспечения и языков программирования.

Партнеры: Nebulas, Ontology, INK, PCHAIN, ICONFoundation, Bitmain, Vechain, Jenga, NEO, Qtum, Waves, Aelf.  

Заключение: Обсуждаемый проект. Тема очень актуальная. Юрисдикция США. Исходного кода на GitHub нет, видимо, в связи со спецификой проекта. Есть MVP. WL не попасть. Команда с профильным опытом. Впечатляющее портфолио инвест-фондов. Среди них замечен Binance Labs. Ждем новостей от команды.

Страна

США

Тикер

CTK

Тип токена

ERC-20

Не могут участвовать

USA, China
OK Blockchain Capital OK Blockchain Capital
Fenbushi Capital Fenbushi Capital
Signum Capital Signum Capital
Kenetic Kenetic
Arrington XRP Capital Arrington XRP Capital
NEO GLOBAL CAPITAL NEO GLOBAL CAPITAL
Kosmos Capital Kosmos Capital
8 Decimal Capital 8 Decimal Capital
Danhua Capital (DHVC) Danhua Capital (DHVC)
Node Capital Node Capital
Draper Dragon Draper Dragon
FBG Capital FBG Capital
BA Capital BA Capital
Chainfund Capital Chainfund Capital
Binance Labs Binance Labs
LinkVC LinkVC
Lightspeed China Partners Lightspeed China Partners
Matrix Partners China Matrix Partners China
One Block Capital One Block Capital
Coefficient Ventures Coefficient Ventures
Bixin Capital Bixin Capital
BRC Bitrise Capital BRC Bitrise Capital
Nirvana Capital Nirvana Capital
Pre Angel Pre Angel