विटालिक ने स्मार्ट कॉन्ट्रैक्ट्स के लिए बग-मुक्त भविष्य की भविष्यवाणी की

Ethereum के सह-संस्थापक विटालिक ब्यूटेरिन के अनुसार, सुरक्षा को प्राथमिकता देने वाले डेवलपर्स 2030 के दशक में बग-मुक्त कोडिंग को प्राप्त करने की उम्मीद कर सकते हैं। 

Balancer हैक से $9.4 मिलियन की वसूली के लिए Gnosis Chain के विवादास्पद हार्ड फोर्क के बाद Ethereum के सह-संस्थापक विटालिक ब्यूटेरिन ने कहा कि "बग अपरिहार्य हैं, आप बग-मुक्त कोड नहीं बना सकते" यह विश्वास 2030 के दशक में सच नहीं रहेगा।

कोडिंग के बारे में विटालिक ब्यूटेरिन ने क्या कहा? 

विटालिक ब्यूटेरिन ने सोशल मीडिया प्लेटफॉर्म X पर एक बातचीत के माध्यम से भविष्यवाणी की है कि 2030 के दशक में बग-मुक्त कोड एक वास्तविकता बन जाएगा। 

चर्चा तब शुरू हुई जब Gnosis Chain ने घोषणा की कि उसने 22 दिसंबर को एक हार्ड फोर्क को अंजाम दिया, जैसा कि Cryptopolitan द्वारा रिपोर्ट किया गया। हार्ड फोर्क ने नवंबर 2024 के Balancer एक्सप्लॉइट के दौरान चोरी हुए $9.4 मिलियन की वसूली की, जिसने कई ब्लॉकचेन पर $128 मिलियन से अधिक की निकासी की थी। वसूली के लिए अधिकांश वैलिडेटर्स को नया सॉफ्टवेयर अपनाने की आवश्यकता थी, और जो अपडेट करने में विफल रहे उन्हें जुर्माने का सामना करना पड़ रहा है।

निश्चित रूप से, इसे ब्लॉकचेन समर्थकों से कुछ प्रतिरोध का सामना करना पड़ा, जिन्होंने इस कदम की आलोचना की क्योंकि यह अपरिवर्तनीयता के सिद्धांत के खिलाफ जाता है। 'colluding node' उपनाम वाले एक X उपयोगकर्ता ने कहा कि असली समस्या यह है कि ब्लॉकचेन एप्लिकेशन कैसे बनाए जाते हैं। उन्होंने तर्क दिया कि प्रोग्रामेबल वर्चुअल मशीनों में स्मार्ट कॉन्ट्रैक्ट्स का उपयोग करना गलत दृष्टिकोण है। 

"केवल 7 कॉन्ट्रैक्ट्स हैं जो लिखने योग्य हैं, और उन्हें केवल बेस लेयर में स्थापित किया जाना चाहिए और क्लाइंट विविधता से सुरक्षा प्राप्त करनी चाहिए," उपयोगकर्ता ने लिखा। 

ब्यूटेरिन ने तब जवाब दिया और स्पष्ट किया कि औपचारिक रूप से सत्यापित होना सिद्ध रूप से बग-मुक्त होने के बराबर नहीं है। उन्होंने आगे सुझाव दिया कि सिद्ध रूप से बग-मुक्त कोड शायद संभव भी नहीं है।

"मैं यहां तक कहूंगा कि 'सिद्ध रूप से बग मुक्त' संभव नहीं है, क्योंकि 'बग-मुक्त' का अर्थ है 'इरादे और कोड निष्पादन के बीच कोई अंतर नहीं', और हमारा इरादा एक अत्यंत जटिल वस्तु है जिस तक हमारी केवल सीमित पहुंच है।" 

औपचारिक सत्यापन यह जांचने के लिए गणितीय विधियों का उपयोग करता है कि क्या सुरक्षा-महत्वपूर्ण प्रणालियां सही ढंग से काम करती हैं। इस तकनीक का उपयोग 1960 के दशक से एयरोस्पेस इंजीनियरिंग जैसे क्षेत्रों में किया जा रहा है। 

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

क्या बग-मुक्त कोड भविष्य संभव है? 

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

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

ब्यूटेरिन ने कहा कि कुछ सॉफ्टवेयर में बग बने रहेंगे क्योंकि कुछ मामलों में कार्यक्षमता लाभ पूर्णता से अधिक महत्वपूर्ण है। लेकिन जो डेवलपर्स सुरक्षा को प्राथमिकता देते हैं, उनके पास वास्तव में बग-मुक्त कोड प्राप्त करने के लिए उपकरण होंगे।

मेंटरशिप + दैनिक विचारों के साथ अपनी रणनीति को तेज करें – हमारे ट्रेडिंग प्रोग्राम तक 30 दिनों की मुफ्त पहुंच