शून्य-ज्ञान प्रमाण क्रिप्टो निच से रोज़मर्रा की कंप्यूटिंग की ओर बढ़ रहे हैं

जब कोई क्लाउड सर्वर आपको बताता है कि उसने आपका कोड सही ढंग से चलाया, तो आप कैसे जानते हैं कि उसने कोई कोताही नहीं की? शून्य-ज्ञान प्रमाण नामक क्रिप्टोग्राफी की एक शाखा इसका उत्तर देती है: सर्वर एक संक्षिप्त गणितीय प्रमाणपत्र तैयार कर सकता है जो साबित करता है कि परिणाम सही है, बिना अंतर्निहित डेटा का खुलासा किए या आपको पूरा काम दोबारा चलाने के लिए मजबूर किए। हाल तक ये प्रमाण धीमे और लिखने में कठिन थे, ज्यादातर क्रिप्टोकरेंसी और अकादमिक डेमो तक सीमित थे।

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

आकर्षण व्यापक है। क्लाउड कंप्यूटिंग में, एक ग्राहक यह सत्यापित कर सकता है कि किसी दूरस्थ सर्वर ने संवेदनशील रिकॉर्ड को सहमत नियम के अनुसार संसाधित किया है, बिना डेटा स्वयं सौंपे — स्वास्थ्य सेवा, वित्त और किसी भी ऐसे क्षेत्र के लिए उपयोगी जहां गोपनीयता नियम कड़े हैं। कृत्रिम बुद्धिमत्ता में, प्रमाण यह प्रमाणित कर सकते हैं कि किसी मॉडल ने किसी विशेष इनपुट से आउटपुट उत्पन्न किया है, जो अपारदर्शी मॉडल के युग में एक नए प्रकार का ऑडिट ट्रेल प्रदान करता है।

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

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

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

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

फिर भी, दिशा स्पष्ट है। मैग्नेटार जैसे काम बताते हैं कि शून्य-ज्ञान प्रमाण एक निच क्रिप्टोग्राफिक जिज्ञासा से क्लाउड और एआई प्रणालियों के लिए एक व्यावहारिक निर्माण खंड में स्नातक हो रहे हैं। जो कंपनियाँ संवेदनशील डेटा संभालती हैं या अपना काम दिखाना चाहती हैं, उनके लिए किसी परिणाम को दोबारा चलाए बिना या रहस्य उजागर किए बिना सत्यापित करने की क्षमता जल्द ही विलासिता के बजाय एक मानक अपेक्षा बन सकती है।