CertiK (CTK)

Що таке ланцюг Shentu?

Shentu Chain, делегований блокчейн на основі безпеки для безпечного запуску критично важливих програм, включаючи DeFi, NFT та автономні транспортні засоби. Shentu Chain надає пріоритет міжмережній взаємодії, створеної як Cosmos Hub з повною сумісністю EVM і Hyperledger Burrow, а також сумісністю eWASM і Ant Financial AntChain. За допомогою протоколів блокчейн-проекти можуть отримувати інформацію про безпеку за допомогою Security Oracle, який забезпечує захист трансакцій у мережі в режимі реального часу, виявляючи та позначаючи широкий спектр шкідливих уразливостей до їх появи. Залежно від рівня безпеки, перевірені блокчейн-проекти будь-якого протоколу можуть мати право на членство в ShentuShield, що є гнучкою, децентралізованою системою відшкодування за будь-який криптоактив, який безповоротно втрачено або вкрадено через проблеми безпеки. Членство в ShentuShield відкрите для всіх членів спільноти цих відповідних блокчейн-проектів, забезпечуючи захист власникам криптоактивів на випадок, якщо станеться щось несподіване.

По суті, проекти можуть кодувати на DeepSEA, гіпербезпечній мові програмування, яку підтримують Ethereum Foundation, Qtum Foundation та IBM. DeepSEA працює безпосередньо з віртуальною машиною Shentu (SVM), яка повністю сумісна з EVM. SVM інноваційно розкриває інформацію про захист смарт-контрактів і блокчейнів, надаючи безпрецедентні способи доступу, перевірки та включення ризиків у рішення смарт-контрактів. CTK — це оригінальне цифрове комунальне паливо Shentu Chain, яке слугує основною утилітою для функціональних можливостей мережі, таких як керування системами Security Oracle та ShentuShield, оплата споживання газу Shentu Chain та голосування за управлінські рішення в мережі.

Що таке Security Oracle?

Security Oracle формується децентралізованою мережею операторів, які використовують провідні в галузі технології безпеки для оцінки надійності критичних розумних контрактів, наприклад тих, що використовуються в DeFi. В обмін на ці оновлені бали в режимі реального часу ці оператори отримують винагороди CTK. Безпека Oracle сумісна з будь-яким протоколом, який дозволяє користувачам приймати зважені рішення перед взаємодією зі смарт-контрактами. Розумні контракти, інтегровані з Security Oracle, можуть означати та запобігати зловмисним транзакціям, запобігаючи ситуації втрати криптоактивів. Додаткова інформація доступна тут.

Що таке Shentu Shield?

ShentuShield — це децентралізована система членства, яка дозволяє відшкодовувати втрачені або вкрадені криптовалюти за допомогою будь-якого протоколу. Рішення про відшкодування повністю приймаються на розсуд учасників ShentuShield, які можуть бути блокчейн-проектами або прихильниками окремих спільнот. Учасники можуть брати участь, вносячи своє забезпечення як Постачальники застави, купуючи захист для своїх криптовалют як Покупці Shield, або й те й інше. Постачальники застави отримують винагороду за ставку на свої ставки CTK, а також заробляють частину комісій, внесених покупцями Shield. Покупці Shield резервують кошти з пулу для використання як відшкодування своїх власних криптоактивів, сплачуючи комісію в CTK, яка надходить безпосередньо Постачальникам застави. Розширюваний список відкритих, перевірених клієнтів можна знайти тут.

Що таке DeepSEA?

DeepSEA — це безпечна мова програмування та набір інструментів компілятора, сумісна з SVM, EVM, eWASM та AntChain Ant Financial. DeepSEA отримав дослідницькі гранти від Ethereum, IBM-Columbia та Qtum для розвитку своєї гіпербезпечної мови програмування. Під час кодування в DeepSEA автоматично генеруються математичні докази для підтвердження відповідності між передбачуваною специфікацією та фактичним кодом, що забезпечує більшу глибину формальної перевірки та коректності.

Що таке віртуальна машина Shentu?

Незважаючи на те, що SVM повністю сумісна з EVM, SVM була розроблена, щоб відповідати провідній універсальній віртуальній машині, яка зустрічається в комп’ютерах у всьому світі, процесній моделі ОС x86-64, з можливими розширеннями arm64 в майбутньому. SVM надає параметри безпеки в ланцюжку, щоб дозволити смарт-контрактам взаємодіяти один з одним по-різному відповідно до їх терпимості до ризику. Крім того, SVM розроблено для підтримки пісочниці для смарт-контрактів, ізолюючи роботу смарт-контрактів (особливо тих, які ще не захищені) від решти системи.