Обзор криптовалюты CertiK - CTK токен

[CRYPTO]

Обзор криптовалюты CertiK - CTK токен стремится предоставить безопасную платформу, на которой можно разрабатывать инфраструктуру блокчейна и децентрализованные приложения. Его экосистема состоит из уровней безопасности, которые существуют ниже уровня блокчейна, включая компилятор DeepSEA, виртуальную машину CertiK (CVM) и CertiKOS. Его собственный токен, CTK, был запущен в Binance Launchpool 27 октября 2020 года. Ниже приводится подробный обзор экосистемы CertiK, включая цепочку CertiK.

 

CertiK Foundation поддерживает платформу CertiK. Организация поддерживает доверие к блокчейн-системам. Его усилия проявляются в разработке безопасной сети, которая может повысить доверие к децентрализованным системам. Кроме того, CertiK Foundation возглавляют известные профессора компьютерной грамотности.

 

Что такое CertiK?
CertiK - это децентрализованная платформа смарт-контрактов, на которой работают Dapps. Кроме того, он поддерживает межсетевое взаимодействие и работает в сети Certik.

 

Система предназначена для узкоспециализированных случаев использования. Протокол использует вариант PoS, называемый делегированным доказательством ставки (DPoS), и использует комплект для разработки программного обеспечения Cosmos (SDK).

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

 

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

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

Однако токен не дает своим держателям права на взаимодействие и не действует в качестве инвестиций в CertiK Foundation. Будучи выпущенным внутри системы на базе PoS, токен имеет различные преимущества, чтобы стимулировать держателей участвовать в размещении ставок и обеспечении безопасности сети.

Помимо использования в протоколе CertiK, CTK является важным компонентом цепочки CertiK. Здесь токен используется для оплаты комиссии за транзакцию.

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

 

Что такое CertiK Chain?
CertiK Chain - это протокол блокчейна, поддерживающий экосистему CertiK. Он очень безопасен и имеет межсетевое взаимодействие. Для эффективного выполнения своей миссии платформа включает ключевые компоненты, такие как оракул безопасности и пул CertiKShield.

 

CertiK's Security Oracle
Оракул безопасности платформы сжимает отчеты аудита, чтобы сделать их доступными в сети. В основном отчеты аудита содержат информацию о надежности смарт-контрактов. Но надежность смарт-контрактов может быть подорвана данными, которые они используют для принятия решений.

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

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

 

Оракул безопасности может не только оценивать контракты, но и отслеживать неаудированные смарт-контракты и сообщать о них. Такие отчеты обрабатывает распределенная группа безопасности. С помощью CertiK Oracle Combinator результаты группы безопасности объединяются в единую оценку, доступ к которой можно получить онлайн. И, конечно же, команда безопасности будет вознаграждена.

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

 

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

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

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

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

 

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

 

CertiK Chain Архитектура
Основные компоненты CertiK Chain объединены в архитектуру, которая может обеспечить доказанное доверие. Помимо оракула безопасности и пула щитов, магистраль сети включает виртуальную машину и набор инструментов DeepSEA.

CVM - децентрализованная платформа, ориентированная прежде всего на безопасность, поэтому она полагается на результаты работы сертифицированного компилятора DeepSEA. Вывод компилятора включает байт-код и математические доказательства. Доказательства могут быть использованы для изоляции кода смарт-контрактов, который не соответствует стандартам безопасности.

Набор инструментов DeepSEA
 

DeepSEA - это компилятор и язык программирования, признанный за его безопасность. Примечательно, что собственный инструмент CertiK разработан совместно с исследователями из ведущих учебных заведений, таких как Колумбийский и Йельский университет.

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

 

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

 

CertiK принимает пять типов предложений от своего сообщества:

• Сертификатор: они отправляются сертификатором с запросом на добавление или удаление сертификатора. Обратите внимание, что сертификаторы и валидаторы голосуют за предложения.
• Обычный текст: это предложения, которые требуют изменения таких вещей, как изменение количества поощрений, выплачиваемых валидаторам.
• Обновление программного обеспечения: они приводят к модификации кода. Они могут включать предложения по добавлению новых функций.
• Расходы пула сообщества - они обслуживают перевод средств из пула на индивидуальный адрес, например, для человека, разрабатывающего продукт или обновление для CertiK
• Баунти: Примеры предложений в этой категории включают те, которые касаются создания цепочек артефактов и проведения аудитов безопасности.

 

Источник на Английском: boxmining.com/certik-chain-ctk

[CRYPTO]

CertiK внедряет автоматизированный инструмент аудита смарт-контрактов