CertiK запустила основную сеть CertiK Chain

Специализирующаяся на кибербезопасности компания CertiK запустила основную сеть CertiK Chain с системой аудита смарт-контрактов в режиме реального времени. В блокчейне CertiK Chain наибольшее внимание уделяется безопасности – статический процесс анализа смарт-контрактов преобразован в систему защиты в режиме реального времени. Генеральный директор CertiK и профессор компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu) сказал:

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

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



Оракулы будут работать через систему клиентов и операторов. Конечные пользователи или разработчики, которые хотят оценить уровень безопасности конкретного контракта, отправят запрос, финансируемый собственным криптоактивом CertiK Chain (CTK). Затем операторы оракулов проведут анализ и опубликуют результаты в сети. Компания также запустит механизм страхования CertiKShield для покрытия любых денежных потерь в результате взлома.

Источник: Bits.media