OKExChain & CertiK Chain Partnership Proposal

Om CertiK

CertiK är ett banbrytande blockchain-cybersäkerhetsföretag grundat av datavetenskapsprofessorer från Yale University och Columbia University. Genom att tillämpa noggrannheten för egenutvecklad formell verifieringsteknik på smarta kontrakt och blockchain-protokoll har CertiK kunnat säkra över 6 miljarder dollar i tillgångar och betjäna över 150 företagskunder, inklusive många av världens främsta blockchainföretag som Binance, OKEx, Coinone, PAXOS, Reserve, Universal Protocol, InfStones osv. Olika från de traditionella testmetoderna, försöker CertiK matematiskt bevisa blockchain-protokoll, supernoder och smarta kontrakt är hackresistenta och bug-fria.

Synergi och tvärkedja mellan OKExChain och CertiK Chain

CertiK Chain och OKExChain delar flera designkoncept och utvecklingsplaner

som skulle kunna belysa framtida synergier. CertiK-kedjan tillför värde till OKExChain

Allians i dessa unika perspektiv:

1. Slå på OKExChain via CVM

I likhet med OKExChain bygger CertiK Chain på Tendermint-BFT-konsensus, som syftar till att bygga ett gränslöst tvärkedjigt ekosystem genom den egenutvecklade CertiK Virtual Machine (CVM) och Djupt hav programmeringsspråk.

CertiK VM (CVM) är den smarta kontraktsplattformen som utvecklats för CertiK Chain. För version 1.0 syftar den till att tillhandahålla full EVM-kompatibilitet samtidigt som säkerhetsrelaterade tillägg läggs till. Framtida versioner kommer att ge stöd för WASM och allmän inbyggd kod. CVM levereras som en Cosmos-djurhållare, som lätt kan användas av OKExChain.

Även om CVM stöder äldre språk som Solidity, erbjuder sådana språk inte optimalt stöd för formell verifiering. Av denna anledning kommer vi också att rikta CertiK DeepSEA-språket till OKExChain via CVM.

2. Att driva OKExChain genom DeepSEA

Distribuerade ekonomiska applikationer är särskilt krävande för säkerhet, eftersom stora monetära värden står på spel och fel kan uppstå i subtila interaktioner mellan kontrakt skrivna av flera olika parter. För närvarande syftar de flesta befintliga formella verifieringslösningarna till att bevisa egenskaper av ett enda kontrakt i isolering. (t.ex. genom att kommentera varje metod i ett kontrakt med förhands- och efterförhållanden) Sådan verifieringsprocess är en off-chain-process utan behörighetskontroll i realtid och / eller detekteringsåterkoppling som traditionella programvaruutvecklingsmiljöer. Verifieringsverktygen innehåller ofta också pålitlig kod som kan ha fel. Detta är inte en lovande säkerhetsnivå för OKExChain som syftar till att bygga ett gränslöst ekosystem med offentlig kedja med smidig cirkulation av data, tillgångar och värde.

Programmeringsspråket DeepSEA syftar till att använda Coq interaktiva bevis assistenter för att verifiera avtalets korrekthet utan några luckor. DeepSEA-systemet består av ett nytt programmeringsspråk, en verifierad kompilator och en mekanism för att översätta kontraktskoden till en formell modell som kan laddas in i Coq-bevisassistenten.

Programmeringsspråkdelen är ett litet viktigt språk som är lämpligt för att skriva kontrakt i. Den inspirerades ursprungligen av forskning om verifierade system och innehåller några av lärdomarna från utvecklingen av operativsystemet CertiKOS enligt nedan:


  • För det första är det strukturerat kring objekt som inkapslar tillstånd mellan ett gränssnitt för externa metoder, precis som smarta kontrakt gör.
  • För det andra är språket utformat för att kunna översättas till rena funktioner som är lätta att resonera om i bevisassistenter.
  • Slutligen använder den den patenterade Certified Abstraction Layers-metoden för att dela komplexa system i flera lager som kan bevisas korrekt oberoende.

CertiK utvecklar en verifierad kompilator som översätter DeepSEA-språket till bytecode. Det faktum att kompilatorn själv är verifierad i Coq säkerställer att den inte har några buggar som kan bryta mot säkerhetsegenskaperna i kontrakten. Med andra ord kan man bevisa programmets säkerhet på källkodsnivå och få lika strikta garantier som om man resonerar direkt med en formell specifikation av bytkodsspråket, men med mycket mer bekvämlighet eftersom beviset inte är rörigt av frågor om datarepresentation eller kontrollflöde. Det faktum att kompilatorn är verifierad innebär också att alla kompilerade program sannolikt uppfyller vissa körtidsäkerhetsegenskaper: de är typsäkra, har inte heltalsflöden etc..

DeepSEA-systemet är modulärt, så att DeepSEA-språket kan kompileras till flera olika målarkitekturer och den verifierade kompilatorbackend kan användas på nytt för flera olika inmatningsspråk. I framtiden kan vi i framtiden återanvända backend för domänspecifika språk, t.ex. specifikt för att skriva finansiella kontrakt, med samma riktighetsgarantier.

DeepSEA-kompilatorn översätter också kontraktet till ett bibliotek som kan laddas in i en korrekturassistent för att verifiera avancerade riktighetsegenskaper. Det faktum att vi använder en komplett interaktiv bevisassistent innebär att det är möjligt att definiera godtyckligt komplexa satser och modeller utan några begränsningar som själva verktyget ålägger. När du till exempel verifierar en ekonomisk applikation är det möjligt att skriva ner spelteoretiska definitioner (på det vanliga sättet som de skulle visas i en mattebok) och bevisa att det avsedda protokollet verkligen är en dominerande strategi.

Ett annat exempel där styrkan för bevisassistenter är särskilt användbar är tvärkedjiga applikationer, som inkluderar flera kontrakt som lever i separata kedjor och kommunicerar asynkront. Detta är ett annat bra sätt som DeepSEA ger OKExChain-ekosystemet. I den här inställningen kan DeepSEA-verktyget automatiskt producera en verifierad modell av varje enskilt kontrakt, och programmeraren kan sedan använda korrekturassistenten för att definiera hur kontrakten kan kommunicera med varandra, vilka antaganden som görs om latens etc. Det faktum att DeepSEA kan kompileras för att köras på flera kedjor (till exempel CertiK Chain, OKExChain, Ethereum) kommer också att låta oss skriva en uppsättning standardbrokontrakt och certifiera dem alla i en enda DeepSEA-utveckling, vilket ger en solid grund för kommunikation mellan kedjor.

Forskningsartikeln DeepSEA publiceras på symposiet OOPSLA’19 (Läs mer). De

Djupt hav Språk Whitepaper v0.9 och Förhandsversion av DeepSEA Compiler är också

tillgänglig för allmänheten. För mer information och exempel, se en mer

omfattande introduktion här.

3. Utforskaren för OKExChain

CertiK Chain Explorer är en webbgränssnitt för CertiK Chain som är starkt beroende av kedjananvändare för att spåra sina transaktioner samt utforska hela blockchain-plattformsinformationen. I traditionella blockkedjor som BTC, ETH, BCH arbetar blockutforskarna bara för sin egen utsedda kedja. Till exempel kan en användare aldrig använda en ETH blockchain explorer för BTC-information.

Med en gemensam vision om att skapa ett gränslöst blockchain-ekosystem för mer öppenhet och effektiv cirkulation av tillgångar, data och värde, utformar OKExChain-teamet och CertiK-teamet en hög integrationsnivå för deras kedjefrontänd och senare dapparna byggda ovanpå. CertiK-teamet utvecklar för närvarande ömsesidigt stöd för OKExChain genom CertiK Explorer, vilket driver OKExChain med pålitliga kors- och datavalideringsfunktioner som en säkerhetsförbättrad datakälla. OKExChain, med flera exploreralternativ utrustade, kommer att möjliggöra framtida kedjeanvändare mer flexibel tillgång och tillgänglighet för kedjeaktiviteter.

4. DeepWallet för OKExChain

DeepWallet, en decentraliserad webbaserad plånbok som är enkel att använda, tillåter flera tillgångar som ansluter till välkända kosmosbaserade blockchain.

DeepWallet syftar till att stödja följande funktioner för användaren:

  • enkel hantering av flera tillgångar bland kosmosbaserade protokoll för partnerskap
  • historisk transaktionsspårare
  • skicka och ta emot tillgångar lättare
  • satsning på plånboken, vilket gör det möjligt för användare att tjäna belöningar på POS-tokens som stöds
  • hållfasthet & DeepSEA webbläsarbaserad kompilator, distribution av smarta kontrakt och kontraktsinteraktion

5. NoOps för OKExChain

NoOps är en infrastruktur-som-en-tjänst-plattform konstruerad av CertiK som tjänar och driver blockchain-noder med företagsklassad infrastruktur. Blockchain-deltagare som använder NoOps kan spara höga omkostnader och därmed fokusera mer på affärsmöjligheter. NoOps ombord en lista över allmänt kända blockchain-protokolls infrastrukturinstallation och konfiguration för att främja motsvarande ekosystem.

NoOps-plattformen kommer att lägga till integrationen med OKExChain så att användare kan:

  1. vara värd för sin egen valideringsnod om de deltar i OKExChain-satsningen;
  2. Fråga OKExChains data för att få insikt via delade noder som CertiK har värd för.
  3. NoOps förstår vikten av DEX onchain-data för OKExChain, och med den djupa kunskapen och kunskapen om blockchain och smarta kontrakts övervakningssystem, tror teamet att NoOps-plattformen kommer att ge hög tillgänglig, säker och stabil åtkomst till OKExChain-data.

Funktionens höjdpunkter:

  • Infrastruktur för att passa användarens behov

Skalbara infrastrukturstaplar är byggda efter dina behov utan att offra branschstandarder. Stackar distribueras och hostas av ledande molnleverantörer och lokala datacenter för att bäst betjäna användarna och användarnas kunder, oavsett var de är.

  • Säkerhet för att hålla dåliga skådespelare ute

Komponenter är arkitekterade med enklaver och isoleringar, fysiskt och logiskt, för att förhindra potentiella kompromissande attacker. NoOps fungerar som vakter för användarnas infrastruktur för att säkerställa att deras tillgångar är helt säkra eftersom de fungerar som sin egen vårdnadshavare.

  • Övervakning för att tillhandahålla prestandadata

Varje nodkluster levereras med en fristående bildskärmsinstans för att samla mätvärden och logga händelser med upp till 1 sekunders granularitet. Realtidsanalyser och rapporter levereras på konsensus- och maskinnivåer för att ge operativ synlighet och insikter.

  • Marknadsplats för att komplettera dina noder

NoOps virtuella marknadsplats listar brett varierande ledande blockchain-protokoll som användare kan välja mellan med kontinuerliga uppdateringar och stöd för nyligen släppta protokoll. Tillägg och testnettkonfigurationer är också tillgängliga för att säkerställa enkel förlängning.

Tekniska höjdpunkter:

  • Ohackbart operativsystem

NoOps stöder stolt CertiKOS, världens första fullständigt verifierade, flerkärniga operativsystem som skyddar mot cyberattacker, för att möta strängare säkerhetsåtgärder. Ett förstärkt operativsystem för noder innebär färre sårbarheter och mer resurser avsedda för operationer.

  • Skikt i lager

Från design till implementering utvärderas nätverksisoleringar och segmenteringar noggrant och väljs med en säkerhetstänkande. System som brandväggar, DDoS-skydd och trafikkontroll finns redan för att förhindra hackare från att komma åt i första hand.

  • Automatiserade procedurer

För att begränsa behovet av mänsklig intervention har vi helt automatiserade distributioner och operationer för att upprätthålla användarnas känsliga verksamhet. Åtkomst är uttryckligen vitlistad och händelser loggas och registreras för intelligent hotdetektering och ytterligare granskningar.

  • Expert Team

Vår plattform drivs av CertiK och har en grupp erfarna ingenjörer med olika specialiseringar. NoOps har genomgått en strikt QA-process, vilket säkerställer att den uppfyller höga säkerhets- och kvalitetsstandarder innan den görs tillgänglig för användarna.

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