Certik – это экосистема комплексного решения для взаимодействия между различными блокчейнами, интегрированными в неё. Целью этой технологии является создание доказанного доверия для каждого блокчейна.

Функциональным токеном этой экосистемы является CTK, используемый для взаимообмена между участниками платформы, а также оплаты необходимого функционала платформы при применении её участником.

Основная информация

Суть решения

Данная платформа является инфраструктурой, с собственным языком программирования DeepSEA, ядром для операционных систем и виртуальной машиной. Благодаря этому инструментарию доступно создание полноценных и безопасных систем внутри этого сообщества. Уровень безопасности оценивается собственным Oracle сообщества, ориентируясь на критерии, выделенные оператором. Участники оценки получают вознаграждение за проверку исходного кода в нативных токенах проекта.

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

Ещё одна особенность этой экосистемы – создаваемое разработчиками ПО обязательно должно снабжаться подробной спецификацией, описывающей возможности программы. На основании этого документа и проводится оценка правильности реализации кода. Поскольку программы индивидуальны, система оценки создаётся для каждого отдельного случая на основе общих базовых правил.

Работа виртуальной машины CVM

Главной задачей этого элемента инфраструктуры Certik является предоставление информации о безопасности используемых smart-контрактов через различные варианты анализа:

• Доступ;
• Поиск взаимозависимостей;
• Проверка;
• Динамический мониторинг безопасности.

Язык программирования

Собственный язык DeepSEA реализуется для создания smart-rjynhfrnjd экосистемы, позволяя обрабатывать даже сложнейший код с последующей проверкой инструментом доказательства.

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

Главными принципами работы языка являются:

• Создание спецификации на каждый функциональный элемент (эквационный формат работы);
• Создание слоёв спецификации;
• Возможность абстрактной доработки и дробления сложных модулей на более простые;
• Возможность проверки каждого слоя спецификации в полном объёме.

Инструмент защиты

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

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

Собственный кошелёк

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

Кошелёк DeepWallet позволяет:

• Осуществлять транзакции;
• Просматривать собственный баланс;
• Формировать экосистему наград с написанием плана и условий их выплаты.

Интересным решением стала возможность делегирования своих ставок в стейкинге и формирование собственных smart-контрактов.

Нативный токен

Служебным токеном проекта является CTK, роль которого – выражение функций, фиксируемых в протоколе экосистемы, что выражается в достаточно широком функционале:

• Возможность взаиморасчётов между участниками;
• Финансовое стимулирование пользователей, вносящих вклад в развитие платформы;
• Оплата газа для поддержания узлов валидации;
• Обеспечение пулов ликвидности, в том числе – компенсационного пула.

Таблица распределения токенов CTK

График выпуска токенов CTK

Общая эмиссия CTK составляет 100 миллионов единиц, из которых 1,5% были распределены через Launchpool на Binance.

Достоинства и недостатки

Главными преимуществами проекта являются:

• Полезность проекта в виде возможности создания качественных децентрализованных приложений;
• Действующая система компенсации убытков от небезопасности участвующих в экосистеме блокчейнов;
• Полностью сформированная экосистема из собственной виртуальной машины, ОС, ядра и языка программирования;

Недостатками проекта являются:

• Отсутствие публичной информации о разработчиках проекта;
• Конкуренция с действующими аудиторами.

Заключение

Экосистема Certik уже вполне работоспособна и развивается, реализуя правила взаимоинтеграции и партнёрства. Подобное решение, определённо интересно для рынка, учитывая широкие возможности взаимодействия блокчейнов с экосистемой и развёртывания новых проектов в рамках этой экосистемы.