بٹ کوائن ڈویلپرز نے لِب شرِنکس، ایک پوسٹ-کوانٹم سیکیورٹی لائبریری جاری کی ہے

بلوک اسٹریم ریسرچ کے جوناس نک اور تعاون کرنے والے remix7531 نے libshrincs کو جاری کیا ہے، جو بٹ کوائن کے لیے ڈیزائن کی گئی ایک کوانتم مزاحمتی دستخط اسکیم کا ایک اہم کمپوننٹ لاگو کرنے والی ایک پروف آف کانسپٹ C لائبریری ہے۔ 11 اگست کو دلینگ بٹ کوائن پر اعلان کیا گیا یہ لائبریری، بٹ کوائن کو مستقبل میں طاقتور کوانتم کمپیوٹرز کے آنے سے محفوظ رکھنے کے لیے تعمیر کی گئی کرپٹوگرافک کوڈ کی تصدیق کرنے کی اب تک کی سب سے زیادہ سخت کوشش ہے۔

اس منصوبے کی خاص بات صرف اس بات نہیں کہ یہ کس چیز کے خلاف تحفظ فراہم کرتا ہے، بلکہ اس کے تعمیر کے طریقے کی بھی ہے۔ سیکورٹی اور درستگی کے ثبوت زیادہ تر بڑے زبانی ماڈلز، جن میں ChatGPT اور Fable شamil ہیں، انسانی نگرانی کے تحت تخلیق کیے گئے۔

لیب شرینکس، SHRINCS نامی ایک وسیع اسکیم کا ایک وقتی دستخط کا حصہ WOTS+C کو لاگو کرتا ہے۔ SHRINCS، جس کا پہلا پیش خیال دسمبر 2025 میں کیا گیا، ایک دستخط اسکیم ہے جو حالت مبنی اور حالت غیر مبنی ہیش-بنیادی دستخطوں کو ملا کر بنا ہے۔ مقصد یہ ہے کہ دستخطوں کا سائز اتنے کم رکھا جائے کہ بٹ کوائن لین دین کے لیے عملی ہو، جبکہ کوونٹم مزاحمت بھی فراہم کی جائے۔

حالتی موڈ میں، دستخط تقریباً 324 باٹس کا حجم رکھتے ہیں۔ اس اسکیم میں ایک بے حالت فیل بیک مکینزم بھی شامل ہے، جو تقریباً ایک سیفٹی نیٹ کے طور پر کام کرتا ہے اگر حالتی کمپوننٹ کا ٹریکنگ غلط طریقے سے منظم ہو جائے۔

لائبریری کے ساتھ فنکشنل درستگی کے مشین چیک کردہ ثبوت اور Rocq میں SSProve کا استعمال کرتے ہوئے تصدیق شدہ سیکیورٹی ثبوت شامل ہیں۔ یہ ثبوت قابلِ ذکر ہیں: تقریباً 6,200 لائنز VST (Verified Software Toolchain) کوڈ اور تقریباً 13,400 لائنز Rocq کوڈ۔

Verification کوڈ کے بڑے حصے بڑے زبان ماڈلز کا استعمال کرکے تیار کیے گئے، جبکہ انسانی ڈویلپرز نے نتائج کی ہدایت اور جائزہ لیا۔ کرپٹوگرافی میں فارمل ویریفکیشن تاریخی طور پر مہنگا اور سست تھا۔ اگر AI کی مدد سے طریقے قابل اعتماد طور پر اس قسم کے نتائج پیدا کر سکتے ہیں، تو یہ تصدیق شدہ کرپٹوگرافک سافٹ ویئر بنانے کی رکاوٹ کو کافی حد تک کم کر سکتا ہے۔

محققین شفاف ہیں کہ libshrincs اب تک کیا حاصل نہیں کر سکا۔ موجودہ سیکیورٹی ثبوت QROM (Quantum Random Oracle Model) میں مکمل پوسٹ-کوانتم حد فراہم نہیں کرتا۔ اس کے علاوہ، یہ SHRINCS دستخطوں کے عملی استعمال کے مقابلے میں کمزور سیکیورٹی تصور استعمال کرتا ہے۔ سیکیورٹی کے دلائل کو مضبوط بنانے والے عددی ہیش فرضیات اب تک شامل نہیں کیے گئے ہیں۔

بٹ کوائن کور میں پیداواری ڈیپلویمنٹ یا انٹیگریشن کے کوئی دعوے نہیں ہیں۔ یہ کام بلوکسٹریم ریسرچ کے وسیع تر اقدام کا حصہ ہے جس کا مقصد بٹ کوائن اور بلوکسٹریم کے لکویڈ سائیڈچین نیٹ ورک دونوں کے لیے کوانتم مزاحمتی دستخط تیار کرنا ہے۔ متعلقہ کوششیں C++ ایمپلیمنٹیشنز اور سیمپلیسٹی ویریفائر لائبریریز پر مشتمل ہیں۔