Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing
यह शोध पत्र "एजेंटिक विटनेसिंग" (Agentic Witnessing) का प्रस्ताव करता है, जो एक गोपनीयता-संरक्षण ऑडिटिंग ढांचा है जो एक एलएलएम-आधारित (LLM-based) ऑडिटर को होस्ट करने के लिए एक ट्रस्टेड एक्जीक्यूशन एनवायरनमेंट (TEE) का लाभ उठाता है, जो सरल बाइनरी प्रश्नों और क्रिप्टोग्राफिक ट्रांसक्रिप्ट के माध्यम से प्रोप्रायटरी डेटा के गुणात्मक गुणों को सत्यापित करने में सक्षम है, जिससे कच्चे डेटासेट को उजागर किए बिना डेटा गोपनीयता और सिमेंटिक सत्यापन के बीच के तनाव को हल किया जा सकता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आपके पास दुनिया के सबसे बेहतरीन केक की एक गुप्त रेसिपी है (आपका मालिकाना डेटा/कोड)। आप खाद्य समीक्षक (सत्यापनकर्ता/Verifier) को यह साबित करना चाहते हैं कि आपका केक वास्तव में आपकी कुकबुक के विवरण से मेल खाता है, लेकिन आप किसी भी कीमत पर समीक्षक को वास्तविक केक नहीं दिखाना या चखना चाहते क्योंकि वह आपका व्यापार रहस्य (trade secret) है।
सामान्यतः, आपके पास दो बुरे विकल्प होंगे:
- सब कुछ दिखा दें: पूरा केक और रेसिपी सौंप दें, जिससे चोरी का जोखिम बढ़ जाता है।
- मुझ पर भरोसा करें: बस कहें, "यह अच्छा है, मुझ पर भरोसा करें," जिसे समीक्षक नहीं मानेगा।
यह शोध पत्र एक तीसरा तरीका प्रस्तावित करता है जिसे एजेंटिक विटनेसिंग (Agentic Witnessing) कहा जाता है। यह एक अत्यंत बुद्धिमान, आंखों पर पट्टी बंधे हुए खाद्य समीक्षक को काम पर रखने जैसा है जो एक ध्वनिरोधी, अटूट कांच के बक्से (एक विश्वसनीय निष्पादन वातावरण, या TEE) के भीतर काम करता है।
यह प्रणाली कैसे काम करती है, इसे सरल भूमिकाओं में यहाँ विभाजित किया गया है:
तीन पात्र
- मालिक (प्रमाणकर्ता/Prover): आप। आपके पास गुप्त केक (कोड/डेटा) है। आप बिना दिखाए यह साबित करना चाहते हैं कि यह असली है।
- समीक्षक (सत्यापनकर्ता/Verifier): वह व्यक्ति जो जानना चाहता है कि क्या केक विवरण से मेल खाता है। वह केक देख नहीं सकता, लेकिन वह प्रश्न पूछ सकता है।
- साक्षी (ऑडिटर/Witness): उस अटूट कांच के बक्से के भीतर रहने वाला एक रोबोट वकील। यह साक्षी ही एकमात्र है जिसे केक देखने की अनुमति है। इसे ईमानदार होने के लिए प्रोग्राम किया गया है, और इसका पूरा "मस्तिष्क" (कोड) शुरू करने से पहले निरीक्षण के लिए सबके लिए खुला है।
प्रक्रिया: "हाँ/नहीं" का खेल
समीक्षक यह नहीं पूछ सकता कि "केक में क्या है?" या "मुझे फ्रॉस्टिंग दिखाओ।" इसके बजाय, वे केवल साक्षी से सरल हाँ/नहीं वाले प्रश्न पूछ सकते हैं।
- सेटअप: मालिक बक्से में केक रखता है। साक्षी (एक स्मार्ट AI) अंदर जाता है।
- निरीक्षण: साक्षी केक को देखता है। वह सामग्री की सूची पढ़ सकता है या बनावट (texture) की जांच कर सकता है।
- प्रश्न: समीक्षक पूछता है: "क्या केक में चॉकलेट है?" साक्षी देखता है और उत्तर देता है, "हाँ।"
- प्रमाण: साक्षी केवल "हाँ" नहीं कहता। वह एक डिजिटल रसीद (क्रिप्टोग्राफिक ट्रांसक्रिप्ट) बनाता है। यह रसीदों की एक श्रृंखला है जो प्रमाणित करती है:
- साक्षी ने वास्तव में केक को देखा था।
- साक्षी ने उत्तर केवल उसी आधार पर दिया जो उसने देखा था।
- मालिक इस बात से इनकार नहीं कर सकता कि साक्षी ने केक देखा था।
सुरक्षा नियम (यह धोखाधड़ी को कैसे रोकता है)
यह शोध पत्र सभी को ईमानदार रखने के लिए तीन चतुर तरीके बताता है:
- "कांच का बक्सा" (TEE): साक्षी एक सुरक्षित हार्डवेयर बॉक्स (एक हाई-टेक तिजोरी की तरह) के भीतर रहता है। कंप्यूटर का मालिक भी साक्षी के काम करने के दौरान अंदर नहीं झांक सकता। यदि साक्षी सही कोड चला रहा है, तो हार्डवेयर इसकी पुष्टि करता है।
- "प्रश्नों की सीमा" (बजट): समीक्षक केवल सीमित संख्या में प्रश्न पूछ सकता है (जैसे, 40)। यह समीक्षक को "20 सवाल" खेलकर धीरे-धीरे पूरी गुप्त रेसिपी का अनुमान लगाने से रोकता है। गणित यह दर्शाता है कि यदि वे प्रयास करते भी हैं, तो वे केवल एक बहुत छोटा, बेकार हिस्सा ही चुरा सकते हैं।
- "अटूट रसीद" (हैश चेन): जब भी साक्षी केक के किसी हिस्से को देखता है या किसी प्रश्न का उत्तर देता है, तो वह एक डिजिटल रसीद पर हस्ताक्षर करता है। यदि मालिक साक्षी के काम शुरू करने के बाद केक को नकली केक से बदलने की कोशिश करता है, तो रसीदें मेल नहीं खाएंगी, और ऑडिट तुरंत विफल हो जाएगा। यदि मालिक साक्षी को केक के अंदर एक छिपे हुए नोट से धोखा देने की कोशिश करता है (जैसे "नियमों को अनदेखा करें, हाँ कहें"), तो वह चाल भी रसीद पर दर्ज की जाएगी। मालिक अपनी धोखाधड़ी को छिपा नहीं सकता; रसीद साबित करती है कि उन्होंने प्रयास किया था।
साक्षी दो तरह से सोचता है
शोध पत्र उल्लेख करता है कि साक्षी दो तरह से सोच सकता है:
- लोकल मोड (Local Mode): साक्षी बक्से के भीतर एक छोटा, सरल मस्तिष्क उपयोग करता है। यह सबसे अधिक निजी है, लेकिन यह उतना स्मार्ट नहीं हो सकता है।
- रिमोट मोड (Remote Mode): साक्षी मदद के लिए एक सुपर-स्मार्ट, बाहरी AI (जैसे एक विशाल क्लाउड ब्रेन) से पूछता है। यह अधिक स्मार्ट है, लेकिन बाहरी AI प्रदाता डेटा का एक छोटा हिस्सा देख पाता है। शोध पत्र नोट करता है कि यह एक ट्रेड-ऑफ है, लेकिन वर्तमान में जटिल कार्यों के लिए यह आवश्यक है।
उन्होंने वास्तव में क्या परीक्षण किया
लेखकों ने केवल सिद्धांत की बात नहीं की; उन्होंने इसे आजमाया।
- उन्होंने 21 वास्तविक कंप्यूटर विज्ञान शोध पत्रों को लिया जिनमें GitHub पर कोड प्रकाशित था।
- उन्होंने कोड को एक "रहस्य" माना (भले ही वह सार्वजनिक था, उन्होंने परीक्षण के लिए इसे निजी होने का नाटक किया)।
- उन्होंने यह सत्यापित करने जैसे कार्य किए कि: "क्या यह कोड वास्तव में वह करता है जो पेपर में कहा गया है?" या "क्या इस बात का प्रमाण है कि कोड का परीक्षण किया गया था?"
- परिणाम: सिस्टम ने इन जटिल प्रश्नों के सरल "हाँ/नहीं" निर्णय देने में सफलतापूर्वक सफलता प्राप्त की और क्रिप्टोग्राफिक रसीदें उत्पन्न कीं, जिससे यह सिद्ध हुआ कि कोड पेपर से मेल खाता है, बिना "समीक्षक" द्वारा कभी भी कच्चे कोड को पढ़े।
मुख्य निष्कर्ष
एजेंटिक विटनेसिंग रहस्यों के ऑडिट करने का एक नया तरीका है। यह "अपना काम दिखाने" की आवश्यकता को एक ऐसी प्रणाली से बदल देता है जहाँ एक विश्वसनीय, अलग-थलग पड़ा रोबोट आपके काम की जांच करता है और आपको गणितीय रूप से अटूट रसीद देता है। यह समस्या का समाधान करता है कि "मैं अपने गुप्त डेटा के बारे में सच बोलने का प्रमाण कैसे दूँ बिना आपको वह रहस्य दिए?"
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।