CertiK запусціла асноўную сетку CertiK Chain

Кампанія CertiK, якая спецыялізуецца на кібербяспецы, запусціла асноўную сетку CertiK Chain з сістэмай аўдыту смарт-кантрактаў у рэжыме рэальнага часу..

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

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

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

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

Аракулы будуць працаваць праз сістэму кліентаў і аператараў. Канчатковыя карыстальнікі або распрацоўшчыкі, якія хочуць ацаніць узровень бяспекі канкрэтнага кантракту, адправяць запыт, фінансуемы ўласным крыптаактывам CertiK Chain (ЧТК). Затым аператары аракулаў правядуць аналіз і апублікуюць вынікі ў сетцы. Кампанія таксама запусціць механізм страхавання CertiKShield для пакрыцця любых грашовых страт у выніку ўзлому.

крыніца