OKExChain और CertiK श्रृंखला भागीदारी प्रस्ताव

CertiK के बारे में

सर्टिफिकेट येल विश्वविद्यालय और कोलंबिया विश्वविद्यालय से कंप्यूटर विज्ञान के प्रोफेसरों द्वारा स्थापित एक अग्रणी ब्लॉकचैन साइबरसिटी कंपनी है। स्मार्ट कॉन्ट्रैक्ट और ब्लॉकचैन प्रोटोकॉल पर मालिकाना औपचारिक सत्यापन तकनीक की कठोरता लागू करने से, सर्टिफिकेट संपत्ति में $ 6B से अधिक सुरक्षित है और 150 से अधिक एंटरप्राइज़ क्लाइंट की सेवा कर रहा है, जिसमें दुनिया की कई शीर्ष ब्लॉकचेन कंपनियों जैसे Binance, OKEx, Coinone शामिल हैं। PAXOS, रिजर्व, यूनिवर्सल प्रोटोकॉल, InfStones, आदि पारंपरिक परीक्षण दृष्टिकोण से अलग है, CertiK गणितीय रूप से ब्लॉकचैन प्रोटोकॉल, सुपरनोड्स साबित करने का प्रयास करता है, और स्मार्ट अनुबंध हैकर-प्रतिरोधी और बग-मुक्त होते हैं.

सिनर्जी और क्रॉस-चेन के बीच OKExChain और CertiK चेन

CertiK चेन और OKExChain कई डिजाइन अवधारणाओं और विकास योजनाओं को साझा करते हैं

जो भविष्य के तालमेल को रोशन कर सके। CertiK चेन OKExChain में मूल्य जोड़ देगा

इन अद्वितीय दृष्टिकोणों में गठबंधन:

1. CVM के माध्यम से OKExChain को पॉवर करना

OKExChain के समान, CertiK चैन टेम्परमिंट-बीएफटी सर्वसम्मति पर आधारित है, जिसका लक्ष्य मालिकाना CertiK वर्चुअल मशीन (CVM) और एक सीमलेस क्रॉस-चेन इकोसिस्टम का निर्माण करना है। गहरा समुद्र प्रोग्रामिंग भाषा.

CertiK VM (CVM), स्मार्ट कॉन्ट्रैक्ट प्लेटफ़ॉर्म है, जो CertiK चेन के लिए विकसित किया गया है। संस्करण 1.0 के लिए, इसका उद्देश्य सुरक्षा-संबंधित एक्सटेंशन जोड़ते समय पूर्ण ईवीएम-अनुकूलता प्रदान करना है। भविष्य के संस्करण WASM और सामान्य देशी कोड समर्थन प्रदान करेंगे। CVM को कॉस्मॉस कीपर के रूप में भेजा जाता है, जिसे OKExChain द्वारा आसानी से उपयोग किया जा सकता है.

यद्यपि सीवीएम सॉलिडिटी जैसी विरासत भाषाओं का समर्थन करता है, लेकिन ऐसी भाषाएँ औपचारिक सत्यापन के लिए इष्टतम समर्थन प्रदान नहीं करती हैं। इस कारण से, हम सीवीएम के माध्यम से सर्टिफिकेट डीपएसईए भाषा को ओकेएक्सचिन पर भी लक्षित करेंगे.

2. दीपएसईए के माध्यम से ओकेएक्सचिन को पावर करना

वितरित वित्तीय अनुप्रयोग विशेष रूप से सुरक्षा की मांग कर रहे हैं, क्योंकि बड़े मौद्रिक मूल्य दांव पर हैं, और कई अलग-अलग दलों द्वारा लिखित अनुबंधों के बीच सूक्ष्म बातचीत में बग उत्पन्न हो सकते हैं। वर्तमान में, अधिकांश मौजूदा औपचारिक सत्यापन समाधान साबित करने के उद्देश्य से हैं गुण अलगाव में एकल अनुबंध। (जैसे कि पूर्व और बाद के अनुबंधों के साथ अनुबंध के प्रत्येक तरीके की घोषणा करके) इस तरह की सत्यापन प्रक्रिया वास्तविक समय अनुमति नियंत्रण और / या पारंपरिक सॉफ्टवेयर विकास वातावरण की तरह प्रतिक्रिया का पता लगाए बिना एक ऑफ-चेन प्रक्रिया है। इसके अलावा, सत्यापन उपकरण में अक्सर विश्वसनीय कोड शामिल होते हैं जो बग हो सकते हैं। यह OKExChain के लिए एक आशाजनक सुरक्षा स्तर नहीं है जिसका उद्देश्य डेटा, परिसंपत्तियों और मूल्य के सुचारू परिसंचरण के साथ एक सीमाहीन सार्वजनिक श्रृंखला पारिस्थितिकी तंत्र का निर्माण करना है.

डीपएसईए प्रोग्रामिंग भाषा का उपयोग करना है Coq इंटरैक्टिव प्रूफ सहायक किसी भी अंतराल के बिना अनुबंध शुद्धता को सत्यापित करने के लिए। डीपएसईए प्रणाली में एक नई प्रोग्रामिंग भाषा, एक सत्यापित कंपाइलर, और एक कॉन्ट्रैक्ट कोड को औपचारिक मॉडल में अनुवाद करने के लिए एक तंत्र होता है जिसे कोक प्रूफ सहायक में लोड किया जा सकता है.

प्रोग्रामिंग भाषा का हिस्सा एक छोटी सी अनिवार्य भाषा है जो अनुबंध लिखने के लिए उपयुक्त है। यह मूल रूप से सत्यापित प्रणालियों पर शोध से प्रेरित था, और इसमें सर्टिफ़िकेट ऑपरेटिंग सिस्टम विकसित करने से सीखे गए कुछ सबक शामिल हैं:


  • सबसे पहले, यह उन वस्तुओं के आस-पास संरचित होता है जो बाहरी तरीकों के इंटरफ़ेस के बीच राज्य को एन्क्रिप्ट करते हैं, ठीक उसी तरह जैसे स्मार्ट कॉन्ट्रैक्ट करते हैं.
  • दूसरा, भाषा को शुद्ध कार्यों में अनुवाद करने के लिए संभव बनाया गया है जो प्रमाण सहायकों के बारे में तर्क करना आसान है.
  • अंत में, यह जटिल सिस्टम को कई परतों में विभाजित करने के लिए पेटेंट सर्टिफाइड एब्स्ट्रक्शन लेयर्स कार्यप्रणाली का उपयोग करता है जिसे स्वतंत्र रूप से सही साबित किया जा सकता है।.

CertiK एक सत्यापित संकलक विकसित कर रहा है जो डीपएसईए भाषा को बाईटेकोड में अनुवाद करता है। तथ्य यह है कि संकलक खुद कोक में सत्यापित किया गया है यह सुनिश्चित करता है कि इसमें कोई बग नहीं है जो अनुबंध के सुरक्षा गुणों का उल्लंघन कर सकता है। दूसरे शब्दों में, कोई भी स्रोत कोड स्तर पर कार्यक्रम की सुरक्षा को साबित कर सकता है, और समान रूप से सख्त गारंटी प्राप्त कर सकता है जैसे कि एक सीधे बायोटेक भाषा के औपचारिक विनिर्देश का उपयोग करके तर्क कर रहा था, लेकिन प्रमाण के बाद से बहुत अधिक सुविधा के साथ बंद नहीं किया गया है डेटा प्रतिनिधित्व या नियंत्रण प्रवाह के मुद्दे। तथ्य यह है कि संकलक सत्यापित है इसका मतलब यह भी है कि सभी संकलित कार्यक्रम निश्चित रूप से कुछ रनटाइम सुरक्षा गुणों को संतुष्ट करते हैं: वे टाइप सुरक्षित हैं, पूर्णांक ओवरफ्लो नहीं हैं, आदि।.

डीपएसईए प्रणाली मॉड्यूलर है, ताकि डीपएसईए भाषा को कई अलग-अलग लक्ष्य आर्किटेक्चर के लिए संकलित किया जा सकता है, और सत्यापित कंपाइलर बैकेंड को कई अलग-अलग इनपुट भाषाओं के लिए फिर से उपयोग किया जा सकता है। विशेष रूप से, भविष्य में हम डोमेन-विशिष्ट भाषाओं के बैकएंड का फिर से उपयोग कर सकते हैं, उदा। एक ही शुद्धता की गारंटी के साथ वित्तीय अनुबंध लिखने के लिए विशिष्ट.

डीपएसईए कंपाइलर अनुबंध को एक पुस्तकालय में भी अनुवाद करता है जिसे उन्नत शुद्धता गुणों को सत्यापित करने के लिए एक प्रमाण सहायक में लोड किया जा सकता है। तथ्य यह है कि हम एक पूर्ण विशेषताओं वाले इंटरेक्टिव प्रूफ सहायक का उपयोग करते हैं इसका मतलब है कि उपकरण द्वारा लगाए गए किसी भी सीमा के बिना मनमाने ढंग से जटिल प्रमेय बयान और मॉडल को परिभाषित करना संभव है। उदाहरण के लिए, एक वित्तीय अनुप्रयोग की पुष्टि करते समय, गेम थ्योरिटिक परिभाषाएँ लिखना संभव है (मानक तरीके से वे एक गणित की पाठ्यपुस्तक में दिखाई देंगे) और यह साबित करते हैं कि इच्छित प्रोटोकॉल वास्तव में एक प्रमुख रणनीति है।.

एक और उदाहरण जहां प्रमाण सहायकों की शक्ति विशेष रूप से सहायक है क्रॉस-चेन अनुप्रयोगों, जिसमें अलग-अलग श्रृंखलाओं पर रहने वाले और अतुल्यकालिक रूप से संचार करने वाले कई अनुबंध शामिल हैं। यह एक और शानदार तरीका है कि डीपएसईए OKExChain पारिस्थितिकी तंत्र को सशक्त बनाता है। इस सेटिंग में, डीपएसईए टूल स्वचालित रूप से प्रत्येक व्यक्तिगत अनुबंध के एक सत्यापित मॉडल का उत्पादन कर सकता है, और प्रोग्रामर तब यह निर्धारित करने के लिए प्रमाण सहायक का उपयोग कर सकता है कि अनुबंध एक-दूसरे के साथ कैसे संवाद कर सकते हैं, विलंबता के बारे में क्या धारणा बनाई गई है, आदि तथ्य यह है कि DeepSEA को कई जंजीरों पर चलने के लिए संकलित किया जा सकता है (उदाहरण के लिए, CertiK Chain, OKExChain, Ethereum) हमें मानक ब्रिज कॉन्ट्रैक्ट्स का एक सेट लिखने देंगे और उन सभी को एक सिंगल DeepSEA डेवलपमेंट में प्रमाणित करेंगे, जो आपस में संवाद स्थापित करने के लिए एक ठोस आधार प्रदान करेंगे। चेन.

DeepSEA शोध लेख OOPSLA’19 संगोष्ठी में प्रकाशित हुआ है (और अधिक जानें) का है।

गहरा समुद्र भाषा श्वेतपत्र v0.9 तथा डीपएसईए कंपाइलर पूर्वावलोकन संस्करण भी हैं

जनता के लिए उपलब्ध है। अधिक विवरण और उदाहरणों के लिए, कृपया और अधिक देखें

व्यापक परिचय यहां.

3. OKExChain के लिए एक्सप्लोरर

CertiK चैन एक्सप्लोरर एक सर्टिफिकेट है, जो सर्टिफिक चैन उपयोगकर्ताओं द्वारा उनके लेन-देन को ट्रैक करने के साथ-साथ पूरी तरह से ब्लॉकचेन प्लेटफॉर्म की जानकारी का पता लगाने के लिए सर्टिफिकेट पर आधारित है। BTC, ETH, BCH जैसे पारंपरिक ब्लॉकचेन में, ब्लॉक खोजकर्ता केवल अपनी स्वयं की निर्दिष्ट श्रृंखला के लिए काम करते हैं। उदाहरण के लिए, एक उपयोगकर्ता कभी भी BTC जानकारी के लिए ETH ब्लॉकचेन एक्सप्लोरर का उपयोग नहीं कर सकता है.

संपत्ति, डेटा और मूल्य के अधिक पारदर्शिता और कुशल संचलन के लिए एक सीमाहीन ब्लॉकचैन पारिस्थितिकी तंत्र बनाने की साझा दृष्टि के साथ, OKExChain टीम और CertiK टीम अपने चेन फ्रंट एंड के एकीकरण और बाद में शीर्ष पर बनाए गए dapps के उच्च स्तर को डिजाइन कर रहे हैं। CertiK टीम वर्तमान में CertiK एक्सप्लोरर के माध्यम से OKExChain के लिए आपसी समर्थन विकसित कर रही है, भरोसेमंद क्रॉस-चेकिंग के साथ OKExChain को शक्ति प्रदान करती है और सुरक्षा-वृद्धि वाले डेटा स्रोत के रूप में डेटा सत्यापन सुविधाओं को जोड़ती है। OKExChain, कई एक्सप्लोरर विकल्पों से सुसज्जित है, जो भविष्य के चेन उपयोगकर्ताओं को ऑन-चेन गतिविधियों के लिए अधिक लचीली पहुंच और उपलब्धता की अनुमति देगा.

4. OKExChain के लिए डीप वॉलेट

DeepWallet, एक विकेन्द्रीकृत वेब-आधारित वॉलेट का उपयोग करना आसान है, बहु-परिसंपत्तियों को अनुमति देता है जो कि प्रसिद्ध ब्रह्मांड आधारित ब्लॉकचैन से जुड़ते हैं.

DeepWallet का उद्देश्य उपयोगकर्ता को निम्नलिखित सुविधाओं का समर्थन करना है:

  • साझेदारी ब्रह्मांड आधारित प्रोटोकॉल के बीच आसान बहु-संपत्ति प्रबंधन
  • ऐतिहासिक लेन-देन ट्रैकर
  • भेजें और प्राप्त संपत्ति आसान है
  • वॉलेट स्टेकिंग, उपयोगकर्ताओं को हिस्सेदारी (पीओएस) टोकन के समर्थित प्रमाण पर पुरस्कार अर्जित करने की अनुमति देता है
  • दृढ़ता & DeepSEA ब्राउज़र-आधारित संकलक, स्मार्ट अनुबंध परिनियोजन और अनुबंध सहभागिता

5. OKExChain के लिए NoOps

NoOps एक Infrastructure-as-a-Service प्लेटफ़ॉर्म है जो CertiK द्वारा इंजीनियर है जो एंटरप्राइज़-ग्रेड इन्फ्रास्ट्रक्चर के साथ ब्लॉकचेन नोड्स की सेवा और संचालन करता है। NoOps का उपयोग करने वाले ब्लॉकचेन प्रतिभागी उच्च ओवरहेड लागत पर बचत कर सकते हैं और इस प्रकार व्यावसायिक संभावनाओं पर अधिक ध्यान केंद्रित कर सकते हैं। NoOps व्यापक रूप से ज्ञात ब्लॉकचैन प्रोटोकॉल के बुनियादी ढांचे की स्थापना और विन्यास की सूची पर चल रहा है, इस प्रकार संबंधित खांचे को बढ़ावा देने के लिए.

NoOps प्लेटफ़ॉर्म OKExChain के साथ एकीकरण को जोड़ देगा, इस प्रकार उपयोगकर्ता कर सकते हैं:

  1. अपने स्वयं के सत्यापनकर्ता नोड को होस्ट करें यदि वे OKExChain में भाग लेते हैं;
  2. CertiK द्वारा होस्ट किए गए साझा नोड्स के माध्यम से जानकारी प्राप्त करने के लिए क्वेरी OKExChain का डेटा.
  3. NoOps OKExChain के लिए DEX onchain डेटा के महत्व को समझता है, और ब्लॉकचेन और स्मार्ट कॉन्ट्रैक्ट्स मॉनिटरिंग सिस्टम पर गहन ज्ञान और विशेषज्ञता के साथ, टीम का मानना ​​है कि NoOps प्लेटफॉर्म OKExChain डेटा को उच्च-उपलब्ध, सुरक्षित और स्थिर पहुंच प्रदान करेगा।.

फ़ीचर डाला:

  • उपयोगकर्ता की जरूरतों को पूरा करने के लिए बुनियादी ढाँचा

उद्योग के मानकों का त्याग किए बिना स्केलेबल इंफ्रास्ट्रक्चर स्टैक आपकी आवश्यकताओं के लिए बनाया गया है। उपयोगकर्ताओं और उपयोगकर्ताओं के ग्राहकों की सेवा करने के लिए प्रमुख क्लाउड प्रदाताओं और स्थानीय डेटा केंद्रों के माध्यम से स्टैक तैनात और होस्ट किए जाते हैं, चाहे वे कहीं भी हों.

  • खराब अभिनेताओं को बाहर रखने के लिए सुरक्षा

अवयवों को संभावित समझौता हमलों को रोकने के लिए, भौतिक और तार्किक रूप से, एन्क्लेव और अलगाव के साथ आर्किटेक्चर किया जाता है। NoOps उपयोगकर्ताओं के बुनियादी ढांचे के लिए गार्ड के रूप में सेवा करते हैं ताकि यह सुनिश्चित हो सके कि उनकी संपत्ति बिल्कुल सुरक्षित है क्योंकि वे अपने स्वयं के संरक्षक के रूप में कार्य करते हैं.

  • प्रदर्शन डेटा प्रदान करने के लिए निगरानी

प्रत्येक नोड क्लस्टर 1 सेकंड की ग्रैन्युलैरिटी के साथ मैट्रिक्स और लॉग इवेंट को इकट्ठा करने के लिए एक स्टैंडअलोन मॉनिटर उदाहरण के साथ आता है। परिचालन-दृष्टि और अंतर्दृष्टि प्रदान करने के लिए वास्तविक समय के विश्लेषण और रिपोर्टों को आम सहमति और मशीन स्तरों पर वितरित किया जाता है.

  • अपने नोड्स के पूरक के लिए बाज़ार

NoOps वर्चुअल मार्केटप्लेस उपयोगकर्ताओं को नए-जारी किए गए प्रोटोकॉल के लिए निरंतर अपडेट और समर्थन के साथ चुनने के लिए व्यापक रूप से प्रमुख ब्लॉकचैन प्रोटोकॉल की सूची देता है। अनायास एक्स्टेंसिबिलिटी सुनिश्चित करने के लिए ऐड-ऑन और टेस्टनेट कॉन्फ़िगरेशन भी उपलब्ध हैं.

तकनीकी प्रकाश डाला गया:

  • बेकार ओएस

NoOps गर्व से सख्त सुरक्षा उपायों को पूरा करने के लिए दुनिया के पहले पूरी तरह से सत्यापित, मल्टी-कोर ऑपरेटिंग सिस्टम, जो साइबर हमलों के खिलाफ ढाल देता है, CertiKOS का समर्थन करता है। नोड्स के लिए एक गढ़वाले ओएस का अर्थ है कम भेद्यता और संचालन के लिए समर्पित अधिक संसाधन.

  • स्तरित संरक्षण

डिजाइन से लेकर कार्यान्वयन तक, नेटवर्क अलगाव और विभाजन का सावधानीपूर्वक मूल्यांकन किया जाता है और सुरक्षा-प्रथम मानसिकता के साथ चुना जाता है। हैकर्स को पहले स्थान पर पहुंच प्राप्त करने से रोकने के लिए फायरवॉल, डीडीओएस प्रोटेक्शन और ट्रैफिक कंट्रोल जैसे सिस्टम पहले से मौजूद हैं।.

  • स्वचालित प्रक्रिया

मानव हस्तक्षेप की आवश्यकता को सीमित करने के लिए, हम उपयोगकर्ताओं के संवेदनशील संचालन को बनाए रखने के लिए पूरी तरह से स्वचालित तैनाती और संचालन करते हैं। पहुंच स्पष्ट रूप से श्वेतसूची में है, और घटनाओं को लॉग किया जाता है और बुद्धिमान खतरे का पता लगाने और आगे के ऑडिट के लिए रिकॉर्ड किया जाता है.

  • विशेषज्ञ टीम

हमारा मंच सर्टिफिकेट द्वारा संचालित है और विभिन्न विशेषज्ञता वाले अनुभवी इंजीनियरों की एक टीम की विशेषता है। NoOps को कड़े QA प्रक्रिया के माध्यम से रखा गया है, यह सुनिश्चित करने के लिए कि यह उपयोगकर्ताओं को उपलब्ध कराने से पहले उच्च सुरक्षा और गुणवत्ता मानकों को पूरा करता है.

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