मुख्य बातें
- विटालिक बुटेरिन यह उल्लेख किया कि उनकी कुल संपत्ति का लगभग 90% हिस्सा उन्हें सीधे तौर पर एआई-संचालित क्रिप्टो क्रैश की थ्योरी के विपरीत स्थिति में रखता है।
- यह ETH इसकी मूल संपत्ति के रूप में"> Ethereum सह-संस्थापक का तर्क है कि कृत्रिम बुद्धिमत्ता (AI) केवल हैकिंग की क्षमताओं को बढ़ाने के बजाय औपचारिक सत्यापन (formal verification) को बेहतर बना सकती है।
- बूटेरिन ब्लॉकचेन कोड से आगे बढ़कर एप्लिकेशन, ऑपरेटिंग सिस्टम और हार्डवेयर तक मजबूत सत्यापन लागू करने की वकालत करते हैं।
विटालिक बूटेरिन ने बताया कि उनकी कुल संपत्ति का लगभग 90% हिस्सा उन्हें पहले से ही चल रहे क्रिप्टो सुरक्षा बहस के परिणामों के सीधे संपर्क में रखता है। ETH इसकी मूल संपत्ति के रूप में"> Ethereum सह-संस्थापक ने इस भविष्यवाणी को खारिज करते हुए अपना दृष्टिकोण साझा किया कि कृत्रिम बुद्धिमत्ता गंभीर रूप से नुकसान पहुँचा सकती है बिटकॉइन और भारी कीमत में गिरावट का कारण बन सकती है।
इसके बजाय, बूटेरिन का तर्क था कि एआई एक महत्वपूर्ण रक्षात्मक तंत्र के रूप में कार्य कर सकता है। उनका मानना है कि अधिक उन्नत प्रणालियाँ डेवलपर्स को यह औपचारिक रूप से सत्यापित करने में सहायता करेंगी कि महत्वपूर्ण सॉफ्टवेयर सटीक सुरक्षा मानदंडों को पूरा करते हैं या नहीं।
विटालिक बूटेरिन ने एआई सुरक्षा चेतावनियों को चुनौती दी
ये टिप्पणियाँ निवेशक और एआई-जोखिम टिप्पणीकार लिरोन शापिरा के साथ उनकी असहमति के बाद आईं, जो इस संबंध में थीं कि बिटकॉइन’s resilience. Shapira asserted that आर्टिफिशियल इंटेलिजेंस नुकसान पहुँचा सकता है बिटकॉइन’s security and provoke a 50% price drop over a two-year period.
इसके जवाब में, विटालिक बूटेरिन ने सॉफ्टवेयर, ऑपरेटिंग सिस्टम और हार्डवेयर में फैली सुरक्षित, सत्यापित करने योग्य, ओपन-सोर्स तकनीक की मांग की।
उस उत्तर ने कमजोरियों का पता लगाने की अंतहीन दौड़ के बजाय सावधानीपूर्वक निर्माण पर ध्यान केंद्रित किया। बूटेरिन ने स्वीकार किया कि रक्षक दुर्भावनापूर्ण अभिनेताओं द्वारा उनका पता लगाने से पहले हर खामी को खोजने का प्रयास कर सकते हैं।
फिर भी, उन्होंने उस रणनीति को शुरुआत से ही मजबूत सुरक्षा उपायों के साथ सॉफ्टवेयर डिजाइन करने की तुलना में अधिक जोखिम भरा बताया।
उन्होंने गणितीय प्रमाणों के साथ समानता खींचकर अपनी पसंदीदा पद्धति को समझाया। उन्होंने तर्क दिया कि यदि एआई में जटिल गणितीय बयानों को साबित करने की क्षमता है, तो यह इसी प्रकार सत्यापित कर सकता है कि जटिल कार्यक्रम सुरक्षा विनिर्देशों को पूरा करते हैं या नहीं।
उन्होंने उल्लेख किया कि मुख्य चुनौती आंशिक रूप से यह परिभाषित करने पर टिकी है कि उन विनिर्देशों में वास्तव में क्या शामिल होना चाहिए।
सुरक्षा को परिभाषित करना केवल संदेशों की सुरक्षा से कहीं आगे जाता है
इस जटिलता को दर्शाने के लिए, विटालिक ब्यूटेरिन ने एन्क्रिप्टेड मैसेजिंग से जुड़ी माँगों के साथ-साथ सिग्नल का विश्लेषण किया।
संदेश की सामग्री को बाहरी लोगों के लिए अपठनीय बनाए रखना समस्या के केवल एक छोटे हिस्से का समाधान करता है। डेवलपर्स को जाली संदेशों, अवरुद्ध प्रसारणों, एप्लिकेशन क्रैश और पूर्व संचार को फिर से भेजने का प्रयास करने वाले हमलावरों से भी निपटना होगा।
समर्थन करने वाले बुनियादी ढाँचे के बारे में और भी सवाल उठते हैं। ब्यूटेरिन ने सेक्जेड सर्वर, बदले गए सार्वजनिक-कुंजी पहचानकर्ताओं, हैक किए गए हार्डवेयर और गुप्त कुंजियों को लीक करने में सक्षम ऑपरेटिंग-सिस्टम बग्स की ओर इशारा किया। उन्होंने डिलीवरी से पहले या बाद में किसी डिवाइस के क्षतिग्रस्त होने पर संदेश की विश्वसनीयता पर भी सवाल उठाया।
अतिरिक्त चिंताओं में डेटाबेस, विकास उपकरण, सॉफ्टवेयर लाइब्रेरी और हार्डवेयर सिग्नल शामिल हैं जो डेटा लीक कर सकते हैं। इस बीच, संदेश का आकार, प्रेषक की पहचान, प्राप्तकर्ता की पहचान और सटीक टाइमस्टैम्प जैसे मेटाडेटा संदेश मुख्य भाग से परे विवरणों को उजागर कर सकते हैं।
ब्यूटेरिन ने तर्क दिया कि ये कारक प्रभावी सत्यापन के लिए स्पष्ट, सावधानीपूर्वक डिज़ाइन की गई सुरक्षा परिभाषाओं को आवश्यक बनाते हैं।
उन्होंने देखा कि हालाँकि वे परिभाषाएँ आसानी से कोड की एक हज़ार लाइनों से अधिक हो सकती हैं, लेकिन उनकी पर्याप्तता का मूल्यांकन करना अक्सर अंतर्निहित कार्यान्वयन की सीधे जाँच करने की तुलना में सरल साबित होता है। बेहतर उपकरण इस प्रक्रिया को और सुव्यवस्थित कर सकते हैं, हालांकि इस संबंध में यूजर इंटरफेस कम लाभ प्रदान कर सकते हैं।
इथेरियम की दिशा के लिए व्यापक सत्यापन की आवश्यकता है
ब्यूटेरिन ने यह भी बताया कि एक ही प्रोग्राम एक साथ कई संगत सुरक्षा परिभाषाओं को पूरा कर सकता है। केवल कोड को संयोजित करना ब्लॉक कोई समतुल्य आश्वासन नहीं देता है, क्योंकि किसी भी एक घटक में खामी पूरे प्रोग्राम को खतरे में डाल सकती है। उन्होंने कहा कि जब परिभाषाएँ आपस में टकराती हैं, तो डेवलपर्स को एक अंतर्निहित समस्या का पता चलता है जिसके लिए गहरी जाँच की आवश्यकता होती है।
वह अंतर सत्यापन को कोड के अलग-थलग हिस्सों से आगे बढ़ाने के उनके प्रयास को मजबूत करता है। पिछले प्रयासों ने कभी-कभी उन घटकों को छोड़ दिया जो बाद में महत्वपूर्ण साबित हुए, जो सत्यापन की ऐतिहासिक कठिनाई और कमी को दर्शाता है।
वह अब डेटाबेस, नेटवर्किंग, कैशिंग और किसी प्रोग्राम के अन्य सभी तत्वों का ऑडिट करने की वकालत करते हैं, और यह बनाए रखते हैं कि आधुनिक AI इस कार्य को संभालने में सक्षम है।
के लिए ETH इसकी मूल संपत्ति के रूप में"> Ethereum, विटालिक ब्यूटेरिन ने आने वाले वर्षों के लिए व्यापक सत्यापन को एक मुख्य फोकस के रूप में तैयार किया। उन्होंने इस उद्देश्य को सीधे तौर पर स्केलेबिलिटी और गोपनीयता के लिए प्रयास करने वाले ब्लॉकचेन से जोड़ा। इसके अलावा, उनके प्रस्तावित दायरे में ऑपरेटिंग सिस्टम और हार्डवेयर शामिल हैं, जो सुरक्षा जनादेश को अकेले ब्लॉकचेन सॉफ्टवेयर से काफी आगे ले जाते हैं।
अक्सर पूछे जाने वाले प्रश्न
विटालिक ब्यूटेरिन की कुल संपत्ति का कितना प्रतिशत क्रिप्टो सुरक्षा से जुड़ा है?
विटालिक ब्यूटेरिन की कुल संपत्ति का लगभग 90% हिस्सा उन्हें क्रिप्टो सुरक्षा बहस के परिणाम के संपर्क में लाता है।
विटालिक ब्यूटेरिन क्रिप्टो सुरक्षा पर AI के प्रभाव को कैसे देखते हैं?
ब्यूटेरिन का मानना है कि AI एक रक्षात्मक उपकरण के रूप में काम कर सकता है जो केवल हैकिंग के जोखिमों को बढ़ाने के बजाय औपचारिक सत्यापन में सुधार करता है।
लिरन शापिर ने बिटकॉइन और AI के संबंध में क्या भविष्यवाणी की?
शापिर ने दावा किया कि कृत्रिम बुद्धिमत्ता कमजोर कर सकती है बिटकॉइन’s security and trigger a 50% price decline within two years.
क्या सत्यापन केवल ब्लॉकचेन कोड पर लागू होता है?
नहीं, ब्यूटेरिन एप्लिकेशनों, ऑपरेटिंग सिस्टम, हार्डवेयर, डेटाबेस और नेटवर्किंग घटकों तक औपचारिक सत्यापन का विस्तार करने की वकालत करते हैं।
