CertiK

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. Ждем новостей от команды.