कंसेंसीस परिश्रम द्वारा स्क्रिबल का परिचय

ब्लॉग 1NewsDevelopersEnterpriseBlockchain समझाया और सम्मेलनसमाचार

हमारे न्यूज़लेटर की सदस्यता लें.

ईमेल पता

हम आपकी निजता का सम्मान करते हैं

HomeBlogNews

कंसेंसीस परिश्रम द्वारा स्क्रिबल का परिचय

8 दिसंबर, 2020 को कंसेंडीसाइड 8, 2020 द्वारा पोस्ट किया गया

घसीटना


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

इसीलिए हमने स्क्रिबल विकसित किया है: एक सत्यापन भाषा और रनटाइम सत्यापन उपकरण। प्रारंभ में ऑडिट के दौरान स्वचालित संपत्ति परीक्षण के लिए बनाए जाने के बाद, हमने इस परियोजना को समुदाय के साथ साझा करने का निर्णय लिया है!

स्क्रिबल क्या है?

जब हम स्क्रिबल के बारे में बात कर रहे हैं, हम दो चीजों के बारे में बात कर रहे हैं.

सबसे पहले, स्क्रिबल गुण लिखने के लिए एक विनिर्देशन भाषा है.

दूसरा, स्क्रिबल स्क्रिबल विनिर्देश भाषा का उपयोग करके एक रनटाइम सत्यापन उपकरण है.

नोट: स्क्रिबल स्वयं द्वारा कोई सत्यापन नहीं करता है। यह कर देता है गुणों को परखने और जांचने के लिए अन्य उपकरण सक्षम करें.

स्क्रिबल एक भाषा है

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

नोट: एक संपत्ति एक तार्किक कथन है जिसे आप सच होने की उम्मीद करते हैं, उदा। “सभी कारें लाल हैं”। ठोसता में, आपके पास अक्सर गुण होते हैं जैसे: “केवल स्वामी ही एक्स में बदलाव कर सकता है”। या “फ़ंक्शन SendToken (), को इस अनुबंध के ईथर संतुलन को नहीं बदलना चाहिए”.

आप विभिन्न प्रकार के गुणों के लिए कई एनोटेशन प्रकारों का उपयोग कर सकते हैं। उदाहरण के लिए, आक्रमणकारी या बाद की स्थिति.

यह एक स्क्रिबल एनोटेशन का एक उदाहरण है:

स्क्रीन शॉट 2020 12 08 बजे 12 06 15 बजे

जैसा कि आप देख सकते हैं, एनोटेशन एक फ़ंक्शन परिभाषा के ऊपर रखी गई इनलाइन टिप्पणी का रूप लेते हैं। हमने एक तथाकथित if_succeeds क्लॉज़ जोड़ा है, जो जाँचता है कि फ़ंक्शन निष्पादित होने के बाद कोई शर्त रखता है या नहीं। इस मामले में, हम जांचते हैं कि फ़ंक्शन का परिणाम हमेशा गैर-शून्य है.

स्क्रिबल प्रलेखन पढ़ें

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

स्क्रिबल एक उपकरण है

स्क्रिबल गुण के साथ एनोटेट अनुबंध ले सकता है, और इसे एक नए अनुबंध में संकलित कर सकता है। इस नए अनुबंध में, स्क्रिबल ने सॉलिडिटी कोड जोड़ा होगा जो किसी संपत्ति का उल्लंघन होने पर जोर देता है। इस प्रक्रिया को हम इंस्ट्रूमेंटेशन कहते हैं.

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

क्योंकि आप मौजूदा स्वचालित परीक्षण तकनीकों का उपयोग कर सकते हैं (जैसे कि हमारे फ़ज़र के रूप में हार्वे), आप केवल एक संपत्ति लिखने के बाद परीक्षण शुरू कर पाएंगे. हम मानते हैं कि यह एक महत्वपूर्ण लाभ है; एनोटेशन का एक महत्वपूर्ण द्रव्यमान प्राप्त करने के लिए बहुत समय बिताने के बजाय, आपको तुरंत ही स्वचालित परीक्षण से लाभ होता है। कुछ जो आमतौर पर पारंपरिक सत्यापन दृष्टिकोण के साथ आवश्यक है.

आप एक अनुबंध का परीक्षण और विश्लेषण जल्दी से शुरू कर सकते हैं, और एक स्मार्ट अनुबंध को पूरी तरह से सत्यापित करने के लिए अतिरिक्त प्रयास करने के लिए बाद में भी निर्णय ले सकते हैं!

लक्ष्य

लेखा परीक्षा

हम गुण बनाने के लिए ऑडिट के दौरान स्क्रिबल का उपयोग कर रहे हैं। स्वचालित विश्लेषण तकनीकों जैसे कि फ़ज़िंग और प्रतीकात्मक निष्पादन का उपयोग करना, हम इन गुणों के लिए स्वचालित रूप से परीक्षण करेंगे और उल्लंघन पाएंगे.

ऑडिट के दौरान फ़ज़िंग और संपत्ति-आधारित परीक्षण के बारे में अधिक जानने के लिए हमसे संपर्क करें

मानक

स्क्रिबल का उद्देश्य विभिन्न उपकरणों और तकनीकों के साथ काम करना है; हम केवल संपत्ति-आधारित परीक्षण सक्षम नहीं करना चाहते हैं, लेकिन यह भी आसान औपचारिक सत्यापन है। एकल सार्वभौमिक विनिर्देश भाषा का उपयोग करने का लाभ यह है कि आप केवल एक बार गुण लिखने के प्रयास में हैं, लेकिन कई उपकरणों का उपयोग करने के लाभ को प्राप्त करें.

दत्तक ग्रहण

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

आप इसे कहां से प्राप्त करने में सक्षम हैं?

हम पूरी तरह से खुले खट्टे स्क्रिबल हैं, और यह अब उपलब्ध है github.com/consensys/scribble.

नोट: यह एक बीटा-रिलीज़ है, भाषा के पहलू बदल जाएंगे, और आप कुछ बग का सामना कर सकते हैं.

आप आसानी से npm के साथ स्क्रिबल स्थापित कर सकते हैं:

स्क्रीन शॉट 2020 12 08 बजे 12 06 35 बजे स्क्रिबल स्थापित करें

न्यूज़लैटर नवीनतम न्यूज़रेम समाचार, एंटरप्राइज़ समाधान, डेवलपर संसाधनों, और अधिक के लिए हमारे न्यूज़लेटर को बताएं।Ethereum Q3 2020 DeFi रिपोर्टरिपोर्ट good

Ethereum Q3 2020 DeFi रिपोर्ट

Ethereum Q2 2020 डेफी रिपोर्टरिपोर्ट good

Ethereum Q2 2020 डेफी रिपोर्ट

एथेरियम 2 0 स्टेकिंग इकोसिस्टम रिपोर्टरिपोर्ट good

एथेरियम 2.0 स्टेकिंग इकोसिस्टम रिपोर्ट

ब्लॉकचेन बिजनेस नेटवर्क्स को पूरा गाइडमार्गदर्शक

ब्लॉकचेन बिजनेस नेटवर्क्स को पूरा गाइड

कैसे एक सफल ब्लॉकचेन उत्पाद बनाने के लिएवेबिनार

कैसे एक सफल ब्लॉकचेन उत्पाद बनाने के लिए

केंद्रीय बैंक और धन का भविष्यसफ़ेद कागज

केंद्रीय बैंक और धन का भविष्य

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me