सर्टिक | रोंघुई गु | ब्लॉकचैनब्रैड | औपचारिक सत्यापन | सर्टिकोस | ब्लॉकचेन सुरक्षा सेवाएं

ब्लॉकचैनब्रैड सर्टिक के बारे में रोंघुई गु के साथ बात करता है। Certik सबसे उन्नत ब्लॉकचेन साइबर सुरक्षा कंपनी का निर्माण कर रहा है और स्मार्ट अनुबंधों की अखंडता और विश्वास को गणितीय रूप से साबित करने के लिए CertikOS कर्नेल सहित प्रमुख औपचारिक सत्यापन तकनीक का उपयोग कर रहा है। CertiK एंड-टू-एंड सुरक्षा सेवाएं प्रदान करने के लिए अपनी श्रेणी में सर्वश्रेष्ठ साइबर सुरक्षा विशेषज्ञों के साथ अग्रणी FV तकनीक को जोड़ती है।
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
टाइमस्टैम्प:
0:31 परिचय प्रो. गु
0:40 चलिए इसमें आते हैं! औपचारिक सत्यापन और प्रमाणपत्र
3:15 डिबगिंग स्मार्ट अनुबंध चर्चा
4:20 ब्लॉकचेन-केंद्रित। मूलभूत आवश्यकता क्या है?
5:15 अपरिवर्तनीयता: पूर्व-तैनाती औपचारिक सत्यापन
6:30 प्रतियोगियों से Certik
8:30 क्या Certik को अलग करता है?
9:30 डीप स्पेक कम्युनिटी और सर्टिफाइड एब्स्ट्रैक्शन लेयर
10:29 सर्टिफिकेट। कर्नेल, ऑपरेटिंग सिस्टम, OS कर्नेल।
13:00 CertikOS- मुख्यधारा में ले जाएँ
13:39 Certik तैनात किया गया है
14:12 कंपनी और इकाई सेवाएं
15:00 केंद्रीकरण की अनिवार्यता
15:50 औपचारिक सत्यापन की उच्च मांग
17:50 बिजनेस मॉडल। वर्तमान में केंद्रीकृत
19:52 मूल्य निर्धारण। फिएट या क्रिप्टो
21:18 फिएट या बीटीसी।
22:30 टोकन रिलीज
22:50 टेस्टनेट का पहला संस्करण
23:47 टोकन, IEO और लिस्टिंग चर्चा
25:40 रणनीतिक साझेदार और लिस्टिंग योजनाओं पर अधिक
26:52 Certik तकनीक और उत्पादों पर केंद्रित है
30:21 क्यों Certik एक ब्लॉकचेन बना रहा है।
32:30 स्वचालन और स्वचालित प्रमाणों का मूल्य
33:40 पारदर्शिता, बढ़ती है। आपने क्या उठाया? सार्वजनिक 2 राउंड।
37:26 Binance: IEO और Binance संबंध और अफवाह का स्पष्टीकरण
39:48 रोडमैप- अंतिम रूप नहीं दिया गया
40:40 नेटिव टोकन के लिए मेननेट की आवश्यकता है?
42:00 मेननेट शेड्यूल 2020?
42:44 प्री-मेननेट टोकन प्रोत्साहन
43:52 स्टेकिंग + dPoS + PoS
44:44 अनुपालन + विनियम
46:25 पीआर + मीडिया
47:39 इस साल मेननेट?
48:14 टोकन उद्देश्य। यह टोकन किस लिए है? क्या इसकी आवश्यकता है?
50:58 स्मार्ट अनुबंधों के लिए प्रमाण और बहुत कुछ
52:32 राजस्व
55:20 रिवॉर्ड के लिए गैस। गैस टोकन बर्न मॉडल और कमी
57:55 केस का प्रयोग करें। वाणिज्यिक स्तर L5
59:52 सिस्टम अज्ञेयवादी। स्मार्ट अनुबंधों तक सीमित नहीं
1:00:00 Github ओपन सोर्स टेस्टनेट चरण के मध्य में होगा
1:02:00 Certik सामुदायिक भवन
1:03 भविष्य की योजनाएँ
1:05 समापन वक्तव्य
1:06 प्रो. गु फाइनल स्टेटमेंट्स
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
►बीसीबी टेली https://t.me/BlockchanBradCmunity से जुड़ें
► ट्विटर पर फ़ॉलो करें: https://twitter.com/Brad_Laurie
ब्लॉकवेरा से ट्विटर पर जुड़ें: @BlockVera
► यूट्यूब पर ब्लॉकवेरा देखें: https://www.youtube.com/watch?v=Af4pD…
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
सह-संस्थापक | रोंघुई गु
कंप्यूटर विज्ञान के सहायक प्रोफेसर, कोलंबिया विश्वविद्यालय। पीएच.डी. येल विश्वविद्यालय से कंप्यूटर विज्ञान में और 2016 में येल विश्वविद्यालय में सिंघुआ विश्वविद्यालय विशिष्ट शोध प्रबंध पुरस्कार से स्नातक की डिग्री और एसीएम निबंध के लिए नामांकित किया गया था। सिस्टम सॉफ़्टवेयर के औपचारिक सत्यापन में विशेषज्ञ और CertiKOS के प्राथमिक विकासकर्ता।
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
लिंक:
वेबसाइट: https://certik.org/#services
ट्विटर: https://twitter.com/certikorg
टेली:https://t.me/certikorg
माध्यम: https://medium.com/certik
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
निवेश प्रकटीकरण:
मैंने Certik में निवेश किया है। यह वित्तीय सलाह नहीं है, लेकिन मैं वास्तव में इस परियोजना में विश्वास करता हूं। #DYOR हमेशा।
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
भुगतान/दान प्रकटीकरण:
यह 100% मुफ़्त था और मैंने इस वीडियो को बिना किसी मुआवजे के किया और इस वीडियो को करने के लिए Certik टीम से कुछ भी प्राप्त करने का कोई इरादा नहीं था; फिएट, टोकन या भुगतान पर किसी भी रूप में नहीं। कई महीने पहले से, मैंने केवल मुफ्त सामग्री करने का फैसला किया, जब तक कि वैध LONGTERM राजदूत शामिल न हों। मेरा मानना ​​​​है कि प्रायोजित सामग्री कोई समस्या नहीं है यदि खुलासा किया गया है, लेकिन यह प्रायोजित नहीं था और मुझे प्राप्त होने वाले इस साक्षात्कार के लिए किसी भी तरह, आकार या रूप में कोई मुआवजा नहीं मिला था। यह वित्तीय सलाह नहीं है। कृपया #DYOR
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
सामान्य अस्वीकरण:
प्रदान की गई जानकारी को कुछ संपत्तियों या मुद्राओं में खरीदने या निवेश करने की सिफारिश के रूप में नहीं माना जाना चाहिए और व्यापारियों को अपने निर्णय लेने में मदद करने के लिए केवल एक शैक्षिक और सूचना संसाधन के रूप में प्रदान किया जाता है। पिछला प्रदर्शन भविष्य की सफलता की कोई गारंटी नहीं है।

यह ध्यान रखना महत्वपूर्ण है कि कोई भी प्रणाली या कार्यप्रणाली कभी विकसित नहीं हुई है जो मुनाफे की गारंटी दे सकती है या नुकसान से मुक्ति सुनिश्चित कर सकती है। कोई प्रतिनिधित्व या निहितार्थ नहीं बनाया जा रहा है कि संलग्न सामग्री का उपयोग लाभ की गारंटी देगा या नुकसान से मुक्ति सुनिश्चित करेगा।

ब्लॉकचैनब्रैड इस वेबसाइट या सीधे वेबसाइट के मालिक से प्राप्त जानकारी के संबंध में या उसके संबंध में किसी भी प्रकार के नुकसान, दावों, खर्च या किसी भी प्रकार के नुकसान (चाहे प्रत्यक्ष या अप्रत्यक्ष) के लिए प्रतिभागी के लिए उत्तरदायी नहीं होगा।

#Certik #BlockchainBrad #Crypto #औपचारिक सत्यापन #BCB #SmartSecurity

स्रोत