CertiK запустила основну мережу CertiK Chain

Компанія CertiK, що спеціалізується на кібербезпеці, запустила основну мережу CertiK Chain із системою аудиту смарт-контрактів у режимі реального часу.

У блокчейні CertiK Chain найбільша увага приділяється безпеці – статичний процес аналізу смарт-контрактів. перетворений на систему захисту в режимі реального часу. Генеральний директор CertiK та професор комп'ютерних наук Колумбійського університету Ронхуї Гу (Жунхуей Гу) сказав:

«Час, коли ми покладалися на автономний аналіз безпеки та статичні звіти аудиту безпеки, а також страждали від непотрібних втрат часу та грошей, закінчилися. CertiK Chain встановлює новий галузевий стандарт у протоколах безпеки блокчейнів».

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

Блокчейн орієнтований сумісність з іншими мережами – він використовує оракули безпеки, які забезпечують аналіз смарт-контрактів в інших мережах у режимі реального часу. Ця функція може використовуватися смарт-контрактами в інших мережах для оцінки безпеки вузлів. Якщо оракул визнає цільовий смарт-контракт небезпечним, розробники одразу можуть відмовитися від взаємодії з ним.

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

джерело