बिटकॉइन मैगज़ीन
बंद-स्रोत युग का अंत निकट है: अस्पष्टता कभी भी सुरक्षा नहीं थी
पिछले कुछ दिनों में, जो लोग सब कुछ सही करने की कोशिश कर रहे थे, उन्होंने अपना बिटकॉइन खो दिया। उन्होंने एक सम्मानित हार्डवेयर साइनर खरीदा, उस डिवाइस का उपयोग करके ऑफ़लाइन एक बीज उत्पन्न किया, और उस डिवाइस पर भरोसा किया कि वह वही एक चीज़ करेगी जिसके लिए एक साइनर मौजूद है: एक ऐसा नंबर उत्पन्न करना जिसे कोई और नहीं जान सकता। Coldcard ने ऐसा नहीं किया। एक प्रीप्रोसेसर गार्ड जिसने गलत चीज़ की जांच की, ने चुपचाप बीज उत्पन्न करने को एक कमजोर सॉफ़्टवेयर PRNG (छद्म यादृच्छिक संख्या जनरेटर), MicroPython के Yasmarang की ओर रूट कर दिया, बजाय हार्डवेयर एंट्रॉपी स्रोत के। कुछ मॉडलों पर प्रभावी एंट्रॉपी लगभग 40 बिट्स तक गिर गई। यह दोष मार्च 2021 में जारी किया गया और पांच साल से अधिक समय तक सार्वजनिक रूप से पढ़ने योग्य फर्मवेयर में रहा। हमलावरों ने 500 पते छीन लिए इससे पहले कि कोई समझ सके कि क्यों; कुछ ही दिनों में Galaxy Research की गणना 4,585 पते और लगभग $90 मिलियन तक पहुँच गई; यह हमला इस लेख की तारीख के अनुसार जारी है।
Coinkite का कार्यशील अनुमान, X पर व्यापक सहमति के साथ, यह है कि किसी ने बग खोजने के लिए सार्वजनिक रूप से उपलब्ध फर्मवेयर को खंगालने के लिए AI का उपयोग किया। चाहे यह हमलावर इसे कैसे भी खोजे, अगला ऐसा करेगा। जबकि चोरी से पहले कई हफ्तों में एक AI-सहायता प्राप्त ऑडिट चलाया गया, उसने कुछ नहीं पाया (संभवतः मॉडल की क्षमताओं के कारण, संभवतः खोज की विशिष्ट संरचना के कारण)। हमले की शुरुआत के बाद से, शोधकर्ताओं ने कई अग्रणी मॉडलों को एक ही प्रम्प्ट से मिनटों में उसी दोष को खोजते हुए दिखाया है। कोड मानव समीक्षा के लिए पांच वर्षों तक खुला रहा और कोई मानव इसे नहीं पकड़ सका।
Coinkite ने अपने फर्मवेयर को एक मुफ्त-सॉफ्टवेयर लाइसेंस से स्रोत-उपलब्ध शर्तों, MIT के साथ एक कॉमन्स क्लॉज में स्थानांतरित कर दिया, जब फाउंडेशन डिवाइस ने प्रतिस्पर्धी उत्पाद में कोड का उपयोग किया। आप स्रोत पढ़ सकते थे लेकिन इसके आधार पर व्यवसाय नहीं बना सकते थे। इसने कुछ नहीं बदला। बग उस कोड में था जिसे मशीन पढ़ सकती थी, चाहे लाइसेंस क्या अनुमति देता हो; वास्तव में, यह उस पुनर्लेखन में पेड़ में प्रवेश किया जिसने GPL कोड के अंतिम हिस्से को हटा दिया। लाइसेंस परिवर्तन ने सुरक्षा को नहीं बढ़ाया; इसने केवल बग खोजने की अर्थव्यवस्था को बदल दिया।
उच्च कौशल वाले एआई के युग में, जो कुछ भी वितरित किया जाता है वह पढ़ने योग्य है, या जल्द ही होगा। एक बाइनरी को उसके प्रतीकों सेstrip करें, इसे एक डिकंपाइलर के माध्यम से चलाएं, और बाहर आता है वह pseudo-C जो किसी भी व्यक्ति का स्वागत करता है जिसने Ghidra खोला है: नामहीन चर, समतल नियंत्रण प्रवाह, कार्य जो FUN_00401a20 के रूप में लेबल किए गए हैं। अधिकांश लोगों के लिए अप्राप्य। मानव समझ के लिए यह उच्च बाधा “बंद स्रोत” की पूरी सुरक्षा प्रीमियम थी।
एक संकलित कार्यक्रम के पास सच बताने के अलावा कोई विकल्प नहीं है। जो कोड एन्क्रिप्टेड रहता है वह चल नहीं सकता। निष्पादन के क्षण में प्रोसेसर को वास्तविक निर्देश प्राप्त करने चाहिए, इसलिए जो कुछ भी कार्यक्रम करता है, वह मशीन को इसे करने का एक पूरा और सटीक विवरण देता है। जानकारी मशीन कोड में सब कुछ मौजूद है। अस्पष्टता इसे हटा नहीं सकती, और न ही हटा सकती है।
यदि बाइनरी पढ़ना किसी मशीन के लिए जल्दी सीखना बहुत कठिन लगता है, तो इसे उन समस्याओं के खिलाफ तौलें जो मशीनें पहले से ही कहीं अधिक कठिन समस्याओं पर कर रही हैं। बाइनरी पढ़ना विश्लेषण है: हर तथ्य जो आपको चाहिए आपके सामने है, और काम निष्कर्षण है। गणितीय आविष्कार एक और स्तर की कठिनाई है, क्योंकि यह एक ऐसे वस्तु की मांग करता है जिसे किसी ने कभी नहीं देखा। 20 जुलाई को 02:19 UTC पर, लेवेंट अल्पोज़, जो एंथ्रोपिक के क्लॉड फैबल 5 के साथ काम कर रहे एक गणितज्ञ हैं, ने केलर के जैकोबियन अनुमान के लिए एक प्रतिकल्प प्रस्तुत किया, जो 1939 से खुला है और स्टीफन स्मेल के इक्कीसवीं सदी के लिए चुनौतियों की सूची में बैठने के लिए पर्याप्त कठिन है। पीढ़ियों ने इसे आजमाया है। इसका खंडन तीन चर में तीन बहुपद हैं। लीन ने इसे कुछ घंटों के भीतर सत्यापित किया, और यह इतना छोटा है कि कोई भी इसे लगभग एक मिनट में एक कंप्यूटर-बीजगणित प्रणाली में पुष्टि कर सकता है।
जैकोबियन एक दोपहर में गिर गया, जबकि प्रश्नकर्ता स्पष्ट रूप से फीफा विश्व कप का अंतिम मैच देख रहा था। मई में एक ओपनएआई मॉडल ने एर्डोश यूनिट-डिस्टेंस अनुमान को गिरा दिया, जो 1946 से खुला था; जुलाई के अंत में एक 30 वर्षीय ग्राफ-थ्योरी अनुमान चार प्रॉम्प्ट्स के सामने गिर गया; इनके बीच जैकोबियन का खंडन और अन्य परिणामों की एक श्रृंखला आई जो दशकों से खड़ी थी।
उस गति को सेट करें जो इंटरनेट पर पहले से मौजूद मशीन कोड पढ़ने के साधारण कार्य के बगल में है। आज के मॉडल स्रोत और डिकंपाइलर आउटपुट को कच्चे बाइट्स की तुलना में बेहतर तरीके से संभालते हैं, इसलिए एक पूरी तरह से बंद बाइनरी एक पतली सीमा बनाए रखती है। वह सीमा एक लागत की गति बाधा है, और यह उस गति से घट रही है जिसे आप हर जगह देख रहे हैं। यह अनुमान लगाना कि यह कितनी देर तक चलेगा, एक घड़ी के खिलाफ दांव लगाना है जो केवल तेज हो रही है।
वही क्षमता जो आपकी एंट्रॉपी बग को खोजती है, आपकी स्वामित्व विधि को पढ़ती है। यह शांतिपूर्ण हानि है, और यह उन कंपनियों पर प्रभाव डालती है जिन्होंने कभी खुद को ओपन-सोर्स किसी भी चीज़ के लिए उजागर नहीं माना। भेजे गए सॉफ़्टवेयर में व्यापार रहस्य हमेशा एक सूट में अस्पष्टता थी। कानून ने ऐसा कहा है जब से व्यापार-गोपनीयता कानून अस्तित्व में आया है: एक उत्पाद की उलट इंजीनियरिंग जिसे आप कानूनी रूप से रखते हैं, उचित खेल है, और इसलिए एक रहस्य केवल तब तक जीवित रहता है जब तक कि वह उलट इंजीनियरिंग महंगी बनी रहती है। जब निष्कर्षण की लागत एक सदस्यता और एक प्रॉम्प्ट तक गिरती है, तो आपके ग्राहकों को दिए गए कोड में निहित रहस्य एक रहस्य बनना बंद कर देता है। आपका चालाक एल्गोरिदम, आपका अप्रलेखित प्रारूप, आपके बाइनरी में आपका बढ़त: किसी भी व्यक्ति के लिए पढ़ने योग्य जो देखना चाहता है, एक समयरेखा पर जो तेजी से मिनटों में मापी जा रही है।
इनमें से कोई भी खुला स्रोत को सुरक्षित नहीं बनाता। हार्टब्लीड पृथ्वी पर सबसे व्यापक रूप से तैनात TLS पुस्तकालय में दो वर्षों तक छिपा रहा, क्योंकि वित्त पोषित ध्यान के बिना दृश्यता कुछ नहीं खोजती। xz बैकडोर ने दिखाया कि खुला योगदान मॉडल स्वयं एक हमले की सतह है, जिसे एक धैर्यवान प्रतिकूल मित्रवत चेहरे और दो वर्षों के अच्छे कमिट के साथ पार कर सकता है। जबकि खुलापन कभी एक ढाल था, अब यह नहीं है। यह क्याकरता है यह है कि समीक्षक जो देखने की अनुमति रखते हैं, ऐसे निर्माण जो स्वतंत्र रूप से पुन: उत्पन्न और सत्यापित किए जा सकते हैं, एक निकासी जब एक विक्रेता मर जाता है या बदल जाता है, और यह स्वीकृति कि यह सब होगा चाहे आप इसे पसंद करें या नहीं।
अब हमें मान लेना चाहिए कि हर लाइन जो भेजी गई है, उसे कोई ऐसा पढ़ेगा जो हानि चाहता है,क्योंकि ऐसा होगा।रक्षक के पास एक संरचनात्मक लाभ है जो हमलावर कभी नहीं रखेगा: समय। आप रिलीज से पहले अपने कोड पर वही फ्रंटियर मॉडल लागू कर सकते हैं, कमिट और शिप के बीच के अंतराल में, जबकि हमलावर एक बाइनरी का इंतजार करता है जो अभी तक मौजूद नहीं है। अपने निर्माण को पुनरुत्पादनीय बनाएं, ताकि यह स्रोत से जुड़ा हो और स्रोत की जांच की जा सके। बंद होने के लिए डिज़ाइन करें, और विश्वसनीय कोर को इतना छोटा रखें कि एक बग सब कुछ प्रभावित न कर सके। बिटकॉइन रखने के विशेष व्यवसाय के लिए, उस पाठ को सीखें जो Coldcard वास्तविक समय में सिखा रहा है: उस एंट्रॉपी का स्वामित्व रखें जिसे आप अनुमान लगाने का जोखिम नहीं उठा सकते, सुरक्षित तत्व को न्यूनतम और प्रकाशित इंटरफ़ेस के पीछे रखें, और अपनी कुंजियों को स्वतंत्र कार्यान्वयन में फैलाएं, ताकि कोई एकल उपकरण, और किसी एकल विक्रेता की गलती, आपकी पूरी जोखिम न हो।
बिटकॉइन के लिए दांव ऐसे हैं जो कहीं और नहीं हैं, क्योंकि निजी कुंजियों का केवल ज्ञान स्वामित्व प्रदान करता है। एंट्रॉपी बग ने स्थायी निशान छोड़े हैं। जनरेटर को पैच करना पहले से उत्पन्न बीजों के लिए कुछ नहीं करता; एक कमजोर कुंजी स्थान हमेशा के लिए स्वीप करने योग्य रहता है, और प्रकटीकरण हमलावर को नुस्खा देता है। हमने यह पहले देखा है। libbitcoin एक्सप्लोरर टूल, bx, में Milk Sad भेद्यता ने 32-बिट मान से निजी कुंजियाँ उत्पन्न कीं, और हमलावरों ने इसे उत्पन्न करने वाले वॉलेट्स को उस दोष के सार्वजनिक होने से पहले ही खाली कर दिया। हमलावर अपनी खुद की समय सारणी रखते हैं, आमंत्रित हों या नहीं। ऐसे पैसे के लिए जिन्हें वापस नहीं लिया जा सकता, "आखिरकार खोजा जा सकता है" "आखिरकार चला गया" का पर्याय है।
बिटकॉइन ने कभी भी अस्पष्टता पर भरोसा नहीं किया। प्रोटोकॉल खुला है, इसके नियम किसी भी व्यक्ति द्वारा जांचे जा सकते हैं, इसकी सुरक्षा रहस्यों पर नहीं बल्कि गणित और प्रोत्साहनों पर निर्भर करती है जो पूरी दृष्टि में होते हैं। इसके चारों ओर हम जो हार्डवेयर और सॉफ़्टवेयर बनाते हैं, उन्हें भी वही मानक मिलना चाहिए, क्योंकि विकल्प अब मेज पर नहीं है। विकल्प कभी भी खुला या बंद नहीं था। यह अनुशासित या उजागर था।
इस Coldcard स्थिति का व्यापक पाठ यह है कि बंद स्रोत सॉफ़्टवेयर होना एक टूटे हुए Coldcard द्वारा उत्पन्न बीज होने के समान है; यह अच्छा दिखता है लेकिन यह मूल रूप से रेत पर बनाया गया है। हर कोई कोड पढ़ सकता है — केवल सवाल यह है कि क्या आप उस तथ्य को स्वीकार करते हैं, या आप और आपके उपयोगकर्ता इसे उसी तरह सीखते हैं जैसे Coldcard के उपयोगकर्ताओं ने किया, एक drained पते पर एक बार।
यह एक अतिथि पोस्ट है कोलिन क्रॉसमैन द्वारा, जो फेडी में एक सामग्री निर्माता हैं। व्यक्त की गई राय पूरी तरह से उनकी अपनी हैं और यह जरूरी नहीं कि BTC Inc या Bitcoin Magazine की राय को दर्शाती हैं।
यह पोस्ट 'बंद-स्रोत युग का अंत निकट है: अस्पष्टता कभी भी सुरक्षा नहीं थी' सबसे पहले Bitcoin Magazine पर प्रकाशित हुई थी और इसे कोलिन क्रॉसमैन ने लिखा है।
स्रोत: BitcoinMagazine
