Обзор ICO CertiK – платформа верификации для смарт-контрактов

Оригинал: https://ruscoins.info/ico/certik/

CertiK – новая платформа, взявшая на себя ответственность решить проблемы безопасности. CertiK – сеть формальной верификации для «интеллектуальных контрактов» и блокчейна. Она будет задействована при строительстве полностью надежных и безопасных экосистем.

Концепция

CertiK будет выполнять функции формальной проверки для строительства совершенно безопасных «умных контрактов» blockhain экосистем. CertiK должна математически доказывать, что блочная цепь не имеет ошибок.  Разработчики создали модульную верификацию, то есть, такой способ представляет собой разложение неподдающейся доказательству задачи на маленькие и точные, которые могут быть автоматически решены в децентрализованном виде. Эти объекты доказательства построены и кодируются в транзакциях архитектуры CertiK, а далее будут проходить проверку других участников.

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

Проблемы, которые решит CertiK

Модель умных-контрактов используется сейчас практически во любой архитектуре децентрализованного приложения. Это уникальная технология, дает возможность исключить из операций обмена ценными активами посредников. Все смарт-контракты работают на одном и исполняются по одной и той же схеме. Однако в период ICO и других финансовых событий, участники теряют свои деньги по разным причинам. В коде может быть допущена ошибка, в том числе и преднамеренная.

Блокчейн и смарт-контракты на сегодняшний лень не пользуются доверием со стороны финансовых институтов и частных лиц. Прозрачность их структуры привлекает многих мошенников. Также возможны ошибки со стороны разработчиков.

Есть некоторые решения проблем уязвимости блокчейн-систем и «умных контрактов». Но они дорогостоящие и ограничены в проверке сложных систем, но не одно из них не является идеальным для обеспечения безопасности блокчейна dApps.

сервис верификации

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

Особенности сети и структура платформы

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

Анализ смарт-контрактов происходит с помощью функциональной проверки.

CertiK – это так называемые сертификаты Certified Kits, которые содержат 6 компонентов с таким функциями:

  • Smart Labeling («умное» маркирование) – это новый подход для определения приложений с применением меток. Они будут использоваться для утверждения требуемых свойств с основными языками программирования, например, Solidity. Применяя глубокие способы обучения, с установленными мануально метками в кодовой базе, платформа внедряет smart labeling для изучения децентрализованных программ как на степени синтаксиса, так и на степени семантики, с добавлением верных меток в исходный код в автоматическом режиме.
  • Layerbased decomposition (разложение недоказуемой задачи на небольшие). Этот способ раскрывает понимание многослойных шаблонов дизайна и дает возможность раскладывать сложную пробную задачу на более небольшие, и проводить проверку каждой из них на своих надлежащих слоях абстракций.
  • Pluggable proof engine (подключаемый протокол) Чтобы обеспечить расширяемость, сеть применяет открытый протокол, поэтому более сложные алгоритмы могут легко подключаться к системе.
  • Machinecheckable proof objects (машинная проверка объектов). Механическое доказательство объектов (или контрпримеры). С помощью этого компонента доказательства могут быть быстро проверены каждым участком, который использует свой персональный девайс. Эти объекты-доказательства могут быть рассмотрены в качестве «сертификатов» к уже прошедшим верификацию программам.
  • Certified DApp libraries (сертифицированные библиотеки DApp). Для снижения уязвимости кодовой базы и повышения надежности блочной цепи сеть CertiK предлагает серию сертифицированных библиотек и плагины для интегрированной среды разработки(IDE). Разработчики получат возможность выстраивать более безопасные децентрализованные приложения. За применение таких инструментов будет взыматься небольшая сумма CTK (токены платформы) как виртуальное крипто-«топливо».
  • Customized certification services (Персональная сертификация). Для DApps-приложений с высокими требованиями надежности (например, цифровые хранилища), платформа CertiK будет давать доступ к сервисам персональной сертификации. С помощью этого компонента эксперты по верификации будут помогать подтверждать верность программы и составлять детальный объемный отчет.
  • Все компоненты начинают функционировать с маркировки кода, далее происходит разбитие задачи проверки на несколько небольших, с более высокой точностью. Каждая задача решается индивидуально и проходит верификацию узлами сети. После этого процесса все компоненты складываются в один проверенный и безопасный «умный контракт».

Верификация в certik

Консенсусный протокол для добычи токена Proof-of-proof (PoP)

CertiK не будет применять самый известный консенсус-алгоритм Proof-of-Work. В базе сети будет лежать новый протокол доказательства подтверждения.

Команда считает, что PoW, не дает никакой реальной ценности, при этом тратит огромные вычислительные мощности. Что касается PoP, то этот протокол ищет доказательства и проводит решения задач.

Ноды сети решают и дают подтверждения задачи с помощью добычи в приложении CertiK.

После прохождения «умного контракта», вернее его кода, маркировки, он делится на много слоев, так называемых proof obligation. Далее эти слои обрабатываются в сети, где любой участник может извлечь их при помощи приложения CertiK и получить доказательство. Такие участники называются Bounty Hunter.

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

интерфейс для смарт-контрактов в certik

Команда проекта

На официальном сайте представлено только 3 участника, и никаких советников. Все три представленных соучредителя обладают опытом в сфере распределительных систем, блочной цепи, криптографии и безопасности. Советники на официальном источнике не представлены.

  • Учредитель Ронгху Гу (Ronghui Gu) – доцент компьютерных наук в частном исследовательском университете Колумбия. Имеет степень доктора компьютерных наук в частном исследовательском университете США (Йельский университет). Закончил бакалавриат университета Цинхуа. Эксперт в сфере официальной проверки системного ПО. Создатель CertiKOS (ОС, позволяющее создавать безопасные системные ядра).
  • Чжун Шао (Zhong Shao) – профессор информатики в Йельском университете (именно эта йельская группа первая в мире создала структуру, позволяющую делать безопасные системные ядра). Имеет степень доктора в области информационных технологий в университете Принстона, США. Был ключевым создателям кроссплатформенного оптимизирующего компилятора SML/NJ и одним из главных создателей его инфраструктуры сертификации FLINT. Несколько последних лет над изучал и исследовал кибербезопасность, языки программирования, операционные системы и сертифицированные ПО. Он, и его йельская группа исследователей, создал первую в мире хакерскую устойчивую параллельную ОС CertiKOS.
  • Вильхельм Шоберг (Vilhelm Sjöberg) – научный сотрудник Йельского университета. Кандидат наук в сфере информационных технологий в Пенсильванском Университете. Эксперт в верификации ПО, языках программирования и системы типов. Является лауреатом премии ACM SIGPLAN John C. Reynolds за докторскую диссертацию.

команда проекта certik

Также на официальном сайте указанно большое количество стратегических партнеров, среди которых много успешных блокчейн-проектов, информационных партнеров в сфере крипто-индустрии и инвестиционных фондов.

партнёры платформы certik

Токены CTK

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

дорожная карта certik

Перспективы проекта CertiK

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

Конкурентом проекта можно назвать Quantstamp. Однако он подразумевает ручную проверку умных контрактов, что увеличивает время на проверку и, соответственно, размер комиссий.

Оценить проект трудно, пока не появятся более точные данные об ICO. Однако вероятность получить иксы в этом проекте очень большая. Команда ruscoins будет следить за обновлениями проекта и сообщать об изменениях.

Отзывы инвесторов

@Nast___sem

Жизнеспособный проект. Реальное решения безопасности смарт-контрактов. Я буду инвестировать, с нетерпением жду ICO.

@Ula

Согласен, что проект пока сложно оценивать из-за скрытых участников команда и общей конъектуры рынка. Quantstampдал иксы участником, а эта платформа предлагает более эффективные решения.

@INVS_CRYPTO

Жду анонса ICO. Наконец-то что-то стоящее, реальное решения проблем смарт-контрактов. Интересные члены команды, авторитетные партнеры. В общем, мое мнение — проект ждет успех.