Návrh partnerstva s reťazcami OKExChain a CertiK

O spoločnosti CertiK

CertiK je priekopnícka spoločnosť v oblasti blockchainovej kybernetickej bezpečnosti založená profesormi informatiky z Yale University a Columbia University. Použitím prísnosti proprietárnej technológie formálneho overovania na inteligentné zmluvy a blockchainové protokoly dokázala spoločnosť CertiK zabezpečiť aktíva v hodnote viac ako 6 miliárd dolárov a slúžiť viac ako 150 podnikovým klientom, vrátane mnohých svetových blockchainových spoločností ako Binance, OKEx, Coinone, PAXOS, Reserve, Universal Protocol, InfStones atď. Na rozdiel od tradičných prístupov k testovaniu sa CertiK pokúša matematicky dokázať blockchain protokoly, supernody a inteligentné zmluvy, ktoré sú odolné voči hackerom a bez chýb..

Synergia a krížový reťazec medzi reťazcami OKExChain a CertiK

Reťazce CertiK a OKExChain zdieľajú niekoľko dizajnových konceptov a vývojových plánov

ktoré by mohli osvetliť budúce synergie. Reťazec CertiK zvýši hodnotu pre OKExChain

Aliancia v týchto jedinečných perspektívach:

1. Napájanie OKExChain cez CVM

Podobne ako OKExChain, aj CertiK Chain je založený na konsenze Tendermint-BFT, ktorého cieľom je vybudovanie bezhraničného cezhraničného ekosystému prostredníctvom proprietárneho CertiK Virtual Machine (CVM) a Hlboké more programovací jazyk.

CertiK VM (CVM) je inteligentná zmluvná platforma vyvinutá pre CertiK Chain. Pre verziu 1.0 sa zameriava na zabezpečenie úplnej kompatibility EVM a pridanie rozšírení týkajúcich sa zabezpečenia. Budúce verzie budú poskytovať podporu WASM a všeobecnú natívnu podporu. CVM sa dodáva ako strážca kozmu, ktorý môže OKExChain ľahko použiť.

Aj keď CVM podporuje staršie jazyky ako Solidity, tieto jazyky neponúkajú optimálnu podporu pre formálne overenie. Z tohto dôvodu zameráme jazyk CVTI CertiK DeepSEA aj na OKExChain.

2. Napájanie OKExChain prostredníctvom DeepSEA

Distribuované finančné aplikácie sú obzvlášť náročné na bezpečnosť, pretože v stávke sú vysoké peňažné hodnoty a môžu vzniknúť chyby v jemných interakciách medzi zmluvami napísanými rôznymi stranami. V súčasnosti je cieľom väčšiny existujúcich riešení formálneho overovania dokázať vlastnosti jednej zmluvy izolovane. (napr. anotáciou každej metódy zmluvy s predbežnými a dodatočnými podmienkami) Takýto proces overovania je proces mimo reťazca bez kontroly povolení a / alebo detekčnej spätnej väzby v reálnom čase, ako sú tradičné vývojové prostredia softvéru. Verifikačné nástroje tiež často obsahujú dôveryhodný kód, ktorý by mohol obsahovať chyby. Pre OKExChain to nie je sľubná úroveň bezpečnosti, ktorej cieľom je vybudovať ekosystém verejného reťazca bez hraníc s plynulým obehom dát, aktív a hodnoty.

Programovací jazyk DeepSEA sa zameriava na použitie jazyka Interaktívni korektori Coq na overenie správnosti zmluvy bez akýchkoľvek medzier. Systém DeepSEA pozostáva z nového programovacieho jazyka, overeného kompilátora a mechanizmu na preloženie zmluvného kódu do formálneho modelu, ktorý je možné načítať do asistenta Coq proof.

Časť s programovacím jazykom je malý nevyhnutný jazyk vhodný na písanie zmlúv. Pôvodne bola inšpirovaná výskumom na overených systémoch a obsahuje niektoré ponaučenia z vývoja operačného systému CertiKOS, ktoré sú podrobne uvedené nižšie:

  • Najskôr je štruktúrovaná okolo objektov, ktoré zapuzdrujú stav medzi rozhraním externých metód, presne tak, ako to robia inteligentné zmluvy.
  • Po druhé, jazyk je navrhnutý tak, aby sa dal preložiť do čistých funkcií, o ktorých je u asistentov proof jednoduché uvažovať.
  • Nakoniec využíva patentovanú metodiku Certified Abstraction Layers na rozdelenie zložitých systémov na viac vrstiev, o ktorých sa dá nezávisle dokázať, že sú správne..

CertiK vyvíja overený kompilátor, ktorý prekladá jazyk DeepSEA do bytecode. Skutočnosť, že samotný prekladač je overený v Coq, zaisťuje, že nemá žiadne chyby, ktoré by mohli porušiť bezpečnostné vlastnosti zmlúv. Inými slovami, je možné preukázať bezpečnosť programu na úrovni zdrojového kódu a získať rovnako prísne záruky, akoby ste uvažovali priamo pomocou formálnej špecifikácie jazyka bytecode, ale s oveľa väčším pohodlím, pretože dôkaz nie je preplnený otázky reprezentácie údajov alebo toku kontroly. Skutočnosť, že je kompilátor overený, tiež znamená, že všetky kompilované programy preukázateľne vyhovujú určitým bezpečnostným vlastnostiam za behu: sú bezpečné pre typ, nemajú celotelové pretečenia atď..

Systém DeepSEA je modulárny, takže jazyk DeepSEA je možné kompilovať do niekoľkých rôznych cieľových architektúr a overený backend kompilátora je možné znova použiť pre niekoľko rôznych vstupných jazykov. Najmä v budúcnosti by sme mohli znova použiť backend pre jazyky špecifické pre doménu, napr. špecifické pre písanie finančných zmlúv, s rovnakými zárukami správnosti.

Kompilátor DeepSEA tiež prekladá kontrakt do knižnice, ktorú je možné načítať do asistenta kontroly na overenie pokročilých vlastností správnosti. Skutočnosť, že používame plnohodnotného interaktívneho asistenta kontroly, znamená, že je možné definovať ľubovoľne zložité výroky a modely viet bez akýchkoľvek obmedzení stanovených samotným nástrojom. Napríklad pri overovaní finančnej žiadosti je možné spísať teoretické definície hier (štandardným spôsobom, ako by sa vyskytli v učebnici matematiky) a dokázať, že zamýšľaný protokol je skutočne dominantnou stratégiou..

Ďalším príkladom, kde je sila kontrolných asistentov obzvlášť užitočná, je aplikácie naprieč reťazcami, ktoré zahŕňajú niekoľko zmlúv žijúcich v samostatných reťazcoch a komunikujúcich asynchrónne. Toto je ďalší skvelý spôsob, ktorým DeepSEA umožňuje ekosystém OKExChain. V tomto nastavení môže nástroj DeepSEA automaticky vytvoriť overený model každej jednotlivej zmluvy a programátor potom môže pomocou asistenta kontroly definovať, ako môžu zmluvy navzájom komunikovať, aké sú predpoklady týkajúce sa latencie atď. Skutočnosť, že DeepSEA je možné zostaviť tak, aby fungoval na viacerých reťazcoch (napríklad CertiK Chain, OKExChain, Ethereum), nám tiež umožní napísať súbor štandardných premosťovacích zmlúv a všetky ich certifikovať v jednom vývoji DeepSEA, čo poskytne pevný základ pre komunikáciu medzi reťaze.

Výskumný článok DeepSEA je publikovaný na sympóziu OOPSLA’19 (Uč sa viac). The

Hlboké more Jazyková správa v0.9 a Náhľadová verzia kompilátora DeepSEA sú tiež

k dispozícii verejnosti. Ďalšie podrobnosti a príklady nájdete v časti Viac

komplexný úvod tu.

3. Prieskumník pre OKExChain

CertiK Chain Explorer je webový frontend pre CertiK Chain, na ktorý sa používatelia reťazca veľmi spoliehajú pri sledovaní svojich transakcií a pri skúmaní celých informácií o blockchainovej platforme. V tradičných blockchainoch ako BTC, ETH, BCH pracujú prieskumníci blokov iba pre svoj vlastný určený reťazec. Napríklad, užívateľ nikdy nemôže použiť ETH blockchain explorer pre BTC informácie.

So zdieľanou víziou vytvorenia blockchainového ekosystému bez hraníc pre väčšiu transparentnosť a efektívny obeh aktív, dát a hodnoty tím OKExChain a CertiK navrhujú vysokú úroveň integrácie ich frontendu reťazca a neskôr na vrchole postavených dapps. Tím CertiK v súčasnosti vyvíja vzájomnú podporu pre OKExChain prostredníctvom nástroja CertiK Explorer, ktorý napája OKExChain pomocou dôveryhodných funkcií krížovej kontroly a overovania údajov ako zdroja údajov so zvýšenou bezpečnosťou. OKExChain s vybavením viacerých možností prieskumníka umožní budúcim používateľom reťazca flexibilnejší prístup a dostupnosť pre aktivity na reťazci.

4. DeepWallet pre OKExChain

DeepWallet, ľahko použiteľná decentralizovaná webová peňaženka, umožňuje viacnásobné aktíva prepojené so známym blockchainom založeným na vesmíre.

Cieľom DeepWallet je podporovať nasledujúce funkcie pre používateľa:

  • ľahká správa viacerých aktív medzi partnerskými protokolmi založenými na kozme
  • sledovač historických transakcií
  • jednoduchšie odosielanie a prijímanie majetku
  • vkladanie do peňaženky, ktoré umožňuje používateľom získavať odmeny za podporované tokeny POS (proof of stake)
  • solídnosť & Kompilátor založený na prehliadači DeepSEA, nasadenie inteligentných zmlúv a interakcia so zmluvami

5. NoOps pre OKExChain

NoOps je platforma typu Infrastructure-as-a-Service vyvinutá spoločnosťou CertiK, ktorá slúži a prevádzkuje blockchainové uzly s podnikovou infraštruktúrou. Účastníci blockchainu využívajúci NoOps môžu ušetriť na vysokých režijných nákladoch a zamerať sa tak viac na obchodné vyhliadky. NoOps zapája zoznam všeobecne známych nastavení a konfigurácie infraštruktúry protokolov blockchain, aby tak podporil príslušné ekosystémy.

Platforma NoOps pridá integráciu s OKExChain, aby používatelia mohli:

  1. hostiť svoj vlastný uzol validátora, ak sa zúčastňujú stávkovania OKExChain;
  2. Dotaz na údaje spoločnosti OKExChain, aby ste získali prehľad prostredníctvom zdieľaných uzlov hostených spoločnosťou CertiK.
  3. NoOps chápe dôležitosť DEX onchain dát pre OKExChain a s hlbokými znalosťami a odbornosťou v oblasti monitorovacieho systému blockchainu a inteligentných zmlúv tím verí, že platforma NoOps poskytne vysoko dostupný, bezpečný a stabilný prístup k dátam OKExChain.

Hlavné prvky:

  • Infraštruktúra zodpovedajúca potrebám používateľov

Škálovateľné zásobníky infraštruktúry sú zostavené podľa vašich požiadaviek bez obetovania priemyselných štandardov. Stohy sú nasadené a hostené prostredníctvom popredných poskytovateľov cloudových služieb a miestnych dátových centier, aby čo najlepšie slúžili používateľom a zákazníkom používateľov bez ohľadu na to, kde sa nachádzajú..

  • Bezpečnosť, aby sa zabránilo zlým hercom

Komponenty sú navrhnuté s enklávami a izoláciami, fyzicky aj logicky, aby sa zabránilo potenciálnym kompromitujúcim útokom. NoOps slúži ako strážca infraštruktúry používateľov, aby sa ubezpečil, že ich aktíva sú absolútne bezpečné, pretože fungujú ako ich vlastní správcovia..

  • Monitorovanie s cieľom poskytnúť údaje o výkone

Každý klastrový uzol sa dodáva so samostatnou inštanciou monitora na zhromažďovanie metrík a protokolovanie udalostí s granulárnosťou až 1 sekunda. Analýzy a správy v reálnom čase sa doručujú na konsenzuálnej a strojovej úrovni, aby poskytli prevádzkové viditeľnosti a prehľady.

  • Trhovisko na doplnenie vašich uzlov

Virtuálne trhovisko NoOps uvádza zoznam najrôznejších popredných používateľov blockchainových protokolov, z ktorých si môžu vyberať, s neustálymi aktualizáciami a podporou novo vydaných protokolov. K dispozícii sú tiež doplnky a konfigurácie testnet, ktoré zaisťujú ľahkú rozšíriteľnosť.

Technické prednosti:

  • Unhackable OS

NoOps hrdo podporuje CertiKOS, prvý plne overený viacjadrový operačný systém na svete, ktorý chráni pred kybernetickými útokmi, aby splnil prísnejšie bezpečnostné opatrenia. Obohatený operačný systém pre uzly znamená menej zraniteľností a viac zdrojov určených na prevádzku.

  • Vrstvená ochrana

Od návrhu až po implementáciu sú izolácie a segmentácie sietí starostlivo hodnotené a vyberané na základe prístupu založeného na zabezpečení. Systémy ako brány firewall, ochrana DDoS a riadenie dopravy sú už zavedené, aby v prvom rade zabránili hackerom v získaní prístupu.

  • Automatizované postupy

Aby sme obmedzili potrebu ľudského zásahu, plne automatizované nasadenia a operácie zaisťujeme, aby sme zachovali citlivé operácie používateľov. Prístup je výslovne pridaný na bielu listinu a udalosti sa zaznamenávajú a zaznamenávajú na účely inteligentnej detekcie hrozieb a ďalších auditov.

  • Tím odborníkov

Naša platforma je poháňaná spoločnosťou CertiK a má skupinu skúsených technikov s rôznymi špecializáciami. Aplikácia NoOps prešla prísnym procesom QA, ktorý zaisťuje, že spĺňa vysoké bezpečnostné a kvalitatívne štandardy predtým, ako bude sprístupnený používateľom.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
map