ثغرة في Zcash كشفت خطر التضخم في مجمع المعاملات الخاصة

احتوت Zcash على خلل خطير، لكن التحقق لا يزال معقداً

أصلحت Zcash ثغرة حرجة كان من الممكن، نظرياً، أن تسمح للمهاجمين بإنشاء وحدات جديدة من العملة المشفرة داخل مجمع المعاملات المحمية Orchard. وشمل الرد الطارئ تقييداً مؤقتاً عبر شوكة مرنة، تلاه تنفيذ شوكة صلبة أعادت المعاملات المحمية بعد إدخال الإصلاح.

وبحسب التقرير المقدم، نشأت الثغرة من مشكلة في سلامة دائرة إثبات المعرفة الصفرية المستخدمة للتحقق من المعاملات الخاصة. من حيث المبدأ، كان هذا العيب قد يتيح انتقالات حالة غير صحيحة أو إنشاء قيمة غير مصرح به تقبله الشبكة مع ذلك. وفي نظام يركز على الخصوصية، يكون ذلك حساساً بشكل خاص لأن الأطراف الخارجية قد تكون قدرتها محدودة على التحقق مما إذا كان التضخم الخفي قد حدث.

قالت مؤسسة Zcash Foundation إنه لا توجد أدلة على حدوث إنشاء غير مصرح به للقيمة. وفي الوقت نفسه، يلفت المقال الانتباه إلى توتر أساسي: فخصائص الخصوصية التي تجعل المعاملات المحمية جذابة هي نفسها التي تجعل التأكيد المستقل صعباً.

كيف استجابت الشبكة

وبحسب ما ورد، تم اكتشاف المشكلة في 29 مايو خلال تدقيق للبروتوكول أُجري لصالح Shielded Labs بواسطة الباحث المستقل Taylor Hornby. ثم نسق المطورون بشكل خاص مع المعدنين ومنصات التداول، فاستُخدمت أولاً شوكة مرنة لتعطيل النشاط في مجمع Orchard المتأثر، ثم تم تفعيل شوكة صلبة عند ارتفاع الكتلة 3,364,600 لإعادة تمكين المعاملات المحمية بعد الإصلاح.

من المرجح أن هذا الرد حدّ من الخطر التقني الفوري، لكنه أعاد أيضاً إشعال نقاشات الحوكمة المألوفة في عالم العملات المشفرة. جادل المنتقدون بأن القدرة على تنسيق تغييرات البروتوكول الطارئة بسرعة ليست بلا تكلفة. فقد تقلل الضرر في الأزمة، لكنها قد تجعل النظام يبدو أكثر مركزية مما توحي به علامته التجارية.

يسلط المقال الضوء على انتقادات Seth for Privacy من Cake Wallet، الذي وصف هذا التنسيق بأنه مفرط المركزية. كما يقتبس من الباحث المخضرم Peter Todd، الذي قال إن الخصوصية على مستوى آلية الإجماع تخلق مخاطر مميزة لأن أخطاء التضخم قد تكون أصعب في الاكتشاف.

لماذا يهم ذلك بما يتجاوز حادثة واحدة

هذه ليست المرة الأولى التي تواجه فيها Zcash عيباً يحمل آثاراً نظرية تتعلق بالتزوير. ويشير التقرير إلى خلل سابق في عام 2018 كان يمكن أيضاً أن يسمح بإنشاء غير محدود لوحدات العملة في ظروف معينة. وتكتسب هذه الخلفية أهمية لأن السلامة النقدية هي الأساس غير القابل للتفاوض لأي نظام عملات مشفرة. فإذا بدأ المشاركون في الشك في المعروض، تضعف القيمة الجوهرية للأصل.

كما تبرز هذه الحادثة تحدياً بنيوياً في تصميم العملات المشفرة التي تحافظ على الخصوصية. تستطيع أنظمة المعرفة الصفرية توفير سرية قوية، لكنها ترفع أيضاً عبء صحة نظام الإثبات. وعندما يعمل النظام، تكون هذه التعقيدات غير مرئية. وعندما يفشل، قد تكون العواقب صعبة التدقيق على نحو غير معتاد من الخارج.

ولن يبقى هذا التوازن مقتصراً على Zcash. فقد استمرت النقاشات حول إضافة ميزات خصوصية أقوى إلى سلاسل الكتل الكبرى لسنوات، وتمنح حوادث مثل هذه ذخيرة للمنتقدين الذين يجادلون بأن الخصوصية على مستوى الإجماع قد تجلب مخاطر نقدية وحوكمية غير مقبولة.

تذكير بالهشاشة الخفية

بالنسبة إلى Zcash نفسها، كانت الأولوية الفورية هي إصلاح الثغرة واستعادة الوظيفة الأساسية للشبكة. وعلى هذا الصعيد، يبدو أن سلسلة الإجراءات الطارئة قد نجحت. لكن التحدي طويل الأمد يتمثل في الثقة: الثقة في نظام الإثبات، والثقة في عملية الحوكمة، والثقة في أن الثغرات المستقبلية يمكن العثور عليها قبل استغلالها.

• أثرت الثغرة في Orchard، مجمع المعاملات المحمية الخاص بـ Zcash.
• خلقت مساراً نظرياً للتضخم الخفي عبر عيب في دائرة الإثبات.
• جمّدت الشبكة النشاط المتأثر أولاً عبر شوكة مرنة، ثم أعادت تشغيله بعد شوكة صلبة.
• يقول المنتقدون إن الحادثة تكشف نقاط ضعف تقنية وحوكمية معاً.

غالباً ما تعرض أنظمة التشفير عدم القابلية للتغيير واللامركزية كحقائق مستقرة. لكن مثل هذه الحوادث تُظهر أنها إنجازات تشغيلية يجب الدفاع عنها تحت الضغط، خصوصاً عندما تجعل الخصوصية التحقق المستقل أصعب من المعتاد.

هذا المقال يستند إلى تقرير Gizmodo. اقرأ المقال الأصلي.