مطورو Zcash (ZEC) يغلقون ثغرة Orchard المكتشفة بالذكاء الاصطناعي عبر ترقية طارئة في 2 يونيو

ترقية طارئة تغلق نافذة سك عملات ZEC المزيفة

أنهى مطورو Zcash في 2 يونيو ترقية طارئة لثغرة في دائرة Orchard التابعة لبروتوكول الخصوصية، وكان من شأنها، لو بقيت مفتوحة، أن تتيح سك كميات غير محدودة من عملات ZEC المزيفة دون رصد — وهي من أخطر المخاطر النظرية على الإمداد التي وثّقت لبروتوكول Zcash للخصوصية على الإطلاق. جاء الإعلان عن الاكتشاف في 29 مايو من فريق SeedLabs، الذي أفاد بأن العيب ظهر خلال تدقيق أمني مدعوم بالذكاء الاصطناعي لا خلال مراجعة يدوية تقليدية. جمع ذلك التدقيق بين نموذج Claude Opus 4.8 من شركة Anthropic ووكلاء تدقيق مخصّصين بُنيت لهذا الغرض، وصفّت الثغرة بأنها «فشل في السلامة المنطقية» (soundness failure): فشروط التحقق داخل إثبات المعرفة الصفرية لم تكن مقيّدة بما يكفي، ما كان يعني أن مهاجماً يمكنه بناء بيانات تتظاهر بأنها إثبات صحيح وتوليد عملات ZEC مزيفة دون أن تستوقفها قواعد التحقق في الشبكة. واستجاب الفريق بوتيرة تناسب حجم الخطر المُبرهن: فباحثو SeedLabs لم يقفوا عند الحد النظري، بل كتبوا شيفرة هجوم فعّالة في بيئة اختبار محلية وأكدوا أن إنتاج عملات ZEC مزيفة ممكن فعلاً، منقلين الاكتشاف من ثغرة ورقية إلى مسار استغلال مُثبت. ثم تعامل فريق تطوير Zcash مع المسألة بوصفها عاجلة، إذ أوضح الإفصاح أن العمل التصحيحي اكتمل في 2 يونيو. تمثل Orchard المسبح المحمي الذي تقطن فيه معاملات Zcash الخاصة، ولهذا فإن عيباً في إثباتاتها يضرب جوهر ضمان الإصدار للعملة. بالنسبة لأصل يعتمد الخصوصية، فإن سلامة الإصدار هي الخاصية الأكثر تحمّلاً للأثقال في المنظومة كلها، والثغرة لمستها مباشرة. غير أن الترقية لا تحسم سؤال الاستغلال: فمسار توليد العملات المزيفة جرى التحقق منه في بيئة الاختبار المحلية فقط، ولا شيء في السجل العام يؤكد أن الثغرة استُغلّت يوماً على الشبكة الرئيسية. هذا التمييز — ثغرة مكتشفة، استغلال مُبرهن محلياً، استغلال على الشبكة الرئيسية غير مؤكد — هو الإطار الذي ينبغي قراءة كل رقم في هذا الملف من خلاله.

كيف عملت ثغرة السلامة المنطقية في Orchard

الآلية محل الحديث ضيقة النطاق لكنها جوهرية. فشل السلامة المنطقية في نظام إثباتات المعرفة الصفرية يعني أن الفحوصات التي تتحقق من الإثبات متساهلة أكثر من اللازم: عبارة يُفترض أن تكون خاطئة يمكن تزيينها لتبدو مُثبتة. وفي دائرة Orchard لدى Zcash، تُرجمت تلك التساهل إلى تهديد مباشر بالإصدار، لأن الملاحظات التي يقبلها المسبح بوصفها صحيحة تتغذى مباشرة في محاسبة الإمداد المتداول الذي يعيد كل عقدة على الشبكة التحقق منه. وكانت العملات المزيفة غير المحدودة ستُفسد بصمت ضمان الإصدار الذي وُجد بروتوكول Layer 1 لفرضه أصلاً، بدل أن تكون مجرد خلل سوقي عابر. هناك ضامنات هيكلية اثنتان تستحق التنويه: يعمل مسبح Orchard تحت سقف إصدار، وقد صُممت إضافة مسبح Ironwood بحيث أنه حتى لو وقع خطأ في إثبات المعرفة الصفرية، فإن إجمالي الأموال القادرة على الإفلات من المنطقة المحمية يظل محدوداً — أي أن التحقق من الإمداد كان معززاً مسبقاً ضد هذه الفئة بالذات من الفشل. وبحسب التفسير الذي يقدمه الإفصاح نفسه، لم يكن الذكاء الاصطناعي قد كسر التشفير: بل سارع إلى ضبط نطاقه على خطأ منطقي حملته الشيفرة العامة لسنوات دون أن يلتقطه باحثون بشريون، ثم تحقق من أن هذا الخطأ قابل للهجوم. إن القضية إذن ليست كسر تشفير، بل خطأ منطقي طويل الإغفال ظهر وتحقق منه بسرعة. وفي ذلك معنى الحلقة الحقيقية للحادثة: الشيفرة العامة وأنظمة أتمتة المعاملات أصبحت أهدافاً مشروعة لصنف الهجمات التحليلية المؤتمتة هذا. وحتى لحظة كتابة هذه السطور، تتراجع ZEC في السوق الفوري بنسبة 8.0% خلال 24 ساعة الماضية، ولا شيء في سجل السلسلة يربط ذلك التحرك بالإفصاح.

ماذا غيّرت الترقية فعلاً

قراءتنا في COINOTAG أن ترقية 2 يونيو غيّرت الحقيقة التقنية على الأرض بينما يظل سجل الأدلة متعمداً في رقته. لا يوجد توقيع معاملة مهاجم يمكن الاستشهاد به، ولا مبلغ مُسحوب يمكن التحقق منه على السلسلة، لأن بيانات السلسلة لا تُظهر أي استغلال مؤكد على الشبكة الرئيسية؛ ويؤدي إفصاح SeedLabs نفسه دور التشريح اللاحق، إذ يحدد شرط تحقق غير مقيّد في دائرة Orchard بوصفه السبب الجذري، والترقية الطارئة المكتملة بوصفها الإجراء العلاجي. وما لم يُعالج بعد واضح بالقدر نفسه: لم تُنشر أي خط زمني مستقل لأي محاولة تزوير على الشبكة الرئيسية. وفي مقابل ذلك السجل النظيف، ظل الاهتمام المؤسسي يتراكم — تقسيم أسهم ZCSH من Grayscale بمعامل 3 إلى 1 وحوزة Garret Jin من ZEC بقيمة 320 مليون دولار يرسمان صورة سوق تعاملت مع الحادثة بوصفها محصورة، ويمكن للقراء الذين يزنون تعرضهم للعملة متابعة دليلنا خطوة بخطوة لشراء Zcash.