OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security
यह शोध पत्र OSS-CRS को प्रस्तुत करता है, जो एक ओपन-सोर्स, स्थानीय रूप से तैनात करने योग्य फ्रेमवर्क है जो DARPA के AIxCC साइबर रीजनिंग सिस्टम को अप्रचलित प्रतियोगिता बुनियादी ढांचे से मुक्त करता है, जिससे वास्तविक दुनिया के ओपन-सोर्स प्रोजेक्ट्स में कमजोरियों को खोजने और उन्हें पैच करने के लिए उनके व्यावहारिक अनुप्रयोग को सक्षम बनाया जा सके, जैसा कि पहले स्थान पर रहे एटलेंटिस (Atlantis) सिस्टम को 10 नए बग खोजने के लिए सफलतापूर्वक पोर्ट करने द्वारा प्रदर्शित किया गया है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि एक हाई-स्टेक्स कुकिंग कॉम्पिटिशन (उच्च दांव वाली खाना पकाने की प्रतियोगिता) में सात टीमों के शानदार शेफ्स को एक चुनौती दी गई थी: उन्हें न केवल एक विशाल, जटिल किचन में सड़े हुए घटक (ingredient) को खोजना था, बल्कि उसे ठीक करना, एक नया व्यंजन बनाना और यह साबित करना भी था कि वह खाने के लिए सुरक्षित है, और वह भी बिना किसी मानवीय मदद के।
वे सफल रहे! इन "साइबर रीजनिंग सिस्टम्स" (CRSs) ने सॉफ्टवेयर में बग्स खोजे और उन्हें ठीक करने के लिए कोड लिखा। लेकिन समस्या यह है कि जब प्रतियोगिता समाप्त हुई, तो शेफ्स ने अपना सामान समेटा। वे अपने व्यंजनों (recipes) को तो पीछे छोड़ गए, लेकिन उनके किचन एक विशेष, अस्थायी क्लाउड इंफ्रास्ट्रक्चर पर बने थे जो अब अस्तित्व में नहीं है। यदि आप आज उनके व्यंजनों का उपयोग करने की कोशिश करेंगे, तो वे काम नहीं करेंगे क्योंकि वे एक विशिष्ट चूल्हे, विशिष्ट सामग्रियों और एक विशिष्ट क्लाउड से बंधे हुए थे जिसे बंद कर दिया गया है।
प्रवेश होता है: OSS-CRS: द यूनिवर्सल किचन (सार्वभौमिक रसोई)।
यह पेपर OSS-CS को पेश करता है, जो एक यूनिवर्सल एडाप्टर और एक साझा किचन की तरह काम करता है। यह उन प्रतियोगिता जीतने वाले "व्यंजनों" (AI सिस्टम) को लेता है और आपको उन्हें अपने स्थानीय किचन में वास्तविक दुनिया की सॉफ्टवेयर समस्याओं को हल करने के लिए चलाने की अनुमति देता है।
यह कैसे काम करता है, इसे सरल अवधारणाओं में यहाँ दिया गया है:
1. समस्या: "लॉक-इन" किए गए शेफ्स
लेखकों ने प्रतियोगिता की सात विजेता टीमों का अध्ययन किया और उन्हें तीन बड़े कारण मिले कि क्यों उनके सिस्टम बाकी दुनिया के लिए बेकार थे:
- दोहराव (Duplication): हर टीम ने अपने बुनियादी उपकरणों (जैसे अपने स्वयं के चूल्हे, सिंक और सामग्री ट्रैकर) का अपना संस्करण शून्य से बनाया। यह ऐसा था जैसे सात टीमें एक ही रेफ्रिजरेटर साझा करने के बजाय अपना-अपना रेफ्रिजरेटर बना रही हों।
- क्लाउड लॉक-इन (Cloud Lock-in): सिस्टम एक विशिष्ट, अस्थायी क्लाउड सर्वर (जैसे Azure) पर चलने के लिए डिज़ाइन किए गए थे जिसे प्रतियोगिता के बाद बंद कर दिया गया था। अब उन्हें चलाना वैसा ही है जैसे एक ऐसी कार चलाने की कोशिश करना जो केवल एक ऐसे ट्रैक पर चलती है जिसे ध्वस्त कर दिया गया है।
- मोनोलिथिक डिज़ाइन (Monolithic Design): सिस्टम विशाल, एकल ब्लॉकों के रूप में बनाए गए थे। आप टीम A के अद्भुत "बग-फाइंडिंग रोबोट" और टीम B के "पैच-राइटिंग रोबोट" को आपस में नहीं मिला सकते थे। वे एक ठोस ईंट की तरह एक साथ चिपके हुए थे; आप उनके हिस्सों को बदल नहीं सकते थे।
2. समाधान: "यूनिवर्सल एडाप्टर" (OSS-CRS)
लेखकों ने OSS-CRS बनाया, जो एक यूनिवर्सल पावर स्ट्रिप और एक साझा कार्यक्षेत्र के रूप में कार्य करता है।
- इंटरफ़ेस (पावर स्ट्रिप): हर सिस्टम के लिए विशिष्ट प्लग की आवश्यकता होने के बजाय, OSS-CRS प्रत्येक AI सिस्टम को एक मानक प्लग देता है। अब, कोई भी सिस्टम प्लग इन कर सकता है और तुरंत काम शुरू कर सकता है।
- बजट मैनेजर (वॉलेट): बग्स को ठीक करने के लिए AI (लार्ज लैंग्वेज मॉडल्स) का उपयोग करने में पैसा खर्च होता है (जैसे सामग्री खरीदने जैसा)। प्रतियोगिता ने टीमों को $50,000 का बजट दिया था। OSS-CRS में एक अंतर्निहित "वॉलेट" है जो ट्रैक करता है कि प्रत्येक AI कितना खर्च करता है। यदि कोई AI बहुत अधिक खर्च करने की कोशिश करता है, तो सिस्टम उसे रोक देता है, जिससे यह सुनिश्चित होता है कि टेस्टिंग के दौरान आप दिवालिया न हो जाएं।
- एक्सचेंज टेबल (पॉटलक): यह सबसे शानदार हिस्सा है। कल्पना कीजिए कि एक 'पॉटलक डिनर' (सामूहिक भोज) है।
- टीम A का फज़र (Fuzzer) (एक रोबोट जो सॉफ्टवेयर को तोड़ने की कोशिश करता है) एक टूटी हुई प्लेट पाता है।
- इसे अपने पास रखने के बजाय, यह एक केंद्रीय मेज (central table) पर रख देता है।
- टीम B का पैचर (Patcher) (एक रोबोट जो चीजों को ठीक करता है) उस टूटी हुई प्लेट को देखता है, उसे उठाता है, और उसे ठीक करता है।
- उन्हें एक-दूसरे से सीधे बात करने की ज़रूरत नहीं है; वे बस मेज पर रखी वस्तुओं को साझा करते हैं। यह विभिन्न टीमों की तकनीकों को सहजता से एक साथ काम करने की अनुमति देता है।
3. परिणाम: वास्तविक दुनिया की सफलता
यह साबित करने के लिए कि यह काम करता है, लेखकों ने प्रतियोगिता के प्रथम स्थान विजेता (एक सिस्टम जिसे ATLANTIS कहा जाता है) को इस नए यूनिवर्सल किचन में "पोर्ट" किया।
- सेटअप: उन्होंने इसे एक सिंगल कंप्यूटर पर चलाया (किसी विशाल क्लाउड की आवश्यकता नहीं थी)।
- परीक्षण: उन्होंने इसे 8 वास्तविक दुनिया के ओपन-सोर्स प्रोजेक्ट्स (जैसे लाइब्रेरी जिनका उपयोग लाखों लोग करते हैं) की ओर निर्देशित किया।
- कटाई (Harvest): केवल 24 घंटों में, सिस्टम ने 10 बिल्कुल नए बग्स (जिनमें 3 बहुत खतरनाक भी शामिल थे) खोजे जिन्हें पहले कोई नहीं जानता था। इसने उन्हें ठीक करने के लिए कोड भी लिखा।
यह क्यों महत्वपूर्ण है
इससे पहले, यदि आप इन सुपर-स्मार्ट AI बग-फाइंडर्स का उपयोग करना चाहते थे, तो आपको या तो उस विशिष्ट टीम का हिस्सा होना पड़ता था जिसने उन्हें बनाया था या आपके पास एक विशाल, महंगे क्लाउड सेटअप तक पहुंच होनी चाहिए थी।
OSS-CRS खेल बदल देता है क्योंकि यह:
- सुरक्षा का लोकतंत्रीकरण करता है: अब कोई भी अपने सॉफ्टवेयर की सुरक्षा के लिए इन उन्नत AI सिस्टम को चला सकता है।
- सहयोग को बढ़ावा देता है: शोधकर्ता अब विभिन्न सिस्टमों के सर्वोत्तम हिस्सों को मिला सकते हैं (जैसे एक अलग फज़र और दूसरे अलग पैचर का सबसे अच्छा हिस्सा लेकर) और भी मजबूत रक्षा प्रणाली बना सकते हैं।
- पैसे बचाता है: यह लागत का प्रबंधन करता है ताकि आप टेस्टिंग के दौरान गलती से AI क्रेडिट पर बहुत अधिक खर्च न कर दें।
संक्षेप में: लेखकों ने एक हाई-टेक कुकिंग कॉम्पिटिशन से "सीक्रेट सॉस" लिया, एक ऐसा यूनिवर्सल किचन बनाया जहाँ कोई भी इसके साथ खाना बना सके, और यह साबित किया कि यह आज वास्तविक दुनिया की समस्याओं को ढूंढ और ठीक कर सकता है। यह एक बंद, महंगी प्रतियोगिता को इंटरनेट को सुरक्षित रखने के लिए एक खुले, साझा उपकरण में बदल देता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।