أطلق جوناس نيكل من بلوكترييم ريسيرش والمشارك remix7531 مكتبة libshrincs، وهي مكتبة تجريبية بلغة C تنفذ مكونًا أساسيًا من خطة توقيع مقاومة للحوسبة الكمية مصممة لبيتكوين. تم الإعلان عن المكتبة في 11 أغسطس على Delving Bitcoin، وهي تمثل أحد أكثر المحاولات دقة حتى الآن للتحقق رسميًا من الشيفرة التشفيرية المخصصة لحماية بيتكوين من وصول الحواسيب الكمية القوية في المستقبل.
المشروع يُعد ملحوظًا ليس فقط لما يحمي منه، بل أيضًا لكيفية بنائه. تم توليد إثباتات الأمان والصواب بشكل كبير بمساعدة نماذج اللغة الكبيرة، بما في ذلك ChatGPT وFable، تحت إشراف بشري.
ما الذي يفعله libshrincs فعليًا
تُنفّذ Libshrincs WOTS+C، وهو مكون التوقيع لمرة واحدة من مخطط أوسع يُسمى SHRINCS. SHRINCS، الذي اُقترح لأول مرة في ديسمبر 2025، هو مخطط توقيع يدمج التوقيعات القائمة على التجزئة ذات الحالة وبدون الحالة. الهدف هو الحفاظ على أحجام التوقيعات مضغوطة بما يكفي لجعلها عملية لمعاملات البيتكوين مع توفير مقاومة ضد الحواسيب الكمية.
في الوضع ذو الحالة، تتراوح حجم التوقيعات حوالي 324 بايت. كما يشمل المخطط آلية احتياطية بدون حالة، وهي بمثابة شبكة أمان في حال حدوث خطأ في تتبع المكون ذو الحالة.
يأتي المكتبة مع إثباتات مدققة آليًا للصواب الوظيفي وإثبات أمان متحقق باستخدام SSProve في Rocq. الإثباتات كبيرة: حوالي 6,200 سطر من كود VST (Verified Software Toolchain) وحوالي 13,400 سطر من كود Rocq.
الزاوية المتعلقة بالذكاء الاصطناعي، ولماذا تهم
تم استخدام نماذج اللغة الكبيرة لتوليد أجزاء كبيرة من كود التحقق، مع إشراف ومراجعة المطورين البشريين للإخراج. كان التحقق الرسمي في التشفير تاريخيًا مكلفًا وبطيئًا. إذا استطاعت أساليب المساعدة بالذكاء الاصطناعي إنتاج هذا النوع من الإخراج بشكل موثوق، فقد يخفض ذلك بشكل كبير الحواجز أمام بناء برامج تشفير مُحقَّقة.
القيود والطريق أمامنا
الباحثون شفافون بشأن ما لا يُنجزه libshrincs بعد. لا يوفر نظرية الأمان الحالية حدًا كاملاً ما بعد الكم في نموذج الساعات العشوائية الكمومية (QROM). كما أنها تستخدم مفهوم أمان أضعف مقارنة بكيفية نشر توقيعات SHRINCS فعليًا في الممارسة العملية. لم يتم بعد دمج افتراضات التجزئة العددية التي من شأنها تعزيز حجة الأمان.
لا توجد مطالبات بنشر الإنتاج أو التكامل مع Bitcoin Core. يقع هذا العمل ضمن المبادرة الأوسع لـ Blockstream Research لتطوير توقيعات مقاومة للحوسبة الكمية لكل من Bitcoin وشبكة Liquid الجانبية لـ Blockstream. وتشمل الجهود ذات الصلة تنفيذات بلغة C++ ومكتبات مُحقق Simplicity.