ब्लॉकस्ट्रीम रिसर्च के जोनास निक और सहयोगी remix7531 ने libshrincs नामक एक प्रूफ-ऑफ-कॉन्सेप्ट C लाइब्रेरी जारी की है, जो बिटकॉइन के लिए डिज़ाइन किए गए क्वांटम-प्रतिरोधी हस्ताक्षर योजना के एक महत्वपूर्ण घटक को लागू करती है। 11 अगस्त को डेल्विंग बिटकॉइन पर घोषित यह लाइब्रेरी, बिटकॉइन को भविष्य में शक्तिशाली क्वांटम कंप्यूटरों से बचाने के लिए डिज़ाइन किए गए क्रिप्टोग्राफिक कोड की औपचारिक रूप से सत्यापित करने का अब तक का सबसे कठोर प्रयास है।
यह प्रोजेक्ट केवल इसलिए नहीं उल्लेखनीय है कि यह किसके खिलाफ सुरक्षा प्रदान करता है, बल्कि इसे कैसे बनाया गया है उसके लिए भी। सुरक्षा और सहीता साबित करने के प्रमाणों को मुख्य रूप से मानवीय निगरानी के तहत, ChatGPT और Fable सहित बड़े भाषा मॉडलों की सहायता से उत्पन्न किया गया।
लिबश्रिंक्स वास्तव में क्या करता है
Libshrincs, SHRINCS नामक एक व्यापक योजना का वन-टाइम सिग्नेचर घटक है, जिसे WOTS+C कहा जाता है। SHRINCS, जिसे दिसंबर 2025 में प्रस्तावित किया गया था, एक सिग्नेचर योजना है जो स्टेटफुल और स्टेटलेस हैश-आधारित सिग्नेचर्स को मिलाती है। लक्ष्य यह है कि सिग्नेचर के आकार को इतना संकुचित रखा जाए कि बिटकॉइन लेनदेन के लिए व्यावहारिक हो, जबकि क्वांटम प्रतिरोध प्रदान करता रहे।
स्टेटफुल मोड में, हस्ताक्षर लगभग 324 बाइट्स का होता है। यह योजना एक स्टेटलेस फॉलबैक तंत्र भी शामिल करती है, जो मूलतः एक सुरक्षा नेट है जो उस स्थिति में उपयोग किया जाता है जब स्टेटफुल घटक का ट्रैकिंग गलत तरीके से किया जाता है।
लाइब्रेरी के साथ फंक्शनल करेक्टनेस के मशीन-चेक्ड प्रूफ और Rocq में SSProve का उपयोग करके सत्यापित सुरक्षा प्रूफ शामिल हैं। प्रूफ बहुत विस्तृत हैं: लगभग 6,200 पंक्तियाँ VST (Verified Software Toolchain) कोड और लगभग 13,400 पंक्तियाँ Rocq कोड।
एआई का कोण, और यह क्यों मायने रखता है
वेरिफिकेशन कोड के बड़े हिस्सों को बड़े भाषा मॉडल्स का उपयोग करके जनरेट किया गया था, जिसमें मानव डेवलपर्स ने आउटपुट को गाइड और समीक्षा किया। क्रिप्टोग्राफी में औपचारिक वेरिफिकेशन पारंपरिक रूप से महंगा और धीमा रहा है। यदि एआई-सहायता वाली विधियाँ इस प्रकार के आउटपुट को विश्वसनीय ढंग से प्रदान कर सकती हैं, तो यह सत्यापित क्रिप्टोग्राफिक सॉफ्टवेयर बनाने की बाधा को काफी कम कर सकती है।
सीमाएँ और आगे का रास्ता
शोधकर्ता स्पष्ट रूप से बताते हैं कि libshrincs अभी तक क्या नहीं कर पाया है। वर्तमान सुरक्षा प्रमेय QROM (क्वांटम रैंडम ओरेकल मॉडल) में पूर्ण पोस्ट-क्वांटम सीमा प्रदान नहीं करता है। इसके अलावा, यह SHRINCS हस्ताक्षरों के वास्तविक उपयोग के संदर्भ में एक कमजोर सुरक्षा अवधारणा का उपयोग करता है। सुरक्षा तर्क को मजबूत करने के लिए आवश्यक संख्यात्मक हैश मान्यताएँ अभी तक सम्मिलित नहीं की गई हैं।
बिटकॉइन कोर में उत्पादन डिप्लॉयमेंट या एकीकरण के कोई दावे नहीं हैं। यह कार्य ब्लॉकस्ट्रीम रिसर्च की व्यापक पहल के भीतर स्थित है, जिसका उद्देश्य बिटकॉइन और ब्लॉकस्ट्रीम के लिक्विड साइडचेन नेटवर्क के लिए क्वांटम-प्रतिरोधी हस्ताक्षर विकसित करना है। संबंधित प्रयासों में C++ लागूकरण और सिम्प्लिसिटी वेरिफायर लाइब्रेरीशामिल हैं।